0.00/0.00	c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00	c Setting memory limit to 31000MB.
0.00/0.00	c Parsing PB file...
0.40/0.41	c Converting 100680 PB-constraints to clauses...
32.89/33.07	o 0
34.58/34.71	c ============================[  Problem Statistics ]============================
34.58/34.71	c |  Number of variables:      10445122                                         |
34.58/34.71	c |  Number of clauses:        22257668 (incl.         4310 soft in queue)      |
34.58/34.71	c ===============================================================================
43.55/43.71	o -15013
3600.01/3610.30	c *** TERMINATED by signal 15 ***
3600.01/3610.30	c _______________________________________________________________________________
3600.01/3610.30	c 
3600.01/3610.30	c _______________________________________________________________________________
3600.01/3610.30	c 
3600.01/3610.30	c =======================[ UWrMaxSat resources usage ]===========================
3600.01/3610.30	c Memory used            : 11501.00 MB
3600.01/3610.30	c CPU time               : 3583.49 s
3600.01/3610.30	c Constr Enc: Srt/BDD/Add: 8 0 0
3600.01/3610.30	c OptExp Enc: Srt/BDD/Add: 75 0 0
3600.01/3610.30	c _______________________________________________________________________________
3600.01/3610.30	c _______________________________________________________________________________
3600.01/3610.30	
3600.01/3610.30	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
3600.01/3610.30	s SATISFIABLE

OK	-15013

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502523-1751426878/watcher-4502523-1751426878 -o /tmp/evaluation-result-4502523-1751426878/solver-4502523-1751426878 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751423262-60731 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4502523-1751426878.opb -mem-lim=31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=61305, runsolver pid=61298
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.07 4.08 4.07 4/256 61306
/proc/meminfo: memFree=129373620/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=14996 memory=13692 CPUtime=0.1 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 3130 0 0 0 10 0 0 0 20 0 1 0 58310328 15355904 3423 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 3749 3423 448 484 0 3160 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14996 KiB
Current children cumulated memory: 13692 KiB

[startup+0.205611 s]*
/proc/loadavg: 4.07 4.08 4.07 6/262 61318
/proc/meminfo: memFree=129357840/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=34800 memory=33660 CPUtime=0.2 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 8109 0 0 0 19 1 0 0 20 0 1 0 58310328 35635200 8415 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 8700 8415 448 484 0 8111 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34800 KiB
Current children cumulated memory: 33660 KiB

[startup+0.305425 s]*
/proc/loadavg: 4.07 4.08 4.07 4/258 61318
/proc/meminfo: memFree=129335700/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=53944 memory=52604 CPUtime=0.3 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 12851 0 0 0 28 2 0 0 20 0 1 0 58310328 55238656 13151 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 13486 13151 448 484 0 12897 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53944 KiB
Current children cumulated memory: 52604 KiB

[startup+0.700126 s]
/proc/loadavg: 4.07 4.08 4.07 2/253 61343
/proc/meminfo: memFree=129317952/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=88804 memory=87196 CPUtime=0.68 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 21668 0 0 0 65 3 0 0 20 0 1 0 58310328 90935296 21799 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 22201 21799 480 484 0 21612 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88804 KiB
Current children cumulated memory: 87196 KiB

[startup+1.50012 s]
/proc/loadavg: 4.07 4.08 4.07 4/260 61388
/proc/meminfo: memFree=129316048/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=88804 memory=87196 CPUtime=1.48 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 21668 0 0 0 144 4 0 0 20 0 1 0 58310328 90935296 21799 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 22201 21799 480 484 0 21612 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 88804 KiB
Current children cumulated memory: 87196 KiB

[startup+3.10493 s]
/proc/loadavg: 4.07 4.08 4.07 4/263 61485
/proc/meminfo: memFree=129188320/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=212084 memory=206840 CPUtime=3.08 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 37812 0 0 0 299 9 0 0 20 0 1 0 58310328 217174016 51710 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 53021 51710 480 484 0 52432 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 212084 KiB
Current children cumulated memory: 206840 KiB

[startup+6.3001 s]
/proc/loadavg: 4.06 4.08 4.07 5/265 61561
/proc/meminfo: memFree=128886816/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=430716 memory=404536 CPUtime=6.26 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 59434 0 0 0 611 15 0 0 20 0 1 0 58310328 441053184 101134 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 107679 101134 480 484 0 107090 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 430716 KiB
Current children cumulated memory: 404536 KiB

[startup+12.7001 s]
/proc/loadavg: 4.06 4.08 4.07 5/265 61561
/proc/meminfo: memFree=128175884/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=807236 memory=717144 CPUtime=12.64 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 89752 0 0 0 1238 26 0 0 20 0 1 0 58310328 826609664 179286 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 201809 179286 480 484 0 201220 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 807236 KiB
Current children cumulated memory: 717144 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.07 5/266 61563
/proc/meminfo: memFree=124696004/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=4076652 memory=3952864 CPUtime=25.4 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 432133 0 0 0 2405 135 0 0 20 0 1 0 58310328 4174491648 988216 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 1019163 988216 480 484 0 1018574 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4076652 KiB
Current children cumulated memory: 3952864 KiB

[startup+51.1054 s]
/proc/loadavg: 4.14 4.10 4.08 5/266 61608
/proc/meminfo: memFree=121594080/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=6615644 memory=6175948 CPUtime=50.94 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 668373 0 0 0 4865 229 0 0 20 0 1 0 58310328 6774419456 1543987 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 1653911 1543987 512 484 0 1653322 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 6615644 KiB
Current children cumulated memory: 6175948 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/266 61610
/proc/meminfo: memFree=121534176/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=6657104 memory=6214280 CPUtime=101.99 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 678121 0 0 0 9967 232 0 0 20 0 1 0 58310328 6816874496 1553570 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 1664276 1553570 512 484 0 1663687 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 6657104 KiB
Current children cumulated memory: 6214280 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.08 5/266 61614
/proc/meminfo: memFree=121439136/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=6752484 memory=6220796 CPUtime=161.84 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 681535 0 0 0 15945 239 0 0 20 0 1 0 58310328 6914543616 1555199 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 1688121 1555199 544 484 0 1687532 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 6752484 KiB
Current children cumulated memory: 6220796 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/265 61617
/proc/meminfo: memFree=121376544/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=6752484 memory=6221692 CPUtime=221.68 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 682541 0 0 0 21929 239 0 0 20 0 1 0 58310328 6914543616 1555423 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 1688121 1555423 544 484 0 1687532 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 6752484 KiB
Current children cumulated memory: 6221692 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/265 61619
/proc/meminfo: memFree=121305252/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=6752484 memory=6222460 CPUtime=281.52 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 683311 0 0 0 27913 239 0 0 20 0 1 0 58310328 6914543616 1555615 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 1688121 1555615 544 484 0 1687532 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 6752484 KiB
Current children cumulated memory: 6222460 KiB

[startup+342.3 s]
/proc/loadavg: 4.43 4.20 4.12 5/264 61621
/proc/meminfo: memFree=121330224/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=6752484 memory=6222716 CPUtime=341.36 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 684080 0 0 0 33897 239 0 0 20 0 1 0 58310328 6914543616 1555679 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 1688121 1555679 544 484 0 1687532 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 6752484 KiB
Current children cumulated memory: 6222716 KiB

[startup+402.3 s]
/proc/loadavg: 4.29 4.19 4.12 5/265 61628
/proc/meminfo: memFree=121275868/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=6778612 memory=6252828 CPUtime=401.21 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 697964 0 0 0 39784 337 0 0 20 0 1 0 58310328 6941298688 1563207 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 1694653 1563207 544 484 0 1694064 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 6778612 KiB
Current children cumulated memory: 6252828 KiB

[startup+462.3 s]
/proc/loadavg: 4.47 4.25 4.14 5/264 61630
/proc/meminfo: memFree=119307456/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=8768004 memory=8185368 CPUtime=461.04 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 810750 0 0 0 45676 428 0 0 20 0 1 0 58310328 8978436096 2046342 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 2192001 2046342 544 484 0 2191412 0
Current children cumulated CPU time: 461.04 s

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

Current children cumulated memory: 8278460 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 61758
/proc/meminfo: memFree=118769876/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=8822848 memory=8278460 CPUtime=2913.9 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 1183224 0 0 0 290070 1320 0 0 20 0 1 0 58310328 9034596352 2069615 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 2205712 2069615 544 484 0 2205123 0
Current children cumulated CPU time: 2913.9 s
Current children cumulated vsize: 8822848 KiB
Current children cumulated memory: 8278460 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 61760
/proc/meminfo: memFree=118804776/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=8822848 memory=8278460 CPUtime=2973.73 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 1184727 0 0 0 296053 1320 0 0 20 0 1 0 58310328 9034596352 2069615 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 2205712 2069615 544 484 0 2205123 0
Current children cumulated CPU time: 2973.73 s
Current children cumulated vsize: 8822848 KiB
Current children cumulated memory: 8278460 KiB

[startup+3042.3 s]
/proc/loadavg: 4.45 4.19 4.12 5/263 61762
/proc/meminfo: memFree=118757288/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=8822848 memory=8278588 CPUtime=3033.58 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 1186175 0 0 0 302037 1321 0 0 20 0 1 0 58310328 9034596352 2069647 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 2205712 2069647 544 484 0 2205123 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 8822848 KiB
Current children cumulated memory: 8278588 KiB

[startup+3102.3 s]
/proc/loadavg: 4.46 4.24 4.15 5/263 61764
/proc/meminfo: memFree=118743556/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=8822768 memory=8279992 CPUtime=3093.41 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 1190095 0 0 0 307997 1344 0 0 20 0 1 0 58310328 9034514432 2069998 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 2205692 2069998 544 484 0 2205103 0
Current children cumulated CPU time: 3093.41 s
Current children cumulated vsize: 8822768 KiB
Current children cumulated memory: 8279992 KiB

[startup+3162.3 s]
/proc/loadavg: 4.22 4.21 4.14 5/263 61766
/proc/meminfo: memFree=118415236/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=9145272 memory=8604528 CPUtime=3153.24 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 1199633 0 0 0 313920 1404 0 0 20 0 1 0 58310328 9364758528 2151132 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 2286318 2151132 544 484 0 2285729 0
Current children cumulated CPU time: 3153.24 s
Current children cumulated vsize: 9145272 KiB
Current children cumulated memory: 8604528 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.19 4.13 5/264 61771
/proc/meminfo: memFree=118710196/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=8822348 memory=8289768 CPUtime=3213.08 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 1209003 0 0 0 319813 1495 0 0 20 0 1 0 58310328 9034084352 2072442 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 2205587 2072442 544 484 0 2204998 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 8822348 KiB
Current children cumulated memory: 8289768 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.16 4.13 5/264 61773
/proc/meminfo: memFree=118684740/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=8822348 memory=8289768 CPUtime=3272.92 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 1210229 0 0 0 325797 1495 0 0 20 0 1 0 58310328 9034084352 2072442 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 2205587 2072442 544 484 0 2204998 0
Current children cumulated CPU time: 3272.92 s
Current children cumulated vsize: 8822348 KiB
Current children cumulated memory: 8289768 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.15 4.12 5/265 61776
/proc/meminfo: memFree=118662540/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=8822348 memory=8413284 CPUtime=3332.76 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 1216620 0 0 0 331721 1555 0 0 20 0 1 0 58310328 9034084352 2103321 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 2205587 2103321 544 484 0 2204998 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 8822348 KiB
Current children cumulated memory: 8413284 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/265 61778
/proc/meminfo: memFree=116607716/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=11391164 memory=10464908 CPUtime=3392.59 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 1484963 0 0 0 337612 1647 0 0 20 0 1 0 58310328 11664551936 2616227 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 2847791 2616227 544 484 0 2847202 0
Current children cumulated CPU time: 3392.59 s
Current children cumulated vsize: 11391164 KiB
Current children cumulated memory: 10464908 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/266 61785
/proc/meminfo: memFree=116444116/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=11706112 memory=10634372 CPUtime=3452.41 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 1494194 0 0 0 343591 1650 0 0 20 0 1 0 58310328 11987058688 2658593 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 2926528 2658593 544 484 0 2925939 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 11706112 KiB
Current children cumulated memory: 10634372 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/264 61787
/proc/meminfo: memFree=116418856/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=11763156 memory=10668616 CPUtime=3512.25 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 1497572 0 0 0 349574 1651 0 0 20 0 1 0 58310328 12045471744 2667154 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 2940789 2667154 544 484 0 2940200 0
Current children cumulated CPU time: 3512.25 s
Current children cumulated vsize: 11763156 KiB
Current children cumulated memory: 10668616 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/265 61790
/proc/meminfo: memFree=116405240/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=11777544 memory=10676904 CPUtime=3572.09 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 1499137 0 0 0 355557 1652 0 0 20 0 1 0 58310328 12060205056 2669226 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 2944386 2669226 544 484 0 2943797 0
Current children cumulated CPU time: 3572.09 s
Current children cumulated vsize: 11777544 KiB
Current children cumulated memory: 10676904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/265 61791
/proc/meminfo: memFree=116404796/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=11777544 memory=10676904 CPUtime=3600.01 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 1499660 0 0 0 358349 1652 0 0 20 0 1 0 58310328 12060205056 2669226 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 2944386 2669226 544 484 0 2943797 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 11777544 KiB
Current children cumulated memory: 10676904 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.49 s, system=16.6068 s

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

[startup+3610.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/265 61791
/proc/meminfo: memFree=116404796/131250000 swapFree=33010684/33010684
[pid=61305] ppid=61298 vsize=11777544 memory=10676904 CPUtime=3600.01 cores=4,6
/proc/61305/stat : 61305 (uwrmaxsat) R 61298 61305 60720 0 -1 4194304 1499660 0 0 0 358349 1652 0 0 20 0 1 0 58310328 12060205056 2669226 18446744073709551615 4198400 6176925 140727482277584 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 39694336 140727482280298 140727482280425 140727482280425 140727482286027 0
/proc/61305/statm: 2944386 2669226 544 484 0 2943797 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 11777544 KiB
Current children cumulated memory: 10676904 KiB

Child status: 10

Real time (s): 3610.38
CPU time (s): 3600.1
CPU user time (s): 3583.49
CPU system time (s): 16.6068
CPU usage (%): 99.7152
Max. virtual memory (cumulated for all children) (KiB): 11777544
Max. memory (cumulated for all children) (KiB): 10676904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.49
system time used= 16.6068
maximum resident set size= 10676904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1499667
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= 686
involuntary context switches= 3768


# summary of solver processes directly reported to runsolver:
#   pid: 61305
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3583.49
#   total CPU system time (s): 16.6068

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13929 second user time and 15.862 second system time

The end

Begin job on nodeC028 at 2025-07-02 05:27:58
IDJOB=4502523
IDBENCH=155347
IDSOLVER=3372
FILE ID=nodeC028/4502523-1751426878
RUNJOBID= nodeC028-1751423262-60731
SLURM_JOB_ID= 9598354
Free space on /tmp= 432744 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z9-s14.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502523-1751426878/watcher-4502523-1751426878 -o /tmp/evaluation-result-4502523-1751426878/solver-4502523-1751426878 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751423262-60731 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4502523-1751426878.opb -mem-lim=31000

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

MD5SUM BENCH= 72ec871846abb3454e8801b7da208130
RANDOM SEED=1534236460

nodeC028 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		: 3600.513
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	: 7000.16
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		: 1368.667
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	: 7000.16
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		: 3600.157
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	: 7000.16
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		: 3070.013
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	: 7000.16
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		: 3759.716
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	: 7000.16
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		: 2601.275
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	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129370520 kB
MemAvailable:   129733696 kB
Buffers:            3280 kB
Cached:          1168736 kB
SwapCached:            0 kB
Active:           379620 kB
Inactive:         859492 kB
Active(anon):      85164 kB
Inactive(anon):        0 kB
Active(file):     294456 kB
Inactive(file):   859492 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8132 kB
Writeback:            16 kB
AnonPages:         69872 kB
Mapped:           103940 kB
Shmem:             18068 kB
KReclaimable:      96936 kB
Slab:             184260 kB
SReclaimable:      96936 kB
SUnreclaim:        87324 kB
KernelStack:        4140 kB
PageTables:         3228 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     334464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432664 MiB
End job on nodeC028 at 2025-07-02 06:28:09