359.27/360.16	o 28
359.27/360.17	o 21
359.27/360.17	o 20
359.27/360.17	o 19
378.22/379.14	o 18
3600.06/3648.10	c Program interrupted by user.
3600.06/3648.10	s SATISFIABLE
3600.06/3648.10	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2309 x2310 -x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 x2784 -x2785 -x2786 -x2787 x2788 x2789 x2790 -x2791 -x2792 -x2793 x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 x2864 x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 x3176 -x3177 -x3178 x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 x3206 -x3207 x3208 -x3209 -x3210 x3211 -x3212 x3213 -x3214 -x3215 x3216 -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 x3247 -x3248 x3249 -x3250 -x3251 -x3252 x3253 -x3254 x3255 -x3256 x3257 -x3258 x3259 -x3260 x3261 -x3262 x3263 -x3264 -x3265 -x3266 -x3267 -x3268 x3269 -x3270 x3271 -x3272 x3273 -x3274 x3275 -x3276 x3277 -x3278 -x3279 -x3280 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 x3362 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 x3378 x3379 -x3380 -x3381 -x3382 x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 x3430 -x3431 x3432 x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 x3442 -x3443 x3444 -x3445 x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 x3458 -x3459 x3460 -x3461 x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 x3553 -x3554 -x3555 x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 x3604 -x3605 -x3606 -x3607 x3608 -x3609 x3610 -x3611 x3612 -x3613 x3614 -x3615 x3616 -x3617 x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 -x3635 x3636 -x3637 x3638 -x3639 x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 x3949 -x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 x4088 -x4089 x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 x4118 -x4119 -x4120 x4121 -x4122 x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 x4149 -x4150 x4151 -x4152 -x4153 x4154 -x4155 x4156 -x4157 x4158 -x4159 -x4160 -x4161 -x4162 x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 -x4206 x4207 x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 x4226 -x4227 x4228 -x4229 -x4230 -x4231 -x4232 x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 x4247 -x4248 x4249 -x4250 -x4251 x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 x4275 -x4276 -x4277 x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 x4313 -x4314 -x4315 -x4316 -x4317 -x4318

OK	18

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: 63665 MiB (57882 MiB free)
  memory of node 1: 64507 MiB (56259 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497676-1751400195/watcher-4497676-1751400195 -o /tmp/evaluation-result-4497676-1751400195/solver-4497676-1751400195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751394622-61265 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4497676-1751400195 --seed=806605734 HOME/instance-4497676-1751400195.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100063 s]*
/proc/loadavg: 4.15 4.13 4.10 5/269 62192
/proc/meminfo: memFree=116876412/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=35096 memory=14120 CPUtime=0.09 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 2926 0 0 0 9 0 0 0 20 0 1 0 55697381 35938304 3530 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 8774 3530 1024 1201 0 7252 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14120 KiB

[startup+0.205721 s]*
/proc/loadavg: 4.15 4.13 4.10 5/269 62192
/proc/meminfo: memFree=116875912/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=35096 memory=14120 CPUtime=0.2 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 2926 0 0 0 20 0 0 0 20 0 1 0 55697381 35938304 3530 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 8774 3530 1024 1201 0 7252 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14120 KiB

[startup+0.305587 s]*
/proc/loadavg: 4.15 4.13 4.10 5/269 62192
/proc/meminfo: memFree=116875912/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=35096 memory=14120 CPUtime=0.3 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 2926 0 0 0 30 0 0 0 20 0 1 0 55697381 35938304 3530 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 8774 3530 1024 1201 0 7252 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14120 KiB

[startup+0.700134 s]
/proc/loadavg: 4.15 4.13 4.10 5/269 62192
/proc/meminfo: memFree=116867848/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=35096 memory=14120 CPUtime=0.69 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 2926 0 0 0 69 0 0 0 20 0 1 0 55697381 35938304 3530 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 8774 3530 1024 1201 0 7252 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14120 KiB

[startup+1.50018 s]
/proc/loadavg: 4.15 4.13 4.10 5/269 62192
/proc/meminfo: memFree=116859532/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=35096 memory=14120 CPUtime=1.48 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 2926 0 0 0 148 0 0 0 20 0 1 0 55697381 35938304 3530 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 8774 3530 1024 1201 0 7252 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14120 KiB

[startup+3.10552 s]
/proc/loadavg: 4.14 4.13 4.10 5/269 62193
/proc/meminfo: memFree=116835632/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=35096 memory=14120 CPUtime=3.09 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 2926 0 0 0 309 0 0 0 20 0 1 0 55697381 35938304 3530 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 8774 3530 1024 1201 0 7252 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14120 KiB

[startup+6.30016 s]
/proc/loadavg: 4.14 4.13 4.10 5/269 62193
/proc/meminfo: memFree=116818672/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=35096 memory=14120 CPUtime=6.28 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 2926 0 0 0 628 0 0 0 20 0 1 0 55697381 35938304 3530 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 8774 3530 1024 1201 0 7252 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14120 KiB

[startup+12.7001 s]
/proc/loadavg: 4.13 4.13 4.10 5/269 62193
/proc/meminfo: memFree=116791836/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=35096 memory=14120 CPUtime=12.66 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 2926 0 0 0 1266 0 0 0 20 0 1 0 55697381 35938304 3530 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 8774 3530 1024 1201 0 7252 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14120 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.12 4.10 5/269 62193
/proc/meminfo: memFree=116557148/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=35096 memory=14120 CPUtime=25.43 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 2926 0 0 0 2543 0 0 0 20 0 1 0 55697381 35938304 3530 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 8774 3530 1024 1201 0 7252 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14120 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.13 4.10 5/269 62193
/proc/meminfo: memFree=116322672/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=35096 memory=14120 CPUtime=50.98 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 2926 0 0 0 5098 0 0 0 20 0 1 0 55697381 35938304 3530 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 8774 3530 1024 1201 0 7252 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14120 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 62196
/proc/meminfo: memFree=115932404/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=35096 memory=14120 CPUtime=102.06 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 2926 0 0 0 10206 0 0 0 20 0 1 0 55697381 35938304 3530 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 8774 3530 1024 1201 0 7252 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14120 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 62198
/proc/meminfo: memFree=115667584/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=35096 memory=14120 CPUtime=161.92 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 2926 0 0 0 16192 0 0 0 20 0 1 0 55697381 35938304 3530 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 8774 3530 1024 1201 0 7252 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14120 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 62202
/proc/meminfo: memFree=115068568/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=35096 memory=14120 CPUtime=221.78 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 2926 0 0 0 22178 0 0 0 20 0 1 0 55697381 35938304 3530 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 8774 3530 1024 1201 0 7252 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14120 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 62204
/proc/meminfo: memFree=114488184/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=35096 memory=14120 CPUtime=281.64 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 2926 0 0 0 28164 0 0 0 20 0 1 0 55697381 35938304 3530 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 8774 3530 1024 1201 0 7252 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14120 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 62213
/proc/meminfo: memFree=114194780/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=35096 memory=14120 CPUtime=341.51 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 2926 0 0 0 34151 0 0 0 20 0 1 0 55697381 35938304 3530 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 8774 3530 1024 1201 0 7252 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14120 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 62216
/proc/meminfo: memFree=113429948/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=150596 memory=125644 CPUtime=401.29 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 21071 0 0 0 40102 27 0 0 20 0 1 0 55697381 154210304 31411 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 37649 31411 1280 1201 0 36127 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 150596 KiB
Current children cumulated memory: 125644 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 62220
/proc/meminfo: memFree=112777948/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=159664 memory=139920 CPUtime=460.85 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 23148 0 0 0 46025 60 0 0 20 0 1 0 55697381 163495936 34980 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 39916 34980 1280 1201 0 38394 0

################
# More data... #
################

Current children cumulated memory: 201004 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.17 4.14 5/270 62490
/proc/meminfo: memFree=114220556/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=243352 memory=201132 CPUtime=2942.99 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 34906 0 0 0 292958 1341 0 0 20 0 1 0 55697381 249192448 50283 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 60838 50283 1280 1201 0 59316 0
Current children cumulated CPU time: 2942.99 s
Current children cumulated vsize: 243352 KiB
Current children cumulated memory: 201132 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.16 4.14 5/270 62493
/proc/meminfo: memFree=113576960/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=243628 memory=201388 CPUtime=3002.56 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 34975 0 0 0 298884 1372 0 0 20 0 1 0 55697381 249475072 50347 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 60907 50347 1280 1201 0 59385 0
Current children cumulated CPU time: 3002.56 s
Current children cumulated vsize: 243628 KiB
Current children cumulated memory: 201388 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.14 5/269 62495
/proc/meminfo: memFree=112710144/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=244464 memory=202156 CPUtime=3056.34 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 35152 0 0 0 304234 1400 0 0 20 0 1 0 55697381 250331136 50539 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 61116 50539 1280 1201 0 59594 0
Current children cumulated CPU time: 3056.34 s
Current children cumulated vsize: 244464 KiB
Current children cumulated memory: 202156 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/268 62497
/proc/meminfo: memFree=111779836/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=246464 memory=204204 CPUtime=3116.04 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 35679 0 0 0 310173 1431 0 0 20 0 1 0 55697381 252379136 51051 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 61616 51051 1280 1201 0 60094 0
Current children cumulated CPU time: 3116.04 s
Current children cumulated vsize: 246464 KiB
Current children cumulated memory: 204204 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/267 62499
/proc/meminfo: memFree=110949144/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=246464 memory=204332 CPUtime=3175.59 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 35751 0 0 0 316102 1457 0 0 20 0 1 0 55697381 252379136 51083 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 61616 51083 1280 1201 0 60094 0
Current children cumulated CPU time: 3175.59 s
Current children cumulated vsize: 246464 KiB
Current children cumulated memory: 204332 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/268 62502
/proc/meminfo: memFree=110144508/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=247004 memory=204844 CPUtime=3235.44 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 35914 0 0 0 322053 1491 0 0 20 0 1 0 55697381 252932096 51211 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 61751 51211 1280 1201 0 60229 0
Current children cumulated CPU time: 3235.44 s
Current children cumulated vsize: 247004 KiB
Current children cumulated memory: 204844 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/269 62505
/proc/meminfo: memFree=109217696/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=249556 memory=206764 CPUtime=3295.3 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 36400 0 0 0 328009 1521 0 0 20 0 1 0 55697381 255545344 51691 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 62389 51691 1280 1201 0 60867 0
Current children cumulated CPU time: 3295.3 s
Current children cumulated vsize: 249556 KiB
Current children cumulated memory: 206764 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/270 62515
/proc/meminfo: memFree=108554912/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=249556 memory=206764 CPUtime=3355.15 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 36404 0 0 0 333968 1547 0 0 20 0 1 0 55697381 255545344 51691 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 62389 51691 1280 1201 0 60867 0
Current children cumulated CPU time: 3355.15 s
Current children cumulated vsize: 249556 KiB
Current children cumulated memory: 206764 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/271 62518
/proc/meminfo: memFree=107618380/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=249556 memory=206764 CPUtime=3415 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 36404 0 0 0 339921 1579 0 0 20 0 1 0 55697381 255545344 51691 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 62389 51691 1280 1201 0 60867 0
Current children cumulated CPU time: 3415 s
Current children cumulated vsize: 249556 KiB
Current children cumulated memory: 206764 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.14 4.12 5/271 62531
/proc/meminfo: memFree=106779212/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=249828 memory=207020 CPUtime=3474.85 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 36472 0 0 0 345876 1609 0 0 20 0 1 0 55697381 255823872 51755 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 62457 51755 1280 1201 0 60935 0
Current children cumulated CPU time: 3474.85 s
Current children cumulated vsize: 249828 KiB
Current children cumulated memory: 207020 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/269 62533
/proc/meminfo: memFree=105922388/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=249828 memory=207276 CPUtime=3534.7 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 36490 0 0 0 351829 1641 0 0 20 0 1 0 55697381 255823872 51819 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 62457 51819 1280 1201 0 60935 0
Current children cumulated CPU time: 3534.7 s
Current children cumulated vsize: 249828 KiB
Current children cumulated memory: 207276 KiB

[startup+3642.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/269 62536
/proc/meminfo: memFree=105132424/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=250636 memory=208044 CPUtime=3594.27 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 36698 0 0 0 357755 1672 0 0 20 0 1 0 55697381 256651264 52011 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 62659 52011 1280 1201 0 61137 0
Current children cumulated CPU time: 3594.27 s
Current children cumulated vsize: 250636 KiB
Current children cumulated memory: 208044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3648.11 s]
/proc/loadavg: 4.09 4.12 4.11 5/269 62536
/proc/meminfo: memFree=105092896/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=250636 memory=208044 CPUtime=3600.06 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) R 62188 62191 61252 0 -1 4194304 36698 0 0 0 358331 1675 0 0 20 0 1 0 55697381 256651264 52011 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 62659 52011 1280 1201 0 61137 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 250636 KiB
Current children cumulated memory: 208044 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3648.44 s]
# the end of solver process 62191 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3583.32 s, system=16.7988 s

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

[startup+3648.4 s]
/proc/loadavg: 4.09 4.12 4.11 5/269 62536
/proc/meminfo: memFree=105092896/131249996 swapFree=33010684/33010684
[pid=62191] ppid=62188 vsize=151728 memory=145932 CPUtime=3600.1 cores=5,7
/proc/62191/stat : 62191 (Exact_proof) D 62188 62191 61252 0 -1 4194304 36699 0 0 0 358332 1678 0 0 20 0 1 0 55697381 155369472 36483 18446744073709551615 4198400 9115581 140732338868256 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 10325008 10415428 46358528 140732338870473 140732338870759 140732338870759 140732338876361 0
/proc/62191/statm: 37932 36483 1280 1201 0 36410 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 151728 KiB
Current children cumulated memory: 145932 KiB

Child status: 10

Real time (s): 3648.44
CPU time (s): 3600.12
CPU user time (s): 3583.32
CPU system time (s): 16.7988
CPU usage (%): 98.6757
Max. virtual memory (cumulated for all children) (KiB): 286276
Max. memory (cumulated for all children) (KiB): 237584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.32
system time used= 16.7988
maximum resident set size= 241680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36700
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20579968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4221
involuntary context switches= 4431


# summary of solver processes directly reported to runsolver:
#   pid: 62191
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3583.32
#   total CPU system time (s): 16.7988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74984 second user time and 16.8959 second system time

The end

Begin job on nodeC024 at 2025-07-01 22:03:15
IDJOB=4497676
IDBENCH=148191
IDSOLVER=3325
FILE ID=nodeC024/4497676-1751400195
RUNJOBID= nodeC024-1751394622-61265
SLURM_JOB_ID= 9598264
Free space on /tmp= 432940 MiB

SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497676-1751400195/watcher-4497676-1751400195 -o /tmp/evaluation-result-4497676-1751400195/solver-4497676-1751400195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751394622-61265 --watchdog 3760  HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4497676-1751400195 --seed=806605734 HOME/instance-4497676-1751400195.opb

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=806605734

nodeC024 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		: 3599.646
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	: 6999.36
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		: 3599.673
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	: 6999.36
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		: 3593.521
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	: 6999.36
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		: 3608.486
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	: 6999.36
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		: 3600.054
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	: 6999.36
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		: 3599.845
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	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.866
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	: 6999.36
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.366
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	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        116878912 kB
MemAvailable:   127130980 kB
Buffers:            3280 kB
Cached:         11035556 kB
SwapCached:            0 kB
Active:          2945940 kB
Inactive:       10778032 kB
Active(anon):    2703576 kB
Inactive(anon):        0 kB
Active(file):     242364 kB
Inactive(file): 10778032 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            142888 kB
Writeback:            24 kB
AnonPages:       2688056 kB
Mapped:           119216 kB
Shmem:             18064 kB
KReclaimable:     141420 kB
Slab:             235916 kB
SReclaimable:     141420 kB
SUnreclaim:        94496 kB
KernelStack:        4380 kB
PageTables:         8692 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3543164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150696 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1871872 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432948 MiB
End job on nodeC024 at 2025-07-01 23:04:03