359.17/360.16	o 4318416510
359.17/360.17	o 4318160510
359.17/360.17	o 4318160502
362.75/363.78	o 18171908
3600.01/3610.50	c Program interrupted by user.
3600.01/3610.50	s SATISFIABLE
3600.01/3610.50	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

OK	18171908

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: 63837 MiB (63133 MiB free)
  memory of node 1: 64465 MiB (63303 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486121-1751318050/watcher-4486121-1751318050 -o /tmp/evaluation-result-4486121-1751318050/solver-4486121-1751318050 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751314075-42012 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1059101028 --ls=360 --inp-dombreaklim=0 HOME/instance-4486121-1751318050.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
Starting watchdog thread
solver pid=42564, runsolver pid=42554
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 4.12 4.17 4.17 5/246 42571
/proc/meminfo: memFree=129450440/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=38948 memory=15240 CPUtime=0.1 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 3264 0 0 0 9 1 0 0 20 0 1 0 47484390 39882752 3810 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 9737 3810 1056 1200 0 8217 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15240 KiB

[startup+0.212975 s]*
/proc/loadavg: 4.12 4.17 4.17 6/247 42574
/proc/meminfo: memFree=129446244/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=38948 memory=15240 CPUtime=0.22 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 3264 0 0 0 21 1 0 0 20 0 1 0 47484390 39882752 3810 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 9737 3810 1056 1200 0 8217 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15240 KiB

[startup+0.313106 s]*
/proc/loadavg: 4.12 4.17 4.17 6/247 42574
/proc/meminfo: memFree=129438052/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=38948 memory=15240 CPUtime=0.31 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 3264 0 0 0 30 1 0 0 20 0 1 0 47484390 39882752 3810 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 9737 3810 1056 1200 0 8217 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15240 KiB

[startup+0.700248 s]
/proc/loadavg: 4.12 4.17 4.17 6/247 42574
/proc/meminfo: memFree=129414112/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=38948 memory=15240 CPUtime=0.69 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 3278 0 0 0 68 1 0 0 20 0 1 0 47484390 39882752 3810 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 9737 3810 1056 1200 0 8217 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15240 KiB

[startup+1.50025 s]
/proc/loadavg: 4.12 4.17 4.17 6/245 42574
/proc/meminfo: memFree=129382112/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=38948 memory=15240 CPUtime=1.48 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 3278 0 0 0 147 1 0 0 20 0 1 0 47484390 39882752 3810 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 9737 3810 1056 1200 0 8217 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15240 KiB

[startup+3.11261 s]
/proc/loadavg: 4.11 4.17 4.17 6/250 42584
/proc/meminfo: memFree=129178224/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=38948 memory=15240 CPUtime=3.09 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 3278 0 0 0 308 1 0 0 20 0 1 0 47484390 39882752 3810 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 9737 3810 1056 1200 0 8217 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15240 KiB

[startup+6.30024 s]
/proc/loadavg: 4.11 4.17 4.17 6/250 42584
/proc/meminfo: memFree=129166500/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=38948 memory=15240 CPUtime=6.27 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 3278 0 0 0 626 1 0 0 20 0 1 0 47484390 39882752 3810 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 9737 3810 1056 1200 0 8217 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15240 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.16 4.17 6/250 42584
/proc/meminfo: memFree=129130208/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=38948 memory=15240 CPUtime=12.66 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 3278 0 0 0 1265 1 0 0 20 0 1 0 47484390 39882752 3810 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 9737 3810 1056 1200 0 8217 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15240 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.15 4.17 6/250 42584
/proc/meminfo: memFree=129116356/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=38948 memory=15240 CPUtime=25.43 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 3278 0 0 0 2542 1 0 0 20 0 1 0 47484390 39882752 3810 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 9737 3810 1056 1200 0 8217 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15240 KiB

[startup+51.1128 s]
/proc/loadavg: 4.11 4.16 4.17 6/251 42586
/proc/meminfo: memFree=129054200/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=38948 memory=15240 CPUtime=50.98 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 3278 0 0 0 5097 1 0 0 20 0 1 0 47484390 39882752 3810 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 9737 3810 1056 1200 0 8217 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15240 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.17 6/251 42593
/proc/meminfo: memFree=129014508/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=38948 memory=15240 CPUtime=102.02 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 3278 0 0 0 10201 1 0 0 20 0 1 0 47484390 39882752 3810 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 9737 3810 1056 1200 0 8217 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15240 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.15 4.17 6/252 42596
/proc/meminfo: memFree=129017032/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=38948 memory=15240 CPUtime=161.84 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 3278 0 0 0 16183 1 0 0 20 0 1 0 47484390 39882752 3810 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 9737 3810 1056 1200 0 8217 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15240 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.16 6/252 42598
/proc/meminfo: memFree=128999520/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=38948 memory=16008 CPUtime=221.67 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 3284 0 0 0 22166 1 0 0 20 0 1 0 47484390 39882752 4002 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 9737 4002 1056 1200 0 8217 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 16008 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.15 6/252 42600
/proc/meminfo: memFree=128985836/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=38948 memory=16008 CPUtime=281.53 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 3293 0 0 0 28152 1 0 0 20 0 1 0 47484390 39882752 4002 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 9737 4002 1056 1200 0 8217 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 16008 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.15 6/251 42602
/proc/meminfo: memFree=128979868/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=38948 memory=16008 CPUtime=341.4 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 3299 0 0 0 34139 1 0 0 20 0 1 0 47484390 39882752 4002 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 9737 4002 1056 1200 0 8217 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 16008 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/252 42707
/proc/meminfo: memFree=129032928/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=223224 memory=168828 CPUtime=401.22 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 30235 0 0 0 40107 15 0 0 20 0 1 0 47484390 228581376 42207 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 55806 42207 1280 1200 0 54286 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 223224 KiB
Current children cumulated memory: 168828 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/251 42709
/proc/meminfo: memFree=128988800/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=269500 memory=217672 CPUtime=461.02 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 39833 0 0 0 46081 21 0 0 20 0 1 0 47484390 275968000 54418 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 67375 54418 1312 1200 0 65855 0
Current children cumulated CPU time: 461.02 s

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

Current children cumulated memory: 291656 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/252 42852
/proc/meminfo: memFree=128271436/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=329432 memory=294216 CPUtime=2913.8 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 53791 0 0 0 291078 302 0 0 20 0 1 0 47484390 337338368 73554 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 82358 73554 1312 1200 0 80838 0
Current children cumulated CPU time: 2913.8 s
Current children cumulated vsize: 329432 KiB
Current children cumulated memory: 294216 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/252 42854
/proc/meminfo: memFree=128274220/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=329432 memory=294216 CPUtime=2973.6 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 53906 0 0 0 297046 314 0 0 20 0 1 0 47484390 337338368 73554 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 82358 73554 1312 1200 0 80838 0
Current children cumulated CPU time: 2973.6 s
Current children cumulated vsize: 329432 KiB
Current children cumulated memory: 294216 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.14 4.14 5/252 42856
/proc/meminfo: memFree=128250844/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=330812 memory=295496 CPUtime=3033.4 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 54254 0 0 0 303019 321 0 0 20 0 1 0 47484390 338751488 73874 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 82703 73874 1312 1200 0 81183 0
Current children cumulated CPU time: 3033.4 s
Current children cumulated vsize: 330812 KiB
Current children cumulated memory: 295496 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.12 4.12 5/252 42864
/proc/meminfo: memFree=128248984/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=330812 memory=295496 CPUtime=3093.21 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 54257 0 0 0 308994 327 0 0 20 0 1 0 47484390 338751488 73874 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 82703 73874 1312 1200 0 81183 0
Current children cumulated CPU time: 3093.21 s
Current children cumulated vsize: 330812 KiB
Current children cumulated memory: 295496 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/249 42866
/proc/meminfo: memFree=128239268/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=331088 memory=298184 CPUtime=3153.03 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 54450 0 0 0 314968 335 0 0 20 0 1 0 47484390 339034112 74546 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 82772 74546 1312 1200 0 81252 0
Current children cumulated CPU time: 3153.03 s
Current children cumulated vsize: 331088 KiB
Current children cumulated memory: 298184 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/250 42869
/proc/meminfo: memFree=128244324/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=331088 memory=298184 CPUtime=3212.85 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 54450 0 0 0 320946 339 0 0 20 0 1 0 47484390 339034112 74546 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 82772 74546 1312 1200 0 81252 0
Current children cumulated CPU time: 3212.85 s
Current children cumulated vsize: 331088 KiB
Current children cumulated memory: 298184 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/251 42916
/proc/meminfo: memFree=128868632/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=333624 memory=300360 CPUtime=3272.69 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 55103 0 0 0 326926 343 0 0 20 0 1 0 47484390 341630976 75090 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 83406 75090 1312 1200 0 81886 0
Current children cumulated CPU time: 3272.69 s
Current children cumulated vsize: 333624 KiB
Current children cumulated memory: 300360 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/251 42918
/proc/meminfo: memFree=128856956/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=335804 memory=302408 CPUtime=3332.53 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 55661 0 0 0 332902 351 0 0 20 0 1 0 47484390 343863296 75602 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 83951 75602 1312 1200 0 82431 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 335804 KiB
Current children cumulated memory: 302408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/251 42920
/proc/meminfo: memFree=128858476/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=335804 memory=302408 CPUtime=3392.37 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 55661 0 0 0 338881 356 0 0 20 0 1 0 47484390 343863296 75602 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 83951 75602 1312 1200 0 82431 0
Current children cumulated CPU time: 3392.37 s
Current children cumulated vsize: 335804 KiB
Current children cumulated memory: 302408 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/252 42923
/proc/meminfo: memFree=128842764/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=336964 memory=303560 CPUtime=3452.22 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 55967 0 0 0 344856 366 0 0 20 0 1 0 47484390 345051136 75890 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 84241 75890 1312 1200 0 82721 0
Current children cumulated CPU time: 3452.22 s
Current children cumulated vsize: 336964 KiB
Current children cumulated memory: 303560 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/251 42925
/proc/meminfo: memFree=128844544/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=336964 memory=303560 CPUtime=3512.06 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 55969 0 0 0 350834 372 0 0 20 0 1 0 47484390 345051136 75890 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 84241 75890 1312 1200 0 82721 0
Current children cumulated CPU time: 3512.06 s
Current children cumulated vsize: 336964 KiB
Current children cumulated memory: 303560 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 42927
/proc/meminfo: memFree=128846068/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=336964 memory=303560 CPUtime=3571.89 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 55986 0 0 0 356811 378 0 0 20 0 1 0 47484390 345051136 75890 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 84241 75890 1312 1200 0 82721 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 336964 KiB
Current children cumulated memory: 303560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.11 4.10 4.09 5/248 42945
/proc/meminfo: memFree=128825700/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=336964 memory=303560 CPUtime=3600.01 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 55987 0 0 0 359621 380 0 0 20 0 1 0 47484390 345051136 75890 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 84241 75890 1312 1200 0 82721 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 336964 KiB
Current children cumulated memory: 303560 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.51 s]
# the end of solver process 42564 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3596.22 s, system=3.81089 s

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

[startup+3610.5 s]
/proc/loadavg: 4.11 4.10 4.09 5/248 42945
/proc/meminfo: memFree=128825700/131382116 swapFree=33010684/33010684
[pid=42564] ppid=42554 vsize=336964 memory=303560 CPUtime=3600.01 cores=0,2
/proc/42564/stat : 42564 (Exact) R 42554 42564 42002 0 -1 4194304 55987 0 0 0 359621 380 0 0 20 0 1 0 47484390 345051136 75890 18446744073709551615 4198400 9112445 140726893803904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22650880 140726893812006 140726893812205 140726893812205 140726893817807 0
/proc/42564/statm: 84241 75890 1312 1200 0 82721 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 336964 KiB
Current children cumulated memory: 303560 KiB

Child status: 10

Real time (s): 3610.51
CPU time (s): 3600.03
CPU user time (s): 3596.22
CPU system time (s): 3.81089
CPU usage (%): 99.7098
Max. virtual memory (cumulated for all children) (KiB): 336964
Max. memory (cumulated for all children) (KiB): 303560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.22
system time used= 3.81089
maximum resident set size= 303560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55988
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= 62
involuntary context switches= 8276


# summary of solver processes directly reported to runsolver:
#   pid: 42564
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3596.22
#   total CPU system time (s): 3.81089

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4926 second user time and 36.2786 second system time

The end

Begin job on nodeC010 at 2025-06-30 23:14:10
IDJOB=4486121
IDBENCH=146985
IDSOLVER=3319
FILE ID=nodeC010/4486121-1751318050
RUNJOBID= nodeC010-1751314075-42012
SLURM_JOB_ID= 9594323
Free space on /tmp= 432676 MiB

SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.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-4486121-1751318050/watcher-4486121-1751318050 -o /tmp/evaluation-result-4486121-1751318050/solver-4486121-1751318050 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751314075-42012 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1059101028 --ls=360 --inp-dombreaklim=0 HOME/instance-4486121-1751318050.opb

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

MD5SUM BENCH= 68d3283fc4d6e87aa4e5381bdb1e8107
RANDOM SEED=1059101028

nodeC010 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	: 0xb00001f
cpu MHz		: 1197.422
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.148
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.145
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.121
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3661.693
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.283
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.116
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.119
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129464600 kB
MemAvailable:   129882708 kB
Buffers:            3280 kB
Cached:          1225744 kB
SwapCached:            0 kB
Active:           437280 kB
Inactive:         920308 kB
Active(anon):     146528 kB
Inactive(anon):        0 kB
Active(file):     290752 kB
Inactive(file):   920308 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15236 kB
Writeback:             4 kB
AnonPages:        130900 kB
Mapped:           108872 kB
Shmem:             17960 kB
KReclaimable:      93348 kB
Slab:             177048 kB
SReclaimable:      93348 kB
SUnreclaim:        83700 kB
KernelStack:        3936 kB
PageTables:         3060 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     433868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149352 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432660 MiB
End job on nodeC010 at 2025-07-01 00:14:21