16.54/16.67 c Filename:instance-4447207-1721351099.opb, Cutoff_time:3600, memory_limit_gb:500000
16.54/16.67 c Not use presolve
1796.42/1802.05 c Use LS-small
1796.42/1802.05 s SATISFIABLE
1796.42/1802.05 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
1796.42/1802.05 c Done 1796.48s
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: 63931 MiB (62494 MiB free)
memory of node 1: 64510 MiB (62782 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447207-1721351099/watcher-4447207-1721351099 -o /tmp/evaluation-result-4447207-1721351099/solver-4447207-1721351099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721342078-999992 --watchdog 3760 ./LS-MabS -f HOME/instance-4447207-1721351099.opb -t 3600 -s 1432408847
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1005130, runsolver pid=1005127
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.11 4.09 4.09 5/257 1005131
/proc/meminfo: memFree=128250756/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=51672 memory=41576 CPUtime=0.1 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 8315 0 0 0 9 1 0 0 20 0 1 0 187278210 52912128 10394 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 12918 10394 2333 2403 0 10028 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51672 KiB
Current children cumulated memory: 41576 KiB
[startup+0.20552 s]*
/proc/loadavg: 4.11 4.09 4.09 5/257 1005131
/proc/meminfo: memFree=128238828/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=65604 memory=53416 CPUtime=0.2 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 11259 0 0 0 19 1 0 0 20 0 1 0 187278210 67178496 13354 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 16401 13354 2349 2403 0 13511 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65604 KiB
Current children cumulated memory: 53416 KiB
[startup+0.305512 s]*
/proc/loadavg: 4.11 4.09 4.09 5/257 1005131
/proc/meminfo: memFree=128238688/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=65604 memory=53416 CPUtime=0.3 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 11259 0 0 0 29 1 0 0 20 0 1 0 187278210 67178496 13354 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 16401 13354 2349 2403 0 13511 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65604 KiB
Current children cumulated memory: 53416 KiB
[startup+0.700206 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1005131
/proc/meminfo: memFree=128237540/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=66896 memory=54996 CPUtime=0.69 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 11701 0 0 0 68 1 0 0 20 0 1 0 187278210 68501504 13749 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 16724 13749 2349 2403 0 13834 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66896 KiB
Current children cumulated memory: 54996 KiB
[startup+1.5002 s]
/proc/loadavg: 4.11 4.09 4.09 6/257 1005131
/proc/meminfo: memFree=128236788/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=67164 memory=55304 CPUtime=1.48 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 11753 0 0 0 147 1 0 0 20 0 1 0 187278210 68775936 13826 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 16791 13826 2349 2403 0 13901 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67164 KiB
Current children cumulated memory: 55304 KiB
[startup+3.10555 s]
/proc/loadavg: 4.10 4.09 4.09 6/257 1005131
/proc/meminfo: memFree=128236544/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=67164 memory=55304 CPUtime=3.08 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 11758 0 0 0 307 1 0 0 20 0 1 0 187278210 68775936 13826 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 16791 13826 2349 2403 0 13901 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 67164 KiB
Current children cumulated memory: 55304 KiB
[startup+6.30012 s]
/proc/loadavg: 4.10 4.09 4.09 6/257 1005131
/proc/meminfo: memFree=128183376/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=81040 memory=68348 CPUtime=6.27 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 15227 0 0 0 625 2 0 0 20 0 1 0 187278210 82984960 17087 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 20260 17087 2461 2403 0 17370 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 81040 KiB
Current children cumulated memory: 68348 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.09 4.09 7/257 1005133
/proc/meminfo: memFree=128202420/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=81568 memory=69140 CPUtime=12.65 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 15395 0 0 0 1263 2 0 0 20 0 1 0 187278210 83525632 17285 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 20392 17285 2461 2403 0 17502 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 81568 KiB
Current children cumulated memory: 69140 KiB
[startup+25.5001 s]
/proc/loadavg: 4.07 4.08 4.09 6/257 1005134
/proc/meminfo: memFree=128158700/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=107580 memory=94624 CPUtime=25.41 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 25972 0 0 0 2538 3 0 0 20 0 1 0 187278210 110161920 23656 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 26895 23656 2477 2403 0 24005 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 107580 KiB
Current children cumulated memory: 94624 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.09 4.09 6/257 1005139
/proc/meminfo: memFree=128131388/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=131544 memory=119144 CPUtime=50.94 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 32138 0 0 0 5090 4 0 0 20 0 1 0 187278210 134701056 29786 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 32886 29786 2477 2403 0 29996 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 131544 KiB
Current children cumulated memory: 119144 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.07 4.08 6/257 1005147
/proc/meminfo: memFree=128117596/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=137820 memory=125568 CPUtime=101.99 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 37693 0 0 0 10194 5 0 0 20 0 1 0 187278210 141127680 31392 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 34455 31392 2477 2403 0 31565 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 137820 KiB
Current children cumulated memory: 125568 KiB
[startup+162.3 s]
/proc/loadavg: 4.35 4.16 4.12 6/257 1005160
/proc/meminfo: memFree=128108900/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=137820 memory=125568 CPUtime=161.81 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 37693 0 0 0 16176 5 0 0 20 0 1 0 187278210 141127680 31392 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 34455 31392 2477 2403 0 31565 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 137820 KiB
Current children cumulated memory: 125568 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.15 4.11 6/257 1005170
/proc/meminfo: memFree=128106976/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=137820 memory=125568 CPUtime=221.63 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 37761 0 0 0 22158 5 0 0 20 0 1 0 187278210 141127680 31392 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 34455 31392 2477 2403 0 31565 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 137820 KiB
Current children cumulated memory: 125568 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.10 6/257 1005182
/proc/meminfo: memFree=128106268/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=137820 memory=125716 CPUtime=281.45 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 37824 0 0 0 28140 5 0 0 20 0 1 0 187278210 141127680 31429 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 34455 31429 2477 2403 0 31565 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 137820 KiB
Current children cumulated memory: 125716 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.14 4.10 6/260 1005199
/proc/meminfo: memFree=128071100/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=156268 memory=144176 CPUtime=341.26 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 42421 0 0 0 34120 6 0 0 20 0 1 0 187278210 160018432 36044 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 39067 36044 2477 2403 0 36177 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 156268 KiB
Current children cumulated memory: 144176 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.10 6/260 1005210
/proc/meminfo: memFree=128065596/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=158440 memory=146564 CPUtime=401.07 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 43547 0 0 0 40101 6 0 0 20 0 1 0 187278210 162242560 36641 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 39610 36641 2477 2403 0 36720 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 158440 KiB
Current children cumulated memory: 146564 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.10 6/260 1005221
/proc/meminfo: memFree=128054588/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=165476 memory=154972 CPUtime=460.87 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 45887 0 0 0 46080 7 0 0 20 0 1 0 187278210 169447424 38743 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 41369 38743 2477 2403 0 38479 0
################
# More data... #
################
/proc/loadavg: 4.12 4.12 4.09 6/258 1005762
/proc/meminfo: memFree=127996940/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=205036 memory=196836 CPUtime=1298.27 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 68003 0 0 0 129813 14 0 0 20 0 1 0 187278210 209956864 49209 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 51259 49209 2477 2403 0 48369 0
Current children cumulated CPU time: 1298.27 s
Current children cumulated vsize: 205036 KiB
Current children cumulated memory: 196836 KiB
[startup+1362.3 s]
/proc/loadavg: 4.16 4.14 4.10 6/258 1005774
/proc/meminfo: memFree=127972112/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=205036 memory=196836 CPUtime=1358.09 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 68085 0 0 0 135795 14 0 0 20 0 1 0 187278210 209956864 49209 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 51259 49209 2477 2403 0 48369 0
Current children cumulated CPU time: 1358.09 s
Current children cumulated vsize: 205036 KiB
Current children cumulated memory: 196836 KiB
[startup+1422.3 s]
/proc/loadavg: 4.12 4.14 4.10 6/260 1005954
/proc/meminfo: memFree=127971520/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=205036 memory=196836 CPUtime=1417.9 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 68167 0 0 0 141776 14 0 0 20 0 1 0 187278210 209956864 49209 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 51259 49209 2477 2403 0 48369 0
Current children cumulated CPU time: 1417.9 s
Current children cumulated vsize: 205036 KiB
Current children cumulated memory: 196836 KiB
[startup+1482.3 s]
/proc/loadavg: 4.12 4.14 4.10 6/260 1005964
/proc/meminfo: memFree=127970640/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=205036 memory=196836 CPUtime=1477.71 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 68249 0 0 0 147757 14 0 0 20 0 1 0 187278210 209956864 49209 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 51259 49209 2477 2403 0 48369 0
Current children cumulated CPU time: 1477.71 s
Current children cumulated vsize: 205036 KiB
Current children cumulated memory: 196836 KiB
[startup+1542.3 s]
/proc/loadavg: 4.15 4.14 4.10 6/263 1006034
/proc/meminfo: memFree=127969784/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=205036 memory=196836 CPUtime=1537.52 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 68330 0 0 0 153738 14 0 0 20 0 1 0 187278210 209956864 49209 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 51259 49209 2477 2403 0 48369 0
Current children cumulated CPU time: 1537.52 s
Current children cumulated vsize: 205036 KiB
Current children cumulated memory: 196836 KiB
[startup+1602.3 s]
/proc/loadavg: 4.11 4.13 4.09 6/261 1006046
/proc/meminfo: memFree=127969140/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=205036 memory=196836 CPUtime=1597.33 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 68413 0 0 0 159719 14 0 0 20 0 1 0 187278210 209956864 49209 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 51259 49209 2477 2403 0 48369 0
Current children cumulated CPU time: 1597.33 s
Current children cumulated vsize: 205036 KiB
Current children cumulated memory: 196836 KiB
[startup+1662.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/261 1006057
/proc/meminfo: memFree=127966852/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=205036 memory=196836 CPUtime=1657.14 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 68495 0 0 0 165700 14 0 0 20 0 1 0 187278210 209956864 49209 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 51259 49209 2477 2403 0 48369 0
Current children cumulated CPU time: 1657.14 s
Current children cumulated vsize: 205036 KiB
Current children cumulated memory: 196836 KiB
[startup+1722.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/259 1006067
/proc/meminfo: memFree=127966144/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=205036 memory=196836 CPUtime=1716.96 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 68577 0 0 0 171681 15 0 0 20 0 1 0 187278210 209956864 49209 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 51259 49209 2477 2403 0 48369 0
Current children cumulated CPU time: 1716.96 s
Current children cumulated vsize: 205036 KiB
Current children cumulated memory: 196836 KiB
[startup+1782.3 s]
/proc/loadavg: 4.38 4.19 4.12 6/259 1006078
/proc/meminfo: memFree=127965452/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=205036 memory=196836 CPUtime=1776.78 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 68659 0 0 0 177662 16 0 0 20 0 1 0 187278210 209956864 49209 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 51259 49209 2477 2403 0 48369 0
Current children cumulated CPU time: 1776.78 s
Current children cumulated vsize: 205036 KiB
Current children cumulated memory: 196836 KiB
[startup+1802.06 s]
# the end of solver process 1005130 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1796.22 s, system=0.266659 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.32 4.18 4.11 5/256 1006094
/proc/meminfo: memFree=128144300/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=205036 memory=196836 CPUtime=1786.45 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 68659 0 0 0 178629 16 0 0 20 0 1 0 187278210 209956864 49209 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 51259 49209 2477 2403 0 48369 0
Current children cumulated CPU time: 1786.45 s
Current children cumulated vsize: 205036 KiB
Current children cumulated memory: 196836 KiB
[startup+1798.4 s]
/proc/loadavg: 4.11 4.14 4.10 4/245 1006143
/proc/meminfo: memFree=128310760/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=205036 memory=196836 CPUtime=1792.83 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 68659 0 0 0 179267 16 0 0 20 0 1 0 187278210 209956864 49209 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 51259 49209 2477 2403 0 48369 0
Current children cumulated CPU time: 1792.83 s
Current children cumulated vsize: 205036 KiB
Current children cumulated memory: 196836 KiB
[startup+1800 s]*
/proc/loadavg: 4.11 4.14 4.10 4/245 1006143
/proc/meminfo: memFree=128310736/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=205036 memory=196836 CPUtime=1794.43 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 68659 0 0 0 179427 16 0 0 20 0 1 0 187278210 209956864 49209 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 51259 49209 2477 2403 0 48369 0
Current children cumulated CPU time: 1794.43 s
Current children cumulated vsize: 205036 KiB
Current children cumulated memory: 196836 KiB
[startup+1800.8 s]
/proc/loadavg: 4.11 4.14 4.10 4/245 1006143
/proc/meminfo: memFree=128310736/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=168628 memory=161776 CPUtime=1795.22 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 68663 0 0 0 179502 20 0 0 20 0 1 0 187278210 172675072 40444 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 42157 40444 2477 2403 0 39267 0
Current children cumulated CPU time: 1795.22 s
Current children cumulated vsize: 168628 KiB
Current children cumulated memory: 161776 KiB
[startup+1801.6 s]
/proc/loadavg: 4.11 4.14 4.10 4/245 1006143
/proc/meminfo: memFree=128345764/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=168628 memory=161776 CPUtime=1796.01 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 68663 0 0 0 179577 24 0 0 20 0 1 0 187278210 172675072 40444 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 42157 40444 2477 2403 0 39267 0
Current children cumulated CPU time: 1796.01 s
Current children cumulated vsize: 168628 KiB
Current children cumulated memory: 161776 KiB
[startup+1802 s]*
/proc/loadavg: 4.11 4.14 4.10 4/245 1006143
/proc/meminfo: memFree=128345732/131524600 swapFree=131071996/131071996
[pid=1005130] ppid=1005127 vsize=168628 memory=161776 CPUtime=1796.42 cores=0,2
/proc/1005130/stat : 1005130 (LS-MabS) R 1005127 1005130 999982 0 -1 4194304 68663 0 0 0 179616 26 0 0 20 0 1 0 187278210 172675072 40444 134679101440 4194304 14036057 140733763945920 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 51937280 140733763949600 140733763949702 140733763949702 140733763956718 0
/proc/1005130/statm: 42157 40444 2477 2403 0 39267 0
Current children cumulated CPU time: 1796.42 s
Current children cumulated vsize: 168628 KiB
Current children cumulated memory: 161776 KiB
Child status: 0
Real time (s): 1802.06
CPU time (s): 1796.49
CPU user time (s): 1796.22
CPU system time (s): 0.266659
CPU usage (%): 99.6907
Max. virtual memory (cumulated for all children) (KiB): 218308
Max. memory (cumulated for all children) (KiB): 206048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.22
system time used= 0.266659
maximum resident set size= 206288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68664
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= 38
involuntary context switches= 12577
# summary of solver processes directly reported to runsolver:
# pid: 1005130
# total CPU time (s): 1796.49
# total CPU user time (s): 1796.22
# total CPU system time (s): 0.266659
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.26065 second user time and 7.74508 second system time
The end
Begin job on nodeC031 at 2024-07-19 03:05:12
IDJOB=4447207
IDBENCH=158372
IDSOLVER=3048
FILE ID=nodeC031/4447207-1721351099
RUNJOBID= nodeC031-1721342078-999992
SLURM_JOB_ID= 7542737
Free space on /tmp= 890044 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K80.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-4447207-1721351099/watcher-4447207-1721351099 -o /tmp/evaluation-result-4447207-1721351099/solver-4447207-1721351099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721342078-999992 --watchdog 3760 ./LS-MabS -f HOME/instance-4447207-1721351099.opb -t 3600 -s 1432408847
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bc14cc3bb42aaf8e1259e2bb8ce475fb
RANDOM SEED=1432408847
nodeC031.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 : 3660.541
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.55
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 : 3687.246
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
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 : 3665.989
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.55
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 : 3600.134
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
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 : 3664.097
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.55
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 : 3687.313
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
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 : 3600.206
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.55
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 : 3599.987
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128283616 kB
MemAvailable: 129361580 kB
Buffers: 491924 kB
Cached: 1417744 kB
SwapCached: 0 kB
Active: 968184 kB
Inactive: 1654040 kB
Active(anon): 1548 kB
Inactive(anon): 748432 kB
Active(file): 966636 kB
Inactive(file): 905608 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 26428 kB
Writeback: 0 kB
AnonPages: 710552 kB
Mapped: 137512 kB
Shmem: 37720 kB
KReclaimable: 90736 kB
Slab: 201980 kB
SReclaimable: 90736 kB
SUnreclaim: 111244 kB
KernelStack: 4128 kB
PageTables: 10744 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1202452 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 507904 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: 185044 kB
DirectMap2M: 16365568 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC031 at 2024-07-19 03:35:14