359.28/360.20	o 15013771144
359.28/360.21	o 10181932936
359.28/360.21	o 10181523336
359.28/360.22	o 10181011336
359.28/360.22	o 10180601736
359.28/360.23	o 10180192136
359.28/360.23	o 10179782536
359.28/360.24	o 10179782534
359.28/360.24	o 10179680136
359.28/360.25	o 10179680134
359.88/360.81	o 18171908
360.10/361.07	o 18171907
3600.03/3610.70	c Program interrupted by user.
3600.03/3610.70	s SATISFIABLE
3600.03/3610.70	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	18171907

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: 63708 MiB (59725 MiB free)
  memory of node 1: 64465 MiB (62758 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4481813-1751318291/watcher-4481813-1751318291 -o /tmp/evaluation-result-4481813-1751318291/solver-4481813-1751318291 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751313594-40597 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1721870680 --ls=360 HOME/instance-4481813-1751318291.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=41215, runsolver pid=41212

[startup+0.100061 s]*
/proc/loadavg: 4.06 4.08 4.09 6/266 41216
/proc/meminfo: memFree=125414380/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=38948 memory=15236 CPUtime=0.09 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 3262 0 0 0 9 0 0 0 20 0 1 0 47506581 39882752 3809 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 9737 3809 1056 1200 0 8217 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15236 KiB

[startup+0.204707 s]*
/proc/loadavg: 4.06 4.08 4.09 5/266 41216
/proc/meminfo: memFree=125414380/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=38948 memory=15236 CPUtime=0.2 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 3276 0 0 0 20 0 0 0 20 0 1 0 47506581 39882752 3809 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 9737 3809 1056 1200 0 8217 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15236 KiB

[startup+0.305388 s]*
/proc/loadavg: 4.06 4.08 4.09 5/266 41216
/proc/meminfo: memFree=125414380/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=38948 memory=15236 CPUtime=0.3 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 3276 0 0 0 30 0 0 0 20 0 1 0 47506581 39882752 3809 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 9737 3809 1056 1200 0 8217 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15236 KiB

[startup+0.700152 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 41216
/proc/meminfo: memFree=125414128/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=38948 memory=15236 CPUtime=0.69 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 3276 0 0 0 69 0 0 0 20 0 1 0 47506581 39882752 3809 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 9737 3809 1056 1200 0 8217 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15236 KiB

[startup+1.50014 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 41216
/proc/meminfo: memFree=125414380/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=38948 memory=15236 CPUtime=1.48 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 3276 0 0 0 148 0 0 0 20 0 1 0 47506581 39882752 3809 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 9737 3809 1056 1200 0 8217 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15236 KiB

[startup+3.10543 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 41216
/proc/meminfo: memFree=125407128/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=38948 memory=15236 CPUtime=3.08 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 3276 0 0 0 308 0 0 0 20 0 1 0 47506581 39882752 3809 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 9737 3809 1056 1200 0 8217 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15236 KiB

[startup+6.30016 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 41216
/proc/meminfo: memFree=125407380/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=38948 memory=15236 CPUtime=6.27 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 3276 0 0 0 627 0 0 0 20 0 1 0 47506581 39882752 3809 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 9737 3809 1056 1200 0 8217 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15236 KiB

[startup+12.7001 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 41217
/proc/meminfo: memFree=125395644/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=38948 memory=15236 CPUtime=12.65 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 3276 0 0 0 1265 0 0 0 20 0 1 0 47506581 39882752 3809 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 9737 3809 1056 1200 0 8217 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15236 KiB

[startup+25.5001 s]
/proc/loadavg: 4.04 4.08 4.08 5/266 41217
/proc/meminfo: memFree=125390548/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=38948 memory=15236 CPUtime=25.42 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 3276 0 0 0 2542 0 0 0 20 0 1 0 47506581 39882752 3809 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 9737 3809 1056 1200 0 8217 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15236 KiB

[startup+51.1054 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 41217
/proc/meminfo: memFree=125385364/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=38948 memory=15236 CPUtime=50.96 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 3276 0 0 0 5096 0 0 0 20 0 1 0 47506581 39882752 3809 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 9737 3809 1056 1200 0 8217 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15236 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 41219
/proc/meminfo: memFree=125347496/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=38948 memory=15236 CPUtime=102.02 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 3276 0 0 0 10202 0 0 0 20 0 1 0 47506581 39882752 3809 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 9737 3809 1056 1200 0 8217 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15236 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 41238
/proc/meminfo: memFree=125310860/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=38948 memory=15236 CPUtime=161.88 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 3276 0 0 0 16188 0 0 0 20 0 1 0 47506581 39882752 3809 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 9737 3809 1056 1200 0 8217 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15236 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 41244
/proc/meminfo: memFree=125250548/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=38948 memory=15236 CPUtime=221.73 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 3276 0 0 0 22173 0 0 0 20 0 1 0 47506581 39882752 3809 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 9737 3809 1056 1200 0 8217 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15236 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 41246
/proc/meminfo: memFree=125190884/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=38948 memory=15236 CPUtime=281.58 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 3276 0 0 0 28158 0 0 0 20 0 1 0 47506581 39882752 3809 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 9737 3809 1056 1200 0 8217 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15236 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/266 41248
/proc/meminfo: memFree=125151364/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=38948 memory=15236 CPUtime=341.43 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 3276 0 0 0 34143 0 0 0 20 0 1 0 47506581 39882752 3809 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 9737 3809 1056 1200 0 8217 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 15236 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 41250
/proc/meminfo: memFree=124660644/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=162392 memory=132164 CPUtime=401.27 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 23888 0 0 0 40116 11 0 0 20 0 1 0 47506581 166289408 33041 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 40598 33041 1280 1200 0 39078 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 162392 KiB
Current children cumulated memory: 132164 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 41252
/proc/meminfo: memFree=124680484/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=246456 memory=191136 CPUtime=461.1 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 34001 0 0 0 46089 21 0 0 20 0 1 0 47506581 252370944 47784 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 61614 47784 1280 1200 0 60094 0
Current children cumulated CPU time: 461.1 s

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

Current children cumulated memory: 269216 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 41709
/proc/meminfo: memFree=129915604/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=311276 memory=271648 CPUtime=2913.31 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 49060 0 0 0 291015 316 0 0 20 0 1 0 47506581 318746624 67912 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 77819 67912 1312 1200 0 76299 0
Current children cumulated CPU time: 2913.31 s
Current children cumulated vsize: 311276 KiB
Current children cumulated memory: 271648 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 41711
/proc/meminfo: memFree=129914504/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=311804 memory=272160 CPUtime=2973.17 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 49290 0 0 0 296997 320 0 0 20 0 1 0 47506581 319287296 68040 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 77951 68040 1312 1200 0 76431 0
Current children cumulated CPU time: 2973.17 s
Current children cumulated vsize: 311804 KiB
Current children cumulated memory: 272160 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 41713
/proc/meminfo: memFree=129912928/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=313536 memory=273696 CPUtime=3033.03 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 49670 0 0 0 302977 326 0 0 20 0 1 0 47506581 321060864 68424 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 78384 68424 1312 1200 0 76864 0
Current children cumulated CPU time: 3033.03 s
Current children cumulated vsize: 313536 KiB
Current children cumulated memory: 273696 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 41715
/proc/meminfo: memFree=129922412/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=314808 memory=274720 CPUtime=3092.88 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 49927 0 0 0 308955 333 0 0 20 0 1 0 47506581 322363392 68680 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 78702 68680 1312 1200 0 77182 0
Current children cumulated CPU time: 3092.88 s
Current children cumulated vsize: 314808 KiB
Current children cumulated memory: 274720 KiB

[startup+3162.3 s]
/proc/loadavg: 4.23 4.14 4.11 5/262 41719
/proc/meminfo: memFree=129917836/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=315000 memory=274848 CPUtime=3152.73 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 49992 0 0 0 314931 342 0 0 20 0 1 0 47506581 322560000 68712 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 78750 68712 1312 1200 0 77230 0
Current children cumulated CPU time: 3152.73 s
Current children cumulated vsize: 315000 KiB
Current children cumulated memory: 274848 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.14 4.11 5/263 41726
/proc/meminfo: memFree=129913644/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=315000 memory=275360 CPUtime=3212.59 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 49995 0 0 0 320910 349 0 0 20 0 1 0 47506581 322560000 68840 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 78750 68840 1312 1200 0 77230 0
Current children cumulated CPU time: 3212.59 s
Current children cumulated vsize: 315000 KiB
Current children cumulated memory: 275360 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/263 41862
/proc/meminfo: memFree=129914720/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=316492 memory=276896 CPUtime=3272.45 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 50369 0 0 0 326888 357 0 0 20 0 1 0 47506581 324087808 69224 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 79123 69224 1312 1200 0 77603 0
Current children cumulated CPU time: 3272.45 s
Current children cumulated vsize: 316492 KiB
Current children cumulated memory: 276896 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 41864
/proc/meminfo: memFree=129920612/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=318772 memory=278944 CPUtime=3332.3 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 50915 0 0 0 332864 366 0 0 20 0 1 0 47506581 326422528 69736 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 79693 69736 1312 1200 0 78173 0
Current children cumulated CPU time: 3332.3 s
Current children cumulated vsize: 318772 KiB
Current children cumulated memory: 278944 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/263 41866
/proc/meminfo: memFree=129920036/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=318772 memory=278944 CPUtime=3392.15 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 50915 0 0 0 338842 373 0 0 20 0 1 0 47506581 326422528 69736 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 79693 69736 1312 1200 0 78173 0
Current children cumulated CPU time: 3392.15 s
Current children cumulated vsize: 318772 KiB
Current children cumulated memory: 278944 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 41868
/proc/meminfo: memFree=129920196/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=318772 memory=278944 CPUtime=3452 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 50915 0 0 0 344819 381 0 0 20 0 1 0 47506581 326422528 69736 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 79693 69736 1312 1200 0 78173 0
Current children cumulated CPU time: 3452 s
Current children cumulated vsize: 318772 KiB
Current children cumulated memory: 278944 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 41870
/proc/meminfo: memFree=129920900/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=318772 memory=278944 CPUtime=3511.85 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 50915 0 0 0 350798 387 0 0 20 0 1 0 47506581 326422528 69736 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 79693 69736 1312 1200 0 78173 0
Current children cumulated CPU time: 3511.85 s
Current children cumulated vsize: 318772 KiB
Current children cumulated memory: 278944 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 41873
/proc/meminfo: memFree=129920480/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=318772 memory=279328 CPUtime=3571.7 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 51033 0 0 0 356778 392 0 0 20 0 1 0 47506581 326422528 69832 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 79693 69832 1312 1200 0 78173 0
Current children cumulated CPU time: 3571.7 s
Current children cumulated vsize: 318772 KiB
Current children cumulated memory: 279328 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.21 4.12 4.10 5/259 41904
/proc/meminfo: memFree=129934608/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=318772 memory=279328 CPUtime=3600.03 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 51033 0 0 0 359608 395 0 0 20 0 1 0 47506581 326422528 69832 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 79693 69832 1312 1200 0 78173 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 318772 KiB
Current children cumulated memory: 279328 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.09 s, system=3.95288 s

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

[startup+3610.7 s]
/proc/loadavg: 4.21 4.12 4.10 5/259 41904
/proc/meminfo: memFree=129934608/131250000 swapFree=33007332/33010684
[pid=41215] ppid=41212 vsize=318772 memory=279328 CPUtime=3600.03 cores=5,7
/proc/41215/stat : 41215 (Exact) R 41212 41215 40584 0 -1 4194304 51033 0 0 0 359608 395 0 0 20 0 1 0 47506581 326422528 69832 18446744073709551615 4198400 9112445 140728458456864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47616000 140728458459450 140728458459629 140728458459629 140728458465231 0
/proc/41215/statm: 79693 69832 1312 1200 0 78173 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 318772 KiB
Current children cumulated memory: 279328 KiB

Child status: 10

Real time (s): 3610.71
CPU time (s): 3600.05
CPU user time (s): 3596.09
CPU system time (s): 3.95288
CPU usage (%): 99.7048
Max. virtual memory (cumulated for all children) (KiB): 318772
Max. memory (cumulated for all children) (KiB): 279328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.1
system time used= 3.95288
maximum resident set size= 279328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51034
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= 37
involuntary context switches= 4055


# summary of solver processes directly reported to runsolver:
#   pid: 41215
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3596.09
#   total CPU system time (s): 3.95288

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30009 second user time and 14.8124 second system time

The end

Begin job on nodeC019 at 2025-06-30 23:18:11
IDJOB=4481813
IDBENCH=146985
IDSOLVER=3317
FILE ID=nodeC019/4481813-1751318291
RUNJOBID= nodeC019-1751313594-40597
SLURM_JOB_ID= 9594313
Free space on /tmp= 433012 MiB

SOLVER NAME= Exact 2025-06-02
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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4481813-1751318291/watcher-4481813-1751318291 -o /tmp/evaluation-result-4481813-1751318291/solver-4481813-1751318291 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751313594-40597 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1721870680 --ls=360 HOME/instance-4481813-1751318291.opb

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

MD5SUM BENCH= 68d3283fc4d6e87aa4e5381bdb1e8107
RANDOM SEED=1721870680

nodeC019 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		: 3599.703
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.37
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.645
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.37
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		: 3616.291
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.37
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		: 3599.026
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.37
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.648
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.37
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		: 3766.296
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.37
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		: 3599.541
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.693
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        125422596 kB
MemAvailable:   125023496 kB
Buffers:             904 kB
Cached:           359368 kB
SwapCached:          408 kB
Active:          4926100 kB
Inactive:         228932 kB
Active(anon):    4781884 kB
Inactive(anon):    27924 kB
Active(file):     144216 kB
Inactive(file):   201008 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7136 kB
Writeback:            28 kB
AnonPages:       4793772 kB
Mapped:           118100 kB
Shmem:             15048 kB
KReclaimable:      91936 kB
Slab:             178368 kB
SReclaimable:      91936 kB
SUnreclaim:        86432 kB
KernelStack:        4288 kB
PageTables:        12924 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    5873036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2885632 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433016 MiB
End job on nodeC019 at 2025-07-01 00:18:22