179.01/179.58 c Filename:instance-4441867-1721297522.opb, Cutoff_time:3600, memory_limit_gb:500000
179.01/179.58 c Not use presolve
1795.67/1800.16 c Use LS-small
1795.67/1800.16 s SATISFIABLE
1795.67/1800.16 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
1795.67/1800.16 c Done 1795.73s
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 (61704 MiB free)
memory of node 1: 64510 MiB (60197 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441867-1721297522/watcher-4441867-1721297522 -o /tmp/evaluation-result-4441867-1721297522/solver-4441867-1721297522 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721293924-945301 --watchdog 3760 ./LS-MabS -f HOME/instance-4441867-1721297522.opb -t 3600 -s 1695699213
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=947383, runsolver pid=947380
[startup+0.100104 s]*
/proc/loadavg: 4.60 4.43 4.24 5/244 947384
/proc/meminfo: memFree=124771812/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=85208 memory=70932 CPUtime=0.1 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 15906 0 0 0 8 2 0 0 20 0 1 0 181911434 87252992 17733 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 21302 17733 2221 2403 0 18412 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 85208 KiB
Current children cumulated memory: 70932 KiB
[startup+0.213123 s]*
/proc/loadavg: 4.60 4.43 4.24 5/244 947384
/proc/meminfo: memFree=124741012/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=101412 memory=86780 CPUtime=0.22 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 21037 0 0 0 19 3 0 0 20 0 1 0 181911434 103845888 21695 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 25353 21695 2301 2403 0 22463 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 101412 KiB
Current children cumulated memory: 86780 KiB
[startup+0.312833 s]*
/proc/loadavg: 4.60 4.43 4.24 5/244 947384
/proc/meminfo: memFree=124735776/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=111480 memory=96632 CPUtime=0.31 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 23498 0 0 0 28 3 0 0 20 0 1 0 181911434 114155520 24158 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 27870 24158 2349 2403 0 24980 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 111480 KiB
Current children cumulated memory: 96632 KiB
[startup+0.700253 s]
/proc/loadavg: 4.60 4.43 4.24 5/244 947384
/proc/meminfo: memFree=124694884/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=151364 memory=135660 CPUtime=0.68 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 34861 0 0 0 64 4 0 0 20 0 1 0 181911434 154996736 33915 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 37841 33915 2445 2403 0 34951 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 151364 KiB
Current children cumulated memory: 135660 KiB
[startup+1.50028 s]
/proc/loadavg: 4.60 4.43 4.24 5/244 947384
/proc/meminfo: memFree=124690152/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=153032 memory=136980 CPUtime=1.49 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 35250 0 0 0 144 5 0 0 20 0 1 0 181911434 156704768 34245 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 38258 34245 2445 2403 0 35368 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 153032 KiB
Current children cumulated memory: 136980 KiB
[startup+3.1132 s]
/proc/loadavg: 4.60 4.43 4.24 5/244 947384
/proc/meminfo: memFree=124686084/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=154852 memory=139092 CPUtime=3.1 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 35725 0 0 0 305 5 0 0 20 0 1 0 181911434 158568448 34773 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 38713 34773 2445 2403 0 35823 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 154852 KiB
Current children cumulated memory: 139092 KiB
[startup+6.30026 s]
/proc/loadavg: 4.64 4.44 4.24 5/244 947384
/proc/meminfo: memFree=124685644/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=155120 memory=139092 CPUtime=6.28 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 35768 0 0 0 623 5 0 0 20 0 1 0 181911434 158842880 34773 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 38780 34773 2445 2403 0 35890 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 155120 KiB
Current children cumulated memory: 139092 KiB
[startup+12.7003 s]
/proc/loadavg: 4.58 4.43 4.24 5/244 947386
/proc/meminfo: memFree=124683864/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=156508 memory=140736 CPUtime=12.66 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 36131 0 0 0 1261 5 0 0 20 0 1 0 181911434 160264192 35184 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 39127 35184 2461 2403 0 36237 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 156508 KiB
Current children cumulated memory: 140736 KiB
[startup+25.5003 s]
/proc/loadavg: 4.45 4.41 4.24 5/244 947434
/proc/meminfo: memFree=124557232/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=168144 memory=147564 CPUtime=25.42 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 38479 0 0 0 2537 5 0 0 20 0 1 0 181911434 172179456 36891 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 42036 36891 2477 2403 0 39146 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 168144 KiB
Current children cumulated memory: 147564 KiB
[startup+51.1119 s]
/proc/loadavg: 4.38 4.39 4.23 5/244 947439
/proc/meminfo: memFree=124533120/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=182632 memory=155988 CPUtime=50.97 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 40573 0 0 0 5091 6 0 0 20 0 1 0 181911434 187015168 38997 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 45658 38997 2477 2403 0 42768 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 182632 KiB
Current children cumulated memory: 155988 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.35 4.23 5/244 947447
/proc/meminfo: memFree=124517352/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=196712 memory=164592 CPUtime=102.02 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 41991 0 0 0 10196 6 0 0 20 0 1 0 181911434 201433088 41148 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 49178 41148 2477 2403 0 46288 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 196712 KiB
Current children cumulated memory: 164592 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.31 4.22 5/244 947458
/proc/meminfo: memFree=124483740/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=210496 memory=191396 CPUtime=161.85 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 42622 0 0 0 16179 6 0 0 20 0 1 0 181911434 215547904 47849 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 52624 47849 2477 2403 0 49734 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 210496 KiB
Current children cumulated memory: 191396 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.29 4.21 5/242 947469
/proc/meminfo: memFree=124390340/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=252904 memory=236968 CPUtime=221.7 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 52330 0 0 0 22162 8 0 0 20 0 1 0 181911434 258973696 59242 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 63226 59242 2477 2403 0 60336 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 252904 KiB
Current children cumulated memory: 236968 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.25 4.20 5/242 947479
/proc/meminfo: memFree=124363120/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=252904 memory=236968 CPUtime=281.56 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 52424 0 0 0 28148 8 0 0 20 0 1 0 181911434 258973696 59242 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 63226 59242 2477 2403 0 60336 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 252904 KiB
Current children cumulated memory: 236968 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.22 4.19 5/241 947489
/proc/meminfo: memFree=124359184/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=252904 memory=236968 CPUtime=341.41 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 52469 0 0 0 34133 8 0 0 20 0 1 0 181911434 258973696 59242 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 63226 59242 2477 2403 0 60336 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 252904 KiB
Current children cumulated memory: 236968 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.22 4.19 5/242 947500
/proc/meminfo: memFree=124358912/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=252904 memory=236968 CPUtime=401.27 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 52540 0 0 0 40119 8 0 0 20 0 1 0 181911434 258973696 59242 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 63226 59242 2477 2403 0 60336 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 252904 KiB
Current children cumulated memory: 236968 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/242 947511
/proc/meminfo: memFree=124358468/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=252904 memory=236968 CPUtime=461.11 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 52606 0 0 0 46103 8 0 0 20 0 1 0 181911434 258973696 59242 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 63226 59242 2477 2403 0 60336 0
################
# More data... #
################
/proc/loadavg: 4.09 4.11 4.14 5/245 948284
/proc/meminfo: memFree=124334968/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=270668 memory=251776 CPUtime=1358.93 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 54439 0 0 0 135884 9 0 0 20 0 1 0 181911434 277164032 62944 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 67667 62944 2477 2403 0 64777 0
Current children cumulated CPU time: 1358.93 s
Current children cumulated vsize: 270668 KiB
Current children cumulated memory: 251776 KiB
[startup+1422.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/242 948295
/proc/meminfo: memFree=124334776/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=270668 memory=251776 CPUtime=1418.78 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 54527 0 0 0 141869 9 0 0 20 0 1 0 181911434 277164032 62944 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 67667 62944 2477 2403 0 64777 0
Current children cumulated CPU time: 1418.78 s
Current children cumulated vsize: 270668 KiB
Current children cumulated memory: 251776 KiB
[startup+1482.3 s]
/proc/loadavg: 4.16 4.12 4.14 5/242 948305
/proc/meminfo: memFree=124323508/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=273608 memory=251776 CPUtime=1478.62 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 54615 0 0 0 147853 9 0 0 20 0 1 0 181911434 280174592 62944 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 68402 62944 2477 2403 0 65512 0
Current children cumulated CPU time: 1478.62 s
Current children cumulated vsize: 273608 KiB
Current children cumulated memory: 251776 KiB
[startup+1542.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/242 948315
/proc/meminfo: memFree=124323088/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=273608 memory=251780 CPUtime=1538.47 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 54704 0 0 0 153838 9 0 0 20 0 1 0 181911434 280174592 62945 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 68402 62945 2477 2403 0 65512 0
Current children cumulated CPU time: 1538.47 s
Current children cumulated vsize: 273608 KiB
Current children cumulated memory: 251780 KiB
[startup+1602.3 s]
/proc/loadavg: 4.75 4.28 4.19 5/242 948325
/proc/meminfo: memFree=124285344/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=277644 memory=253920 CPUtime=1598.33 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 55326 0 0 0 159824 9 0 0 20 0 1 0 181911434 284307456 63480 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 69411 63480 2477 2403 0 66521 0
Current children cumulated CPU time: 1598.33 s
Current children cumulated vsize: 277644 KiB
Current children cumulated memory: 253920 KiB
[startup+1662.3 s]
/proc/loadavg: 4.60 4.32 4.21 5/241 948336
/proc/meminfo: memFree=124274428/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=277644 memory=253940 CPUtime=1658.19 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 55441 0 0 0 165810 9 0 0 20 0 1 0 181911434 284307456 63485 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 69411 63485 2477 2403 0 66521 0
Current children cumulated CPU time: 1658.19 s
Current children cumulated vsize: 277644 KiB
Current children cumulated memory: 253940 KiB
[startup+1722.3 s]
/proc/loadavg: 5.05 4.50 4.28 5/243 948350
/proc/meminfo: memFree=124273912/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=277644 memory=254028 CPUtime=1718.05 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 55529 0 0 0 171796 9 0 0 20 0 1 0 181911434 284307456 63507 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 69411 63507 2477 2403 0 66521 0
Current children cumulated CPU time: 1718.05 s
Current children cumulated vsize: 277644 KiB
Current children cumulated memory: 254028 KiB
[startup+1782.3 s]
/proc/loadavg: 4.48 4.43 4.27 5/243 948361
/proc/meminfo: memFree=124266096/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=277644 memory=254028 CPUtime=1777.9 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 55616 0 0 0 177781 9 0 0 20 0 1 0 181911434 284307456 63507 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 69411 63507 2477 2403 0 66521 0
Current children cumulated CPU time: 1777.9 s
Current children cumulated vsize: 277644 KiB
Current children cumulated memory: 254028 KiB
[startup+1800.17 s]
# the end of solver process 947383 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1795.64 s, system=0.104731 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.41 4.42 4.27 5/243 948362
/proc/meminfo: memFree=124266012/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=277644 memory=254028 CPUtime=1787.59 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 55663 0 0 0 178750 9 0 0 20 0 1 0 181911434 284307456 63507 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 69411 63507 2477 2403 0 66521 0
Current children cumulated CPU time: 1787.59 s
Current children cumulated vsize: 277644 KiB
Current children cumulated memory: 254028 KiB
[startup+1795.2 s]
/proc/loadavg: 4.38 4.41 4.26 5/243 948362
/proc/meminfo: memFree=124266016/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=277644 memory=254028 CPUtime=1790.77 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 55663 0 0 0 179068 9 0 0 20 0 1 0 181911434 284307456 63507 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 69411 63507 2477 2403 0 66521 0
Current children cumulated CPU time: 1790.77 s
Current children cumulated vsize: 277644 KiB
Current children cumulated memory: 254028 KiB
[startup+1798.4 s]
/proc/loadavg: 4.38 4.41 4.26 5/243 948364
/proc/meminfo: memFree=124265960/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=277644 memory=254028 CPUtime=1793.96 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 55700 0 0 0 179387 9 0 0 20 0 1 0 181911434 284307456 63507 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 69411 63507 2477 2403 0 66521 0
Current children cumulated CPU time: 1793.96 s
Current children cumulated vsize: 277644 KiB
Current children cumulated memory: 254028 KiB
[startup+1799.2 s]
/proc/loadavg: 4.38 4.41 4.26 5/243 948364
/proc/meminfo: memFree=124265960/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=277644 memory=254028 CPUtime=1794.76 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 55700 0 0 0 179467 9 0 0 20 0 1 0 181911434 284307456 63507 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 69411 63507 2477 2403 0 66521 0
Current children cumulated CPU time: 1794.76 s
Current children cumulated vsize: 277644 KiB
Current children cumulated memory: 254028 KiB
[startup+1799.6 s]
/proc/loadavg: 4.38 4.41 4.26 5/243 948364
/proc/meminfo: memFree=124265960/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=277644 memory=254028 CPUtime=1795.16 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 55700 0 0 0 179507 9 0 0 20 0 1 0 181911434 284307456 63507 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 69411 63507 2477 2403 0 66521 0
Current children cumulated CPU time: 1795.16 s
Current children cumulated vsize: 277644 KiB
Current children cumulated memory: 254028 KiB
[startup+1800 s]*
/proc/loadavg: 4.35 4.40 4.26 5/243 948364
/proc/meminfo: memFree=124265952/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=277644 memory=254028 CPUtime=1795.57 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 55700 0 0 0 179548 9 0 0 20 0 1 0 181911434 284307456 63507 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 69411 63507 2477 2403 0 66521 0
Current children cumulated CPU time: 1795.57 s
Current children cumulated vsize: 277644 KiB
Current children cumulated memory: 254028 KiB
[startup+1800.11 s]
/proc/loadavg: 4.35 4.40 4.26 5/243 948364
/proc/meminfo: memFree=124265952/131655788 swapFree=131071996/131071996
[pid=947383] ppid=947380 vsize=274044 memory=250428 CPUtime=1795.67 cores=1,3
/proc/947383/stat : 947383 (LS-MabS) R 947380 947383 945289 0 -1 4194304 55703 0 0 0 179558 9 0 0 20 0 1 0 181911434 280621056 62607 134679101440 4194304 14036057 140725128387008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37666816 140725128393760 140725128393862 140725128393862 140725128400878 0
/proc/947383/statm: 68511 62607 2477 2403 0 65621 0
Current children cumulated CPU time: 1795.67 s
Current children cumulated vsize: 274044 KiB
Current children cumulated memory: 250428 KiB
Child status: 0
Real time (s): 1800.17
CPU time (s): 1795.74
CPU user time (s): 1795.64
CPU system time (s): 0.104731
CPU usage (%): 99.754
Max. virtual memory (cumulated for all children) (KiB): 277644
Max. memory (cumulated for all children) (KiB): 254028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.64
system time used= 0.104731
maximum resident set size= 254028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55842
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= 613
# summary of solver processes directly reported to runsolver:
# pid: 947383
# total CPU time (s): 1795.74
# total CPU user time (s): 1795.64
# total CPU system time (s): 0.104731
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.0784 second user time and 14.7618 second system time
The end
Begin job on nodeC010 at 2024-07-18 12:12:13
IDJOB=4441867
IDBENCH=147755
IDSOLVER=3048
FILE ID=nodeC010/4441867-1721297522
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:1-13.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-4441867-1721297522/watcher-4441867-1721297522 -o /tmp/evaluation-result-4441867-1721297522/solver-4441867-1721297522 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721293924-945301 --watchdog 3760 ./LS-MabS -f HOME/instance-4441867-1721297522.opb -t 3600 -s 1695699213
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0255b3d891da2276599e5fcb43348962
RANDOM SEED=1695699213
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 : 3664.518
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 : 3567.587
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.322
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.175
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 : 3278.581
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 : 3434.441
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.176
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.224
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: 124830832 kB
MemAvailable: 129749496 kB
Buffers: 491836 kB
Cached: 5206972 kB
SwapCached: 0 kB
Active: 998852 kB
Inactive: 5151268 kB
Active(anon): 1440 kB
Inactive(anon): 487280 kB
Active(file): 997412 kB
Inactive(file): 4663988 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 41084 kB
Writeback: 8 kB
AnonPages: 450824 kB
Mapped: 134220 kB
Shmem: 37704 kB
KReclaimable: 194588 kB
Slab: 309560 kB
SReclaimable: 194588 kB
SUnreclaim: 114972 kB
KernelStack: 3948 kB
PageTables: 10460 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 854268 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 57664 kB
HardwareCorrupted: 0 kB
AnonHugePages: 346112 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 12:42:14