393.51/394.97 o 6
393.51/394.97 s OPTIMUM FOUND
393.51/394.97 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 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994
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: 63968 MiB (62751 MiB free)
memory of node 1: 64473 MiB (62788 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433182-1721117818/watcher-4433182-1721117818 -o /tmp/evaluation-result-4433182-1721117818/solver-4433182-1721117818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721117830-849465 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=654565431 HOME/instance-4433182-1721117818.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=849573, runsolver pid=849570
[startup+0.100902 s]*
/proc/loadavg: 1.12 2.00 3.16 5/257 849574
/proc/meminfo: memFree=128456708/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=49632 memory=34272 CPUtime=0.09 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 6424 0 0 0 9 0 0 0 20 0 1 0 163947990 50823168 8568 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 12408 8568 900 1005 0 11171 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49632 KiB
Current children cumulated memory: 34272 KiB
[startup+0.205511 s]*
/proc/loadavg: 1.12 2.00 3.16 5/257 849574
/proc/meminfo: memFree=128397340/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=66832 memory=58164 CPUtime=0.2 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 10486 0 0 0 19 1 0 0 20 0 1 0 163947990 68435968 14541 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 16708 14541 900 1005 0 15471 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66832 KiB
Current children cumulated memory: 58164 KiB
[startup+0.305491 s]*
/proc/loadavg: 1.12 2.00 3.16 5/257 849574
/proc/meminfo: memFree=128367132/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=70476 memory=62576 CPUtime=0.3 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 11409 0 0 0 29 1 0 0 20 0 1 0 163947990 72167424 15644 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 17619 15644 1092 1005 0 16382 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70476 KiB
Current children cumulated memory: 62576 KiB
[startup+0.700149 s]
/proc/loadavg: 1.12 2.00 3.16 4/255 849574
/proc/meminfo: memFree=128500552/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=102408 memory=67704 CPUtime=0.68 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 12110 0 0 0 67 1 0 0 20 0 1 0 163947990 104865792 16860 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 25602 16926 1140 1005 0 24365 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 102408 KiB
Current children cumulated memory: 67704 KiB
[startup+1.50016 s]
/proc/loadavg: 1.12 2.00 3.16 5/257 849620
/proc/meminfo: memFree=128412684/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=87444 memory=76220 CPUtime=1.48 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 12992 0 0 0 146 2 0 0 20 0 1 0 163947990 89542656 19055 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 21861 19055 1140 1005 0 20624 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 87444 KiB
Current children cumulated memory: 76220 KiB
[startup+3.10536 s]
/proc/loadavg: 1.35 2.03 3.16 5/257 849666
/proc/meminfo: memFree=128369400/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=113884 memory=89836 CPUtime=3.08 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 14229 0 0 0 304 4 0 0 20 0 1 0 163947990 116617216 22459 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 28471 22459 1140 1005 0 27234 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 113884 KiB
Current children cumulated memory: 89836 KiB
[startup+6.30017 s]
/proc/loadavg: 1.35 2.03 3.16 5/257 849714
/proc/meminfo: memFree=128205068/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=127464 memory=121280 CPUtime=6.27 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 17019 0 0 0 621 6 0 0 20 0 1 0 163947990 130523136 30320 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 31866 30320 1140 1005 0 30629 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 127464 KiB
Current children cumulated memory: 121280 KiB
[startup+12.7002 s]
/proc/loadavg: 1.56 2.07 3.17 5/257 849714
/proc/meminfo: memFree=128044824/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=177552 memory=156544 CPUtime=12.65 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 19656 0 0 0 1255 10 0 0 20 0 1 0 163947990 181813248 39136 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 44388 39136 1140 1005 0 43151 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 177552 KiB
Current children cumulated memory: 156544 KiB
[startup+25.5002 s]
/proc/loadavg: 2.10 2.16 3.18 5/257 849715
/proc/meminfo: memFree=127867800/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=186324 memory=167452 CPUtime=25.4 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 21448 0 0 0 2526 14 0 0 20 0 1 0 163947990 190795776 41863 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 46581 41863 1140 1005 0 45344 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 186324 KiB
Current children cumulated memory: 167452 KiB
[startup+51.1054 s]
/proc/loadavg: 2.81 2.33 3.21 5/256 849720
/proc/meminfo: memFree=127769080/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=193328 memory=178780 CPUtime=50.92 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 22822 0 0 0 5072 20 0 0 20 0 1 0 163947990 197967872 44695 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 48332 44695 1140 1005 0 47095 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 193328 KiB
Current children cumulated memory: 178780 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.60 3.26 5/256 849729
/proc/meminfo: memFree=127688904/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=203204 memory=194764 CPUtime=101.94 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 24419 0 0 0 10161 33 0 0 20 0 1 0 163947990 208080896 48691 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 50801 48691 1140 1005 0 49564 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 203204 KiB
Current children cumulated memory: 194764 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.87 3.31 5/256 849740
/proc/meminfo: memFree=127604736/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=282416 memory=223080 CPUtime=161.72 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 27148 0 0 0 16123 49 0 0 20 0 1 0 163947990 289193984 55770 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 70604 55770 1140 1005 0 69367 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 282416 KiB
Current children cumulated memory: 223080 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 3.10 3.36 5/258 849754
/proc/meminfo: memFree=127566556/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=289304 memory=230136 CPUtime=221.51 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 28365 0 0 0 22086 65 0 0 20 0 1 0 163947990 296247296 57534 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 72326 57534 1140 1005 0 71089 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 289304 KiB
Current children cumulated memory: 230136 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 3.28 3.41 5/257 849764
/proc/meminfo: memFree=127532636/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=292892 memory=233624 CPUtime=281.31 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 29317 0 0 0 28052 79 0 0 20 0 1 0 163947990 299921408 58406 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 73223 58406 1140 1005 0 71986 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 292892 KiB
Current children cumulated memory: 233624 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.44 3.46 5/256 849775
/proc/meminfo: memFree=127460000/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=296364 memory=237280 CPUtime=341.09 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 30251 0 0 0 34014 95 0 0 20 0 1 0 163947990 303476736 59320 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 74091 59320 1140 1005 0 72854 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 296364 KiB
Current children cumulated memory: 237280 KiB
[startup+395.018 s]
# the end of solver process 849573 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=392.54 s, system=1.10296 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.10 3.47 3.47 5/256 849778
/proc/meminfo: memFree=127431928/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=301964 memory=255040 CPUtime=357.14 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 31165 0 0 0 35614 100 0 0 20 0 1 0 163947990 309211136 63760 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 75491 63760 1140 1005 0 74254 0
Current children cumulated CPU time: 357.14 s
Current children cumulated vsize: 301964 KiB
Current children cumulated memory: 255040 KiB
[startup+371.2 s]
/proc/loadavg: 4.08 3.50 3.48 5/256 849781
/proc/meminfo: memFree=127427872/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=302696 memory=255832 CPUtime=369.89 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 31348 0 0 0 36886 103 0 0 20 0 1 0 163947990 309960704 63958 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 75674 63958 1140 1005 0 74437 0
Current children cumulated CPU time: 369.89 s
Current children cumulated vsize: 302696 KiB
Current children cumulated memory: 255832 KiB
[startup+384 s]*
/proc/loadavg: 4.22 3.56 3.50 5/256 849783
/proc/meminfo: memFree=127419024/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=303276 memory=264536 CPUtime=382.66 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 31497 0 0 0 38159 107 0 0 20 0 1 0 163947990 310554624 66134 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 75819 66134 1140 1005 0 74582 0
Current children cumulated CPU time: 382.66 s
Current children cumulated vsize: 303276 KiB
Current children cumulated memory: 264536 KiB
[startup+390.4 s]
/proc/loadavg: 4.28 3.58 3.51 5/256 849784
/proc/meminfo: memFree=127409360/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=303436 memory=264800 CPUtime=389.03 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 31537 0 0 0 38795 108 0 0 20 0 1 0 163947990 310718464 66200 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 75859 66200 1140 1005 0 74622 0
Current children cumulated CPU time: 389.03 s
Current children cumulated vsize: 303436 KiB
Current children cumulated memory: 264800 KiB
[startup+393.6 s]
/proc/loadavg: 4.28 3.58 3.51 5/256 849784
/proc/meminfo: memFree=127408276/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=303436 memory=264800 CPUtime=392.22 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 31537 0 0 0 39113 109 0 0 20 0 1 0 163947990 310718464 66200 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 75859 66200 1140 1005 0 74622 0
Current children cumulated CPU time: 392.22 s
Current children cumulated vsize: 303436 KiB
Current children cumulated memory: 264800 KiB
[startup+394.4 s]
/proc/loadavg: 4.34 3.60 3.52 5/256 849784
/proc/meminfo: memFree=127408284/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=303436 memory=264800 CPUtime=393.02 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 31537 0 0 0 39193 109 0 0 20 0 1 0 163947990 310718464 66200 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 75859 66200 1140 1005 0 74622 0
Current children cumulated CPU time: 393.02 s
Current children cumulated vsize: 303436 KiB
Current children cumulated memory: 264800 KiB
[startup+394.8 s]
/proc/loadavg: 4.34 3.60 3.52 5/256 849784
/proc/meminfo: memFree=127408284/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=303436 memory=264800 CPUtime=393.41 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 31537 0 0 0 39232 109 0 0 20 0 1 0 163947990 310718464 66200 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 75859 66200 1140 1005 0 74622 0
Current children cumulated CPU time: 393.41 s
Current children cumulated vsize: 303436 KiB
Current children cumulated memory: 264800 KiB
[startup+395 s]*
/proc/loadavg: 4.34 3.60 3.52 5/256 849784
/proc/meminfo: memFree=127542716/131524600 swapFree=131071996/131071996
[pid=849573] ppid=849570 vsize=135144 memory=130312 CPUtime=393.62 cores=0,2
/proc/849573/stat : 849573 (Exact) R 849570 849573 849455 0 -1 4194304 31538 0 0 0 39253 109 0 0 20 0 1 0 163947990 138387456 32578 134679101440 4194304 8309489 140727906201984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24313856 140727906210751 140727906210920 140727906210920 140727906217935 0
/proc/849573/statm: 33786 32578 1140 1005 0 32549 0
Current children cumulated CPU time: 393.62 s
Current children cumulated vsize: 135144 KiB
Current children cumulated memory: 130312 KiB
Child status: 30
Real time (s): 395.018
CPU time (s): 393.643
CPU user time (s): 392.54
CPU system time (s): 1.10296
CPU usage (%): 99.6518
Max. virtual memory (cumulated for all children) (KiB): 372576
Max. memory (cumulated for all children) (KiB): 264800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 392.54
system time used= 1.10296
maximum resident set size= 299096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31539
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= 2
involuntary context switches= 2761
# summary of solver processes directly reported to runsolver:
# pid: 849573
# total CPU time (s): 393.643
# total CPU user time (s): 392.54
# total CPU system time (s): 1.10296
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.706854 second user time and 1.75898 second system time
The end
Begin job on nodeC026 at 2024-07-16 10:17:11
IDJOB=4433182
IDBENCH=148771
IDSOLVER=3060
FILE ID=nodeC026/4433182-1721117818
RUNJOBID= nodeC026-1721117830-849465
SLURM_JOB_ID= 7505664
Free space on /tmp= 890064 MiB
SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433182-1721117818/watcher-4433182-1721117818 -o /tmp/evaluation-result-4433182-1721117818/solver-4433182-1721117818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721117830-849465 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=654565431 HOME/instance-4433182-1721117818.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c4903dfb08836eadb378d0a168fb9840
RANDOM SEED=654565431
nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3649.445
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3681.585
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3651.132
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3600.080
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.921
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3681.625
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.627
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3599.875
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128560128 kB
MemAvailable: 129438096 kB
Buffers: 412024 kB
Cached: 1300396 kB
SwapCached: 0 kB
Active: 709076 kB
Inactive: 1654132 kB
Active(anon): 1548 kB
Inactive(anon): 687276 kB
Active(file): 707528 kB
Inactive(file): 966856 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 25936 kB
Writeback: 0 kB
AnonPages: 648132 kB
Mapped: 115980 kB
Shmem: 37720 kB
KReclaimable: 86812 kB
Slab: 192800 kB
SReclaimable: 86812 kB
SUnreclaim: 105988 kB
KernelStack: 4144 kB
PageTables: 10396 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 990664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62592 kB
HardwareCorrupted: 0 kB
AnonHugePages: 274432 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 232148 kB
DirectMap2M: 20512768 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC026 at 2024-07-16 10:23:46