2.26/2.35	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
2.26/2.35	o 32
78.94/79.28	o 13
94.01/94.36	o 7
594.04/595.84	s OPTIMUM FOUND
594.04/595.84	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

OK	7

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: 63837 MiB (63140 MiB free)
  memory of node 1: 64465 MiB (63674 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509537-1751523121/watcher-4509537-1751523121 -o /tmp/evaluation-result-4509537-1751523121/solver-4509537-1751523121 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751523121-76678 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4509537-1751523121.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=76723, runsolver pid=76717

[startup+0.10007 s]*
/proc/loadavg: 2.76 3.82 4.05 5/250 76736
/proc/meminfo: memFree=129846988/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=22932 memory=8320 CPUtime=0.09 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 1398 0 0 0 9 0 0 0 20 0 1 0 67990853 23482368 2080 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 5733 2080 896 2593 0 2626 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22932 KiB
Current children cumulated memory: 8320 KiB

[startup+0.216902 s]*
/proc/loadavg: 2.76 3.82 4.05 6/250 76736
/proc/meminfo: memFree=129828592/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=37480 memory=22416 CPUtime=0.21 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 5675 0 0 0 19 2 0 0 20 0 1 0 67990853 38379520 5604 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 9370 5604 896 2593 0 6263 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37480 KiB
Current children cumulated memory: 22416 KiB

[startup+0.314111 s]*
/proc/loadavg: 2.76 3.82 4.05 5/250 76736
/proc/meminfo: memFree=129810156/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=43400 memory=28816 CPUtime=0.3 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 7266 0 0 0 28 2 0 0 20 0 1 0 67990853 44441600 7204 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 10850 7204 896 2593 0 7743 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43400 KiB
Current children cumulated memory: 28816 KiB

[startup+0.700386 s]
/proc/loadavg: 2.76 3.82 4.05 5/250 76736
/proc/meminfo: memFree=129739340/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=66316 memory=49508 CPUtime=0.67 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 10698 0 0 0 63 4 0 0 20 0 1 0 67990853 67907584 12377 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 16579 12377 896 2593 0 13472 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 66316 KiB
Current children cumulated memory: 49508 KiB

[startup+1.50035 s]
/proc/loadavg: 2.76 3.82 4.05 5/250 76736
/proc/meminfo: memFree=129535572/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=133856 memory=110632 CPUtime=1.47 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 19442 0 0 0 139 8 0 0 20 0 1 0 67990853 137068544 27658 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 33464 27658 896 2593 0 30357 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 133856 KiB
Current children cumulated memory: 110632 KiB

[startup+3.11281 s]
/proc/loadavg: 2.86 3.83 4.05 5/250 76736
/proc/meminfo: memFree=128388376/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=320912 memory=289964 CPUtime=3.08 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 46803 0 0 0 291 17 0 0 20 0 1 0 67990853 328613888 72491 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 80228 72491 960 2593 0 77121 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 320912 KiB
Current children cumulated memory: 289964 KiB

[startup+6.30031 s]
/proc/loadavg: 2.86 3.83 4.05 5/250 76736
/proc/meminfo: memFree=126489544/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=360996 memory=331280 CPUtime=6.26 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 48788 0 0 0 606 20 0 0 20 0 1 0 67990853 369659904 82820 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 90249 82820 992 2593 0 87142 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 360996 KiB
Current children cumulated memory: 331280 KiB

[startup+12.7003 s]
/proc/loadavg: 2.95 3.83 4.05 5/250 76737
/proc/meminfo: memFree=124689860/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=364452 memory=340832 CPUtime=12.64 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 54589 0 0 0 1238 26 0 0 20 0 1 0 67990853 373198848 85208 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 91113 85208 992 2593 0 88006 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 364452 KiB
Current children cumulated memory: 340832 KiB

[startup+25.5004 s]
/proc/loadavg: 3.25 3.85 4.06 5/250 76737
/proc/meminfo: memFree=124588224/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=364256 memory=340636 CPUtime=25.41 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 61181 0 0 0 2506 35 0 0 20 0 1 0 67990853 372998144 85159 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 91064 85159 992 2593 0 87957 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 364256 KiB
Current children cumulated memory: 340636 KiB

[startup+51.1128 s]
/proc/loadavg: 3.51 3.87 4.05 5/250 76737
/proc/meminfo: memFree=124748712/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=366008 memory=342548 CPUtime=50.94 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 71212 0 0 0 5047 47 0 0 20 0 1 0 67990853 374792192 85637 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 91502 85637 992 2593 0 88395 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 366008 KiB
Current children cumulated memory: 342548 KiB

[startup+102.3 s]
/proc/loadavg: 3.86 3.91 4.05 5/251 76740
/proc/meminfo: memFree=124683760/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=382840 memory=359516 CPUtime=101.98 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 83358 0 0 0 10134 64 0 0 20 0 1 0 67990853 392028160 89879 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 95710 89879 992 2593 0 92603 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 382840 KiB
Current children cumulated memory: 359516 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 3.96 4.06 5/253 76745
/proc/meminfo: memFree=124662408/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=349572 memory=326160 CPUtime=161.8 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 94212 0 0 0 16100 80 0 0 20 0 1 0 67990853 357961728 81540 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 87393 81540 992 2593 0 84286 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 349572 KiB
Current children cumulated memory: 326160 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.98 4.06 5/253 76747
/proc/meminfo: memFree=124600264/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=420292 memory=396776 CPUtime=221.62 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 103536 0 0 0 22069 93 0 0 20 0 1 0 67990853 430379008 99194 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 105073 99194 992 2593 0 101966 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 420292 KiB
Current children cumulated memory: 396776 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.00 4.06 5/252 76749
/proc/meminfo: memFree=124611004/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=377876 memory=354416 CPUtime=281.45 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 110304 0 0 0 28038 107 0 0 20 0 1 0 67990853 386945024 88604 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 94469 88604 992 2593 0 91362 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 377876 KiB
Current children cumulated memory: 354416 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.01 4.06 5/253 76752
/proc/meminfo: memFree=124578896/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=379180 memory=355720 CPUtime=341.28 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 114162 0 0 0 34014 114 0 0 20 0 1 0 67990853 388280320 88930 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 94795 88930 992 2593 0 91688 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 379180 KiB
Current children cumulated memory: 355720 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.04 4.07 5/252 76754
/proc/meminfo: memFree=124291376/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=382148 memory=358688 CPUtime=401.1 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 118369 0 0 0 39989 121 0 0 20 0 1 0 67990853 391319552 89672 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 95537 89672 992 2593 0 92430 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 382148 KiB
Current children cumulated memory: 358688 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.05 4.07 5/250 76756
/proc/meminfo: memFree=124568128/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=384068 memory=360608 CPUtime=460.92 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 122211 0 0 0 45964 128 0 0 20 0 1 0 67990853 393285632 90152 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 96017 90152 992 2593 0 92910 0
Current children cumulated CPU time: 460.92 s
Current children cumulated vsize: 384068 KiB
Current children cumulated memory: 360608 KiB

[startup+522.3 s]
/proc/loadavg: 4.04 4.04 4.06 5/251 76763
/proc/meminfo: memFree=124586028/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=392336 memory=363612 CPUtime=520.75 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 126798 0 0 0 51936 139 0 0 20 0 1 0 67990853 401752064 90903 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 98084 90903 992 2593 0 94977 0
Current children cumulated CPU time: 520.75 s
Current children cumulated vsize: 392336 KiB
Current children cumulated memory: 363612 KiB

[startup+582.3 s]
/proc/loadavg: 4.11 4.06 4.07 5/251 76765
/proc/meminfo: memFree=124534288/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=399796 memory=366692 CPUtime=580.58 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 130024 0 0 0 57911 147 0 0 20 0 1 0 67990853 409391104 91673 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 99949 91673 992 2593 0 96842 0
Current children cumulated CPU time: 580.58 s
Current children cumulated vsize: 399796 KiB
Current children cumulated memory: 366692 KiB

[startup+595.858 s]
# the end of solver process 76723 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=592.589 s, system=1.51503 s

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

[startup+588.8 s]
/proc/loadavg: 4.09 4.06 4.06 5/251 76765
/proc/meminfo: memFree=124524816/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=405816 memory=373464 CPUtime=587.05 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 131640 0 0 0 58557 148 0 0 20 0 1 0 67990853 415555584 93366 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 101454 93366 992 2593 0 98347 0
Current children cumulated CPU time: 587.05 s
Current children cumulated vsize: 405816 KiB
Current children cumulated memory: 373464 KiB

[startup+592 s]*
/proc/loadavg: 4.09 4.06 4.06 5/251 76765
/proc/meminfo: memFree=124557896/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=405816 memory=373464 CPUtime=590.26 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 131640 0 0 0 58878 148 0 0 20 0 1 0 67990853 415555584 93366 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 101454 93366 992 2593 0 98347 0
Current children cumulated CPU time: 590.26 s
Current children cumulated vsize: 405816 KiB
Current children cumulated memory: 373464 KiB

[startup+593.6 s]
/proc/loadavg: 4.09 4.05 4.06 5/251 76765
/proc/meminfo: memFree=124557896/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=405816 memory=373464 CPUtime=591.84 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 131640 0 0 0 59036 148 0 0 20 0 1 0 67990853 415555584 93366 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 101454 93366 992 2593 0 98347 0
Current children cumulated CPU time: 591.84 s
Current children cumulated vsize: 405816 KiB
Current children cumulated memory: 373464 KiB

[startup+595.2 s]
/proc/loadavg: 4.09 4.05 4.06 5/251 76765
/proc/meminfo: memFree=124611436/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=405816 memory=373464 CPUtime=593.44 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 131640 0 0 0 59196 148 0 0 20 0 1 0 67990853 415555584 93366 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 101454 93366 992 2593 0 98347 0
Current children cumulated CPU time: 593.44 s
Current children cumulated vsize: 405816 KiB
Current children cumulated memory: 373464 KiB

[startup+595.6 s]
/proc/loadavg: 4.09 4.05 4.06 5/251 76765
/proc/meminfo: memFree=124611436/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=482248 memory=431960 CPUtime=593.84 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 131956 0 0 0 59234 150 0 0 20 0 1 0 67990853 493821952 107990 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 120562 107990 992 2593 0 117455 0
Current children cumulated CPU time: 593.84 s
Current children cumulated vsize: 482248 KiB
Current children cumulated memory: 431960 KiB

[startup+595.8 s]
/proc/loadavg: 4.09 4.05 4.06 5/251 76765
/proc/meminfo: memFree=124611436/131382120 swapFree=33010416/33010684
[pid=76723] ppid=76717 vsize=412204 memory=379852 CPUtime=594.04 cores=4,6
/proc/76723/stat : 76723 (CASHWMaxSAT-Dis) R 76717 76723 76667 0 -1 4194304 132352 0 0 0 59254 150 0 0 20 0 1 0 67990853 422096896 94963 18446744073709551615 4198400 14817773 140734425939840 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45084672 140734425942378 140734425942493 140734425942493 140734425948095 0
/proc/76723/statm: 103051 94963 992 2593 0 99944 0
Current children cumulated CPU time: 594.04 s
Current children cumulated vsize: 412204 KiB
Current children cumulated memory: 379852 KiB

Child status: 30

Real time (s): 595.858
CPU time (s): 594.104
CPU user time (s): 592.589
CPU system time (s): 1.51503
CPU usage (%): 99.7057
Max. virtual memory (cumulated for all children) (KiB): 510584
Max. memory (cumulated for all children) (KiB): 487080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 592.589
system time used= 1.51503
maximum resident set size= 487080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132352
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= 3
involuntary context switches= 603


# summary of solver processes directly reported to runsolver:
#   pid: 76723
#   total CPU time (s): 594.104
#   total CPU user time (s): 592.589
#   total CPU system time (s): 1.51503

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.7549 second user time and 6.11317 second system time

The end

Begin job on nodeC003 at 2025-07-03 08:12:02
IDJOB=4509537
IDBENCH=158624
IDSOLVER=3322
FILE ID=nodeC003/4509537-1751523121
RUNJOBID= nodeC003-1751523121-76678
SLURM_JOB_ID= 9598648
Free space on /tmp= 432020 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm25p-opt.opb.negationfix.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509537-1751523121/watcher-4509537-1751523121 -o /tmp/evaluation-result-4509537-1751523121/solver-4509537-1751523121 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751523121-76678 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4509537-1751523121.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 70957a799158f998d71b00eb63ac97d0
RANDOM SEED=816912516

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

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129851032 kB
MemAvailable:   129886112 kB
Buffers:            2736 kB
Cached:           832116 kB
SwapCached:           36 kB
Active:           561992 kB
Inactive:         340096 kB
Active(anon):      77552 kB
Inactive(anon):     7608 kB
Active(file):     484440 kB
Inactive(file):   332488 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             55852 kB
Writeback:            16 kB
AnonPages:         70252 kB
Mapped:           103036 kB
Shmem:             17924 kB
KReclaimable:     115556 kB
Slab:             200416 kB
SReclaimable:     115556 kB
SUnreclaim:        84860 kB
KernelStack:        3840 kB
PageTables:         2696 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     330400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149208 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431964 MiB
End job on nodeC003 at 2025-07-03 08:21:58