154.63/155.18 c Filename:instance-4441987-1721300907.opb, Cutoff_time:3600, memory_limit_gb:500000
154.63/155.18 c Not use presolve
1796.04/1800.89 c Use LS-small
1796.04/1800.89 s SATISFIABLE
1796.04/1800.89 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
1796.04/1800.89 c Done 1796.13s
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61626 MiB free)
memory of node 1: 64473 MiB (63344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441987-1721300907/watcher-4441987-1721300907 -o /tmp/evaluation-result-4441987-1721300907/solver-4441987-1721300907 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721293706-945766 --watchdog 3760 ./LS-MabS -f HOME/instance-4441987-1721300907.opb -t 3600 -s 1285770528
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
solver pid=949743, runsolver pid=949740
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.10 4.11 4.09 5/254 949744
/proc/meminfo: memFree=127913228/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=84900 memory=70736 CPUtime=0.1 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 15878 0 0 0 8 2 0 0 20 0 1 0 182257783 86937600 17684 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 21225 17684 2221 2403 0 18335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 84900 KiB
Current children cumulated memory: 70736 KiB
[startup+0.205631 s]*
/proc/loadavg: 4.10 4.11 4.09 5/254 949744
/proc/meminfo: memFree=127893076/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=100308 memory=85728 CPUtime=0.2 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 20774 0 0 0 17 3 0 0 20 0 1 0 182257783 102715392 21432 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 25077 21432 2301 2403 0 22187 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 100308 KiB
Current children cumulated memory: 85728 KiB
[startup+0.305375 s]*
/proc/loadavg: 4.10 4.11 4.09 5/254 949744
/proc/meminfo: memFree=127886244/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=107244 memory=92940 CPUtime=0.3 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 22601 0 0 0 27 3 0 0 20 0 1 0 182257783 109817856 23235 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 26811 23235 2349 2403 0 23921 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107244 KiB
Current children cumulated memory: 92940 KiB
[startup+0.700151 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 949744
/proc/meminfo: memFree=127848640/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=146992 memory=131800 CPUtime=0.69 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 33843 0 0 0 65 4 0 0 20 0 1 0 182257783 150519808 32950 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 36748 32950 2445 2403 0 33858 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 146992 KiB
Current children cumulated memory: 131800 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 4.11 4.09 4/251 949758
/proc/meminfo: memFree=128999632/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=148816 memory=133120 CPUtime=1.48 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 34223 0 0 0 144 4 0 0 20 0 1 0 182257783 152387584 33280 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 37204 33280 2445 2403 0 34314 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 148816 KiB
Current children cumulated memory: 133120 KiB
[startup+3.10529 s]
/proc/loadavg: 4.09 4.10 4.09 6/254 949930
/proc/meminfo: memFree=128890780/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=150308 memory=134968 CPUtime=3.08 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 34653 0 0 0 304 4 0 0 20 0 1 0 182257783 153915392 33742 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 37577 33742 2445 2403 0 34687 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 150308 KiB
Current children cumulated memory: 134968 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 950298
/proc/meminfo: memFree=128994428/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=150308 memory=134968 CPUtime=6.27 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 34669 0 0 0 623 4 0 0 20 0 1 0 182257783 153915392 33742 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 37577 33742 2445 2403 0 34687 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 150308 KiB
Current children cumulated memory: 134968 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 950298
/proc/meminfo: memFree=128991208/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=150836 memory=135292 CPUtime=12.65 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 34742 0 0 0 1261 4 0 0 20 0 1 0 182257783 154456064 33823 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 37709 33823 2461 2403 0 34819 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 150836 KiB
Current children cumulated memory: 135292 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.10 4.09 5/254 950301
/proc/meminfo: memFree=128972376/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=167372 memory=146900 CPUtime=25.41 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 38361 0 0 0 2537 4 0 0 20 0 1 0 182257783 171388928 36725 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 41843 36725 2477 2403 0 38953 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 167372 KiB
Current children cumulated memory: 146900 KiB
[startup+51.1045 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 950304
/proc/meminfo: memFree=128959864/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=181380 memory=152808 CPUtime=50.94 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 40244 0 0 0 5088 6 0 0 20 0 1 0 182257783 185733120 38202 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 45345 38202 2477 2403 0 42455 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 181380 KiB
Current children cumulated memory: 152808 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 950317
/proc/meminfo: memFree=128949204/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=200956 memory=159984 CPUtime=101.98 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 42229 0 0 0 10188 10 0 0 20 0 1 0 182257783 205778944 39996 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 50239 39996 2477 2403 0 47349 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 200956 KiB
Current children cumulated memory: 159984 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 950328
/proc/meminfo: memFree=128852412/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=251704 memory=209640 CPUtime=161.8 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 53116 0 0 0 16168 12 0 0 20 0 1 0 182257783 257744896 52410 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 62926 52410 2477 2403 0 60036 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 251704 KiB
Current children cumulated memory: 209640 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 950338
/proc/meminfo: memFree=128822580/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=251704 memory=239144 CPUtime=221.64 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 53295 0 0 0 22151 13 0 0 20 0 1 0 182257783 257744896 59786 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 62926 59786 2477 2403 0 60036 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 251704 KiB
Current children cumulated memory: 239144 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 950349
/proc/meminfo: memFree=128816124/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=251704 memory=242244 CPUtime=281.48 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 53375 0 0 0 28135 13 0 0 20 0 1 0 182257783 257744896 60561 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 62926 60561 2477 2403 0 60036 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 251704 KiB
Current children cumulated memory: 242244 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 950407
/proc/meminfo: memFree=128760940/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=251704 memory=242244 CPUtime=341.33 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 53454 0 0 0 34120 13 0 0 20 0 1 0 182257783 257744896 60561 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 62926 60561 2477 2403 0 60036 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 251704 KiB
Current children cumulated memory: 242244 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 950417
/proc/meminfo: memFree=128746480/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=251704 memory=242244 CPUtime=401.18 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 53539 0 0 0 40105 13 0 0 20 0 1 0 182257783 257744896 60561 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 62926 60561 2477 2403 0 60036 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 251704 KiB
Current children cumulated memory: 242244 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/255 950427
/proc/meminfo: memFree=128682940/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=251704 memory=242244 CPUtime=461.02 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 53623 0 0 0 46089 13 0 0 20 0 1 0 182257783 257744896 60561 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 62926 60561 2477 2403 0 60036 0
################
# More data... #
################
/proc/loadavg: 4.20 4.19 4.12 5/259 951192
/proc/meminfo: memFree=128654440/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=269776 memory=249828 CPUtime=1298.84 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 55056 0 0 0 129871 13 0 0 20 0 1 0 182257783 276250624 62457 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 67444 62457 2477 2403 0 64554 0
Current children cumulated CPU time: 1298.84 s
Current children cumulated vsize: 269776 KiB
Current children cumulated memory: 249828 KiB
[startup+1362.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/258 951203
/proc/meminfo: memFree=128654416/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=269776 memory=249832 CPUtime=1358.68 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 55143 0 0 0 135855 13 0 0 20 0 1 0 182257783 276250624 62458 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 67444 62458 2477 2403 0 64554 0
Current children cumulated CPU time: 1358.68 s
Current children cumulated vsize: 269776 KiB
Current children cumulated memory: 249832 KiB
[startup+1422.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/258 951213
/proc/meminfo: memFree=128607788/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=275508 memory=249836 CPUtime=1418.52 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 55235 0 0 0 141839 13 0 0 20 0 1 0 182257783 282120192 62459 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 68877 62459 2477 2403 0 65987 0
Current children cumulated CPU time: 1418.52 s
Current children cumulated vsize: 275508 KiB
Current children cumulated memory: 249836 KiB
[startup+1482.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/258 951225
/proc/meminfo: memFree=128607580/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=275508 memory=249840 CPUtime=1478.37 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 55322 0 0 0 147824 13 0 0 20 0 1 0 182257783 282120192 62460 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 68877 62460 2477 2403 0 65987 0
Current children cumulated CPU time: 1478.37 s
Current children cumulated vsize: 275508 KiB
Current children cumulated memory: 249840 KiB
[startup+1542.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/256 951236
/proc/meminfo: memFree=128607156/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=278372 memory=249840 CPUtime=1538.21 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 55411 0 0 0 153808 13 0 0 20 0 1 0 182257783 285052928 62460 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 69593 62460 2477 2403 0 66703 0
Current children cumulated CPU time: 1538.21 s
Current children cumulated vsize: 278372 KiB
Current children cumulated memory: 249840 KiB
[startup+1602.3 s]
/proc/loadavg: 4.18 4.16 4.12 5/254 951247
/proc/meminfo: memFree=128606852/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=278372 memory=249844 CPUtime=1598.06 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 55498 0 0 0 159793 13 0 0 20 0 1 0 182257783 285052928 62461 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 69593 62461 2477 2403 0 66703 0
Current children cumulated CPU time: 1598.06 s
Current children cumulated vsize: 278372 KiB
Current children cumulated memory: 249844 KiB
[startup+1662.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/254 951257
/proc/meminfo: memFree=128565984/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=281240 memory=264156 CPUtime=1657.9 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 55587 0 0 0 165777 13 0 0 20 0 1 0 182257783 287989760 66039 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 70310 66039 2477 2403 0 67420 0
Current children cumulated CPU time: 1657.9 s
Current children cumulated vsize: 281240 KiB
Current children cumulated memory: 264156 KiB
[startup+1722.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 951268
/proc/meminfo: memFree=128565608/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=281240 memory=264156 CPUtime=1717.75 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 55675 0 0 0 171762 13 0 0 20 0 1 0 182257783 287989760 66039 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 70310 66039 2477 2403 0 67420 0
Current children cumulated CPU time: 1717.75 s
Current children cumulated vsize: 281240 KiB
Current children cumulated memory: 264156 KiB
[startup+1782.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/255 951279
/proc/meminfo: memFree=128565324/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=284104 memory=264160 CPUtime=1777.59 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 55812 0 0 0 177746 13 0 0 20 0 1 0 182257783 290922496 66040 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 71026 66040 2477 2403 0 68136 0
Current children cumulated CPU time: 1777.59 s
Current children cumulated vsize: 284104 KiB
Current children cumulated memory: 264160 KiB
[startup+1800.9 s]
# the end of solver process 949743 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1795.97 s, system=0.18153 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.08 4.13 4.10 5/255 951280
/proc/meminfo: memFree=128565260/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=284104 memory=264160 CPUtime=1787.27 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 55850 0 0 0 178714 13 0 0 20 0 1 0 182257783 290922496 66040 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 71026 66040 2477 2403 0 68136 0
Current children cumulated CPU time: 1787.27 s
Current children cumulated vsize: 284104 KiB
Current children cumulated memory: 264160 KiB
[startup+1795.2 s]
/proc/loadavg: 4.08 4.13 4.10 5/255 951282
/proc/meminfo: memFree=128565192/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=284104 memory=264160 CPUtime=1790.46 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 55852 0 0 0 179033 13 0 0 20 0 1 0 182257783 290922496 66040 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 71026 66040 2477 2403 0 68136 0
Current children cumulated CPU time: 1790.46 s
Current children cumulated vsize: 284104 KiB
Current children cumulated memory: 264160 KiB
[startup+1798.4 s]
/proc/loadavg: 4.16 4.14 4.11 5/255 951282
/proc/meminfo: memFree=128565192/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=284104 memory=264160 CPUtime=1793.65 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 55852 0 0 0 179352 13 0 0 20 0 1 0 182257783 290922496 66040 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 71026 66040 2477 2403 0 68136 0
Current children cumulated CPU time: 1793.65 s
Current children cumulated vsize: 284104 KiB
Current children cumulated memory: 264160 KiB
[startup+1800 s]*
/proc/loadavg: 4.16 4.14 4.11 5/255 951282
/proc/meminfo: memFree=128565192/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=284104 memory=264160 CPUtime=1795.25 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 55852 0 0 0 179512 13 0 0 20 0 1 0 182257783 290922496 66040 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 71026 66040 2477 2403 0 68136 0
Current children cumulated CPU time: 1795.25 s
Current children cumulated vsize: 284104 KiB
Current children cumulated memory: 264160 KiB
[startup+1800.4 s]
/proc/loadavg: 4.16 4.14 4.11 5/255 951282
/proc/meminfo: memFree=128565192/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=201956 memory=192828 CPUtime=1795.64 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 55995 0 0 0 179550 14 0 0 20 0 1 0 182257783 206802944 48207 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 50489 48207 2492 2403 0 47599 0
Current children cumulated CPU time: 1795.64 s
Current children cumulated vsize: 201956 KiB
Current children cumulated memory: 192828 KiB
[startup+1800.8 s]
/proc/loadavg: 4.16 4.14 4.11 5/255 951282
/proc/meminfo: memFree=128565192/131524600 swapFree=131071996/131071996
[pid=949743] ppid=949740 vsize=201956 memory=192828 CPUtime=1796.04 cores=1,3
/proc/949743/stat : 949743 (LS-MabS) R 949740 949743 945754 0 -1 4194304 55995 0 0 0 179587 17 0 0 20 0 1 0 182257783 206802944 48207 134679101440 4194304 14036057 140723344186704 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37171200 140723344188448 140723344188550 140723344188550 140723344195566 0
/proc/949743/statm: 50489 48207 2492 2403 0 47599 0
Current children cumulated CPU time: 1796.04 s
Current children cumulated vsize: 201956 KiB
Current children cumulated memory: 192828 KiB
Child status: 0
Real time (s): 1800.9
CPU time (s): 1796.15
CPU user time (s): 1795.97
CPU system time (s): 0.18153
CPU usage (%): 99.7363
Max. virtual memory (cumulated for all children) (KiB): 284104
Max. memory (cumulated for all children) (KiB): 264160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.97
system time used= 0.18153
maximum resident set size= 264160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55996
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= 630
# summary of solver processes directly reported to runsolver:
# pid: 949743
# total CPU time (s): 1796.15
# total CPU user time (s): 1795.97
# total CPU system time (s): 0.18153
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.02021 second user time and 6.13641 second system time
The end
Begin job on nodeC028 at 2024-07-18 13:08:40
IDJOB=4441987
IDBENCH=147759
IDSOLVER=3048
FILE ID=nodeC028/4441987-1721300907
RUNJOBID= nodeC028-1721293706-945766
SLURM_JOB_ID= 7542588
Free space on /tmp= 890020 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-11,19,21.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-4441987-1721300907/watcher-4441987-1721300907 -o /tmp/evaluation-result-4441987-1721300907/solver-4441987-1721300907 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721293706-945766 --watchdog 3760 ./LS-MabS -f HOME/instance-4441987-1721300907.opb -t 3600 -s 1285770528
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 94ed12462fdb637cfaac2f219d20a948
RANDOM SEED=1285770528
nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.520
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3659.156
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.975
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.998
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.606
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.911
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.744
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.196
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127970928 kB
MemAvailable: 128411240 kB
Buffers: 475624 kB
Cached: 806420 kB
SwapCached: 0 kB
Active: 983180 kB
Inactive: 1972224 kB
Active(anon): 1544 kB
Inactive(anon): 1709512 kB
Active(file): 981636 kB
Inactive(file): 262712 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 14108 kB
Writeback: 0 kB
AnonPages: 1670316 kB
Mapped: 134488 kB
Shmem: 37720 kB
KReclaimable: 71576 kB
Slab: 179492 kB
SReclaimable: 71576 kB
SUnreclaim: 107916 kB
KernelStack: 4096 kB
PageTables: 12536 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2128572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1499136 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC028 at 2024-07-18 13:38:41