0.00/0.00 c Filename:instance-4428169-1722776719.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Not use presolve
2.18/2.25 c Use LS-small
2.18/2.25 o 63
3557.94/3564.55 s SATISFIABLE
3557.94/3564.55 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 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676
3557.94/3564.55 c Done 2.23s
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: 63968 MiB (60524 MiB free)
memory of node 1: 64473 MiB (62968 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428169-1722776719/watcher-4428169-1722776719 -o /tmp/evaluation-result-4428169-1722776719/solver-4428169-1722776719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722769582-238913 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428169-1722776719.opb -t 3558 -s 741050824
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=242948, runsolver pid=242945
[startup+0.100805 s]*
/proc/loadavg: 4.13 4.19 4.15 5/256 242964
/proc/meminfo: memFree=126409928/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=48184 memory=38096 CPUtime=0.09 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 7387 0 0 0 9 0 0 0 20 0 1 0 44272054 49340416 9524 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 12046 9524 2365 2403 0 9156 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48184 KiB
Current children cumulated memory: 38096 KiB
[startup+0.205866 s]*
/proc/loadavg: 4.13 4.19 4.15 6/256 242964
/proc/meminfo: memFree=126402836/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=55176 memory=44940 CPUtime=0.2 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 9237 0 0 0 19 1 0 0 20 0 1 0 44272054 56500224 11235 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 13794 11235 2461 2403 0 10904 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55176 KiB
Current children cumulated memory: 44940 KiB
[startup+0.304749 s]*
/proc/loadavg: 4.13 4.19 4.15 5/256 242964
/proc/meminfo: memFree=126386552/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=71024 memory=60780 CPUtime=0.29 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 13182 0 0 0 28 1 0 0 20 0 1 0 44272054 72728576 15195 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 17756 15195 2461 2403 0 14866 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 71024 KiB
Current children cumulated memory: 60780 KiB
[startup+0.700174 s]
/proc/loadavg: 4.13 4.19 4.15 5/256 242964
/proc/meminfo: memFree=126363756/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=123528 memory=112492 CPUtime=0.69 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 26126 0 0 0 66 3 0 0 20 0 1 0 44272054 126492672 28123 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 30882 28123 2461 2403 0 27992 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 123528 KiB
Current children cumulated memory: 112492 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.19 4.15 5/256 242964
/proc/meminfo: memFree=126308772/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=194440 memory=182836 CPUtime=1.48 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 44499 0 0 0 142 6 0 0 20 0 1 0 44272054 199106560 45709 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 48610 45709 2461 2403 0 45720 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 194440 KiB
Current children cumulated memory: 182836 KiB
[startup+3.10462 s]
/proc/loadavg: 4.12 4.18 4.15 5/256 242965
/proc/meminfo: memFree=126321844/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=125140 CPUtime=3.08 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48058 0 0 0 299 9 0 0 20 0 1 0 44272054 140320768 31285 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 31285 2476 2403 0 31368 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 125140 KiB
[startup+6.30014 s]
/proc/loadavg: 4.12 4.18 4.15 5/256 243011
/proc/meminfo: memFree=126621044/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=125140 CPUtime=6.27 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48074 0 0 0 606 21 0 0 20 0 1 0 44272054 140320768 31285 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 31285 2476 2403 0 31368 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 125140 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.18 4.14 5/256 243011
/proc/meminfo: memFree=126620496/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=125140 CPUtime=12.66 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48074 0 0 0 1221 45 0 0 20 0 1 0 44272054 140320768 31285 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 31285 2476 2403 0 31368 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 125140 KiB
[startup+25.5001 s]
/proc/loadavg: 4.16 4.19 4.15 5/255 243014
/proc/meminfo: memFree=126619992/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=125424 CPUtime=25.44 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48089 0 0 0 2448 96 0 0 20 0 1 0 44272054 140320768 31356 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 31356 2476 2403 0 31368 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 125424 KiB
[startup+51.1047 s]
/proc/loadavg: 4.11 4.17 4.14 5/255 243017
/proc/meminfo: memFree=126618540/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=126368 CPUtime=51 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48098 0 0 0 4895 205 0 0 20 0 1 0 44272054 140320768 31592 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 31592 2476 2403 0 31368 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 126368 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/255 243026
/proc/meminfo: memFree=126614656/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129644 CPUtime=102.09 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48107 0 0 0 9793 416 0 0 20 0 1 0 44272054 140320768 32411 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32411 2476 2403 0 31368 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129644 KiB
[startup+162.3 s]
/proc/loadavg: 4.40 4.25 4.17 5/255 243038
/proc/meminfo: memFree=126614360/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129644 CPUtime=161.98 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48113 0 0 0 15526 672 0 0 20 0 1 0 44272054 140320768 32411 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32411 2476 2403 0 31368 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129644 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.22 4.17 5/255 243048
/proc/meminfo: memFree=126613844/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=221.87 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48119 0 0 0 21252 935 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 221.87 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.20 4.17 5/255 243058
/proc/meminfo: memFree=126613508/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=281.76 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48122 0 0 0 26990 1186 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 281.76 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.18 4.16 5/257 243073
/proc/meminfo: memFree=126613056/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=341.65 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48125 0 0 0 32703 1462 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 341.65 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.18 4.16 5/258 243085
/proc/meminfo: memFree=126612604/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=401.54 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48128 0 0 0 38429 1725 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 401.54 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.17 4.16 5/258 243095
/proc/meminfo: memFree=126612292/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=461.43 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48131 0 0 0 44158 1985 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
################
# More data... #
################
/proc/loadavg: 4.21 4.16 4.11 5/258 244761
/proc/meminfo: memFree=126597400/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=3216.38 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48269 0 0 0 307485 14153 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 3216.38 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/258 244771
/proc/meminfo: memFree=126597056/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=3276.26 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48272 0 0 0 313203 14423 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 3276.26 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/256 244784
/proc/meminfo: memFree=126596804/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=3336.16 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48275 0 0 0 318933 14683 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 3336.16 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 244806
/proc/meminfo: memFree=126596464/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=3396.05 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48278 0 0 0 324652 14953 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 3396.05 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/256 244816
/proc/meminfo: memFree=126596204/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=3455.94 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48281 0 0 0 330388 15206 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 3455.94 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/255 244826
/proc/meminfo: memFree=126595864/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=3515.82 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48284 0 0 0 336117 15465 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 3515.82 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+3564.55 s]
# the end of solver process 242948 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3401.46 s, system=156.55 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.11 4.13 4.09 5/255 244828
/proc/meminfo: memFree=126595808/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=3526.3 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48284 0 0 0 337116 15514 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 3526.3 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+3545.6 s]
/proc/loadavg: 4.17 4.14 4.10 5/255 244831
/proc/meminfo: memFree=126595724/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=3539.09 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48284 0 0 0 338339 15570 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 3539.09 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+3552 s]*
/proc/loadavg: 4.15 4.14 4.10 5/255 244833
/proc/meminfo: memFree=126595696/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=3545.47 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48284 0 0 0 338948 15599 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 3545.47 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+3558.4 s]
/proc/loadavg: 4.14 4.14 4.10 5/255 244835
/proc/meminfo: memFree=126595688/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=3551.86 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48284 0 0 0 339557 15629 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 3551.86 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+3561.6 s]
/proc/loadavg: 4.13 4.14 4.09 5/255 244835
/proc/meminfo: memFree=126595688/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=3555.05 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48284 0 0 0 339864 15641 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 3555.05 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+3563.2 s]
/proc/loadavg: 4.13 4.14 4.09 5/255 244836
/proc/meminfo: memFree=126595696/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=3556.65 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48284 0 0 0 340016 15649 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 3556.65 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+3564 s]*
/proc/loadavg: 4.20 4.15 4.10 5/249 244865
/proc/meminfo: memFree=126611824/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=3557.45 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48284 0 0 0 340093 15652 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 3557.45 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+3564.4 s]
/proc/loadavg: 4.20 4.15 4.10 5/249 244865
/proc/meminfo: memFree=126611824/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=3557.85 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48284 0 0 0 340131 15654 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 3557.85 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
[startup+3564.5 s]
/proc/loadavg: 4.20 4.15 4.10 5/249 244865
/proc/meminfo: memFree=126611824/131524600 swapFree=131071996/131071996
[pid=242948] ppid=242945 vsize=137032 memory=129792 CPUtime=3557.94 cores=1,3
/proc/242948/stat : 242948 (LS-MabS) R 242945 242948 238901 0 -1 4194304 48284 0 0 0 340140 15654 0 0 20 0 1 0 44272054 140320768 32448 134679101440 4194304 14036057 140736903526208 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44326912 140736903529505 140736903529606 140736903529606 140736903536622 0
/proc/242948/statm: 34258 32448 2492 2403 0 31368 0
Current children cumulated CPU time: 3557.94 s
Current children cumulated vsize: 137032 KiB
Current children cumulated memory: 129792 KiB
Child status: 0
Real time (s): 3564.55
CPU time (s): 3558.01
CPU user time (s): 3401.46
CPU system time (s): 156.55
CPU usage (%): 99.8164
Max. virtual memory (cumulated for all children) (KiB): 210480
Max. memory (cumulated for all children) (KiB): 196552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3401.46
system time used= 156.55
maximum resident set size= 196552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48287
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= 5
involuntary context switches= 2987
# summary of solver processes directly reported to runsolver:
# pid: 242948
# total CPU time (s): 3558.01
# total CPU user time (s): 3401.46
# total CPU system time (s): 156.55
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.05607 second user time and 12.0885 second system time
The end
Begin job on nodeC026 at 2024-08-04 15:05:19
IDJOB=4428169
IDBENCH=147201
IDSOLVER=3048
FILE ID=nodeC026/4428169-1722776719
RUNJOBID= nodeC026-1722769582-238913
SLURM_JOB_ID= 8257557
Free space on /tmp= 890040 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428169-1722776719/watcher-4428169-1722776719 -o /tmp/evaluation-result-4428169-1722776719/solver-4428169-1722776719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722769582-238913 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428169-1722776719.opb -t 3558 -s 741050824
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c6607e81ef495ea554e89cc8679fc78c
RANDOM SEED=741050824
nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3663.831
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
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 : 3668.099
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.813
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
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 : 3663.178
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
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 : 3667.065
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
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 : 3668.187
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
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 : 3655.738
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
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.889
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126439404 kB
MemAvailable: 129534632 kB
Buffers: 291724 kB
Cached: 3642244 kB
SwapCached: 0 kB
Active: 506696 kB
Inactive: 4071664 kB
Active(anon): 1516 kB
Inactive(anon): 672396 kB
Active(file): 505180 kB
Inactive(file): 3399268 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 25968 kB
Writeback: 0 kB
AnonPages: 643224 kB
Mapped: 118044 kB
Shmem: 29528 kB
KReclaimable: 61208 kB
Slab: 149412 kB
SReclaimable: 61208 kB
SUnreclaim: 88204 kB
KernelStack: 4124 kB
PageTables: 10540 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1054196 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 22720 kB
HardwareCorrupted: 0 kB
AnonHugePages: 561152 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 295636 kB
DirectMap2M: 33032192 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 890044 MiB
End job on nodeC026 at 2024-08-04 16:04:43