2.16/2.27	c Solved by First Program
2.16/2.28	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
2.16/2.28	c Do: 140729081306648 140729081306656
2.16/2.28	o 229699584
2.16/2.28	o 213970944
2.16/2.28	o 135327744
2.16/2.28	c Do: 140729081306648 140729081306656
2.16/2.28	o 135200768
2.16/2.28	c Do: 140729081306648 140729081306656
2.16/2.28	o 134271488
2.16/2.28	c Do: 140729081306648 140729081306656
2.16/2.28	o 134248448
2.16/2.28	c Do: 140729081306648 140729081306656
2.16/2.28	s OPTIMUM FOUND
2.16/2.28	v -x2622 x2635 -x2648 -x2660 -x2669 -x2679 x2692 x2703 -x2709 x2717 -x2722 x2727 -x2732 -x2737 -x2742 -x2747 -x2753 x2761 -x2766 -x2771 -x2776 x2781 x2786 -x2791 -x2796 -x2801 x2806 -x2811 -x2816 -x2821 x2827 -x2835 -x2840 -x2845 -x2850 -x2855 -x2860 -x2865 x2870 -x2875 x2880 -x2885 x2890 -x2895 -x2900 x2905 -x2910 -x2915 x2920 x2925 x2930 -x2935 -x2940 x2945 -x2950 -x2955 -x2960 -x2965 -x2970 -x2975 -x2980 -x2985 -x2990 -x2995 -x3000 x3005 -x3010 x3015 -x3020 -x3025 -x3030 x3035 -x3040 -x3045 -x3050 -x3055 -x3060 -x3065 x3070 -x3075 x3080 -x3085 -x3090 x3095 x3100 -x3105 -x3110 x3114 x3116 -x3118 x3120 -x3431 -x3433 -x3435 x3437 -x3438 -x3440 -x3442 -x3444 x3446 -x3447 -x3449 -x3451 -x3453 x3455 -x3456 -x3458 -x3460 -x3462 x3464 -x3465 -x3467 -x3469 x3471 -x3473 -x3474 -x3476 -x3478 -x3480 x3482 -x3483 -x3485 -x3487 x3489 -x3491 -x3492 -x3494 -x3496 x3498 -x3500 -x3501 -x3503 -x3505 x3507 -x3509 -x3510 -x3512 -x3514 x3516 -x3518 -x3519 -x3521 -x3523 x3525 -x3527 -x3528 -x3530 -x3532 x3534 -x3536 -x3537 -x3539 -x3541 -x3543 x3545 -x3546 -x3548 -x3550 -x3552 x3554 -x3555 -x3557 -x3559 x3561 -x3563 -x3564 x1 x2 x7 x12 x17 x22 x27 x32 x37 x42 x47 x52 x57 x62 x67 x72 x2423 x2441 x3125 x3129 x3133 x3137 x3141 x3145 x3149 x3153 x3157 x3161 x3165 x3169 x3173 x3177 x3181 x2421 x2439 -x4 x3 x5 x6 -x9 x8 x10 x11 x13 -x14 x15 x16 -x19 x18 x20 x21 -x23 -x24 x25 x26 x28 -x29 x30 x31 -x33 -x34 x35 x36 -x39 -x38 x40 x41 -x44 -x43 x45 x46 -x49 -x48 x50 x51 -x54 -x53 x55 x56 -x59 -x58 x60 x61 -x64 x63 x65 x66 -x69 x68 x70 x71 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x84 -x83 -x85 -x86 -x87 -x88 -x89 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x100 -x99 -x101 -x102 -x103 -x104 -x105 -x108 -x107 -x109 -x110 -x111 -x112 -x113 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x132 -x131 -x133 -x134 -x135 -x136 -x137 -x140 -x139 -x141 -x142 -x143 -x144 -x145 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x164 -x163 -x165 -x166 -x167 -x168 -x169 -x172 -x171 -x173 -x174 -x175 -x176 -x177 -x179 -x180 -x181 -x182 -x183 x184 x185 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x196 -x195 -x197 -x198 -x199 -x200 -x201 -x204 -x203 -x205 -x206 -x207 x208 x209 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x228 -x227 -x229 -x230 -x231 -x232 -x233 -x236 -x235 -x237 -x238 x239 -x240 x241 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x268 -x267 -x269 -x270 -x271 -x272 -x273 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x284 -x283 -x285 -x286 -x287 -x288 -x289 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x300 -x299 -x301 -x302 -x303 -x304 -x305 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x316 -x315 -x317 -x318 -x319 -x320 -x321 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x332 -x331 -x333 -x334 -x335 -x336 -x337 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x347 -x348 -x349 x350 -x351 -x352 x353 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x364 -x363 -x365 -x366 -x367 -x368 -x369 -x371 -x372 -x373 x374 -x375 -x376 x377 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x396 -x395 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 x406 -x407 -x408 x409 x411 x412 -x413 -x414 -x415 -x416 -x417 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x428 -x427 -x429 -x430 -x431 -x432 -x433 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x460 -x459 -x461 -x462 -x463 -x464 -x465 -x467 -x468 -x469 x470 -x471 -x472 x473 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x492 -x491 -x493 x494 -x495 -x496 x497 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x516 -x515 -x517 -x518 -x519 -x520 -x521 -x523 -x524 -x525 x526 -x527 -x528 x529 -x532 -x531 -x533 -x534 -x535 -x536 -x537 -x540 -x539 -x541 -x542 -x543 -x544 -x545 -x548 -x547 -x549 -x550 -x551 -x552 -x553 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x564 -x563 -x565 -x566 -x567 -x568 -x569 -x572 -x571 -x573 -x574 -x575 -x576 -x577 -x580 -x579 -x581 -x582 -x583 -x584 -x585 -x587 -x588 -x589 -x590 -x591 x592 x593 -x596 -x595 -x597 -x598 x599 -x600 x601 -x604 -x603 -x605 x606 x607 x608 x609 -x612 -x611 -x613 -x614 -x615 x616 x617 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x628 -x627 -x629 -x630 -x631 x632 x633 -x636 -x635 -x637 -x638 -x639 -x640 -x641 -x644 -x643 -x645 -x646 x647 -x648 x649 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x660 -x659 -x661 -x662 -x663 x664 x665 -x668 -x667 -x669 -x670 -x671 -x672 -x673 -x676 -x675 -x677 -x678 x679 -x680 x681 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x692 -x691 -x693 -x694 x695 -x696 x697 -x700 -x699 -x701 -x702 -x703 -x704 -x705 -x708 -x707 -x709 -x710 x711 -x712 x713 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x724 -x723 -x725 -x726 -x727 -x728 -x729 -x732 -x731 -x733 -x734 -x735 -x736 -x737 -x740 -x739 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 x750 x751 x752 x753 -x756 -x755 -x757 -x758 -x759 x760 x761 -x764 -x763 -x765 -x766 -x767 x768 x769 -x772 -x771 -x773 -x774 -x775 x776 x777 -x780 -x779 -x781 -x782 -x783 x784 x785 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x796 -x795 -x797 x798 -x799 -x800 x801 -x804 -x803 -x805 x806 -x807 -x808 x809 x812 x811 -x813 -x814 -x815 -x816 -x817 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x828 -x827 -x829 -x830 -x831 -x832 -x833 -x836 -x835 -x837 -x838 -x839 x840 x841 -x844 -x843 -x845 -x846 -x847 -x848 -x849 -x851 -x852 -x853 -x854 x855 -x856 x857 -x860 -x859 -x861 -x862 -x863 x864 x865 -x868 -x867 -x869 -x870 -x871 -x872 -x873 -x876 -x875 -x877 -x878 x879 -x880 x881 -x883 -x884 -x885 -x886 x887 -x888 x889 -x892 -x891 -x893 x894 x895 x896 x897 -x900 -x899 -x901 -x902 x903 -x904 x905 -x908 -x907 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x917 -x918 -x919 -x920 -x921 -x922 x923 x924 x927 x926 -x928 -x929 -x930 -x931 -x932 -x934 -x935 -x936 -x937 -x938 -x939 x940 x941 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x952 -x951 -x953 -x954 x955 -x956 x957 -x960 -x959 -x961 -x962 -x963 -x964 -x965 -x966 -x969 -x968 -x970 -x971 -x972 -x973 -x974 -x977 -x976 -x978 -x979 -x980 -x981 -x982 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x993 -x992 -x994 -x995 x996 -x997 x998 -x1001 -x1000 -x1002 -x1003 -x1004 -x1005 -x1006 -x1009 -x1008 -x1010 -x1011 -x1012 x1013 -x1014 x1015 x1018 x1017 -x1019 -x1020 x1021 -x1022 x1023 -x1025 -x1026 -x1027 -x1028 -x1029 x1030 x1031 x1032 x1033 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 x1042 -x1045 -x1044 -x1046 -x1047 -x1048 x1049 x1050 -x1053 -x1052 -x1054 -x1055 x1056 -x1057 -x1058 x1059 -x1062 -x1061 -x1063 x1064 -x1065 -x1066 x1067 x1070 x1069 -x1071 -x1072 -x1073 -x1074 -x1075 -x1078 -x1077 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 x1087 -x1090 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 x1117 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1139 -x1138 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1149 -x1148 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1186 -x1185 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1203 -x1202 -x1204 -x1205 -x1206 -x1207 -x1208 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 x1216 -x1218 -x1219 -x1220 -x1221 x1222 x1223 x1224 x1225 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1236 -x1235 -x1237 x1238 -x1239 -x1240 x1241 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 x1249 -x1252 -x1251 -x1253 -x1254 x1255 -x1256 -x1257 x1258 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 x1266 x1269 x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1277 -x1276 -x1278 -x1279 x1280 -x1281 x1282 x1285 x1284 -x1286 -x1287 -x1288 -x1289 -x1290 -x1293 -x1292 -x1294 -x1295 -x1296 x1297 -x1298 x1299 -x1301 -x1302 -x1303 x1304 x1305 x1306 x1307 -x1310 -x1309 -x1311 -x1312 -x1313 x1314 x1315 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1326 -x1325 -x1327 -x1328 x1329 -x1330 x1331 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1342 -x1341 -x1343 -x1344 -x1345 x1346 x1347 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1359 -x1358 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 x1367 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 x1396 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 x1414 -x1417 -x1416 -x1418 -x1419 -x1420 -x1421 -x1422 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 x1432 -x1435 -x1434 -x1436 -x1437 x1438 -x1439 x1440 -x1443 -x1442 -x1444 -x1445 -x1446 -x1447 -x1448 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 x1456 -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 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1506 -x1505 -x1507 -x1508 -x1509 x1510 -x1511 x1512 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1524 -x1523 -x1525 -x1526 -x1527 x1528 x1529 -x1532 -x1531 -x1533 -x1534 -x1535 -x1536 x1537 x1538 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 x1546 x1548 x1549 -x1550 x1551 x1552 x1553 x1554 -x1557 -x1556 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 x1569 -x1572 -x1571 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1583 -x1582 -x1584 -x1585 -x1586 x1587 x1588 x1591 x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1618 -x1617 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 x1642 -x1643 -x1644 x1645 -x1648 -x1647 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 x1664 -x1667 -x1666 -x1668 -x1669 -x1670 x1671 -x1672 x1673 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1684 -x1683 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 x1695 -x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 x1707 x1708 -x1711 -x1710 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1726 -x1725 -x1727 -x1728 -x1729 -x1730 -x1731 -x1734 -x1733 -x1735 -x1736 -x1737 -x1738 -x1739 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1750 -x1749 -x1751 -x1752 x1753 -x1754 x1755 x1758 x1757 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1767 -x1766 -x1768 -x1769 x1770 -x1771 x1772 -x1775 -x1774 -x1776 -x1777 -x1778 -x1779 -x1780 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 x1788 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1803 -x1802 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 x1811 x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1834 -x1833 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 x1842 -x1845 -x1844 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1855 -x1854 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 x1881 -x1884 -x1883 -x1885 -x1886 -x1887 x1888 x1889 -x1892 -x1891 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1901 -x1900 -x1902 -x1903 -x1904 -x1905 -x1906 -x1909 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 -x1917 -x1916 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1926 -x1925 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 x1933 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 x1942 -x1945 -x1944 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 x1952 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -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 -x1998 -x1997 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2009 -x2008 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 x2023 -x2026 -x2025 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 x2034 -x2037 -x2036 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 x2057 -x2060 -x2059 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2075 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 x2092 x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2114 -x2113 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2124 -x2123 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2135 -x2134 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2160 -x2159 -x2161 x2162 -x2163 -x2164 x2165 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2177 -x2176 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 x2204 -x2207 -x2206 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x2240 x2241 -x2244 -x2243 -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 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 x2290 -x2293 -x2292 -x2294 -x2295 -x2296 -x2297 x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2314 -x2313 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 x2328 x2329 x2330 -x2333 -x2332 -x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 x2343 -x2346 -x2345 -x2347 -x2348 -x2349 x2350 -x2351 x2352 -x2354 -x2355 -x2356 -x2357 x2358 x2359 x2360 x2361 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 -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 x2422 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 x2438 x2440 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 x2452 x2453 x2454 -x2457 -x2456 -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 x2620 x2621 x2619 -x2624 -x2625 -x2623 -x2627 -x2628 -x2626 -x2630 -x2631 -x2629 x2633 -x2634 -x2632 -x2637 -x2638 -x2636 -x2640 -x2641 -x2639 -x2643 -x2644 x2642 -x2646 -x2647 x2645 x2650 -x2651 -x2649 -x2653 -x2654 -x2652 -x2656 -x2657 -x2655 -x2659 -x2658 -x2662 x2661 -x2664 -x2663 -x2666 -x2665 x2667 x2668 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2677 -x2678 -x2676 -x2681 -x2682 -x2680 -x2684 -x2685 -x2683 x2687 x2688 x2686 -x2690 -x2691 -x2689 x2694 -x2695 -x2693 -x2697 -x2698 -x2696 -x2700 -x2701 x2699 -x2702 -x2704 -x2705 -x2706 -x2707 -x2708 -x2710 -x2711 -x2712 -x2713 x2714 x2715 -x2716 -x2718 -x2719 -x2720 -x2721 x2723 -x2724 -x2725 -x2726 -x2728 -x2729 -x2730 -x2731 -x2733 -x2734 -x2735 -x2736 -x2738 -x2739 x2740 -x2741 -x2743 -x2744 -x2745 -x2746 -x2748 -x2749 -x2750 -x2751 -x2752 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2762 -x2763 -x2764 -x2765 -x2767 -x2768 -x2769 -x2770 -x2772 -x2773 x2774 -x2775 -x2777 -x2778 -x2779 -x2780 -x2782 -x2783 -x2784 -x2785 -x2787 -x2788 -x2789 -x2790 x2792 -x2793 -x2794 -x2795 -x2797 -x2798 -x2799 -x2800 -x2802 -x2803 -x2804 -x2805 -x2807 -x2808 -x2809 -x2810 -x2812 -x2813 x2814 -x2815 -x2817 -x2818 -x2819 -x2820 x2822 -x2823 -x2824 -x2826 -x2825 -x2829 x2828 -x2831 -x2830 -x2833 -x2832 -x2834 -x2836 -x2837 -x2838 -x2839 -x2841 -x2842 -x2843 -x2844 -x2846 -x2847 -x2848 -x2849 -x2851 -x2852 -x2853 -x2854 -x2856 -x2857 -x2858 -x2859 -x2861 -x2862 -x2863 x2864 -x2866 -x2867 -x2868 -x2869 -x2871 -x2872 -x2873 -x2874 -x2876 -x2877 -x2878 -x2879 -x2881 -x2882 -x2883 -x2884 -x2886 -x2887 -x2888 -x2889 -x2891 -x2892 -x2893 -x2894 -x2896 -x2897 -x2898 -x2899 -x2901 -x2902 -x2903 -x2904 -x2906 -x2907 -x2908 -x2909 -x2911 -x2912 -x2913 -x2914 -x2916 -x2917 -x2918 -x2919 -x2921 -x2922 -x2923 -x2924 -x2926 -x2927 -x2928 -x2929 -x2931 -x2932 -x2933 -x2934 -x2936 -x2937 -x2938 -x2939 -x2941 -x2942 -x2943 -x2944 -x2946 -x2947 -x2948 -x2949 -x2951 -x2952 -x2953 -x2954 -x2956 -x2957 -x2958 -x2959 -x2961 -x2962 -x2963 -x2964 -x2966 -x2967 -x2968 -x2969 -x2971 -x2972 -x2973 -x2974 -x2976 -x2977 x2978 -x2979 -x2981 -x2982 -x2983 -x2984 x2986 -x2987 -x2988 -x2989 -x2991 -x2992 -x2993 -x2994 -x2996 -x2997 -x2998 x2999 -x3001 -x3002 -x3003 -x3004 -x3006 -x3007 -x3008 -x3009 -x3011 -x3012 -x3013 -x3014 -x3016 -x3017 -x3018 -x3019 -x3021 -x3022 -x3023 x3024 -x3026 -x3027 -x3028 -x3029 -x3031 -x3032 -x3033 -x3034 -x3036 -x3037 -x3038 -x3039 -x3041 -x3042 -x3043 -x3044 -x3046 -x3047 -x3048 -x3049 -x3051 -x3052 -x3053 -x3054 -x3056 -x3057 -x3058 x3059 -x3061 -x3062 -x3063 -x3064 -x3066 -x3067 -x3068 -x3069 -x3071 -x3072 -x3073 -x3074 -x3076 -x3077 -x3078 -x3079 -x3081 -x3082 -x3083 -x3084 -x3086 -x3087 -x3088 -x3089 x3091 -x3092 -x3093 -x3094 -x3096 -x3097 -x3098 -x3099 -x3101 -x3102 -x3103 -x3104 -x3106 -x3107 -x3108 -x3109 x3111 -x3112 -x3113 x3115 x3117 -x3119 x3121 x3122 x3124 x3123 x3126 x3128 x3127 x3130 x3132 x3131 x3134 x3136 x3135 x3138 x3140 x3139 x3142 x3144 x3143 x3146 x3148 x3147 x3150 x3152 x3151 x3154 x3156 x3155 x3158 x3160 x3159 x3162 x3164 x3163 x3166 x3168 x3167 x3170 x3172 x3171 x3174 x3176 x3175 x3178 x3180 x3179 -x3182 -x490 -x3183 -x2083 -x3184 -x1449 -x3185 -x1646 -x3186 -x1201 -x3187 -x1316 -x3188 -x514 -x3189 -x754 -x3190 -x202 -x3191 -x983 -x3192 -x1899 -x3193 -x1674 -x3194 -x942 -x3195 -x162 -x3196 -x1943 -x3197 -x298 -x3198 -x1773 -x3199 -x1376 -x3200 -x2166 -x3201 -x330 -x3202 -x2312 -x3203 -x2331 -x3204 -x866 -x3205 -x338 -x3206 -x2455 -x3207 -x474 -x3208 -x554 -x3209 -x282 -x3210 -x106 -x3211 -x618 -x3212 -x842 -x3213 -x562 -x3214 -x98 -x3215 -x738 -x3216 -x1570 -x3217 -x794 -x3218 -x362 -x3219 -x2122 -x3220 -x1724 -x3221 -x1051 -x3222 -x650 -x3223 -x975 -x3224 -x90 -x3225 -x1882 -x3226 -x346 -x3227 -x1457 -x3228 -x426 -x3229 -x1275 -x3230 -x1291 -x3231 -x967 -x3232 -x1597 -x3233 -x1915 -x3234 -x1348 -x3235 -x122 -x3236 -x2184 -x3237 -x522 -x3238 -x610 -x3239 -x690 -x3240 -x826 -x3241 -x2133 -x3242 -x1099 -x3243 -x2007 -x3244 -x1250 -x3245 -x722 -x3246 -x1765 -x3247 -x250 -x3248 -x1581 -x3249 -x402 -x3250 -x1007 -x3251 -x1226 -x3252 -x874 -x3253 -x546 -x3254 -x2073 -x3255 -x1748 -x3256 -x1259 -x3257 -x1801 -x3258 -x1126 x3259 -x3260 -x1496 -x3261 -x706 -x3262 -x170 -x3263 -x2175 -x3264 -x1193 -x3265 -x1709 -x3266 -x1217 x3267 x1756 -x3268 -x2281 -x3269 -x802 x3270 -x3271 -x2220 -x3272 -x458 -x3273 -x1157 -x3274 -x258 -x3275 -x882 -x3276 -x858 -x3277 -x1924 -x3278 -x210 -x3279 -x2242 -x3280 -x154 -x3281 -x274 -x3282 -x1184 -x3283 -x354 -x3284 -x2158 -x3285 -x178 -x3286 -x1665 x3287 x2362 -x3288 -x1324 -x3289 -x2230 -x3290 -x714 -x3291 -x506 -x3292 -x1682 -x3293 -x1626 -x3294 -x1118 x3295 x1547 -x3296 -x1340 -x3297 -x586 -x3298 -x999 -x3299 -x2058 -x3300 -x2112 -x3301 -x370 -x3302 -x2390 -x3303 -x1504 -x3304 -x1870 -x3305 -x916 -x3306 -x322 -x3307 -x186 -x3308 -x530 x3309 x1068 -x3310 -x1513 x3311 x1283 -x3312 -x146 -x3313 -x1555 x3314 x1016 -x3315 -x234 -x3316 -x1822 -x3317 -x1539 -x3318 -x1970 -x3319 -x991 -x3320 -x1385 -x3321 -x1300 -x3322 -x658 -x3323 -x1242 -x3324 -x386 -x3325 -x194 -x3326 -x450 -x3327 -x2205 -x3328 -x1441 -x3329 -x1308 -x3330 -x698 -x3331 -x950 -x3332 -x746 -x3333 -x434 -x3334 -x1843 -x3335 -x1740 -x3336 -x1732 -x3337 -x1357 -x3338 -x1996 -x3339 -x1832 -x3340 -x834 -x3341 -x2024 -x3342 -x1397 -x3343 -x2145 -x3344 -x1405 -x3345 -x466 -x3346 -x906 -x3347 -x394 -x3348 -x1890 -x3349 -x770 -x3350 -x578 -x3351 -x626 -x3352 -x1423 -x3353 -x2016 -x3354 -x674 -x3355 -x1109 -x3356 -x933 x3357 x2093 -x3358 -x306 -x3359 -x666 x3360 x1267 -x3361 -x1332 -x3362 -x378 -x3363 -x634 -x3364 -x890 -x3365 -x818 x3366 x810 -x3367 -x1907 -x3368 -x786 -x3369 -x570 -x3370 -x850 -x3371 -x2291 -x3372 -x1060 -x3373 -x1862 -x3374 -x498 -x3375 -x1853 -x3376 -x1368 -x3377 -x1530 -x3378 -x1934 -x3379 -x1076 -x3380 -x442 -x3381 -x1781 -x3382 -x82 -x3383 -x2035 x3384 x1589 -x3385 -x218 -x3386 -x1953 -x3387 -x1137 -x3388 -x1789 -x3389 -x1696 x3390 x410 -x3391 -x1616 -x3392 -x1147 -x3393 -x290 -x3394 -x642 -x3395 -x1487 -x3396 -x898 -x3397 -x1234 -x3398 -x1043 -x3399 -x594 -x3400 -x1634 -x3401 -x1167 -x3402 -x682 -x3403 -x1024 -x3404 -x762 -x3405 -x314 -x3406 -x1522 -x3407 -x242 -x3408 -x958 x3409 x925 -x3410 -x1176 -x3411 -x1209 -x3412 -x1034 -x3413 -x2353 -x3414 -x1415 -x3415 -x130 x3416 x1812 -x3417 -x602 -x3418 -x418 -x3419 -x1433 -x3420 -x2344 -x3421 -x482 -x3422 -x538 -x3423 -x226 -x3424 -x266 -x3425 -x138 -x3426 -x730 -x3427 -x114 -x3428 -x1088 -x3429 -x778 -x3430 -x3432 -x3434 x3436 -x3439 -x3441 -x3443 x3445 -x3448 -x3450 -x3452 x3454 -x3457 -x3459 -x3461 x3463 -x3466 -x3468 x3470 -x3472 -x3475 -x3477 -x3479 x3481 -x3484 -x3486 x3488 -x3490 -x3493 -x3495 x3497 -x3499 -x3502 -x3504 x3506 -x3508 -x3511 -x3513 x3515 -x3517 -x3520 -x3522 x3524 -x3526 -x3529 -x3531 x3533 -x3535 -x3538 -x3540 -x3542 x3544 -x3547 -x3549 -x3551 x3553 -x3556 -x3558 x3560 -x3562

OK	134248448

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512412-1751519785/watcher-4512412-1751519785 -o /tmp/evaluation-result-4512412-1751519785/solver-4512412-1751519785 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751517481-75350 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4512412-1751519785.opb 3600 HOME 

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

solver pid=75746, runsolver pid=75743

[startup+0.100065 s]*
/proc/loadavg: 4.10 4.09 4.01 5/271 75750
/proc/meminfo: memFree=121736280/131250000 swapFree=33009904/33010684
[pid=75746] ppid=75743 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75746/stat : 75746 (Hybrid-CASHWMax) S 75743 75746 75334 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 67657947 4427776 736 18446744073709551615 94839014789120 94839015683653 140731468734944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94839015922704 94839015970448 94839044939776 140731468736855 140731468737009 140731468737009 140731468742611 0
/proc/75746/statm: 1081 736 672 219 0 143 0
[pid=75749] ppid=75746 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75749/stat : 75749 (timeout) S 75746 75749 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 67657949 2723840 352 18446744073709551615 94081419251712 94081419268225 140733918947648 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94081419282992 94081419285080 94081447419904 140733918955926 140733918956066 140733918956066 140733918961639 0
/proc/75749/statm: 665 352 352 5 0 90 0
[pid=75750] ppid=75749 vsize=28716 memory=14572 CPUtime=0.07 cores=4,6
/proc/75750/stat : 75750 (CASHWMaxSAT-Dis) R 75749 75749 75334 0 -1 4194304 2835 0 0 0 7 0 0 0 20 0 1 0 67657949 29405184 3643 18446744073709551615 4198400 14817773 140729081309056 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31596544 140729081317788 140729081317915 140729081317915 140729081323488 0
/proc/75750/statm: 7179 3643 960 2593 0 4072 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 35700 KiB
Current children cumulated memory: 18924 KiB

[startup+0.205744 s]*
/proc/loadavg: 4.10 4.09 4.01 5/271 75750
/proc/meminfo: memFree=121736280/131250000 swapFree=33009904/33010684
[pid=75746] ppid=75743 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75746/stat : 75746 (Hybrid-CASHWMax) S 75743 75746 75334 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 67657947 4427776 736 18446744073709551615 94839014789120 94839015683653 140731468734944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94839015922704 94839015970448 94839044939776 140731468736855 140731468737009 140731468737009 140731468742611 0
/proc/75746/statm: 1081 736 672 219 0 143 0
[pid=75749] ppid=75746 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75749/stat : 75749 (timeout) S 75746 75749 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 67657949 2723840 352 18446744073709551615 94081419251712 94081419268225 140733918947648 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94081419282992 94081419285080 94081447419904 140733918955926 140733918956066 140733918956066 140733918961639 0
/proc/75749/statm: 665 352 352 5 0 90 0
[pid=75750] ppid=75749 vsize=29304 memory=15100 CPUtime=0.17 cores=4,6
/proc/75750/stat : 75750 (CASHWMaxSAT-Dis) R 75749 75749 75334 0 -1 4194304 3429 0 0 0 17 0 0 0 20 0 1 0 67657949 30007296 3775 18446744073709551615 4198400 14817773 140729081309056 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31596544 140729081317788 140729081317915 140729081317915 140729081323488 0
/proc/75750/statm: 7326 3775 960 2593 0 4219 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 36288 KiB
Current children cumulated memory: 19452 KiB

[startup+0.305674 s]*
/proc/loadavg: 4.10 4.09 4.01 5/271 75750
/proc/meminfo: memFree=121736280/131250000 swapFree=33009904/33010684
[pid=75746] ppid=75743 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75746/stat : 75746 (Hybrid-CASHWMax) S 75743 75746 75334 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 67657947 4427776 736 18446744073709551615 94839014789120 94839015683653 140731468734944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94839015922704 94839015970448 94839044939776 140731468736855 140731468737009 140731468737009 140731468742611 0
/proc/75746/statm: 1081 736 672 219 0 143 0
[pid=75749] ppid=75746 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75749/stat : 75749 (timeout) S 75746 75749 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 67657949 2723840 352 18446744073709551615 94081419251712 94081419268225 140733918947648 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94081419282992 94081419285080 94081447419904 140733918955926 140733918956066 140733918956066 140733918961639 0
/proc/75749/statm: 665 352 352 5 0 90 0
[pid=75750] ppid=75749 vsize=29960 memory=15600 CPUtime=0.27 cores=4,6
/proc/75750/stat : 75750 (CASHWMaxSAT-Dis) R 75749 75749 75334 0 -1 4194304 3831 0 0 0 27 0 0 0 20 0 1 0 67657949 30679040 3900 18446744073709551615 4198400 14817773 140729081309056 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31596544 140729081317788 140729081317915 140729081317915 140729081323488 0
/proc/75750/statm: 7490 3900 960 2593 0 4383 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 36944 KiB
Current children cumulated memory: 19952 KiB

[startup+0.700244 s]
/proc/loadavg: 4.10 4.09 4.01 5/271 75750
/proc/meminfo: memFree=121736056/131250000 swapFree=33009904/33010684
[pid=75746] ppid=75743 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75746/stat : 75746 (Hybrid-CASHWMax) S 75743 75746 75334 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 67657947 4427776 736 18446744073709551615 94839014789120 94839015683653 140731468734944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94839015922704 94839015970448 94839044939776 140731468736855 140731468737009 140731468737009 140731468742611 0
/proc/75746/statm: 1081 736 672 219 0 143 0
[pid=75749] ppid=75746 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75749/stat : 75749 (timeout) S 75746 75749 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 67657949 2723840 352 18446744073709551615 94081419251712 94081419268225 140733918947648 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94081419282992 94081419285080 94081447419904 140733918955926 140733918956066 140733918956066 140733918961639 0
/proc/75749/statm: 665 352 352 5 0 90 0
[pid=75750] ppid=75749 vsize=29232 memory=15220 CPUtime=0.66 cores=4,6
/proc/75750/stat : 75750 (CASHWMaxSAT-Dis) R 75749 75749 75334 0 -1 4194304 4305 0 0 0 66 0 0 0 20 0 1 0 67657949 29933568 3805 18446744073709551615 4198400 14817773 140729081309056 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31596544 140729081317788 140729081317915 140729081317915 140729081323488 0
/proc/75750/statm: 7308 3805 960 2593 0 4201 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 36216 KiB
Current children cumulated memory: 19572 KiB

[startup+1.50025 s]
/proc/loadavg: 4.09 4.09 4.01 5/271 75750
/proc/meminfo: memFree=121736056/131250000 swapFree=33009904/33010684
[pid=75746] ppid=75743 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75746/stat : 75746 (Hybrid-CASHWMax) S 75743 75746 75334 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 67657947 4427776 736 18446744073709551615 94839014789120 94839015683653 140731468734944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94839015922704 94839015970448 94839044939776 140731468736855 140731468737009 140731468737009 140731468742611 0
/proc/75746/statm: 1081 736 672 219 0 143 0
[pid=75749] ppid=75746 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75749/stat : 75749 (timeout) S 75746 75749 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 67657949 2723840 352 18446744073709551615 94081419251712 94081419268225 140733918947648 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94081419282992 94081419285080 94081447419904 140733918955926 140733918956066 140733918956066 140733918961639 0
/proc/75749/statm: 665 352 352 5 0 90 0
[pid=75750] ppid=75749 vsize=30460 memory=16136 CPUtime=1.46 cores=4,6
/proc/75750/stat : 75750 (CASHWMaxSAT-Dis) R 75749 75749 75334 0 -1 4194304 5629 0 0 0 145 1 0 0 20 0 1 0 67657949 31191040 4034 18446744073709551615 4198400 14817773 140729081309056 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31596544 140729081317788 140729081317915 140729081317915 140729081323488 0
/proc/75750/statm: 7615 4034 960 2593 0 4508 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 37444 KiB
Current children cumulated memory: 20488 KiB

[startup+2.29176 s]
# the end of solver process 75746 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2.23154 s, system=0.025095 s

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

[startup+1.60028 s]
/proc/loadavg: 4.09 4.09 4.01 5/271 75750
/proc/meminfo: memFree=121736056/131250000 swapFree=33009904/33010684
[pid=75746] ppid=75743 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75746/stat : 75746 (Hybrid-CASHWMax) S 75743 75746 75334 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 67657947 4427776 736 18446744073709551615 94839014789120 94839015683653 140731468734944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94839015922704 94839015970448 94839044939776 140731468736855 140731468737009 140731468737009 140731468742611 0
/proc/75746/statm: 1081 736 672 219 0 143 0
[pid=75749] ppid=75746 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75749/stat : 75749 (timeout) S 75746 75749 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 67657949 2723840 352 18446744073709551615 94081419251712 94081419268225 140733918947648 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94081419282992 94081419285080 94081447419904 140733918955926 140733918956066 140733918956066 140733918961639 0
/proc/75749/statm: 665 352 352 5 0 90 0
[pid=75750] ppid=75749 vsize=30548 memory=16276 CPUtime=1.56 cores=4,6
/proc/75750/stat : 75750 (CASHWMaxSAT-Dis) R 75749 75749 75334 0 -1 4194304 5880 0 0 0 155 1 0 0 20 0 1 0 67657949 31281152 4069 18446744073709551615 4198400 14817773 140729081309056 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31596544 140729081317788 140729081317915 140729081317915 140729081323488 0
/proc/75750/statm: 7637 4069 960 2593 0 4530 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 37532 KiB
Current children cumulated memory: 20628 KiB

[startup+2.00022 s]*
/proc/loadavg: 4.09 4.09 4.01 5/271 75750
/proc/meminfo: memFree=121736056/131250000 swapFree=33009904/33010684
[pid=75746] ppid=75743 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75746/stat : 75746 (Hybrid-CASHWMax) S 75743 75746 75334 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 67657947 4427776 736 18446744073709551615 94839014789120 94839015683653 140731468734944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94839015922704 94839015970448 94839044939776 140731468736855 140731468737009 140731468737009 140731468742611 0
/proc/75746/statm: 1081 736 672 219 0 143 0
[pid=75749] ppid=75746 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75749/stat : 75749 (timeout) S 75746 75749 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 67657949 2723840 352 18446744073709551615 94081419251712 94081419268225 140733918947648 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94081419282992 94081419285080 94081447419904 140733918955926 140733918956066 140733918956066 140733918961639 0
/proc/75749/statm: 665 352 352 5 0 90 0
[pid=75750] ppid=75749 vsize=30852 memory=16584 CPUtime=1.97 cores=4,6
/proc/75750/stat : 75750 (CASHWMaxSAT-Dis) R 75749 75749 75334 0 -1 4194304 6239 0 0 0 196 1 0 0 20 0 1 0 67657949 31592448 4146 18446744073709551615 4198400 14817773 140729081309056 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31596544 140729081317788 140729081317915 140729081317915 140729081323488 0
/proc/75750/statm: 7713 4146 960 2593 0 4606 0
Current children cumulated CPU time: 1.97 s
Current children cumulated vsize: 37836 KiB
Current children cumulated memory: 20936 KiB

[startup+2.20021 s]
/proc/loadavg: 4.09 4.09 4.01 5/271 75750
/proc/meminfo: memFree=121736056/131250000 swapFree=33009904/33010684
[pid=75746] ppid=75743 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/75746/stat : 75746 (Hybrid-CASHWMax) S 75743 75746 75334 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 67657947 4427776 736 18446744073709551615 94839014789120 94839015683653 140731468734944 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94839015922704 94839015970448 94839044939776 140731468736855 140731468737009 140731468737009 140731468742611 0
/proc/75746/statm: 1081 736 672 219 0 143 0
[pid=75749] ppid=75746 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/75749/stat : 75749 (timeout) S 75746 75749 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 67657949 2723840 352 18446744073709551615 94081419251712 94081419268225 140733918947648 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94081419282992 94081419285080 94081447419904 140733918955926 140733918956066 140733918956066 140733918961639 0
/proc/75749/statm: 665 352 352 5 0 90 0
[pid=75750] ppid=75749 vsize=31212 memory=17072 CPUtime=2.16 cores=4,6
/proc/75750/stat : 75750 (CASHWMaxSAT-Dis) R 75749 75749 75334 0 -1 4194304 6657 0 0 0 215 1 0 0 20 0 1 0 67657949 31961088 4268 18446744073709551615 4198400 14817773 140729081309056 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31596544 140729081317788 140729081317915 140729081317915 140729081323488 0
/proc/75750/statm: 7803 4268 960 2593 0 4696 0
Current children cumulated CPU time: 2.16 s
Current children cumulated vsize: 38196 KiB
Current children cumulated memory: 21424 KiB

Child status: 0

Real time (s): 2.2918
CPU time (s): 2.25664
CPU user time (s): 2.23154
CPU system time (s): 0.025095
CPU usage (%): 98.4659
Max. virtual memory (cumulated for all children) (KiB): 38196
Max. memory (cumulated for all children) (KiB): 21424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.23154
system time used= 0.025095
maximum resident set size= 18376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7386
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 328
involuntary context switches= 6


# summary of solver processes directly reported to runsolver:
#   pid: 75746
#   total CPU time (s): 2.25664
#   total CPU user time (s): 2.23154
#   total CPU system time (s): 0.025095

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.017502 second user time and 0.039967 second system time

The end

Begin job on nodeC033 at 2025-07-03 07:16:25
IDJOB=4512412
IDBENCH=161280
IDSOLVER=3327
FILE ID=nodeC033/4512412-1751519785
RUNJOBID= nodeC033-1751517481-75350
SLURM_JOB_ID= 9598633
Free space on /tmp= 429820 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512412-1751519785/watcher-4512412-1751519785 -o /tmp/evaluation-result-4512412-1751519785/solver-4512412-1751519785 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751517481-75350 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4512412-1751519785.opb 3600 HOME

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

MD5SUM BENCH= a5dff9c93e7230bd45df778b178a2583
RANDOM SEED=1928932637

nodeC033 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.062
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.13
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.141
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.13
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		: 3598.983
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.13
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		: 3700.000
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.13
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		: 3631.886
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.13
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.076
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.13
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		: 3600.069
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.13
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		: 3600.709
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.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121736280 kB
MemAvailable:   127732236 kB
Buffers:            2128 kB
Cached:          6749420 kB
SwapCached:           68 kB
Active:          2612588 kB
Inactive:        6169276 kB
Active(anon):    2042820 kB
Inactive(anon):     5524 kB
Active(file):     569768 kB
Inactive(file):  6163752 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             26280 kB
Writeback:            24 kB
AnonPages:       2033216 kB
Mapped:           128444 kB
Shmem:             18028 kB
KReclaimable:     203348 kB
Slab:             294976 kB
SReclaimable:     203348 kB
SUnreclaim:        91628 kB
KernelStack:        4340 kB
PageTables:         7332 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2536136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    274432 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 429796 MiB
End job on nodeC033 at 2025-07-03 07:16:28