0.50/0.51 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.50/0.51 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
20.34/20.46 s SATISFIABLE
20.34/20.46 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
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: 63931 MiB (61060 MiB free)
memory of node 1: 64510 MiB (62756 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445971-1721312192/watcher-4445971-1721312192 -o /tmp/evaluation-result-4445971-1721312192/solver-4445971-1721312192 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721304979-953388 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4445971-1721312192.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=958678, runsolver pid=958675
[startup+0.101002 s]*
/proc/loadavg: 4.10 4.11 4.09 5/255 958679
/proc/meminfo: memFree=126801616/131524600 swapFree=131071996/131071996
[pid=958678] ppid=958675 vsize=44208 memory=26924 CPUtime=0.1 cores=5,7
/proc/958678/stat : 958678 (CASHWMaxSAT-Dis) R 958675 958678 953375 0 -1 4194304 6225 0 0 0 9 1 0 0 20 0 1 0 183384083 45268992 6731 134679101440 4194304 14093885 140721568991440 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32202752 140721568994276 140721568994391 140721568994391 140721569001407 0
/proc/958678/statm: 11052 6731 782 2417 0 8154 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44208 KiB
Current children cumulated memory: 26924 KiB
[startup+0.205683 s]*
/proc/loadavg: 4.10 4.11 4.09 5/255 958679
/proc/meminfo: memFree=126798176/131524600 swapFree=131071996/131071996
[pid=958678] ppid=958675 vsize=41344 memory=25108 CPUtime=0.2 cores=5,7
/proc/958678/stat : 958678 (CASHWMaxSAT-Dis) R 958675 958678 953375 0 -1 4194304 7086 0 0 0 19 1 0 0 20 0 1 0 183384083 42336256 6277 134679101440 4194304 14093885 140721568991440 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32202752 140721568994276 140721568994391 140721568994391 140721569001407 0
/proc/958678/statm: 10336 6277 814 2417 0 7438 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41344 KiB
Current children cumulated memory: 25108 KiB
[startup+0.305341 s]*
/proc/loadavg: 4.10 4.11 4.09 5/255 958679
/proc/meminfo: memFree=126795316/131524600 swapFree=131071996/131071996
[pid=958678] ppid=958675 vsize=44020 memory=25636 CPUtime=0.3 cores=5,7
/proc/958678/stat : 958678 (CASHWMaxSAT-Dis) R 958675 958678 953375 0 -1 4194304 7247 0 0 0 29 1 0 0 20 0 1 0 183384083 45076480 6409 134679101440 4194304 14093885 140721568991440 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32202752 140721568994276 140721568994391 140721568994391 140721569001407 0
/proc/958678/statm: 11005 6409 814 2417 0 8107 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44020 KiB
Current children cumulated memory: 25636 KiB
[startup+0.700202 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 958679
/proc/meminfo: memFree=126789096/131524600 swapFree=131071996/131071996
[pid=958678] ppid=958675 vsize=44020 memory=28012 CPUtime=0.69 cores=5,7
/proc/958678/stat : 958678 (CASHWMaxSAT-Dis) R 958675 958678 953375 0 -1 4194304 7827 0 0 0 68 1 0 0 20 0 1 0 183384083 45076480 7003 134679101440 4194304 14093885 140721568991440 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32202752 140721568994276 140721568994391 140721568994391 140721569001407 0
/proc/958678/statm: 11005 7003 814 2417 0 8107 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44020 KiB
Current children cumulated memory: 28012 KiB
[startup+1.50021 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 958679
/proc/meminfo: memFree=126780048/131524600 swapFree=131071996/131071996
[pid=958678] ppid=958675 vsize=49472 memory=30620 CPUtime=1.48 cores=5,7
/proc/958678/stat : 958678 (CASHWMaxSAT-Dis) R 958675 958678 953375 0 -1 4194304 8510 0 0 0 147 1 0 0 20 0 1 0 183384083 50659328 7655 134679101440 4194304 14093885 140721568991440 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32202752 140721568994276 140721568994391 140721568994391 140721569001407 0
/proc/958678/statm: 12368 7655 814 2417 0 9470 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49472 KiB
Current children cumulated memory: 30620 KiB
[startup+3.1056 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 958679
/proc/meminfo: memFree=126764552/131524600 swapFree=131071996/131071996
[pid=958678] ppid=958675 vsize=64132 memory=48628 CPUtime=3.08 cores=5,7
/proc/958678/stat : 958678 (CASHWMaxSAT-Dis) R 958675 958678 953375 0 -1 4194304 9989 0 0 0 306 2 0 0 20 0 1 0 183384083 65671168 12157 134679101440 4194304 14093885 140721568991440 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32202752 140721568994276 140721568994391 140721568994391 140721569001407 0
/proc/958678/statm: 16033 12157 814 2417 0 13135 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64132 KiB
Current children cumulated memory: 48628 KiB
[startup+6.30019 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 958679
/proc/meminfo: memFree=126755148/131524600 swapFree=131071996/131071996
[pid=958678] ppid=958675 vsize=71316 memory=55532 CPUtime=6.27 cores=5,7
/proc/958678/stat : 958678 (CASHWMaxSAT-Dis) R 958675 958678 953375 0 -1 4194304 10230 0 0 0 625 2 0 0 20 0 1 0 183384083 73027584 13883 134679101440 4194304 14093885 140721568991440 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32202752 140721568994276 140721568994391 140721568994391 140721569001407 0
/proc/958678/statm: 17829 13883 814 2417 0 14931 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 71316 KiB
Current children cumulated memory: 55532 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 958680
/proc/meminfo: memFree=126744784/131524600 swapFree=131071996/131071996
[pid=958678] ppid=958675 vsize=75736 memory=60168 CPUtime=12.66 cores=5,7
/proc/958678/stat : 958678 (CASHWMaxSAT-Dis) R 958675 958678 953375 0 -1 4194304 10845 0 0 0 1263 3 0 0 20 0 1 0 183384083 77553664 15042 134679101440 4194304 14093885 140721568991440 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32202752 140721568994276 140721568994391 140721568994391 140721569001407 0
/proc/958678/statm: 18934 15042 814 2417 0 16036 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 75736 KiB
Current children cumulated memory: 60168 KiB
[startup+20.4629 s]
# the end of solver process 958678 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=20.3774 s, system=0.032915 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 958680
/proc/meminfo: memFree=126744784/131524600 swapFree=131071996/131071996
[pid=958678] ppid=958675 vsize=75736 memory=60168 CPUtime=12.76 cores=5,7
/proc/958678/stat : 958678 (CASHWMaxSAT-Dis) R 958675 958678 953375 0 -1 4194304 10845 0 0 0 1273 3 0 0 20 0 1 0 183384083 77553664 15042 134679101440 4194304 14093885 140721568991440 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32202752 140721568994276 140721568994391 140721568994391 140721569001407 0
/proc/958678/statm: 18934 15042 814 2417 0 16036 0
Current children cumulated CPU time: 12.76 s
Current children cumulated vsize: 75736 KiB
Current children cumulated memory: 60168 KiB
[startup+16.0002 s]*
/proc/loadavg: 4.07 4.11 4.09 5/255 958680
/proc/meminfo: memFree=126747104/131524600 swapFree=131071996/131071996
[pid=958678] ppid=958675 vsize=75736 memory=60168 CPUtime=15.96 cores=5,7
/proc/958678/stat : 958678 (CASHWMaxSAT-Dis) R 958675 958678 953375 0 -1 4194304 10856 0 0 0 1593 3 0 0 20 0 1 0 183384083 77553664 15042 134679101440 4194304 14093885 140721568991440 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32202752 140721568994276 140721568994391 140721568994391 140721569001407 0
/proc/958678/statm: 18934 15042 814 2417 0 16036 0
Current children cumulated CPU time: 15.96 s
Current children cumulated vsize: 75736 KiB
Current children cumulated memory: 60168 KiB
[startup+17.6002 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 958680
/proc/meminfo: memFree=126741236/131524600 swapFree=131071996/131071996
[pid=958678] ppid=958675 vsize=75736 memory=60168 CPUtime=17.55 cores=5,7
/proc/958678/stat : 958678 (CASHWMaxSAT-Dis) R 958675 958678 953375 0 -1 4194304 10861 0 0 0 1752 3 0 0 20 0 1 0 183384083 77553664 15042 134679101440 4194304 14093885 140721568991440 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32202752 140721568994276 140721568994391 140721568994391 140721569001407 0
/proc/958678/statm: 18934 15042 814 2417 0 16036 0
Current children cumulated CPU time: 17.55 s
Current children cumulated vsize: 75736 KiB
Current children cumulated memory: 60168 KiB
[startup+19.2002 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 958680
/proc/meminfo: memFree=126740008/131524600 swapFree=131071996/131071996
[pid=958678] ppid=958675 vsize=75736 memory=60168 CPUtime=19.14 cores=5,7
/proc/958678/stat : 958678 (CASHWMaxSAT-Dis) R 958675 958678 953375 0 -1 4194304 10861 0 0 0 1911 3 0 0 20 0 1 0 183384083 77553664 15042 134679101440 4194304 14093885 140721568991440 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32202752 140721568994276 140721568994391 140721568994391 140721569001407 0
/proc/958678/statm: 18934 15042 814 2417 0 16036 0
Current children cumulated CPU time: 19.14 s
Current children cumulated vsize: 75736 KiB
Current children cumulated memory: 60168 KiB
[startup+20.0002 s]*
/proc/loadavg: 4.07 4.11 4.09 5/255 958682
/proc/meminfo: memFree=126737808/131524600 swapFree=131071996/131071996
[pid=958678] ppid=958675 vsize=75736 memory=60168 CPUtime=19.95 cores=5,7
/proc/958678/stat : 958678 (CASHWMaxSAT-Dis) R 958675 958678 953375 0 -1 4194304 10861 0 0 0 1992 3 0 0 20 0 1 0 183384083 77553664 15042 134679101440 4194304 14093885 140721568991440 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32202752 140721568994276 140721568994391 140721568994391 140721569001407 0
/proc/958678/statm: 18934 15042 814 2417 0 16036 0
Current children cumulated CPU time: 19.95 s
Current children cumulated vsize: 75736 KiB
Current children cumulated memory: 60168 KiB
[startup+20.4002 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 958682
/proc/meminfo: memFree=126737808/131524600 swapFree=131071996/131071996
[pid=958678] ppid=958675 vsize=75736 memory=60168 CPUtime=20.34 cores=5,7
/proc/958678/stat : 958678 (CASHWMaxSAT-Dis) R 958675 958678 953375 0 -1 4194304 10866 0 0 0 2031 3 0 0 20 0 1 0 183384083 77553664 15042 134679101440 4194304 14093885 140721568991440 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32202752 140721568994276 140721568994391 140721568994391 140721569001407 0
/proc/958678/statm: 18934 15042 814 2417 0 16036 0
Current children cumulated CPU time: 20.34 s
Current children cumulated vsize: 75736 KiB
Current children cumulated memory: 60168 KiB
Child status: 30
Real time (s): 20.4629
CPU time (s): 20.4103
CPU user time (s): 20.3774
CPU system time (s): 0.032915
CPU usage (%): 99.7428
Max. virtual memory (cumulated for all children) (KiB): 75736
Max. memory (cumulated for all children) (KiB): 60168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.3774
system time used= 0.032915
maximum resident set size= 60188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10866
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= 24
# summary of solver processes directly reported to runsolver:
# pid: 958678
# total CPU time (s): 20.4103
# total CPU user time (s): 20.3774
# total CPU system time (s): 0.032915
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046439 second user time and 0.122975 second system time
The end
Begin job on nodeC024 at 2024-07-18 16:16:45
IDJOB=4445971
IDBENCH=155407
IDSOLVER=3077
FILE ID=nodeC024/4445971-1721312192
RUNJOBID= nodeC024-1721304979-953388
SLURM_JOB_ID= 7542630
Free space on /tmp= 890040 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-849702.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445971-1721312192/watcher-4445971-1721312192 -o /tmp/evaluation-result-4445971-1721312192/solver-4445971-1721312192 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721304979-953388 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4445971-1721312192.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 99577d0b2060d1d3afdf18d9c444f818
RANDOM SEED=14032107
nodeC024.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 : 3666.369
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.60
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 : 3662.432
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 : 7007.08
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 : 3600.026
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.60
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.818
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 : 7007.08
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 : 3666.370
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.60
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 : 3654.207
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 : 7007.08
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 : 3599.983
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.60
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 : 3661.208
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 : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126788668 kB
MemAvailable: 129255808 kB
Buffers: 489400 kB
Cached: 2790544 kB
SwapCached: 0 kB
Active: 925284 kB
Inactive: 3154380 kB
Active(anon): 1548 kB
Inactive(anon): 835236 kB
Active(file): 923736 kB
Inactive(file): 2319144 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 26392 kB
Writeback: 0 kB
AnonPages: 797960 kB
Mapped: 116536 kB
Shmem: 37720 kB
KReclaimable: 127816 kB
Slab: 243744 kB
SReclaimable: 127816 kB
SUnreclaim: 115928 kB
KernelStack: 4144 kB
PageTables: 10748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1270200 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67200 kB
HardwareCorrupted: 0 kB
AnonHugePages: 403456 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: 299732 kB
DirectMap2M: 36173824 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC024 at 2024-07-18 16:17:05