0.00/0.00 c Filename:instance-4427766-1722776716.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Use Presolve
0.00/0.05 c Parse finsih
0.00/0.05 c Start Presolve
0.10/0.10 c After Reduce Vars: 4676 Clauses: 5185 Top clause weight: 4677 Hard Clauses: 509
2.28/2.35 c Use LS-small
2.28/2.35 c Use postsolve
2.28/2.35 o 63
3557.95/3563.94 s SATISFIABLE
3557.95/3563.94 c Use postsolve
3557.95/3563.94 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 x4204 -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676
3557.95/3563.94 c Done 2.33s
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 (61915 MiB free)
memory of node 1: 64510 MiB (63010 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427766-1722776716/watcher-4427766-1722776716 -o /tmp/evaluation-result-4427766-1722776716/solver-4427766-1722776716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722769581-243104 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427766-1722776716.opb -t 3558 -s 1168624502
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=247173, runsolver pid=247170
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.10 4.11 4.09 5/257 247174
/proc/meminfo: memFree=127917416/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=24156 memory=11496 CPUtime=0.1 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 1788 0 0 0 10 0 0 0 20 0 1 0 44267179 24735744 2874 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 6039 2874 1105 2753 0 2692 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24156 KiB
Current children cumulated memory: 11496 KiB
[startup+0.205416 s]*
/proc/loadavg: 4.10 4.11 4.09 5/257 247174
/proc/meminfo: memFree=127887892/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=55432 memory=47792 CPUtime=0.2 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 9393 0 0 0 20 0 0 0 20 0 1 0 44267179 56762368 11948 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 13858 11948 2801 2753 0 10511 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55432 KiB
Current children cumulated memory: 47792 KiB
[startup+0.305376 s]*
/proc/loadavg: 4.10 4.11 4.09 5/257 247174
/proc/meminfo: memFree=127882376/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=61756 memory=53720 CPUtime=0.3 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 10862 0 0 0 29 1 0 0 20 0 1 0 44267179 63238144 13430 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 15439 13430 2833 2753 0 12092 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61756 KiB
Current children cumulated memory: 53720 KiB
[startup+0.700183 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 247174
/proc/meminfo: memFree=127854716/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=112812 memory=103880 CPUtime=0.69 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 23435 0 0 0 66 3 0 0 20 0 1 0 44267179 115519488 25970 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 28203 25970 2833 2753 0 24856 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 112812 KiB
Current children cumulated memory: 103880 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 247174
/proc/meminfo: memFree=127801236/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=198076 memory=188408 CPUtime=1.48 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 45057 0 0 0 142 6 0 0 20 0 1 0 44267179 202829824 47102 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 49519 47102 2833 2753 0 46172 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 198076 KiB
Current children cumulated memory: 188408 KiB
[startup+3.10459 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 247176
/proc/meminfo: memFree=127786496/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=147788 CPUtime=3.09 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 48914 0 0 0 300 9 0 0 20 0 1 0 44267179 163000320 36947 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 36947 2833 2753 0 36448 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 147788 KiB
[startup+6.30014 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 247222
/proc/meminfo: memFree=127791724/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=147788 CPUtime=6.28 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 48914 0 0 0 606 22 0 0 20 0 1 0 44267179 163000320 36947 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 36947 2833 2753 0 36448 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 147788 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 247222
/proc/meminfo: memFree=127791728/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=147788 CPUtime=12.67 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 48914 0 0 0 1220 47 0 0 20 0 1 0 44267179 163000320 36947 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 36947 2833 2753 0 36448 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 147788 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 247225
/proc/meminfo: memFree=127791280/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=148108 CPUtime=25.43 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 48934 0 0 0 2449 94 0 0 20 0 1 0 44267179 163000320 37027 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 37027 2833 2753 0 36448 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 148108 KiB
[startup+51.1043 s]
/proc/loadavg: 4.04 4.09 4.09 5/256 247228
/proc/meminfo: memFree=127788940/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=149876 CPUtime=51 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 48954 0 0 0 4901 199 0 0 20 0 1 0 44267179 163000320 37469 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 37469 2833 2753 0 36448 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 149876 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 247237
/proc/meminfo: memFree=127784184/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=102.1 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 48969 0 0 0 9791 419 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 247249
/proc/meminfo: memFree=127783176/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=162.01 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 48974 0 0 0 15538 663 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 162.01 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 247259
/proc/meminfo: memFree=127781980/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=221.91 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 48984 0 0 0 21262 929 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 221.91 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 247271
/proc/meminfo: memFree=127781008/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=281.81 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 48989 0 0 0 26995 1186 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 281.81 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 247287
/proc/meminfo: memFree=127780564/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=341.71 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 48994 0 0 0 32729 1442 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 341.71 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 247298
/proc/meminfo: memFree=127779668/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=401.61 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 48999 0 0 0 38456 1705 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 401.61 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 247308
/proc/meminfo: memFree=127779096/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=461.51 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49004 0 0 0 44180 1971 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
################
# More data... #
################
/proc/loadavg: 4.11 4.11 4.09 5/260 248992
/proc/meminfo: memFree=127842820/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=3216.92 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49234 0 0 0 307976 13716 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 3216.92 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/260 249002
/proc/meminfo: memFree=127842416/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=3276.82 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49239 0 0 0 313710 13972 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 3276.82 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/259 249016
/proc/meminfo: memFree=127841396/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=3336.72 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49244 0 0 0 319441 14231 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 3336.72 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 249038
/proc/meminfo: memFree=127840456/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=3396.62 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49249 0 0 0 325176 14486 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 3396.62 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/258 249049
/proc/meminfo: memFree=127839956/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=3456.52 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49254 0 0 0 330902 14750 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 3456.52 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 249060
/proc/meminfo: memFree=127839220/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=3516.42 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49259 0 0 0 336632 15010 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 3516.42 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+3563.95 s]
# the end of solver process 247173 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3406.13 s, system=151.874 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 249061
/proc/meminfo: memFree=127839144/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=3526.9 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49259 0 0 0 337636 15054 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 3526.9 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+3545.6 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 249064
/proc/meminfo: memFree=127838612/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=3539.68 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49259 0 0 0 338859 15109 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 3539.68 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+3552 s]*
/proc/loadavg: 4.15 4.10 4.09 5/257 249066
/proc/meminfo: memFree=127838556/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=3546.07 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49259 0 0 0 339470 15137 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 3546.07 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+3558.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 249068
/proc/meminfo: memFree=127838416/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=3552.46 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49259 0 0 0 340083 15163 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 3552.46 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+3561.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 249068
/proc/meminfo: memFree=127838416/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=3555.65 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49259 0 0 0 340389 15176 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 3555.65 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+3563.2 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 249069
/proc/meminfo: memFree=127838360/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=3557.25 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49259 0 0 0 340542 15183 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 3557.25 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+3563.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 249069
/proc/meminfo: memFree=127838360/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=3557.65 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49259 0 0 0 340580 15185 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 3557.65 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+3563.8 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 249069
/proc/meminfo: memFree=127838360/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=3557.85 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49259 0 0 0 340598 15187 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 3557.85 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
[startup+3563.9 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 249069
/proc/meminfo: memFree=127838360/131524600 swapFree=131071996/131071996
[pid=247173] ppid=247170 vsize=159180 memory=153560 CPUtime=3557.95 cores=4,6
/proc/247173/stat : 247173 (LS-MabSP) R 247170 247173 243093 0 -1 4194304 49259 0 0 0 340608 15187 0 0 20 0 1 0 44267179 163000320 38390 134679101440 4194304 15467897 140731041097120 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28819456 140731041100830 140731041100933 140731041100933 140731041107949 0
/proc/247173/statm: 39795 38390 2833 2753 0 36448 0
Current children cumulated CPU time: 3557.95 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 153560 KiB
Child status: 0
Real time (s): 3563.95
CPU time (s): 3558.01
CPU user time (s): 3406.13
CPU system time (s): 151.874
CPU usage (%): 99.8334
Max. virtual memory (cumulated for all children) (KiB): 215264
Max. memory (cumulated for all children) (KiB): 203712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3406.13
system time used= 151.874
maximum resident set size= 203712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49276
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= 7
involuntary context switches= 1030
# summary of solver processes directly reported to runsolver:
# pid: 247173
# total CPU time (s): 3558.01
# total CPU user time (s): 3406.13
# total CPU system time (s): 151.874
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80288 second user time and 11.1407 second system time
The end
Begin job on nodeC014 at 2024-08-04 15:05:16
IDJOB=4427766
IDBENCH=147201
IDSOLVER=3047
FILE ID=nodeC014/4427766-1722776716
RUNJOBID= nodeC014-1722769581-243104
SLURM_JOB_ID= 8257535
Free space on /tmp= 890036 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427766-1722776716/watcher-4427766-1722776716 -o /tmp/evaluation-result-4427766-1722776716/solver-4427766-1722776716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722769581-243104 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427766-1722776716.opb -t 3558 -s 1168624502
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c6607e81ef495ea554e89cc8679fc78c
RANDOM SEED=1168624502
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.660
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 : 7000.06
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 : 3601.206
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 : 7007.10
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 : 3602.176
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 : 7000.06
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 : 3688.487
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 : 7007.10
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 : 3657.617
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 : 7000.06
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 : 3688.451
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 : 7007.10
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 : 3661.759
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 : 7000.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.345
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 : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127925280 kB
MemAvailable: 129762364 kB
Buffers: 294648 kB
Cached: 2375880 kB
SwapCached: 0 kB
Active: 679796 kB
Inactive: 2400112 kB
Active(anon): 1528 kB
Inactive(anon): 437368 kB
Active(file): 678268 kB
Inactive(file): 1962744 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 48908 kB
Writeback: 12 kB
AnonPages: 409348 kB
Mapped: 131520 kB
Shmem: 29528 kB
KReclaimable: 71440 kB
Slab: 161188 kB
SReclaimable: 71440 kB
SUnreclaim: 89748 kB
KernelStack: 4080 kB
PageTables: 9976 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 895948 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 23488 kB
HardwareCorrupted: 0 kB
AnonHugePages: 243712 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: 295636 kB
DirectMap2M: 21497856 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC014 at 2024-08-04 16:04:40