0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00 c Setting memory limit to 31000MB.
0.00/0.00 c Parsing PB file...
0.22/0.26 c Converting 10859 PB-constraints to clauses...
0.22/0.26 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.31/0.35 c ============================[ Encoding Statistics ]============================
0.31/0.35 c | Number of variables: 2578 |
0.31/0.35 c | Number of clauses: 12313 |
0.31/0.35 c ===============================================================================
19.73/19.82 o 0
19.73/19.82 c Starting SCIP solver (with time-limit: 900s) ...
19.73/19.82 c SCIP start delayed for at least 280s
19.73/19.83 c [1mSATISFIABLE: Best solution found: 0[0m
19.73/19.83 c _______________________________________________________________________________
19.73/19.83 c
19.73/19.83 c =======================[ UWrMaxSat resources usage ]===========================
19.73/19.83 c Memory used : 67.00 MB
19.73/19.83 c CPU time : 19.7232 s
19.73/19.83 c Constr Enc: Srt/BDD/Add: 2 0 0
19.73/19.83 c _______________________________________________________________________________
19.73/19.83 s SATISFIABLE
19.73/19.83 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 x95 -x141 -x187 -x233 -x279 -x325 -x371 -x417 -x463 -x509 -x555 -x601 -x647 -x693 -x739 x785 -x831 -x877 -x923 -x969 -x1015 -x1061 -x1107 -x1153 -x1199 -x1245 -x1291 -x1337 -x1383 -x1429 -x1475 -x1521 -x96 -x142 -x188 -x234 -x280 -x326 -x372 -x418 -x464 -x510 -x556 -x602 -x648 -x694 x740 -x786 -x832 -x878 -x924 -x970 -x1016 -x1062 -x1108 -x1154 -x1200 -x1246 -x1292 -x1338 -x1384 -x1430 -x1476 -x1522 -x97 -x143 -x189 -x235 -x281 -x327 -x373 -x419 -x465 -x511 -x557 -x603 -x649 x695 -x741 -x787 -x833 -x879 -x925 -x971 -x1017 -x1063 -x1109 -x1155 -x1201 -x1247 -x1293 -x1339 -x1385 -x1431 -x1477 -x1523 -x98 -x144 -x190 -x236 -x282 -x328 -x374 -x420 -x466 -x512 -x558 -x604 -x650 -x696 -x742 x788 -x834 -x880 -x926 -x972 -x1018 -x1064 -x1110 -x1156 -x1202 -x1248 -x1294 -x1340 -x1386 -x1432 -x1478 -x1524 -x99 -x145 -x191 -x237 -x283 -x329 -x375 -x421 -x467 -x513 -x559 -x605 -x651 -x697 x743 -x789 -x835 -x881 -x927 -x973 -x1019 -x1065 -x1111 -x1157 -x1203 -x1249 -x1295 -x1341 -x1387 -x1433 -x1479 -x1525 -x100 -x146 -x192 -x238 -x284 -x330 -x376 -x422 -x468 -x514 -x560 -x606 -x652 -x698 -x744 x790 -x836 -x882 -x928 -x974 -x1020 -x1066 -x1112 -x1158 -x1204 -x1250 -x1296 -x1342 -x1388 -x1434 -x1480 -x1526 -x101 -x147 -x193 -x239 -x285 -x331 -x377 -x423 -x469 -x515 -x561 -x607 -x653 -x699 x745 -x791 -x837 -x883 -x929 -x975 -x1021 -x1067 -x1113 -x1159 -x1205 -x1251 -x1297 -x1343 -x1389 -x1435 -x1481 -x1527 -x102 -x148 -x194 -x240 -x286 -x332 -x378 -x424 -x470 -x516 -x562 -x608 -x654 x700 -x746 -x792 -x838 -x884 -x930 -x976 -x1022 -x1068 -x1114 -x1160 -x1206 -x1252 -x1298 -x1344 -x1390 -x1436 -x1482 -x1528 -x103 -x149 -x195 -x241 -x287 -x333 -x379 -x425 -x471 -x517 -x563 -x609 -x655 -x701 -x747 x793 -x839 -x885 -x931 -x977 -x1023 -x1069 -x1115 -x1161 -x1207 -x1253 -x1299 -x1345 -x1391 -x1437 -x1483 -x1529 -x104 -x150 -x196 -x242 -x288 -x334 -x380 -x426 -x472 -x518 -x564 -x610 -x656 -x702 x748 -x794 -x840 -x886 -x932 -x978 -x1024 -x1070 -x1116 -x1162 -x1208 -x1254 -x1300 -x1346 -x1392 -x1438 -x1484 -x1530 -x105 -x151 -x197 -x243 -x289 -x335 -x381 -x427 -x473 -x519 -x565 -x611 -x657 x703 -x749 -x795 -x841 -x887 -x933 -x979 -x1025 -x1071 -x1117 -x1163 -x1209 -x1255 -x1301 -x1347 -x1393 -x1439 -x1485 -x1531 -x106 x152 -x198 -x244 -x290 -x336 -x382 -x428 -x474 -x520 -x566 -x612 -x658 -x704 -x750 -x796 -x842 -x888 -x934 -x980 -x1026 -x1072 -x1118 -x1164 x1210 -x1256 -x1302 -x1348 -x1394 -x1440 -x1486 -x1532 -x107 x153 -x199 -x245 -x291 -x337 -x383 -x429 -x475 -x521 -x567 -x613 -x659 -x705 -x751 -x797 -x843 -x889 -x935 -x981 -x1027 -x1073 -x1119 -x1165 x1211 -x1257 -x1303 -x1349 -x1395 -x1441 -x1487 -x1533 -x108 x154 -x200 -x246 -x292 -x338 -x384 -x430 -x476 -x522 -x568 -x614 -x660 -x706 -x752 -x798 -x844 -x890 -x936 -x982 -x1028 -x1074 -x1120 -x1166 x1212 -x1258 -x1304 -x1350 -x1396 -x1442 -x1488 -x1534 -x109 -x155 -x201 -x247 -x293 -x339 -x385 -x431 -x477 -x523 -x569 -x615 -x661 -x707 -x753 -x799 -x845 -x891 -x937 -x983 -x1029 x1075 -x1121 -x1167 -x1213 -x1259 -x1305 -x1351 -x1397 -x1443 -x1489 -x1535 x110 -x156 -x202 -x248 -x294 -x340 -x386 -x432 -x478 -x524 -x570 -x616 -x662 -x708 -x754 -x800 -x846 -x892 -x938 -x984 -x1030 x1076 -x1122 -x1168 -x1214 -x1260 -x1306 -x1352 -x1398 -x1444 -x1490 -x1536 -x111 -x157 -x203 -x249 -x295 -x341 -x387 -x433 -x479 -x525 -x571 -x617 -x663 -x709 -x755 -x801 -x847 -x893 -x939 -x985 -x1031 x1077 -x1123 -x1169 -x1215 -x1261 -x1307 -x1353 -x1399 -x1445 -x1491 -x1537 -x112 -x158 -x204 -x250 -x296 -x342 -x388 -x434 -x480 -x526 -x572 -x618 -x664 -x710 -x756 -x802 -x848 -x894 -x940 x986 -x1032 -x1078 -x1124 -x1170 -x1216 -x1262 -x1308 -x1354 -x1400 -x1446 -x1492 -x1538 -x113 -x159 -x205 -x251 -x297 -x343 -x389 -x435 -x481 -x527 -x573 -x619 -x665 -x711 -x757 -x803 -x849 -x895 -x941 x987 -x1033 -x1079 -x1125 -x1171 -x1217 -x1263 -x1309 -x1355 -x1401 -x1447 -x1493 -x1539 -x114 -x160 -x206 -x252 -x298 -x344 -x390 -x436 -x482 -x528 -x574 -x620 -x666 -x712 -x758 -x804 x850 -x896 -x942 -x988 -x1034 -x1080 -x1126 -x1172 -x1218 -x1264 -x1310 -x1356 -x1402 -x1448 -x1494 -x1540 x115 -x161 -x207 -x253 -x299 -x345 -x391 -x437 -x483 -x529 -x575 -x621 -x667 -x713 -x759 -x805 x851 -x897 -x943 -x989 -x1035 -x1081 -x1127 -x1173 -x1219 -x1265 -x1311 -x1357 -x1403 -x1449 -x1495 -x1541 -x116 -x162 -x208 -x254 -x300 -x346 -x392 -x438 -x484 -x530 -x576 -x622 -x668 -x714 -x760 -x806 x852 -x898 -x944 -x990 -x1036 -x1082 -x1128 -x1174 -x1220 -x1266 -x1312 -x1358 -x1404 -x1450 -x1496 -x1542 -x117 -x163 -x209 -x255 -x301 -x347 -x393 -x439 -x485 -x531 -x577 -x623 -x669 -x715 -x761 -x807 -x853 -x899 -x945 -x991 -x1037 -x1083 -x1129 -x1175 x1221 -x1267 -x1313 -x1359 -x1405 -x1451 -x1497 -x1543 x118 -x164 -x210 -x256 -x302 -x348 -x394 -x440 -x486 -x532 -x578 -x624 -x670 -x716 -x762 x808 -x854 -x900 -x946 -x992 -x1038 -x1084 -x1130 -x1176 -x1222 -x1268 -x1314 -x1360 -x1406 -x1452 -x1498 -x1544 -x119 -x165 -x211 -x257 -x303 -x349 -x395 -x441 -x487 -x533 -x579 -x625 -x671 -x717 x763 -x809 -x855 -x901 -x947 -x993 -x1039 -x1085 -x1131 -x1177 -x1223 -x1269 -x1315 -x1361 -x1407 -x1453 -x1499 -x1545 -x120 -x166 -x212 -x258 -x304 -x350 -x396 -x442 -x488 -x534 -x580 -x626 -x672 -x718 -x764 -x810 -x856 -x902 -x948 -x994 -x1040 x1086 -x1132 -x1178 -x1224 -x1270 -x1316 -x1362 -x1408 -x1454 -x1500 -x1546 -x121 -x167 -x213 -x259 -x305 -x351 -x397 -x443 -x489 -x535 -x581 -x627 -x673 -x719 -x765 x811 -x857 -x903 -x949 -x995 -x1041 -x1087 -x1133 -x1179 -x1225 -x1271 -x1317 -x1363 -x1409 -x1455 -x1501 -x1547 -x122 -x168 -x214 -x260 -x306 -x352 -x398 -x444 -x490 -x536 -x582 -x628 -x674 -x720 x766 -x812 -x858 -x904 -x950 -x996 -x1042 -x1088 -x1134 -x1180 -x1226 -x1272 -x1318 -x1364 -x1410 -x1456 -x1502 -x1548 -x123 -x169 -x215 -x261 -x307 -x353 -x399 -x445 -x491 -x537 -x583 -x629 -x675 x721 -x767 -x813 -x859 -x905 -x951 -x997 -x1043 -x1089 -x1135 -x1181 -x1227 -x1273 -x1319 -x1365 -x1411 -x1457 -x1503 -x1549 -x124 -x170 -x216 -x262 -x308 -x354 -x400 -x446 -x492 -x538 -x584 -x630 -x676 -x722 -x768 x814 -x860 -x906 -x952 -x998 -x1044 -x1090 -x1136 -x1182 -x1228 -x1274 -x1320 -x1366 -x1412 -x1458 -x1504 -x1550 -x125 -x171 -x217 -x263 -x309 -x355 -x401 -x447 -x493 -x539 -x585 -x631 -x677 -x723 -x769 -x815 x861 -x907 -x953 -x999 -x1045 -x1091 -x1137 -x1183 -x1229 -x1275 -x1321 -x1367 -x1413 -x1459 -x1505 -x1551 -x126 -x172 -x218 -x264 -x310 -x356 -x402 -x448 -x494 -x540 -x586 -x632 -x678 x724 -x770 -x816 -x862 -x908 -x954 -x1000 -x1046 -x1092 -x1138 -x1184 -x1230 -x1276 -x1322 -x1368 -x1414 -x1460 -x1506 -x1552 -x127 -x173 -x219 -x265 -x311 -x357 -x403 -x449 -x495 -x541 -x587 -x633 -x679 -x725 -x771 x817 -x863 -x909 -x955 -x1001 -x1047 -x1093 -x1139 -x1185 -x1231 -x1277 -x1323 -x1369 -x1415 -x1461 -x1507 -x1553 -x128 -x174 -x220 -x266 -x312 -x358 -x404 -x450 -x496 -x542 -x588 -x634 -x680 -x726 x772 -x818 -x864 -x910 -x956 -x1002 -x1048 -x1094 -x1140 -x1186 -x1232 -x1278 -x1324 -x1370 -x1416 -x1462 -x1508 -x1554 -x129 -x175 -x221 -x267 -x313 -x359 -x405 -x451 -x497 -x543 -x589 -x635 -x681 x727 -x773 -x819 -x865 -x911 -x957 -x1003 -x1049 -x1095 -x1141 -x1187 -x1233 -x1279 -x1325 -x1371 -x1417 -x1463 -x1509 -x1555 -x130 x176 -x222 -x268 -x314 -x360 -x406 -x452 -x498 -x544 -x590 -x636 -x682 -x728 -x774 -x820 -x866 -x912 -x958 -x1004 -x1050 -x1096 -x1142 -x1188 x1234 -x1280 -x1326 -x1372 -x1418 -x1464 -x1510 -x1556 -x131 x177 -x223 -x269 -x315 -x361 -x407 -x453 -x499 -x545 -x591 -x637 -x683 -x729 -x775 -x821 -x867 -x913 -x959 -x1005 -x1051 -x1097 -x1143 -x1189 x1235 -x1281 -x1327 -x1373 -x1419 -x1465 -x1511 -x1557 -x132 -x178 -x224 -x270 -x316 -x362 -x408 -x454 -x500 -x546 -x592 -x638 -x684 -x730 -x776 -x822 -x868 -x914 -x960 -x1006 -x1052 -x1098 -x1144 -x1190 x1236 -x1282 -x1328 -x1374 -x1420 -x1466 -x1512 -x1558 -x133 -x179 -x225 -x271 -x317 -x363 -x409 -x455 -x501 -x547 -x593 -x639 -x685 -x731 -x777 -x823 -x869 -x915 -x961 -x1007 -x1053 x1099 -x1145 -x1191 -x1237 -x1283 -x1329 -x1375 -x1421 -x1467 -x1513 -x1559 -x134 -x180 -x226 -x272 -x318 -x364 -x410 -x456 -x502 -x548 -x594 -x640 -x686 -x732 -x778 -x824 -x870 -x916 -x962 -x1008 -x1054 x1100 -x1146 -x1192 -x1238 -x1284 -x1330 -x1376 -x1422 -x1468 -x1514 -x1560 -x135 -x181 -x227 -x273 -x319 -x365 -x411 -x457 -x503 -x549 -x595 -x641 -x687 -x733 -x779 -x825 -x871 -x917 -x963 x1009 -x1055 -x1101 -x1147 -x1193 -x1239 -x1285 -x1331 -x1377 -x1423 -x1469 -x1515 -x1561 -x136 -x182 -x228 -x274 -x320 -x366 -x412 -x458 -x504 -x550 -x596 -x642 -x688 -x734 -x780 -x826 -x872 -x918 -x964 x1010 -x1056 -x1102 -x1148 -x1194 -x1240 -x1286 -x1332 -x1378 -x1424 -x1470 -x1516 -x1562 -x137 -x183 -x229 -x275 -x321 -x367 -x413 -x459 -x505 -x551 -x597 -x643 -x689 -x735 -x781 -x827 -x873 -x919 -x965 x1011 -x1057 -x1103 -x1149 -x1195 -x1241 -x1287 -x1333 -x1379 -x1425 -x1471 -x1517 -x1563 -x138 -x184 -x230 -x276 -x322 -x368 -x414 -x460 -x506 -x552 -x598 -x644 -x690 -x736 -x782 -x828 x874 -x920 -x966 -x1012 -x1058 -x1104 -x1150 -x1196 -x1242 -x1288 -x1334 -x1380 -x1426 -x1472 -x1518 -x1564 x139 -x185 -x231 -x277 -x323 -x369 -x415 -x461 -x507 -x553 -x599 -x645 -x691 -x737 -x783 -x829 x875 -x921 -x967 -x1013 -x1059 -x1105 -x1151 -x1197 -x1243 -x1289 -x1335 -x1381 -x1427 -x1473 -x1519 -x1565 -x140 x186 -x232 -x278 -x324 -x370 -x416 -x462 -x508 -x554 -x600 -x646 -x692 -x738 -x784 -x830 x876 -x922 -x968 -x1014 -x1060 -x1106 -x1152 -x1198 -x1244 -x1290 -x1336 -x1382 -x1428 -x1474 -x1520 -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 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
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 (62639 MiB free)
memory of node 1: 64465 MiB (62060 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514427-1751217131/watcher-4514427-1751217131 -o /tmp/evaluation-result-4514427-1751217131/solver-4514427-1751217131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751215847-30298 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4514427-1751217131.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31636, runsolver pid=31633
[startup+0.10009 s]*
/proc/loadavg: 4.07 4.05 3.83 5/251 31637
/proc/meminfo: memFree=127685196/131382116 swapFree=33010684/33010684
[pid=31636] ppid=31633 vsize=26184 memory=10240 CPUtime=0.1 cores=1,3
/proc/31636/stat : 31636 (uwrmaxsat-scip) R 31633 31636 30286 0 -1 4194304 1609 0 0 0 10 0 0 0 20 0 1 0 37392280 26812416 2560 18446744073709551615 4198400 17051741 140721919118992 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 37801984 140721919125818 140721919125988 140721919125988 140721919131590 0
/proc/31636/statm: 6546 2560 1120 3139 0 2834 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26184 KiB
Current children cumulated memory: 10240 KiB
[startup+0.213029 s]*
/proc/loadavg: 4.07 4.05 3.83 5/251 31637
/proc/meminfo: memFree=127677384/131382116 swapFree=33010684/33010684
[pid=31636] ppid=31633 vsize=36524 memory=20608 CPUtime=0.22 cores=1,3
/proc/31636/stat : 31636 (uwrmaxsat-scip) R 31633 31636 30286 0 -1 4194304 4214 0 0 0 21 1 0 0 20 0 1 0 37392280 37400576 5152 18446744073709551615 4198400 17051741 140721919118992 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 37801984 140721919125818 140721919125988 140721919125988 140721919131590 0
/proc/31636/statm: 9131 5152 1120 3139 0 5419 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 36524 KiB
Current children cumulated memory: 20608 KiB
[startup+0.312893 s]*
/proc/loadavg: 4.07 4.05 3.83 5/251 31637
/proc/meminfo: memFree=127661508/131382116 swapFree=33010684/33010684
[pid=31636] ppid=31633 vsize=53080 memory=43112 CPUtime=0.31 cores=1,3
/proc/31636/stat : 31636 (uwrmaxsat-scip) R 31633 31636 30286 0 -1 4194304 8404 0 0 0 29 2 0 0 20 0 1 0 37392280 54353920 10778 18446744073709551615 4198400 17051741 140721919118992 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 37801984 140721919125818 140721919125988 140721919125988 140721919131590 0
/proc/31636/statm: 13270 10778 2688 3139 0 9558 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 53080 KiB
Current children cumulated memory: 43112 KiB
[startup+0.700281 s]
/proc/loadavg: 4.07 4.05 3.83 5/251 31637
/proc/meminfo: memFree=127653444/131382116 swapFree=33010684/33010684
[pid=31636] ppid=31633 vsize=58464 memory=48456 CPUtime=0.68 cores=1,3
/proc/31636/stat : 31636 (uwrmaxsat-scip) R 31633 31636 30286 0 -1 4194304 10135 0 0 0 66 2 0 0 20 0 1 0 37392280 59867136 12114 18446744073709551615 4198400 17051741 140721919118992 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 37801984 140721919125818 140721919125988 140721919125988 140721919131590 0
/proc/31636/statm: 14616 12114 2688 3139 0 10904 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58464 KiB
Current children cumulated memory: 48456 KiB
[startup+1.50028 s]
/proc/loadavg: 4.07 4.05 3.83 5/251 31637
/proc/meminfo: memFree=127653444/131382116 swapFree=33010684/33010684
[pid=31636] ppid=31633 vsize=60160 memory=50028 CPUtime=1.48 cores=1,3
/proc/31636/stat : 31636 (uwrmaxsat-scip) R 31633 31636 30286 0 -1 4194304 11266 0 0 0 146 2 0 0 20 0 1 0 37392280 61603840 12507 18446744073709551615 4198400 17051741 140721919118992 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 37801984 140721919125818 140721919125988 140721919125988 140721919131590 0
/proc/31636/statm: 15040 12507 2688 3139 0 11328 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60160 KiB
Current children cumulated memory: 50028 KiB
[startup+3.11253 s]
/proc/loadavg: 4.07 4.05 3.83 5/251 31637
/proc/meminfo: memFree=127652940/131382116 swapFree=33010684/33010684
[pid=31636] ppid=31633 vsize=60408 memory=50368 CPUtime=3.09 cores=1,3
/proc/31636/stat : 31636 (uwrmaxsat-scip) R 31633 31636 30286 0 -1 4194304 12799 0 0 0 306 3 0 0 20 0 1 0 37392280 61857792 12592 18446744073709551615 4198400 17051741 140721919118992 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 37801984 140721919125818 140721919125988 140721919125988 140721919131590 0
/proc/31636/statm: 15102 12592 2688 3139 0 11390 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60408 KiB
Current children cumulated memory: 50368 KiB
[startup+6.30027 s]
/proc/loadavg: 4.07 4.05 3.83 5/251 31637
/proc/meminfo: memFree=127650924/131382116 swapFree=33010684/33010684
[pid=31636] ppid=31633 vsize=63116 memory=53076 CPUtime=6.27 cores=1,3
/proc/31636/stat : 31636 (uwrmaxsat-scip) R 31633 31636 30286 0 -1 4194304 15203 0 0 0 624 3 0 0 20 0 1 0 37392280 64630784 13269 18446744073709551615 4198400 17051741 140721919118992 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 37801984 140721919125818 140721919125988 140721919125988 140721919131590 0
/proc/31636/statm: 15779 13269 2688 3139 0 12067 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 63116 KiB
Current children cumulated memory: 53076 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.07 3.83 5/251 31637
/proc/meminfo: memFree=127646640/131382116 swapFree=33010684/33010684
[pid=31636] ppid=31633 vsize=65356 memory=55260 CPUtime=12.65 cores=1,3
/proc/31636/stat : 31636 (uwrmaxsat-scip) R 31633 31636 30286 0 -1 4194304 17799 0 0 0 1262 3 0 0 20 0 1 0 37392280 66924544 13815 18446744073709551615 4198400 17051741 140721919118992 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 37801984 140721919125818 140721919125988 140721919125988 140721919131590 0
/proc/31636/statm: 16339 13815 2688 3139 0 12627 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 65356 KiB
Current children cumulated memory: 55260 KiB
[startup+19.8338 s]
# the end of solver process 31636 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=19.7233 s, system=0.050814 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 4.14 4.07 3.83 5/251 31637
/proc/meminfo: memFree=127646640/131382116 swapFree=33010684/33010684
[pid=31636] ppid=31633 vsize=65356 memory=55260 CPUtime=12.75 cores=1,3
/proc/31636/stat : 31636 (uwrmaxsat-scip) R 31633 31636 30286 0 -1 4194304 17799 0 0 0 1272 3 0 0 20 0 1 0 37392280 66924544 13815 18446744073709551615 4198400 17051741 140721919118992 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 37801984 140721919125818 140721919125988 140721919125988 140721919131590 0
/proc/31636/statm: 16339 13815 2688 3139 0 12627 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 65356 KiB
Current children cumulated memory: 55260 KiB
[startup+16.0003 s]*
/proc/loadavg: 4.13 4.07 3.84 5/251 31638
/proc/meminfo: memFree=127639520/131382116 swapFree=33010684/33010684
[pid=31636] ppid=31633 vsize=61072 memory=51040 CPUtime=15.96 cores=1,3
/proc/31636/stat : 31636 (uwrmaxsat-scip) R 31633 31636 30286 0 -1 4194304 19816 0 0 0 1592 4 0 0 20 0 1 0 37392280 62537728 12760 18446744073709551615 4198400 17051741 140721919118992 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 37801984 140721919125818 140721919125988 140721919125988 140721919131590 0
/proc/31636/statm: 15268 12760 2688 3139 0 11556 0
Current children cumulated CPU time: 15.96 s
Current children cumulated vsize: 61072 KiB
Current children cumulated memory: 51040 KiB
[startup+17.6002 s]
/proc/loadavg: 4.13 4.07 3.84 5/251 31638
/proc/meminfo: memFree=127639520/131382116 swapFree=33010684/33010684
[pid=31636] ppid=31633 vsize=63044 memory=53140 CPUtime=17.54 cores=1,3
/proc/31636/stat : 31636 (uwrmaxsat-scip) R 31633 31636 30286 0 -1 4194304 20612 0 0 0 1750 4 0 0 20 0 1 0 37392280 64557056 13285 18446744073709551615 4198400 17051741 140721919118992 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 37801984 140721919125818 140721919125988 140721919125988 140721919131590 0
/proc/31636/statm: 15761 13285 2688 3139 0 12049 0
Current children cumulated CPU time: 17.54 s
Current children cumulated vsize: 63044 KiB
Current children cumulated memory: 53140 KiB
[startup+19.2003 s]
/proc/loadavg: 4.12 4.06 3.84 5/251 31638
/proc/meminfo: memFree=127636180/131382116 swapFree=33010684/33010684
[pid=31636] ppid=31633 vsize=61760 memory=51816 CPUtime=19.13 cores=1,3
/proc/31636/stat : 31636 (uwrmaxsat-scip) R 31633 31636 30286 0 -1 4194304 21485 0 0 0 1909 4 0 0 20 0 1 0 37392280 63242240 12954 18446744073709551615 4198400 17051741 140721919118992 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 37801984 140721919125818 140721919125988 140721919125988 140721919131590 0
/proc/31636/statm: 15440 12954 2688 3139 0 11728 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 61760 KiB
Current children cumulated memory: 51816 KiB
[startup+19.6002 s]
/proc/loadavg: 4.12 4.06 3.84 5/251 31638
/proc/meminfo: memFree=127636180/131382116 swapFree=33010684/33010684
[pid=31636] ppid=31633 vsize=61760 memory=51816 CPUtime=19.53 cores=1,3
/proc/31636/stat : 31636 (uwrmaxsat-scip) R 31633 31636 30286 0 -1 4194304 21485 0 0 0 1949 4 0 0 20 0 1 0 37392280 63242240 12954 18446744073709551615 4198400 17051741 140721919118992 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 37801984 140721919125818 140721919125988 140721919125988 140721919131590 0
/proc/31636/statm: 15440 12954 2688 3139 0 11728 0
Current children cumulated CPU time: 19.53 s
Current children cumulated vsize: 61760 KiB
Current children cumulated memory: 51816 KiB
[startup+19.8003 s]
/proc/loadavg: 4.12 4.06 3.84 5/251 31638
/proc/meminfo: memFree=127636180/131382116 swapFree=33010684/33010684
[pid=31636] ppid=31633 vsize=61760 memory=51816 CPUtime=19.73 cores=1,3
/proc/31636/stat : 31636 (uwrmaxsat-scip) R 31633 31636 30286 0 -1 4194304 21485 0 0 0 1969 4 0 0 20 0 1 0 37392280 63242240 12954 18446744073709551615 4198400 17051741 140721919118992 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 37801984 140721919125818 140721919125988 140721919125988 140721919131590 0
/proc/31636/statm: 15440 12954 2688 3139 0 11728 0
Current children cumulated CPU time: 19.73 s
Current children cumulated vsize: 61760 KiB
Current children cumulated memory: 51816 KiB
Child status: 10
Real time (s): 19.8339
CPU time (s): 19.7741
CPU user time (s): 19.7233
CPU system time (s): 0.050814
CPU usage (%): 99.6986
Max. virtual memory (cumulated for all children) (KiB): 65356
Max. memory (cumulated for all children) (KiB): 55260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.7233
system time used= 0.050814
maximum resident set size= 59572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21600
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 31636
# total CPU time (s): 19.7741
# total CPU user time (s): 19.7233
# total CPU system time (s): 0.050814
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.12281 second user time and 0.237384 second system time
The end
Begin job on nodeC004 at 2025-06-29 19:12:11
IDJOB=4514427
IDBENCH=162681
IDSOLVER=3373
FILE ID=nodeC004/4514427-1751217131
RUNJOBID= nodeC004-1751215847-30298
SLURM_JOB_ID= 9587653
Free space on /tmp= 433008 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_15.opb
COMMAND LINE= HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514427-1751217131/watcher-4514427-1751217131 -o /tmp/evaluation-result-4514427-1751217131/solver-4514427-1751217131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751215847-30298 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4514427-1751217131.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d72c9af15efabd1511f4b6b7bd2b83d4
RANDOM SEED=501743178
nodeC004 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 : 3690.385
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.74
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 : 3492.341
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.74
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 : 3700.000
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.74
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.210
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.74
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 : 3691.388
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.74
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 : 3664.816
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.74
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.781
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.74
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 127695496 kB
MemAvailable: 129305740 kB
Buffers: 3280 kB
Cached: 2413600 kB
SwapCached: 0 kB
Active: 971192 kB
Inactive: 2115376 kB
Active(anon): 687664 kB
Inactive(anon): 0 kB
Active(file): 283528 kB
Inactive(file): 2115376 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 37308 kB
Writeback: 0 kB
AnonPages: 670924 kB
Mapped: 137532 kB
Shmem: 17976 kB
KReclaimable: 101936 kB
Slab: 184640 kB
SReclaimable: 101936 kB
SUnreclaim: 82704 kB
KernelStack: 4044 kB
PageTables: 4544 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1027820 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 387072 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC004 at 2025-06-29 19:12:31