163.59/164.28 c Filename:instance-4441957-1721299338.opb, Cutoff_time:3600, memory_limit_gb:500000
163.59/164.28 c Not use presolve
1794.28/1800.20 c Use LS-small
1794.28/1800.20 s SATISFIABLE
1794.28/1800.20 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
1794.28/1800.20 c Done 1794.28s
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: 64059 MiB (61700 MiB free)
memory of node 1: 64510 MiB (60054 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441957-1721299338/watcher-4441957-1721299338 -o /tmp/evaluation-result-4441957-1721299338/solver-4441957-1721299338 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721293924-945299 --watchdog 3760 ./LS-MabS -f HOME/instance-4441957-1721299338.opb -t 3600 -s 702065584
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=948458, runsolver pid=948455
[startup+0.100097 s]*
/proc/loadavg: 4.35 4.40 4.26 5/243 948459
/proc/meminfo: memFree=124622604/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=87692 memory=72864 CPUtime=0.11 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 16310 0 0 0 8 3 0 0 20 0 1 0 182093061 89796608 18216 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 21923 18216 2285 2403 0 19033 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 87692 KiB
Current children cumulated memory: 72864 KiB
[startup+0.213481 s]*
/proc/loadavg: 4.35 4.40 4.26 5/243 948459
/proc/meminfo: memFree=124603436/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=100896 memory=86124 CPUtime=0.21 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 19631 0 0 0 18 3 0 0 20 0 1 0 182093061 103317504 21531 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 25224 21531 2301 2403 0 22334 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 100896 KiB
Current children cumulated memory: 86124 KiB
[startup+0.313168 s]*
/proc/loadavg: 4.35 4.40 4.26 5/243 948459
/proc/meminfo: memFree=124599124/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=100688 memory=86708 CPUtime=0.32 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 21046 0 0 0 28 4 0 0 20 0 1 0 182093061 103104512 21677 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 25172 21677 2333 2403 0 22282 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 100688 KiB
Current children cumulated memory: 86708 KiB
[startup+0.700322 s]
/proc/loadavg: 4.35 4.40 4.26 5/243 948459
/proc/meminfo: memFree=124569764/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=148472 memory=132964 CPUtime=0.69 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 34139 0 0 0 63 6 0 0 20 0 1 0 182093061 152035328 33241 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 37118 33241 2445 2403 0 34228 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 148472 KiB
Current children cumulated memory: 132964 KiB
[startup+1.50026 s]
/proc/loadavg: 4.35 4.40 4.26 5/243 948461
/proc/meminfo: memFree=124551952/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=150296 memory=134548 CPUtime=1.48 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 34586 0 0 0 142 6 0 0 20 0 1 0 182093061 153903104 33637 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 37574 33637 2445 2403 0 34684 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 150296 KiB
Current children cumulated memory: 134548 KiB
[startup+3.11273 s]
/proc/loadavg: 4.35 4.40 4.26 5/243 948461
/proc/meminfo: memFree=124547872/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=153628 memory=137980 CPUtime=3.09 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 35435 0 0 0 303 6 0 0 20 0 1 0 182093061 157315072 34495 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 38407 34495 2445 2403 0 35517 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 153628 KiB
Current children cumulated memory: 137980 KiB
[startup+6.30024 s]
/proc/loadavg: 4.32 4.39 4.26 5/243 948461
/proc/meminfo: memFree=124547688/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=159008 memory=142988 CPUtime=6.26 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 36154 0 0 0 620 6 0 0 20 0 1 0 182093061 162824192 35747 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 39752 35747 2461 2403 0 36862 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 159008 KiB
Current children cumulated memory: 142988 KiB
[startup+12.7002 s]
/proc/loadavg: 4.29 4.39 4.26 5/243 948462
/proc/meminfo: memFree=124531736/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=159008 memory=142988 CPUtime=12.64 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 36157 0 0 0 1258 6 0 0 20 0 1 0 182093061 162824192 35747 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 39752 35747 2461 2403 0 36862 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 159008 KiB
Current children cumulated memory: 142988 KiB
[startup+25.5003 s]
/proc/loadavg: 4.23 4.37 4.26 5/243 948464
/proc/meminfo: memFree=124522716/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=168684 memory=148008 CPUtime=25.4 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 38125 0 0 0 2533 7 0 0 20 0 1 0 182093061 172732416 37002 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 42171 37002 2477 2403 0 39281 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 168684 KiB
Current children cumulated memory: 148008 KiB
[startup+51.1127 s]
/proc/loadavg: 4.22 4.35 4.25 5/243 948468
/proc/meminfo: memFree=124504324/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=185624 memory=157204 CPUtime=50.92 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 40799 0 0 0 5084 8 0 0 20 0 1 0 182093061 190078976 39301 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 46406 39301 2477 2403 0 43516 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 185624 KiB
Current children cumulated memory: 157204 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.31 4.25 5/243 948478
/proc/meminfo: memFree=124471620/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=206332 memory=167316 CPUtime=101.93 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 42888 0 0 0 10184 9 0 0 20 0 1 0 182093061 211283968 41829 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 51583 41829 2477 2403 0 48693 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 206332 KiB
Current children cumulated memory: 167316 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.25 4.23 5/243 948488
/proc/meminfo: memFree=124458628/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=215220 memory=177908 CPUtime=161.7 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 43443 0 0 0 16161 9 0 0 20 0 1 0 182093061 220385280 44477 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 53805 44477 2477 2403 0 50915 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 215220 KiB
Current children cumulated memory: 177908 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.24 4.22 6/241 948499
/proc/meminfo: memFree=124353956/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=251972 memory=241188 CPUtime=221.51 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 52309 0 0 0 22140 11 0 0 20 0 1 0 182093061 258019328 60297 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 62993 60297 2477 2403 0 60103 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 251972 KiB
Current children cumulated memory: 241188 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.21 4.21 5/241 948509
/proc/meminfo: memFree=124351112/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=251972 memory=243776 CPUtime=281.32 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 52462 0 0 0 28121 11 0 0 20 0 1 0 182093061 258019328 60944 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 62993 60944 2477 2403 0 60103 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 251972 KiB
Current children cumulated memory: 243776 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.18 4.20 5/241 948519
/proc/meminfo: memFree=124350880/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=251972 memory=243776 CPUtime=341.13 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 52548 0 0 0 34102 11 0 0 20 0 1 0 182093061 258019328 60944 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 62993 60944 2477 2403 0 60103 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 251972 KiB
Current children cumulated memory: 243776 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.16 4.19 5/241 948530
/proc/meminfo: memFree=124350508/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=251972 memory=243776 CPUtime=400.94 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 52629 0 0 0 40083 11 0 0 20 0 1 0 182093061 258019328 60944 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 62993 60944 2477 2403 0 60103 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 251972 KiB
Current children cumulated memory: 243776 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.14 4.18 5/241 948541
/proc/meminfo: memFree=124350148/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=251972 memory=243776 CPUtime=460.74 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 52715 0 0 0 46063 11 0 0 20 0 1 0 182093061 258019328 60944 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
################
# More data... #
################
/proc/loadavg: 4.11 4.09 4.12 5/243 949262
/proc/meminfo: memFree=124205140/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=331512 memory=306076 CPUtime=1297.99 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 67262 0 0 0 129786 13 0 0 20 0 1 0 182093061 339468288 76519 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 82878 76519 2477 2403 0 79988 0
Current children cumulated CPU time: 1297.99 s
Current children cumulated vsize: 331512 KiB
Current children cumulated memory: 306076 KiB
[startup+1362.3 s]
/proc/loadavg: 4.15 4.11 4.12 5/243 949272
/proc/meminfo: memFree=124204884/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=331512 memory=306116 CPUtime=1357.8 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 67373 0 0 0 135767 13 0 0 20 0 1 0 182093061 339468288 76529 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 82878 76529 2477 2403 0 79988 0
Current children cumulated CPU time: 1357.8 s
Current children cumulated vsize: 331512 KiB
Current children cumulated memory: 306116 KiB
[startup+1422.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/241 949283
/proc/meminfo: memFree=124195904/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=331512 memory=314732 CPUtime=1417.6 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 67438 0 0 0 141747 13 0 0 20 0 1 0 182093061 339468288 78683 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 82878 78683 2477 2403 0 79988 0
Current children cumulated CPU time: 1417.6 s
Current children cumulated vsize: 331512 KiB
Current children cumulated memory: 314732 KiB
[startup+1482.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/241 949293
/proc/meminfo: memFree=124195356/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=331512 memory=314972 CPUtime=1477.4 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 67532 0 0 0 147727 13 0 0 20 0 1 0 182093061 339468288 78743 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 82878 78743 2477 2403 0 79988 0
Current children cumulated CPU time: 1477.4 s
Current children cumulated vsize: 331512 KiB
Current children cumulated memory: 314972 KiB
[startup+1542.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/241 949303
/proc/meminfo: memFree=124195020/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=331512 memory=314972 CPUtime=1537.2 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 67630 0 0 0 153707 13 0 0 20 0 1 0 182093061 339468288 78743 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 82878 78743 2477 2403 0 79988 0
Current children cumulated CPU time: 1537.2 s
Current children cumulated vsize: 331512 KiB
Current children cumulated memory: 314972 KiB
[startup+1602.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/241 949314
/proc/meminfo: memFree=124194736/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=331512 memory=314972 CPUtime=1597.01 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 67763 0 0 0 159688 13 0 0 20 0 1 0 182093061 339468288 78743 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 82878 78743 2477 2403 0 79988 0
Current children cumulated CPU time: 1597.01 s
Current children cumulated vsize: 331512 KiB
Current children cumulated memory: 314972 KiB
[startup+1662.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/241 949324
/proc/meminfo: memFree=124194548/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=331512 memory=314972 CPUtime=1656.82 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 67826 0 0 0 165669 13 0 0 20 0 1 0 182093061 339468288 78743 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 82878 78743 2477 2403 0 79988 0
Current children cumulated CPU time: 1656.82 s
Current children cumulated vsize: 331512 KiB
Current children cumulated memory: 314972 KiB
[startup+1722.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/243 949338
/proc/meminfo: memFree=124194096/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=331512 memory=314972 CPUtime=1716.63 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 67933 0 0 0 171650 13 0 0 20 0 1 0 182093061 339468288 78743 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 82878 78743 2477 2403 0 79988 0
Current children cumulated CPU time: 1716.63 s
Current children cumulated vsize: 331512 KiB
Current children cumulated memory: 314972 KiB
[startup+1782.3 s]
/proc/loadavg: 4.13 4.11 4.10 6/244 949349
/proc/meminfo: memFree=124193864/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=331512 memory=314972 CPUtime=1776.43 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 68060 0 0 0 177630 13 0 0 20 0 1 0 182093061 339468288 78743 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 82878 78743 2477 2403 0 79988 0
Current children cumulated CPU time: 1776.43 s
Current children cumulated vsize: 331512 KiB
Current children cumulated memory: 314972 KiB
[startup+1800.2 s]
# the end of solver process 948458 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1794.15 s, system=0.149477 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.11 4.11 4.09 6/241 949620
/proc/meminfo: memFree=124572720/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=331512 memory=314972 CPUtime=1786.11 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 68074 0 0 0 178598 13 0 0 20 0 1 0 182093061 339468288 78743 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 82878 78743 2477 2403 0 79988 0
Current children cumulated CPU time: 1786.11 s
Current children cumulated vsize: 331512 KiB
Current children cumulated memory: 314972 KiB
[startup+1795.2 s]
/proc/loadavg: 4.18 4.12 4.10 5/244 949626
/proc/meminfo: memFree=124478468/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=331512 memory=314972 CPUtime=1789.29 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 68074 0 0 0 178916 13 0 0 20 0 1 0 182093061 339468288 78743 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 82878 78743 2477 2403 0 79988 0
Current children cumulated CPU time: 1789.29 s
Current children cumulated vsize: 331512 KiB
Current children cumulated memory: 314972 KiB
[startup+1798.4 s]
/proc/loadavg: 4.18 4.12 4.10 5/244 949626
/proc/meminfo: memFree=124478464/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=331512 memory=314972 CPUtime=1792.48 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 68074 0 0 0 179235 13 0 0 20 0 1 0 182093061 339468288 78743 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 82878 78743 2477 2403 0 79988 0
Current children cumulated CPU time: 1792.48 s
Current children cumulated vsize: 331512 KiB
Current children cumulated memory: 314972 KiB
[startup+1799.2 s]
/proc/loadavg: 4.25 4.14 4.10 5/244 949626
/proc/meminfo: memFree=124478456/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=331512 memory=314972 CPUtime=1793.28 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 68074 0 0 0 179315 13 0 0 20 0 1 0 182093061 339468288 78743 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 82878 78743 2477 2403 0 79988 0
Current children cumulated CPU time: 1793.28 s
Current children cumulated vsize: 331512 KiB
Current children cumulated memory: 314972 KiB
[startup+1800 s]*
/proc/loadavg: 4.25 4.14 4.10 5/244 949627
/proc/meminfo: memFree=124478464/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=331512 memory=314972 CPUtime=1794.09 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 68074 0 0 0 179396 13 0 0 20 0 1 0 182093061 339468288 78743 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 82878 78743 2477 2403 0 79988 0
Current children cumulated CPU time: 1794.09 s
Current children cumulated vsize: 331512 KiB
Current children cumulated memory: 314972 KiB
[startup+1800.2 s]
/proc/loadavg: 4.25 4.14 4.10 5/244 949627
/proc/meminfo: memFree=124478464/131655788 swapFree=131071996/131071996
[pid=948458] ppid=948455 vsize=280828 memory=265164 CPUtime=1794.28 cores=0,2
/proc/948458/stat : 948458 (LS-MabS) R 948455 948458 945289 0 -1 4194304 68355 0 0 0 179414 14 0 0 20 0 1 0 182093061 287567872 66291 134679101440 4194304 14036057 140736531644400 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38936576 140736531653665 140736531653766 140736531653766 140736531660782 0
/proc/948458/statm: 70207 66291 2492 2403 0 67317 0
Current children cumulated CPU time: 1794.28 s
Current children cumulated vsize: 280828 KiB
Current children cumulated memory: 265164 KiB
Child status: 0
Real time (s): 1800.2
CPU time (s): 1794.3
CPU user time (s): 1794.15
CPU system time (s): 0.149477
CPU usage (%): 99.6718
Max. virtual memory (cumulated for all children) (KiB): 331512
Max. memory (cumulated for all children) (KiB): 314972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.15
system time used= 0.149477
maximum resident set size= 314972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68356
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= 32
involuntary context switches= 12558
# summary of solver processes directly reported to runsolver:
# pid: 948458
# total CPU time (s): 1794.3
# total CPU user time (s): 1794.15
# total CPU system time (s): 0.149477
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.05598 second user time and 16.5464 second system time
The end
Begin job on nodeC010 at 2024-07-18 12:42:30
IDJOB=4441957
IDBENCH=147758
IDSOLVER=3048
FILE ID=nodeC010/4441957-1721299338
RUNJOBID= nodeC010-1721293924-945299
SLURM_JOB_ID= 7542609
Free space on /tmp= 723740 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441957-1721299338/watcher-4441957-1721299338 -o /tmp/evaluation-result-4441957-1721299338/solver-4441957-1721299338 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721293924-945299 --watchdog 3760 ./LS-MabS -f HOME/instance-4441957-1721299338.opb -t 3600 -s 702065584
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d1aade7dcf65cc3dbe16a05e614ec6ef
RANDOM SEED=702065584
nodeC010.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 : 0xb00001f
cpu MHz : 3491.787
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3667.896
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.174
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.345
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3668.708
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3667.910
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.368
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.390
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124677660 kB
MemAvailable: 129606384 kB
Buffers: 492676 kB
Cached: 5216164 kB
SwapCached: 0 kB
Active: 1000720 kB
Inactive: 5302376 kB
Active(anon): 1440 kB
Inactive(anon): 630212 kB
Active(file): 999280 kB
Inactive(file): 4672164 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 14072 kB
Writeback: 0 kB
AnonPages: 593976 kB
Mapped: 134940 kB
Shmem: 37704 kB
KReclaimable: 194624 kB
Slab: 309552 kB
SReclaimable: 194624 kB
SUnreclaim: 114928 kB
KernelStack: 3948 kB
PageTables: 10556 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 962004 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 57728 kB
HardwareCorrupted: 0 kB
AnonHugePages: 325632 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: 295752 kB
DirectMap2M: 35260416 kB
DirectMap1G: 100663296 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC010 at 2024-07-18 13:12:30