359.20/360.09	o -14
359.79/360.60	o -15
359.89/360.76	o -16
3600.01/3609.01	c Program interrupted by user.
3600.01/3609.01	s SATISFIABLE
3600.01/3609.01	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 -x2995 x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 x3075 x3076 -x3077 -x3078 -x3079 x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 x3092 -x3093 x3094 x3095 x3096 x3097 x3098 x3099 x3100 x3101 x3102 x3103 x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 x3132 -x3133 -x3134 -x3135 -x3136 x3137 x3138 x3139 x3140 x3141 x3142 x3143 x3144 x3145 x3146 x3147 x3148 x3149 x3150 x3151 x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 x3163 -x3164 -x3165 -x3166 -x3167 -x3168 x3169 x3170 x3171 x3172 x3173 x3174 x3175 x3176 x3177 x3178 x3179 x3180 x3181 x3182 x3183 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 x3281 x3282 x3283 x3284 x3285 x3286 x3287 x3288 x3289 x3290 x3291 x3292 x3293 x3294 x3295 x3296 -x3297 x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 x3329 x3330 x3331 x3332 x3333 x3334 x3335 x3336 x3337 x3338 x3339 x3340 x3341 x3342 x3343 x3344 x3345 x3346 x3347 x3348 x3349 x3350 x3351 x3352 x3353 x3354 x3355 x3356 x3357 x3358 x3359 x3360 x3361 x3362 x3363 x3364 x3365 x3366 x3367 x3368 x3369 x3370 x3371 x3372 x3373 x3374 x3375 x3376 x3377 x3378 x3379 x3380 x3381 x3382 x3383 x3384 x3385 x3386 x3387 x3388 x3389 x3390 x3391 x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 -x3424 x3425 x3426 x3427 x3428 x3429 x3430 x3431 x3432 x3433 x3434 x3435 x3436 x3437 x3438 x3439 x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 x3471 -x3472 x3473 x3474 x3475 x3476 x3477 x3478 x3479 x3480 x3481 x3482 x3483 x3484 x3485 x3486 x3487 x3488 x3489 x3490 x3491 x3492 x3493 x3494 x3495 x3496 x3497 x3498 x3499 x3500 x3501 x3502 x3503 x3504 x3505 x3506 x3507 x3508 x3509 x3510 x3511 x3512 x3513 x3514 x3515 x3516 x3517 x3518 x3519 x3520 x3521 x3522 x3523 x3524 x3525 x3526 x3527 x3528 x3529 x3530 x3531 x3532 x3533 x3534 x3535 x3536 -x3537 -x3538 -x3539 -x3540 -x3541 x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 x3553 x3554 x3555 x3556 x3557 x3558 x3559 x3560 x3561 x3562 x3563 x3564 x3565 x3566 x3567 x3568 x3569 x3570 x3571 x3572 x3573 x3574 x3575 x3576 x3577 x3578 x3579 x3580 x3581 x3582 x3583 x3584 x3585 x3586 x3587 x3588 x3589 x3590 x3591 x3592 x3593 x3594 x3595 x3596 x3597 x3598 x3599 x3600 x3601 x3602 x3603 x3604 x3605 x3606 x3607 x3608 x3609 x3610 x3611 x3612 x3613 x3614 x3615 x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 x4129 x4130 -x4131 x4132 -x4133 x4134 x4135 x4136 x4137 x4138 x4139 -x4140 x4141 x4142 -x4143 -x4144 -x4145 -x4146 x4147 x4148 -x4149 x4150 x4151 -x4152 -x4153 -x4154 -x4155 x4156 -x4157 -x4158 -x4159 -x4160

OK	-16

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (55149 MiB free)
  memory of node 1: 64465 MiB (54485 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4483535-1751551059/watcher-4483535-1751551059 -o /tmp/evaluation-result-4483535-1751551059/solver-4483535-1751551059 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751547548-76727 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=326045034 --ls=360 HOME/instance-4483535-1751551059.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=77433, runsolver pid=77430

[startup+0.100061 s]*
/proc/loadavg: 4.15 4.10 4.02 5/264 77434
/proc/meminfo: memFree=112266296/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=37408 memory=13504 CPUtime=0.09 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 2664 0 0 0 9 0 0 0 20 0 1 0 70784545 38305792 3376 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 9352 3376 1024 1200 0 7832 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 13504 KiB

[startup+0.205562 s]*
/proc/loadavg: 4.15 4.10 4.02 5/264 77434
/proc/meminfo: memFree=112266296/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=37408 memory=13504 CPUtime=0.2 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 2664 0 0 0 20 0 0 0 20 0 1 0 70784545 38305792 3376 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 9352 3376 1024 1200 0 7832 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 13504 KiB

[startup+0.305359 s]*
/proc/loadavg: 4.15 4.10 4.02 5/264 77434
/proc/meminfo: memFree=112266296/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=37408 memory=13504 CPUtime=0.29 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 2664 0 0 0 29 0 0 0 20 0 1 0 70784545 38305792 3376 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 9352 3376 1024 1200 0 7832 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 13504 KiB

[startup+0.700134 s]
/proc/loadavg: 4.15 4.10 4.02 5/264 77434
/proc/meminfo: memFree=112266296/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=37408 memory=13504 CPUtime=0.68 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 2664 0 0 0 68 0 0 0 20 0 1 0 70784545 38305792 3376 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 9352 3376 1024 1200 0 7832 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 13504 KiB

[startup+1.50015 s]
/proc/loadavg: 4.15 4.10 4.02 5/264 77434
/proc/meminfo: memFree=112266296/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=37408 memory=13504 CPUtime=1.48 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 2664 0 0 0 148 0 0 0 20 0 1 0 70784545 38305792 3376 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 9352 3376 1024 1200 0 7832 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 13504 KiB

[startup+3.1051 s]
/proc/loadavg: 4.13 4.09 4.02 5/264 77434
/proc/meminfo: memFree=112266296/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=37408 memory=13504 CPUtime=3.08 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 2664 0 0 0 308 0 0 0 20 0 1 0 70784545 38305792 3376 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 9352 3376 1024 1200 0 7832 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 13504 KiB

[startup+6.30016 s]
/proc/loadavg: 4.13 4.09 4.02 5/264 77434
/proc/meminfo: memFree=112266800/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=37408 memory=13504 CPUtime=6.27 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 2664 0 0 0 627 0 0 0 20 0 1 0 70784545 38305792 3376 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 9352 3376 1024 1200 0 7832 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 13504 KiB

[startup+12.7001 s]
/proc/loadavg: 4.11 4.09 4.02 5/264 77434
/proc/meminfo: memFree=112250876/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=37408 memory=13504 CPUtime=12.66 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 2664 0 0 0 1266 0 0 0 20 0 1 0 70784545 38305792 3376 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 9352 3376 1024 1200 0 7832 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 13504 KiB

[startup+25.5001 s]
/proc/loadavg: 4.10 4.09 4.02 5/264 77434
/proc/meminfo: memFree=112243416/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=37408 memory=13504 CPUtime=25.43 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 2664 0 0 0 2543 0 0 0 20 0 1 0 70784545 38305792 3376 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 9352 3376 1024 1200 0 7832 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 13504 KiB

[startup+51.1057 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 77435
/proc/meminfo: memFree=112238432/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=37408 memory=13504 CPUtime=50.97 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 2664 0 0 0 5097 0 0 0 20 0 1 0 70784545 38305792 3376 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 9352 3376 1024 1200 0 7832 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 13504 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/264 77532
/proc/meminfo: memFree=112946228/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=37408 memory=13504 CPUtime=102.05 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 2664 0 0 0 10205 0 0 0 20 0 1 0 70784545 38305792 3376 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 9352 3376 1024 1200 0 7832 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 13504 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/264 77536
/proc/meminfo: memFree=112939644/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=37408 memory=14784 CPUtime=161.92 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 2670 0 0 0 16192 0 0 0 20 0 1 0 70784545 38305792 3696 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 9352 3696 1024 1200 0 7832 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 14784 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 77549
/proc/meminfo: memFree=112927760/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=37408 memory=14784 CPUtime=221.79 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 2676 0 0 0 22179 0 0 0 20 0 1 0 70784545 38305792 3696 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 9352 3696 1024 1200 0 7832 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 14784 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.02 6/265 77552
/proc/meminfo: memFree=112923484/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=37408 memory=14784 CPUtime=281.66 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 2678 0 0 0 28166 0 0 0 20 0 1 0 70784545 38305792 3696 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 9352 3696 1024 1200 0 7832 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 14784 KiB

[startup+342.3 s]
/proc/loadavg: 4.30 4.16 4.05 5/265 77554
/proc/meminfo: memFree=112926688/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=37408 memory=14784 CPUtime=341.54 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 2680 0 0 0 34154 0 0 0 20 0 1 0 70784545 38305792 3696 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 9352 3696 1024 1200 0 7832 0
Current children cumulated CPU time: 341.54 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 14784 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.05 5/264 77556
/proc/meminfo: memFree=112765776/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=207784 memory=162868 CPUtime=401.39 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 27998 0 0 0 40115 24 0 0 20 0 1 0 70784545 212770816 40717 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 51946 40717 1280 1200 0 50426 0
Current children cumulated CPU time: 401.39 s
Current children cumulated vsize: 207784 KiB
Current children cumulated memory: 162868 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.06 5/260 77566
/proc/meminfo: memFree=112706348/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=238236 memory=191796 CPUtime=461.23 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 35009 0 0 0 46072 51 0 0 20 0 1 0 70784545 243953664 47949 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 59559 47949 1280 1200 0 58039 0

################
# More data... #
################

Current children cumulated memory: 444932 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 77903
/proc/meminfo: memFree=111557356/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=529784 memory=444932 CPUtime=2855.24 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 80339 0 0 0 284615 909 0 0 20 0 1 0 70784545 542498816 111233 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 132446 111233 1280 1200 0 130926 0
Current children cumulated CPU time: 2855.24 s
Current children cumulated vsize: 529784 KiB
Current children cumulated memory: 444932 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 77906
/proc/meminfo: memFree=111562412/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=529784 memory=444932 CPUtime=2915.09 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 80341 0 0 0 290579 930 0 0 20 0 1 0 70784545 542498816 111233 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 132446 111233 1280 1200 0 130926 0
Current children cumulated CPU time: 2915.09 s
Current children cumulated vsize: 529784 KiB
Current children cumulated memory: 444932 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 77908
/proc/meminfo: memFree=111547996/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=533340 memory=447236 CPUtime=2974.94 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 81102 0 0 0 296542 952 0 0 20 0 1 0 70784545 546140160 111809 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 133335 111809 1280 1200 0 131815 0
Current children cumulated CPU time: 2974.94 s
Current children cumulated vsize: 533340 KiB
Current children cumulated memory: 447236 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 77910
/proc/meminfo: memFree=111548020/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=533532 memory=447364 CPUtime=3034.78 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 81128 0 0 0 302508 970 0 0 20 0 1 0 70784545 546336768 111841 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 133383 111841 1280 1200 0 131863 0
Current children cumulated CPU time: 3034.78 s
Current children cumulated vsize: 533532 KiB
Current children cumulated memory: 447364 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 77916
/proc/meminfo: memFree=111544368/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=534108 memory=448004 CPUtime=3094.63 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 81419 0 0 0 308472 991 0 0 20 0 1 0 70784545 546926592 112001 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 133527 112001 1280 1200 0 132007 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 534108 KiB
Current children cumulated memory: 448004 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 77918
/proc/meminfo: memFree=111544312/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=536220 memory=449540 CPUtime=3154.47 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 81873 0 0 0 314435 1012 0 0 20 0 1 0 70784545 549089280 112385 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 134055 112385 1280 1200 0 132535 0
Current children cumulated CPU time: 3154.47 s
Current children cumulated vsize: 536220 KiB
Current children cumulated memory: 449540 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/264 77922
/proc/meminfo: memFree=111520892/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=539844 memory=451844 CPUtime=3214.31 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 82457 0 0 0 320400 1031 0 0 20 0 1 0 70784545 552800256 112961 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 134961 112961 1280 1200 0 133441 0
Current children cumulated CPU time: 3214.31 s
Current children cumulated vsize: 539844 KiB
Current children cumulated memory: 451844 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 77925
/proc/meminfo: memFree=111521936/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=542612 memory=454020 CPUtime=3274.15 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 83114 0 0 0 326362 1053 0 0 20 0 1 0 70784545 555634688 113505 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 135653 113505 1280 1200 0 134133 0
Current children cumulated CPU time: 3274.15 s
Current children cumulated vsize: 542612 KiB
Current children cumulated memory: 454020 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/265 77928
/proc/meminfo: memFree=111507500/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=543516 memory=470660 CPUtime=3333.99 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 83383 0 0 0 332322 1077 0 0 20 0 1 0 70784545 556560384 117665 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 135879 117665 1280 1200 0 134359 0
Current children cumulated CPU time: 3333.99 s
Current children cumulated vsize: 543516 KiB
Current children cumulated memory: 470660 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 77930
/proc/meminfo: memFree=111503312/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=543996 memory=473732 CPUtime=3393.84 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 83489 0 0 0 338284 1100 0 0 20 0 1 0 70784545 557051904 118433 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 135999 118433 1280 1200 0 134479 0
Current children cumulated CPU time: 3393.84 s
Current children cumulated vsize: 543996 KiB
Current children cumulated memory: 473732 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 77932
/proc/meminfo: memFree=111503636/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=545676 memory=475396 CPUtime=3453.68 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 84025 0 0 0 344244 1124 0 0 20 0 1 0 70784545 558772224 118849 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 136419 118849 1280 1200 0 134899 0
Current children cumulated CPU time: 3453.68 s
Current children cumulated vsize: 545676 KiB
Current children cumulated memory: 475396 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 77934
/proc/meminfo: memFree=111434848/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=548700 memory=481896 CPUtime=3513.52 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 84722 0 0 0 350208 1144 0 0 20 0 1 0 70784545 561868800 120474 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 137175 120474 1280 1200 0 135655 0
Current children cumulated CPU time: 3513.52 s
Current children cumulated vsize: 548700 KiB
Current children cumulated memory: 481896 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 77937
/proc/meminfo: memFree=111427924/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=552596 memory=484200 CPUtime=3573.37 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 85318 0 0 0 356176 1161 0 0 20 0 1 0 70784545 565858304 121050 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 138149 121050 1280 1200 0 136629 0
Current children cumulated CPU time: 3573.37 s
Current children cumulated vsize: 552596 KiB
Current children cumulated memory: 484200 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.13 4.09 4.09 5/264 77938
/proc/meminfo: memFree=111427988/131249996 swapFree=33010160/33010684
[pid=77433] ppid=77430 vsize=552596 memory=484200 CPUtime=3600.01 cores=1,3
/proc/77433/stat : 77433 (Exact) R 77430 77433 76715 0 -1 4194304 85320 0 0 0 358829 1172 0 0 20 0 1 0 70784545 565858304 121050 18446744073709551615 4198400 9112445 140736414403840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21807104 140736414411067 140736414411245 140736414411245 140736414416847 0
/proc/77433/statm: 138149 121050 1280 1200 0 136629 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 552596 KiB
Current children cumulated memory: 484200 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.02 s]
# the end of solver process 77433 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3588.31 s, system=11.7235 s

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

Child status: 10

Real time (s): 3609.02
CPU time (s): 3600.03
CPU user time (s): 3588.31
CPU system time (s): 11.7235
CPU usage (%): 99.751
Max. virtual memory (cumulated for all children) (KiB): 552596
Max. memory (cumulated for all children) (KiB): 484200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.31
system time used= 11.7235
maximum resident set size= 484200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85322
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= 106
involuntary context switches= 2198


# summary of solver processes directly reported to runsolver:
#   pid: 77433
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3588.31
#   total CPU system time (s): 11.7235

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08126 second user time and 15.293 second system time

The end

Begin job on nodeC032 at 2025-07-03 15:57:39
IDJOB=4483535
IDBENCH=177345
IDSOLVER=3317
FILE ID=nodeC032/4483535-1751551059
RUNJOBID= nodeC032-1751547548-76727
SLURM_JOB_ID= 9598720
Free space on /tmp= 430548 MiB

SOLVER NAME= Exact 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.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-4483535-1751551059/watcher-4483535-1751551059 -o /tmp/evaluation-result-4483535-1751551059/solver-4483535-1751551059 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751547548-76727 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=326045034 --ls=360 HOME/instance-4483535-1751551059.opb

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

MD5SUM BENCH= 4558152054a2b5e07a56681a0171fc0f
RANDOM SEED=326045034

nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.775
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.151
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3482.657
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.846
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.842
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.823
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3380.242
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3601.342
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        112266616 kB
MemAvailable:   128672220 kB
Buffers:            2728 kB
Cached:         17084356 kB
SwapCached:           20 kB
Active:          1392784 kB
Inactive:       16714860 kB
Active(anon):    1035484 kB
Inactive(anon):     3124 kB
Active(file):     357300 kB
Inactive(file): 16711736 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7212 kB
Writeback:             0 kB
AnonPages:       1019444 kB
Mapped:           119708 kB
Shmem:             18048 kB
KReclaimable:     351616 kB
Slab:             445588 kB
SReclaimable:     351616 kB
SUnreclaim:        93972 kB
KernelStack:        4320 kB
PageTables:         5004 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1442188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    808960 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430540 MiB
End job on nodeC032 at 2025-07-03 16:57:48