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