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

OK	-29

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (61328 MiB free)
  memory of node 1: 64465 MiB (61490 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519578-1751532246/watcher-4519578-1751532246 -o /tmp/evaluation-result-4519578-1751532246/solver-4519578-1751532246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751523241-73981 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=249290730 --ls=0 --inp-dombreaklim=0 HOME/instance-4519578-1751532246.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=75919, runsolver pid=75916
Current StackSize limit: 8192 KiB


[startup+0.100101 s]*
/proc/loadavg: 4.27 4.26 4.16 5/251 75920
/proc/meminfo: memFree=125742224/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=44176 memory=23020 CPUtime=0.1 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 4563 0 0 0 9 1 0 0 20 0 1 0 68903986 45236224 5755 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 11044 5755 1280 1200 0 9524 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44176 KiB
Current children cumulated memory: 23020 KiB

[startup+0.2132 s]*
/proc/loadavg: 4.27 4.26 4.16 5/251 75920
/proc/meminfo: memFree=125739200/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=45896 memory=26908 CPUtime=0.21 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 4999 0 0 0 20 1 0 0 20 0 1 0 68903986 46997504 6727 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 11474 6727 1280 1200 0 9954 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45896 KiB
Current children cumulated memory: 26908 KiB

[startup+0.313166 s]*
/proc/loadavg: 4.27 4.26 4.16 5/251 75920
/proc/meminfo: memFree=125735168/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=48672 memory=29596 CPUtime=0.31 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 5701 0 0 0 30 1 0 0 20 0 1 0 68903986 49840128 7399 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 12168 7399 1280 1200 0 10648 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 48672 KiB
Current children cumulated memory: 29596 KiB

[startup+0.700307 s]
/proc/loadavg: 4.27 4.26 4.16 5/251 75920
/proc/meminfo: memFree=125723008/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=55232 memory=42144 CPUtime=0.68 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 7278 0 0 0 66 2 0 0 20 0 1 0 68903986 56557568 10536 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 13808 10536 1280 1200 0 12288 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55232 KiB
Current children cumulated memory: 42144 KiB

[startup+1.50031 s]
/proc/loadavg: 4.27 4.26 4.16 5/251 75920
/proc/meminfo: memFree=125718912/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=62792 memory=53672 CPUtime=1.48 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 9142 0 0 0 145 3 0 0 20 0 1 0 68903986 64299008 13418 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 15698 13418 1280 1200 0 14178 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62792 KiB
Current children cumulated memory: 53672 KiB

[startup+3.11285 s]
/proc/loadavg: 4.27 4.26 4.16 5/251 75920
/proc/meminfo: memFree=125678468/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=85424 memory=69272 CPUtime=3.09 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 11752 0 0 0 305 4 0 0 20 0 1 0 68903986 87474176 17318 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 21356 17318 1280 1200 0 19836 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 85424 KiB
Current children cumulated memory: 69272 KiB

[startup+6.30026 s]
/proc/loadavg: 4.25 4.25 4.16 5/251 75920
/proc/meminfo: memFree=125674720/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=93572 memory=83168 CPUtime=6.27 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 13694 0 0 0 621 6 0 0 20 0 1 0 68903986 95817728 20792 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 23393 20792 1280 1200 0 21873 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 93572 KiB
Current children cumulated memory: 83168 KiB

[startup+12.7003 s]
/proc/loadavg: 4.23 4.25 4.15 5/251 75920
/proc/meminfo: memFree=125622624/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=138780 memory=128012 CPUtime=12.65 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 19192 0 0 0 1255 10 0 0 20 0 1 0 68903986 142110720 32003 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 34695 32003 1280 1200 0 33175 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 138780 KiB
Current children cumulated memory: 128012 KiB

[startup+25.5003 s]
/proc/loadavg: 4.40 4.29 4.17 5/251 75920
/proc/meminfo: memFree=125592892/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=164552 memory=151692 CPUtime=25.4 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 25113 0 0 0 2526 14 0 0 20 0 1 0 68903986 168501248 37923 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 41138 37923 1280 1200 0 39618 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 164552 KiB
Current children cumulated memory: 151692 KiB

[startup+51.1129 s]
/proc/loadavg: 4.68 4.36 4.20 5/250 75921
/proc/meminfo: memFree=125537308/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=239192 memory=198288 CPUtime=50.94 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 33128 0 0 0 5069 25 0 0 20 0 1 0 68903986 244932608 49572 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 59798 49572 1280 1200 0 58278 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 239192 KiB
Current children cumulated memory: 198288 KiB

[startup+102.3 s]
/proc/loadavg: 4.65 4.41 4.22 5/250 75923
/proc/meminfo: memFree=125517216/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=253304 memory=213520 CPUtime=101.96 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 36977 0 0 0 10154 42 0 0 20 0 1 0 68903986 259383296 53380 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 63326 53380 1280 1200 0 61806 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 253304 KiB
Current children cumulated memory: 213520 KiB

[startup+162.3 s]
/proc/loadavg: 4.30 4.35 4.21 5/250 75927
/proc/meminfo: memFree=125483040/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=269968 memory=229776 CPUtime=161.76 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 41079 0 0 0 16116 60 0 0 20 0 1 0 68903986 276447232 57444 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 67492 57444 1280 1200 0 65972 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 269968 KiB
Current children cumulated memory: 229776 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.30 4.20 5/251 75935
/proc/meminfo: memFree=125472888/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=278768 memory=238608 CPUtime=221.57 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 43301 0 0 0 22079 78 0 0 20 0 1 0 68903986 285458432 59652 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 69692 59652 1280 1200 0 68172 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 278768 KiB
Current children cumulated memory: 238608 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.26 4.19 5/251 75937
/proc/meminfo: memFree=125450152/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=284820 memory=247568 CPUtime=281.32 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 44889 0 0 0 28039 93 0 0 20 0 1 0 68903986 291655680 61892 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 71205 61892 1280 1200 0 69685 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 284820 KiB
Current children cumulated memory: 247568 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.22 4.18 5/251 75939
/proc/meminfo: memFree=125428124/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=295524 memory=265872 CPUtime=341.09 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 47563 0 0 0 33999 110 0 0 20 0 1 0 68903986 302616576 66468 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 73881 66468 1280 1200 0 72361 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 295524 KiB
Current children cumulated memory: 265872 KiB

[startup+402.3 s]
/proc/loadavg: 4.21 4.23 4.18 5/251 75942
/proc/meminfo: memFree=125413452/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=308340 memory=277648 CPUtime=400.9 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 50516 0 0 0 39964 126 0 0 20 0 1 0 68903986 315740160 69412 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 77085 69412 1280 1200 0 75565 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 308340 KiB
Current children cumulated memory: 277648 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.20 4.18 5/253 75947
/proc/meminfo: memFree=125381872/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=315224 memory=283664 CPUtime=460.71 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 52035 0 0 0 45929 142 0 0 20 0 1 0 68903986 322789376 70916 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 78806 70916 1280 1200 0 77286 0

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

Current children cumulated memory: 392548 KiB

[startup+2862.3 s]
/proc/loadavg: 2.14 2.24 2.79 3/239 76190
/proc/meminfo: memFree=125965756/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=423348 memory=392548 CPUtime=2852.94 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 75433 0 0 0 284521 773 0 0 20 0 1 0 68903986 433508352 98137 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 105837 98137 1280 1200 0 104317 0
Current children cumulated CPU time: 2852.94 s
Current children cumulated vsize: 423348 KiB
Current children cumulated memory: 392548 KiB

[startup+2922.3 s]
/proc/loadavg: 2.10 2.21 2.74 3/240 76193
/proc/meminfo: memFree=125966008/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=423948 memory=393188 CPUtime=2912.72 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 75583 0 0 0 290483 789 0 0 20 0 1 0 68903986 434122752 98297 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 105987 98297 1280 1200 0 104467 0
Current children cumulated CPU time: 2912.72 s
Current children cumulated vsize: 423948 KiB
Current children cumulated memory: 393188 KiB

[startup+2982.3 s]
/proc/loadavg: 2.15 2.20 2.70 3/240 76195
/proc/meminfo: memFree=125966512/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=425004 memory=394212 CPUtime=2972.49 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 75848 0 0 0 296445 804 0 0 20 0 1 0 68903986 435204096 98553 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 106251 98553 1280 1200 0 104731 0
Current children cumulated CPU time: 2972.49 s
Current children cumulated vsize: 425004 KiB
Current children cumulated memory: 394212 KiB

[startup+3042.3 s]
/proc/loadavg: 2.19 2.19 2.67 3/239 76197
/proc/meminfo: memFree=125950384/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=428652 memory=396772 CPUtime=3032.27 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 76507 0 0 0 302407 820 0 0 20 0 1 0 68903986 438939648 99193 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 107163 99193 1280 1200 0 105643 0
Current children cumulated CPU time: 3032.27 s
Current children cumulated vsize: 428652 KiB
Current children cumulated memory: 396772 KiB

[startup+3102.3 s]
/proc/loadavg: 2.12 2.17 2.63 3/239 76198
/proc/meminfo: memFree=125956808/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=430860 memory=398564 CPUtime=3092.04 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 76967 0 0 0 308367 837 0 0 20 0 1 0 68903986 441200640 99641 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 107715 99641 1280 1200 0 106195 0
Current children cumulated CPU time: 3092.04 s
Current children cumulated vsize: 430860 KiB
Current children cumulated memory: 398564 KiB

[startup+3162.3 s]
/proc/loadavg: 2.14 2.17 2.60 3/239 76200
/proc/meminfo: memFree=125946036/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=431244 memory=401124 CPUtime=3151.85 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 77066 0 0 0 314332 853 0 0 20 0 1 0 68903986 441593856 100281 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 107811 100281 1280 1200 0 106291 0
Current children cumulated CPU time: 3151.85 s
Current children cumulated vsize: 431244 KiB
Current children cumulated memory: 401124 KiB

[startup+3222.3 s]
/proc/loadavg: 2.10 2.15 2.56 3/240 76205
/proc/meminfo: memFree=125946804/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=432972 memory=402532 CPUtime=3211.67 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 77453 0 0 0 320299 868 0 0 20 0 1 0 68903986 443363328 100633 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 108243 100633 1280 1200 0 106723 0
Current children cumulated CPU time: 3211.67 s
Current children cumulated vsize: 432972 KiB
Current children cumulated memory: 402532 KiB

[startup+3282.3 s]
/proc/loadavg: 2.08 2.14 2.53 3/239 76211
/proc/meminfo: memFree=125950544/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=434028 memory=403556 CPUtime=3271.49 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 77710 0 0 0 326267 882 0 0 20 0 1 0 68903986 444444672 100889 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 108507 100889 1280 1200 0 106987 0
Current children cumulated CPU time: 3271.49 s
Current children cumulated vsize: 434028 KiB
Current children cumulated memory: 403556 KiB

[startup+3342.3 s]
/proc/loadavg: 2.12 2.14 2.51 3/238 76213
/proc/meminfo: memFree=125938748/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=436524 memory=405604 CPUtime=3331.31 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 78203 0 0 0 332232 899 0 0 20 0 1 0 68903986 447000576 101401 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 109131 101401 1280 1200 0 107611 0
Current children cumulated CPU time: 3331.31 s
Current children cumulated vsize: 436524 KiB
Current children cumulated memory: 405604 KiB

[startup+3402.3 s]
/proc/loadavg: 2.09 2.13 2.48 3/238 76215
/proc/meminfo: memFree=125952340/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=437580 memory=406500 CPUtime=3391.09 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 78467 0 0 0 338193 916 0 0 20 0 1 0 68903986 448081920 101625 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 109395 101625 1280 1200 0 107875 0
Current children cumulated CPU time: 3391.09 s
Current children cumulated vsize: 437580 KiB
Current children cumulated memory: 406500 KiB

[startup+3462.3 s]
/proc/loadavg: 2.14 2.13 2.46 3/238 76219
/proc/meminfo: memFree=125952852/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=439116 memory=407780 CPUtime=3450.86 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 78798 0 0 0 344154 932 0 0 20 0 1 0 68903986 449654784 101945 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 109779 101945 1280 1200 0 108259 0
Current children cumulated CPU time: 3450.86 s
Current children cumulated vsize: 439116 KiB
Current children cumulated memory: 407780 KiB

[startup+3522.3 s]
/proc/loadavg: 2.14 2.14 2.44 3/239 76222
/proc/meminfo: memFree=125953188/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=440268 memory=408932 CPUtime=3510.64 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 79076 0 0 0 350116 948 0 0 20 0 1 0 68903986 450834432 102233 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 110067 102233 1280 1200 0 108547 0
Current children cumulated CPU time: 3510.64 s
Current children cumulated vsize: 440268 KiB
Current children cumulated memory: 408932 KiB

[startup+3582.3 s]
/proc/loadavg: 2.17 2.14 2.42 3/239 76224
/proc/meminfo: memFree=125953440/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=440652 memory=409316 CPUtime=3570.42 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 79192 0 0 0 356077 965 0 0 20 0 1 0 68903986 451227648 102329 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 110163 102329 1280 1200 0 108643 0
Current children cumulated CPU time: 3570.42 s
Current children cumulated vsize: 440652 KiB
Current children cumulated memory: 409316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 2.10 2.13 2.41 3/239 76225
/proc/meminfo: memFree=125953692/131382116 swapFree=33009904/33010684
[pid=75919] ppid=75916 vsize=442284 memory=410596 CPUtime=3600.02 cores=1,3
/proc/75919/stat : 75919 (Exact) R 75916 75919 73969 0 -1 4194304 79516 0 0 0 359030 972 0 0 20 0 1 0 68903986 452898816 102649 18446744073709551615 4198400 9112445 140731971491472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36704256 140731971496233 140731971496429 140731971496429 140731971502031 0
/proc/75919/statm: 110571 102649 1280 1200 0 109051 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 442284 KiB
Current children cumulated memory: 410596 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.31 s, system=9.72891 s

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

Child status: 10

Real time (s): 3612.02
CPU time (s): 3600.04
CPU user time (s): 3590.31
CPU system time (s): 9.72891
CPU usage (%): 99.6683
Max. virtual memory (cumulated for all children) (KiB): 442284
Max. memory (cumulated for all children) (KiB): 410596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.31
system time used= 9.72891
maximum resident set size= 410724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79518
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= 116
involuntary context switches= 19711


# summary of solver processes directly reported to runsolver:
#   pid: 75919
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3590.31
#   total CPU system time (s): 9.72891

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.107 second user time and 32.9977 second system time

The end

Begin job on nodeC010 at 2025-07-03 10:44:06
IDJOB=4519578
IDBENCH=177316
IDSOLVER=3318
FILE ID=nodeC010/4519578-1751532246
RUNJOBID= nodeC010-1751523241-73981
SLURM_JOB_ID= 9598649
Free space on /tmp= 429980 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519578-1751532246/watcher-4519578-1751532246 -o /tmp/evaluation-result-4519578-1751532246/solver-4519578-1751532246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751523241-73981 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=249290730 --ls=0 --inp-dombreaklim=0 HOME/instance-4519578-1751532246.opb

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

MD5SUM BENCH= f91dbe69118ae72b0214f31a62e5b167
RANDOM SEED=249290730

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.103
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.677
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.398
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.903
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.390
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.560
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.444
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.907
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        125767152 kB
MemAvailable:   128993588 kB
Buffers:            2128 kB
Cached:          4025860 kB
SwapCached:           24 kB
Active:          1557376 kB
Inactive:        3439924 kB
Active(anon):     980912 kB
Inactive(anon):     6336 kB
Active(file):     576464 kB
Inactive(file):  3433588 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7136 kB
Writeback:           296 kB
AnonPages:        969296 kB
Mapped:           120124 kB
Shmem:             17936 kB
KReclaimable:     112024 kB
Slab:             196252 kB
SReclaimable:     112024 kB
SUnreclaim:        84228 kB
KernelStack:        4076 kB
PageTables:         5172 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1426828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    634880 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 429988 MiB
End job on nodeC010 at 2025-07-03 11:44:18