359.06/360.04	o -16
359.86/360.86	o -28
360.06/361.02	o -29
1546.97/1551.25	s OPTIMUM FOUND
1546.97/1551.25	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

OK	-29

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: 63665 MiB (55883 MiB free)
  memory of node 1: 64507 MiB (61063 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519579-1751553442/watcher-4519579-1751553442 -o /tmp/evaluation-result-4519579-1751553442/solver-4519579-1751553442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751549468-78594 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1503510532 --ls=360 --inp-dombreaklim=0 HOME/instance-4519579-1751553442.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=79328, runsolver pid=79325
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.14 4.15 4.09 5/265 79329
/proc/meminfo: memFree=119753816/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=37764 memory=13860 CPUtime=0.09 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 2777 0 0 0 9 0 0 0 20 0 1 0 71021903 38670336 3465 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 9441 3465 1024 1200 0 7921 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 13860 KiB

[startup+0.205552 s]*
/proc/loadavg: 4.14 4.15 4.09 5/265 79329
/proc/meminfo: memFree=119753816/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=37764 memory=13860 CPUtime=0.2 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 2777 0 0 0 20 0 0 0 20 0 1 0 71021903 38670336 3465 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 9441 3465 1024 1200 0 7921 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 13860 KiB

[startup+0.305434 s]*
/proc/loadavg: 4.14 4.15 4.09 5/265 79329
/proc/meminfo: memFree=119753816/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=37764 memory=13860 CPUtime=0.3 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 2777 0 0 0 30 0 0 0 20 0 1 0 71021903 38670336 3465 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 9441 3465 1024 1200 0 7921 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 13860 KiB

[startup+0.70017 s]
/proc/loadavg: 4.14 4.15 4.09 5/265 79329
/proc/meminfo: memFree=119753816/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=37764 memory=13860 CPUtime=0.69 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 2777 0 0 0 69 0 0 0 20 0 1 0 71021903 38670336 3465 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 9441 3465 1024 1200 0 7921 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 13860 KiB

[startup+1.50017 s]
/proc/loadavg: 4.14 4.15 4.09 5/265 79329
/proc/meminfo: memFree=119750056/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=37764 memory=13860 CPUtime=1.48 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 2777 0 0 0 148 0 0 0 20 0 1 0 71021903 38670336 3465 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 9441 3465 1024 1200 0 7921 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 13860 KiB

[startup+3.10541 s]
/proc/loadavg: 4.14 4.15 4.09 5/265 79329
/proc/meminfo: memFree=119710044/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=37764 memory=13860 CPUtime=3.09 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 2777 0 0 0 309 0 0 0 20 0 1 0 71021903 38670336 3465 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 9441 3465 1024 1200 0 7921 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 13860 KiB

[startup+6.30016 s]
/proc/loadavg: 4.13 4.15 4.09 5/265 79329
/proc/meminfo: memFree=119669720/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=37764 memory=13860 CPUtime=6.27 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 2777 0 0 0 627 0 0 0 20 0 1 0 71021903 38670336 3465 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 9441 3465 1024 1200 0 7921 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 13860 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.15 4.09 5/265 79329
/proc/meminfo: memFree=119642236/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=37764 memory=13860 CPUtime=12.66 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 2777 0 0 0 1266 0 0 0 20 0 1 0 71021903 38670336 3465 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 9441 3465 1024 1200 0 7921 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 13860 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.16 4.09 5/265 79329
/proc/meminfo: memFree=119496380/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=37764 memory=13860 CPUtime=25.42 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 2777 0 0 0 2542 0 0 0 20 0 1 0 71021903 38670336 3465 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 9441 3465 1024 1200 0 7921 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 13860 KiB

[startup+51.1053 s]
/proc/loadavg: 4.11 4.14 4.09 5/264 79330
/proc/meminfo: memFree=119339088/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=37764 memory=13860 CPUtime=50.97 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 2777 0 0 0 5097 0 0 0 20 0 1 0 71021903 38670336 3465 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 9441 3465 1024 1200 0 7921 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 13860 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/264 79426
/proc/meminfo: memFree=123147160/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=37764 memory=13860 CPUtime=102.02 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 2777 0 0 0 10202 0 0 0 20 0 1 0 71021903 38670336 3465 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 9441 3465 1024 1200 0 7921 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 13860 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 79428
/proc/meminfo: memFree=123135784/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=37764 memory=13860 CPUtime=161.85 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 2777 0 0 0 16185 0 0 0 20 0 1 0 71021903 38670336 3465 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 9441 3465 1024 1200 0 7921 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 13860 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 79431
/proc/meminfo: memFree=123143356/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=37764 memory=13860 CPUtime=221.68 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 2777 0 0 0 22168 0 0 0 20 0 1 0 71021903 38670336 3465 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 9441 3465 1024 1200 0 7921 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 13860 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/265 79433
/proc/meminfo: memFree=123159516/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=37764 memory=14756 CPUtime=281.52 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 2781 0 0 0 28152 0 0 0 20 0 1 0 71021903 38670336 3689 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 9441 3689 1024 1200 0 7921 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 14756 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 79435
/proc/meminfo: memFree=123154436/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=37764 memory=14756 CPUtime=341.39 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 2783 0 0 0 34139 0 0 0 20 0 1 0 71021903 38670336 3689 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 9441 3689 1024 1200 0 7921 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 14756 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 79440
/proc/meminfo: memFree=122983168/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=234956 memory=194016 CPUtime=401.24 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 32350 0 0 0 40104 20 0 0 20 0 1 0 71021903 240594944 48504 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 58739 48504 1280 1200 0 57219 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 234956 KiB
Current children cumulated memory: 194016 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 79488
/proc/meminfo: memFree=122818824/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=256696 memory=215776 CPUtime=461.08 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 37787 0 0 0 46072 36 0 0 20 0 1 0 71021903 262856704 53944 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 64174 53944 1280 1200 0 62654 0

################
# More data... #
################

/proc/loadavg: 4.15 4.16 4.11 5/265 79610
/proc/meminfo: memFree=122877176/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=333696 memory=303712 CPUtime=1059.41 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 56943 0 0 0 105752 189 0 0 20 0 1 0 71021903 341704704 75928 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 83424 75928 1280 1200 0 81904 0
Current children cumulated CPU time: 1059.41 s
Current children cumulated vsize: 333696 KiB
Current children cumulated memory: 303712 KiB

[startup+1122.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/263 79657
/proc/meminfo: memFree=122862624/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=337128 memory=307040 CPUtime=1119.24 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 57791 0 0 0 111719 205 0 0 20 0 1 0 71021903 345219072 76760 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 84282 76760 1280 1200 0 82762 0
Current children cumulated CPU time: 1119.24 s
Current children cumulated vsize: 337128 KiB
Current children cumulated memory: 307040 KiB

[startup+1182.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/263 79659
/proc/meminfo: memFree=122848512/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=339484 memory=309344 CPUtime=1179.05 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 58384 0 0 0 117683 222 0 0 20 0 1 0 71021903 347631616 77336 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 84871 77336 1280 1200 0 83351 0
Current children cumulated CPU time: 1179.05 s
Current children cumulated vsize: 339484 KiB
Current children cumulated memory: 309344 KiB

[startup+1242.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/263 79661
/proc/meminfo: memFree=122866836/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=343516 memory=313440 CPUtime=1238.86 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 59393 0 0 0 123648 238 0 0 20 0 1 0 71021903 351760384 78360 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 85879 78360 1280 1200 0 84359 0
Current children cumulated CPU time: 1238.86 s
Current children cumulated vsize: 343516 KiB
Current children cumulated memory: 313440 KiB

[startup+1302.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/264 79713
/proc/meminfo: memFree=122839784/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=346504 memory=317024 CPUtime=1298.69 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 60178 0 0 0 129612 257 0 0 20 0 1 0 71021903 354820096 79256 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 86626 79256 1280 1200 0 85106 0
Current children cumulated CPU time: 1298.69 s
Current children cumulated vsize: 346504 KiB
Current children cumulated memory: 317024 KiB

[startup+1362.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 79715
/proc/meminfo: memFree=122833012/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=350856 memory=321408 CPUtime=1358.54 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 60756 0 0 0 135582 272 0 0 20 0 1 0 71021903 359276544 80352 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 87714 80352 1280 1200 0 86194 0
Current children cumulated CPU time: 1358.54 s
Current children cumulated vsize: 350856 KiB
Current children cumulated memory: 321408 KiB

[startup+1422.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 79730
/proc/meminfo: memFree=122830272/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=355388 memory=325760 CPUtime=1418.4 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 61838 0 0 0 141554 286 0 0 20 0 1 0 71021903 363917312 81440 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 88847 81440 1280 1200 0 87327 0
Current children cumulated CPU time: 1418.4 s
Current children cumulated vsize: 355388 KiB
Current children cumulated memory: 325760 KiB

[startup+1482.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 79733
/proc/meminfo: memFree=122564788/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=359544 memory=329856 CPUtime=1478.25 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 62879 0 0 0 147524 301 0 0 20 0 1 0 71021903 368173056 82464 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 89886 82464 1280 1200 0 88366 0
Current children cumulated CPU time: 1478.25 s
Current children cumulated vsize: 359544 KiB
Current children cumulated memory: 329856 KiB

[startup+1542.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/266 79735
/proc/meminfo: memFree=122341228/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=364628 memory=334592 CPUtime=1538.1 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 64076 0 0 0 153496 314 0 0 20 0 1 0 71021903 373379072 83648 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 91157 83648 1280 1200 0 89637 0
Current children cumulated CPU time: 1538.1 s
Current children cumulated vsize: 364628 KiB
Current children cumulated memory: 334592 KiB

[startup+1551.26 s]
# the end of solver process 79328 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1543.88 s, system=3.17132 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1542.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/266 79735
/proc/meminfo: memFree=122341228/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=364628 memory=334592 CPUtime=1538.2 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 64076 0 0 0 153506 314 0 0 20 0 1 0 71021903 373379072 83648 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 91157 83648 1280 1200 0 89637 0
Current children cumulated CPU time: 1538.2 s
Current children cumulated vsize: 364628 KiB
Current children cumulated memory: 334592 KiB

[startup+1545.6 s]
/proc/loadavg: 4.06 4.09 4.09 5/266 79735
/proc/meminfo: memFree=122341244/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=364912 memory=334976 CPUtime=1541.39 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 64148 0 0 0 153824 315 0 0 20 0 1 0 71021903 373669888 83744 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 91228 83744 1280 1200 0 89708 0
Current children cumulated CPU time: 1541.39 s
Current children cumulated vsize: 364912 KiB
Current children cumulated memory: 334976 KiB

[startup+1548.8 s]
/proc/loadavg: 4.06 4.09 4.09 5/266 79735
/proc/meminfo: memFree=122341244/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=365096 memory=335104 CPUtime=1544.59 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 64194 0 0 0 154143 316 0 0 20 0 1 0 71021903 373858304 83776 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 91274 83776 1280 1200 0 89754 0
Current children cumulated CPU time: 1544.59 s
Current children cumulated vsize: 365096 KiB
Current children cumulated memory: 335104 KiB

[startup+1550.4 s]
/proc/loadavg: 4.06 4.09 4.09 5/266 79735
/proc/meminfo: memFree=122341244/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=365096 memory=335104 CPUtime=1546.18 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 64194 0 0 0 154302 316 0 0 20 0 1 0 71021903 373858304 83776 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 91274 83776 1280 1200 0 89754 0
Current children cumulated CPU time: 1546.18 s
Current children cumulated vsize: 365096 KiB
Current children cumulated memory: 335104 KiB

[startup+1550.8 s]
/proc/loadavg: 4.06 4.09 4.09 5/266 79735
/proc/meminfo: memFree=122341244/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=365096 memory=335104 CPUtime=1546.58 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 64194 0 0 0 154342 316 0 0 20 0 1 0 71021903 373858304 83776 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 91274 83776 1280 1200 0 89754 0
Current children cumulated CPU time: 1546.58 s
Current children cumulated vsize: 365096 KiB
Current children cumulated memory: 335104 KiB

[startup+1551.2 s]
/proc/loadavg: 4.06 4.09 4.09 5/266 79735
/proc/meminfo: memFree=122341244/131249996 swapFree=33003468/33010684
[pid=79328] ppid=79325 vsize=365096 memory=335104 CPUtime=1546.97 cores=0,2
/proc/79328/stat : 79328 (Exact) R 79325 79328 78584 0 -1 4194304 64194 0 0 0 154381 316 0 0 20 0 1 0 71021903 373858304 83776 18446744073709551615 4198400 9112445 140723409664624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27320320 140723409672486 140723409672685 140723409672685 140723409678287 0
/proc/79328/statm: 91274 83776 1280 1200 0 89754 0
Current children cumulated CPU time: 1546.97 s
Current children cumulated vsize: 365096 KiB
Current children cumulated memory: 335104 KiB

Child status: 30

Real time (s): 1551.26
CPU time (s): 1547.05
CPU user time (s): 1543.88
CPU system time (s): 3.17132
CPU usage (%): 99.7286
Max. virtual memory (cumulated for all children) (KiB): 365096
Max. memory (cumulated for all children) (KiB): 335104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1543.88
system time used= 3.17132
maximum resident set size= 335232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64196
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= 93
involuntary context switches= 2055


# summary of solver processes directly reported to runsolver:
#   pid: 79328
#   total CPU time (s): 1547.05
#   total CPU user time (s): 1543.88
#   total CPU system time (s): 3.17132

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.69766 second user time and 6.23648 second system time

The end

Begin job on nodeC021 at 2025-07-03 16:37:22
IDJOB=4519579
IDBENCH=177316
IDSOLVER=3319
FILE ID=nodeC021/4519579-1751553442
RUNJOBID= nodeC021-1751549468-78594
SLURM_JOB_ID= 9598726
Free space on /tmp= 430908 MiB

SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519579-1751553442/watcher-4519579-1751553442 -o /tmp/evaluation-result-4519579-1751553442/solver-4519579-1751553442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751549468-78594 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1503510532 --ls=360 --inp-dombreaklim=0 HOME/instance-4519579-1751553442.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= f91dbe69118ae72b0214f31a62e5b167
RANDOM SEED=1503510532

nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3603.846
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.723
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.761
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3617.397
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3599.761
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.594
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3602.487
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3509.310
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        119753816 kB
MemAvailable:   125994520 kB
Buffers:            1056 kB
Cached:          6974648 kB
SwapCached:           32 kB
Active:          4192388 kB
Inactive:        6512304 kB
Active(anon):    3701504 kB
Inactive(anon):    40936 kB
Active(file):     490884 kB
Inactive(file):  6471368 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7460 kB
Writeback:             0 kB
AnonPages:       3732076 kB
Mapped:           114648 kB
Shmem:             13452 kB
KReclaimable:     234984 kB
Slab:             326916 kB
SReclaimable:     234984 kB
SUnreclaim:        91932 kB
KernelStack:        4304 kB
PageTables:        10408 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4390896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2652160 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430932 MiB
End job on nodeC021 at 2025-07-03 17:03:14