189.67/190.27 c Filename:instance-4441927-1721299323.opb, Cutoff_time:3600, memory_limit_gb:500000
189.67/190.27 c Not use presolve
1795.81/1800.45 c Use LS-small
1795.81/1800.45 s SATISFIABLE
1795.81/1800.45 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
1795.81/1800.45 c Done 1795.87s
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 (61408 MiB free)
memory of node 1: 64510 MiB (60185 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441927-1721299323/watcher-4441927-1721299323 -o /tmp/evaluation-result-4441927-1721299323/solver-4441927-1721299323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721293924-945301 --watchdog 3760 ./LS-MabS -f HOME/instance-4441927-1721299323.opb -t 3600 -s 1456294548
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=948409, runsolver pid=948406
[startup+0.100786 s]*
/proc/loadavg: 4.35 4.40 4.26 5/243 948410
/proc/meminfo: memFree=124505764/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=31020 memory=13140 CPUtime=0.1 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 2497 0 0 0 10 0 0 0 20 0 1 0 182091506 31764480 3285 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 7755 3285 909 2403 0 4865 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31020 KiB
Current children cumulated memory: 13140 KiB
[startup+0.212009 s]*
/proc/loadavg: 4.35 4.40 4.26 5/243 948410
/proc/meminfo: memFree=124446292/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=89152 memory=73688 CPUtime=0.21 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 16529 0 0 0 19 2 0 0 20 0 1 0 182091506 91291648 18422 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 22288 18422 2301 2403 0 19398 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 89152 KiB
Current children cumulated memory: 73688 KiB
[startup+0.312894 s]*
/proc/loadavg: 4.35 4.40 4.26 5/243 948410
/proc/meminfo: memFree=124438116/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=98960 memory=83984 CPUtime=0.31 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 19117 0 0 0 29 2 0 0 20 0 1 0 182091506 101335040 20996 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 24740 20996 2301 2403 0 21850 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 98960 KiB
Current children cumulated memory: 83984 KiB
[startup+0.700357 s]
/proc/loadavg: 4.35 4.40 4.26 5/243 948410
/proc/meminfo: memFree=124428344/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=141592 memory=126236 CPUtime=0.68 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 32764 0 0 0 63 5 0 0 20 0 1 0 182091506 144990208 31559 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 35398 31559 2397 2403 0 32508 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 141592 KiB
Current children cumulated memory: 126236 KiB
[startup+1.50026 s]
/proc/loadavg: 4.35 4.40 4.26 6/243 948410
/proc/meminfo: memFree=124384108/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=153412 memory=137404 CPUtime=1.48 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 35556 0 0 0 142 6 0 0 20 0 1 0 182091506 157093888 34351 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 38353 34351 2445 2403 0 35463 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 153412 KiB
Current children cumulated memory: 137404 KiB
[startup+3.11239 s]
/proc/loadavg: 4.35 4.40 4.26 6/243 948410
/proc/meminfo: memFree=124381768/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=155308 memory=138988 CPUtime=3.09 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 35943 0 0 0 303 6 0 0 20 0 1 0 182091506 159035392 34747 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 38827 34747 2445 2403 0 35937 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 155308 KiB
Current children cumulated memory: 138988 KiB
[startup+6.30025 s]
/proc/loadavg: 4.32 4.40 4.26 6/243 948410
/proc/meminfo: memFree=124379716/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=156592 memory=140308 CPUtime=6.27 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 36308 0 0 0 621 6 0 0 20 0 1 0 182091506 160350208 35077 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 39148 35077 2445 2403 0 36258 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 156592 KiB
Current children cumulated memory: 140308 KiB
[startup+12.7002 s]
/proc/loadavg: 4.29 4.39 4.26 6/243 948411
/proc/meminfo: memFree=124377932/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=158596 memory=142216 CPUtime=12.65 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 36726 0 0 0 1259 6 0 0 20 0 1 0 182091506 162402304 35554 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 39649 35554 2461 2403 0 36759 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 158596 KiB
Current children cumulated memory: 142216 KiB
[startup+25.5003 s]
/proc/loadavg: 4.29 4.39 4.26 6/243 948461
/proc/meminfo: memFree=124532200/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=172556 memory=152716 CPUtime=25.41 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 39555 0 0 0 2535 6 0 0 20 0 1 0 182091506 176697344 38179 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 43139 38179 2477 2403 0 40249 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 172556 KiB
Current children cumulated memory: 152716 KiB
[startup+51.1126 s]
/proc/loadavg: 4.19 4.36 4.25 6/243 948465
/proc/meminfo: memFree=124510492/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=189000 memory=163344 CPUtime=50.96 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 41850 0 0 0 5089 7 0 0 20 0 1 0 182091506 193536000 40836 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 47250 40836 2477 2403 0 44360 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 189000 KiB
Current children cumulated memory: 163344 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.31 4.24 6/243 948474
/proc/meminfo: memFree=124477784/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=198740 memory=185792 CPUtime=102 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 42510 0 0 0 10193 7 0 0 20 0 1 0 182091506 203509760 46448 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 49685 46448 2477 2403 0 46795 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 198740 KiB
Current children cumulated memory: 185792 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.27 4.23 6/243 948485
/proc/meminfo: memFree=124461220/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=219020 memory=194652 CPUtime=161.84 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 44266 0 0 0 16177 7 0 0 20 0 1 0 182091506 224276480 48663 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 54755 48663 2477 2403 0 51865 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 219020 KiB
Current children cumulated memory: 194652 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.23 4.22 6/241 948496
/proc/meminfo: memFree=124355704/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=258524 memory=231112 CPUtime=221.7 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 53508 0 0 0 22161 9 0 0 20 0 1 0 182091506 264728576 57778 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 64631 57778 2477 2403 0 61741 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 258524 KiB
Current children cumulated memory: 231112 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.22 4.22 6/241 948506
/proc/meminfo: memFree=124351176/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=258524 memory=231112 CPUtime=281.56 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 53573 0 0 0 28147 9 0 0 20 0 1 0 182091506 264728576 57778 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 64631 57778 2477 2403 0 61741 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 258524 KiB
Current children cumulated memory: 231112 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.19 4.20 6/241 948516
/proc/meminfo: memFree=124350924/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=258524 memory=231112 CPUtime=341.41 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 53630 0 0 0 34132 9 0 0 20 0 1 0 182091506 264728576 57778 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 64631 57778 2477 2403 0 61741 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 258524 KiB
Current children cumulated memory: 231112 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.17 4.19 6/241 948526
/proc/meminfo: memFree=124350616/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=258524 memory=231112 CPUtime=401.27 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 53701 0 0 0 40118 9 0 0 20 0 1 0 182091506 264728576 57778 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 64631 57778 2477 2403 0 61741 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 258524 KiB
Current children cumulated memory: 231112 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.15 4.18 6/241 948538
/proc/meminfo: memFree=124350316/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=258524 memory=231112 CPUtime=461.11 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 53733 0 0 0 46102 9 0 0 20 0 1 0 182091506 264728576 57778 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 64631 57778 2477 2403 0 61741 0
################
# More data... #
################
/proc/loadavg: 4.06 4.08 4.12 6/243 949258
/proc/meminfo: memFree=124205352/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=322436 memory=309196 CPUtime=1298.94 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 70574 0 0 0 129882 12 0 0 20 0 1 0 182091506 330174464 77299 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 80609 77299 2477 2403 0 77719 0
Current children cumulated CPU time: 1298.94 s
Current children cumulated vsize: 322436 KiB
Current children cumulated memory: 309196 KiB
[startup+1362.3 s]
/proc/loadavg: 4.19 4.11 4.12 6/243 949269
/proc/meminfo: memFree=124204996/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=322436 memory=309196 CPUtime=1358.8 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 70677 0 0 0 135868 12 0 0 20 0 1 0 182091506 330174464 77299 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 80609 77299 2477 2403 0 77719 0
Current children cumulated CPU time: 1358.8 s
Current children cumulated vsize: 322436 KiB
Current children cumulated memory: 309196 KiB
[startup+1422.3 s]
/proc/loadavg: 4.12 4.11 4.12 6/241 949280
/proc/meminfo: memFree=124196240/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=322436 memory=309196 CPUtime=1418.65 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 70781 0 0 0 141853 12 0 0 20 0 1 0 182091506 330174464 77299 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 80609 77299 2477 2403 0 77719 0
Current children cumulated CPU time: 1418.65 s
Current children cumulated vsize: 322436 KiB
Current children cumulated memory: 309196 KiB
[startup+1482.3 s]
/proc/loadavg: 4.12 4.10 4.11 6/241 949290
/proc/meminfo: memFree=124195440/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=322492 memory=309196 CPUtime=1478.49 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 70887 0 0 0 147837 12 0 0 20 0 1 0 182091506 330231808 77299 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 80623 77299 2477 2403 0 77733 0
Current children cumulated CPU time: 1478.49 s
Current children cumulated vsize: 322492 KiB
Current children cumulated memory: 309196 KiB
[startup+1542.3 s]
/proc/loadavg: 4.10 4.09 4.10 6/241 949300
/proc/meminfo: memFree=124195136/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=322492 memory=309204 CPUtime=1538.34 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 70989 0 0 0 153822 12 0 0 20 0 1 0 182091506 330231808 77301 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 80623 77301 2477 2403 0 77733 0
Current children cumulated CPU time: 1538.34 s
Current children cumulated vsize: 322492 KiB
Current children cumulated memory: 309204 KiB
[startup+1602.3 s]
/proc/loadavg: 4.08 4.09 4.10 6/241 949310
/proc/meminfo: memFree=124194888/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=322492 memory=309204 CPUtime=1598.19 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 71092 0 0 0 159807 12 0 0 20 0 1 0 182091506 330231808 77301 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 80623 77301 2477 2403 0 77733 0
Current children cumulated CPU time: 1598.19 s
Current children cumulated vsize: 322492 KiB
Current children cumulated memory: 309204 KiB
[startup+1662.3 s]
/proc/loadavg: 4.14 4.10 4.10 6/241 949321
/proc/meminfo: memFree=124194668/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=322492 memory=309204 CPUtime=1658.05 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 71194 0 0 0 165793 12 0 0 20 0 1 0 182091506 330231808 77301 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 80623 77301 2477 2403 0 77733 0
Current children cumulated CPU time: 1658.05 s
Current children cumulated vsize: 322492 KiB
Current children cumulated memory: 309204 KiB
[startup+1722.3 s]
/proc/loadavg: 4.15 4.11 4.10 6/243 949335
/proc/meminfo: memFree=124194112/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=322492 memory=309204 CPUtime=1717.9 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 71296 0 0 0 171778 12 0 0 20 0 1 0 182091506 330231808 77301 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 80623 77301 2477 2403 0 77733 0
Current children cumulated CPU time: 1717.9 s
Current children cumulated vsize: 322492 KiB
Current children cumulated memory: 309204 KiB
[startup+1782.3 s]
/proc/loadavg: 4.17 4.12 4.10 6/244 949346
/proc/meminfo: memFree=124193992/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=322492 memory=309204 CPUtime=1777.76 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 71400 0 0 0 177764 12 0 0 20 0 1 0 182091506 330231808 77301 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 80623 77301 2477 2403 0 77733 0
Current children cumulated CPU time: 1777.76 s
Current children cumulated vsize: 322492 KiB
Current children cumulated memory: 309204 KiB
[startup+1800.45 s]
# the end of solver process 948409 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1795.72 s, system=0.154527 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.14 4.12 4.10 6/244 949347
/proc/meminfo: memFree=124193984/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=322492 memory=309204 CPUtime=1787.45 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 71490 0 0 0 178733 12 0 0 20 0 1 0 182091506 330231808 77301 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 80623 77301 2477 2403 0 77733 0
Current children cumulated CPU time: 1787.45 s
Current children cumulated vsize: 322492 KiB
Current children cumulated memory: 309204 KiB
[startup+1795.2 s]
/proc/loadavg: 4.13 4.11 4.10 6/244 949347
/proc/meminfo: memFree=124193968/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=322492 memory=309204 CPUtime=1790.63 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 71490 0 0 0 179051 12 0 0 20 0 1 0 182091506 330231808 77301 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 80623 77301 2477 2403 0 77733 0
Current children cumulated CPU time: 1790.63 s
Current children cumulated vsize: 322492 KiB
Current children cumulated memory: 309204 KiB
[startup+1798.4 s]
/proc/loadavg: 4.13 4.11 4.10 6/244 949349
/proc/meminfo: memFree=124193872/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=322492 memory=309204 CPUtime=1793.82 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 71490 0 0 0 179370 12 0 0 20 0 1 0 182091506 330231808 77301 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 80623 77301 2477 2403 0 77733 0
Current children cumulated CPU time: 1793.82 s
Current children cumulated vsize: 322492 KiB
Current children cumulated memory: 309204 KiB
[startup+1799.2 s]
/proc/loadavg: 4.13 4.11 4.10 6/244 949349
/proc/meminfo: memFree=124193880/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=322492 memory=309204 CPUtime=1794.62 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 71490 0 0 0 179450 12 0 0 20 0 1 0 182091506 330231808 77301 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 80623 77301 2477 2403 0 77733 0
Current children cumulated CPU time: 1794.62 s
Current children cumulated vsize: 322492 KiB
Current children cumulated memory: 309204 KiB
[startup+1800 s]*
/proc/loadavg: 4.12 4.11 4.10 6/244 949349
/proc/meminfo: memFree=124193884/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=322492 memory=309204 CPUtime=1795.43 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 71490 0 0 0 179531 12 0 0 20 0 1 0 182091506 330231808 77301 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 80623 77301 2477 2403 0 77733 0
Current children cumulated CPU time: 1795.43 s
Current children cumulated vsize: 322492 KiB
Current children cumulated memory: 309204 KiB
[startup+1800.4 s]
/proc/loadavg: 4.12 4.11 4.10 6/244 949349
/proc/meminfo: memFree=124193884/131655788 swapFree=131071996/131071996
[pid=948409] ppid=948406 vsize=269608 memory=258312 CPUtime=1795.81 cores=1,3
/proc/948409/stat : 948409 (LS-MabS) R 948406 948409 945289 0 -1 4194304 71705 0 0 0 179567 14 0 0 20 0 1 0 182091506 276078592 64578 134679101440 4194304 14036057 140728025432752 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30760960 140728025437216 140728025437318 140728025437318 140728025444334 0
/proc/948409/statm: 67402 64578 2492 2403 0 64512 0
Current children cumulated CPU time: 1795.81 s
Current children cumulated vsize: 269608 KiB
Current children cumulated memory: 258312 KiB
Child status: 0
Real time (s): 1800.45
CPU time (s): 1795.88
CPU user time (s): 1795.72
CPU system time (s): 0.154527
CPU usage (%): 99.7458
Max. virtual memory (cumulated for all children) (KiB): 322492
Max. memory (cumulated for all children) (KiB): 309204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.72
system time used= 0.154527
maximum resident set size= 309204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71706
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= 29
involuntary context switches= 598
# summary of solver processes directly reported to runsolver:
# pid: 948409
# total CPU time (s): 1795.88
# total CPU user time (s): 1795.72
# total CPU system time (s): 0.154527
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.4959 second user time and 16.1422 second system time
The end
Begin job on nodeC010 at 2024-07-18 12:42:14
IDJOB=4441927
IDBENCH=147757
IDSOLVER=3048
FILE ID=nodeC010/4441927-1721299323
RUNJOBID= nodeC010-1721293924-945301
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:3-13,25,26.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-4441927-1721299323/watcher-4441927-1721299323 -o /tmp/evaluation-result-4441927-1721299323/solver-4441927-1721299323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721293924-945301 --watchdog 3760 ./LS-MabS -f HOME/instance-4441927-1721299323.opb -t 3600 -s 1456294548
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b71388011e4b80d0b0325c4a241ada38
RANDOM SEED=1456294548
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 : 3671.959
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 : 3491.763
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.348
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.177
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 : 3671.983
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 : 3651.340
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.338
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.347
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: 124511612 kB
MemAvailable: 129439908 kB
Buffers: 492648 kB
Cached: 5216068 kB
SwapCached: 0 kB
Active: 1000720 kB
Inactive: 5467364 kB
Active(anon): 1456 kB
Inactive(anon): 795612 kB
Active(file): 999264 kB
Inactive(file): 4671752 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13800 kB
Writeback: 20 kB
AnonPages: 759384 kB
Mapped: 135224 kB
Shmem: 37704 kB
KReclaimable: 194620 kB
Slab: 309320 kB
SReclaimable: 194620 kB
SUnreclaim: 114700 kB
KernelStack: 3916 kB
PageTables: 10952 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1130528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 57728 kB
HardwareCorrupted: 0 kB
AnonHugePages: 548864 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:15