0.00/0.07	o -59
0.00/0.08	o -60
2.20/2.39	o -72
2.20/2.39	o -73
3.09/3.27	o -74
3.68/3.82	o -75
5.57/5.75	o -76
672.52/674.80	s OPTIMUM FOUND
672.52/674.80	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

OK	-76

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=75868, runsolver pid=75865

[startup+0.100071 s]*
/proc/loadavg: 4.15 4.12 4.09 5/250 75869
/proc/meminfo: memFree=123606108/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=39080 memory=18176 CPUtime=0.09 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 3088 0 0 0 9 0 0 0 20 0 1 0 68888015 40017920 4544 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 9770 4544 1280 1200 0 8250 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39080 KiB
Current children cumulated memory: 18176 KiB

[startup+0.214484 s]*
/proc/loadavg: 4.15 4.12 4.09 5/250 75869
/proc/meminfo: memFree=123606108/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=39808 memory=18816 CPUtime=0.19 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 3273 0 0 0 18 1 0 0 20 0 1 0 68888015 40763392 4704 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 9952 4704 1280 1200 0 8432 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39808 KiB
Current children cumulated memory: 18816 KiB

[startup+0.313101 s]*
/proc/loadavg: 4.15 4.12 4.09 5/250 75869
/proc/meminfo: memFree=123606108/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=39808 memory=18816 CPUtime=0.28 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 3273 0 0 0 27 1 0 0 20 0 1 0 68888015 40763392 4704 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 9952 4704 1280 1200 0 8432 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39808 KiB
Current children cumulated memory: 18816 KiB

[startup+0.700245 s]
/proc/loadavg: 4.15 4.12 4.09 5/250 75869
/proc/meminfo: memFree=123606108/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=40236 memory=21376 CPUtime=0.62 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 3379 0 0 0 61 1 0 0 20 0 1 0 68888015 41201664 5344 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 10059 5344 1280 1200 0 8539 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 40236 KiB
Current children cumulated memory: 21376 KiB

[startup+1.50016 s]
/proc/loadavg: 4.15 4.12 4.09 5/250 75869
/proc/meminfo: memFree=123602392/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=42436 memory=27500 CPUtime=1.41 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 3915 0 0 0 139 2 0 0 20 0 1 0 68888015 43454464 6875 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 10609 6875 1280 1200 0 9089 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 42436 KiB
Current children cumulated memory: 27500 KiB

[startup+3.10537 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 75869
/proc/meminfo: memFree=123562148/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=67480 memory=51612 CPUtime=3 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 7599 0 0 0 297 3 0 0 20 0 1 0 68888015 69099520 12903 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 16870 12903 1280 1200 0 15350 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 67480 KiB
Current children cumulated memory: 51612 KiB

[startup+6.3002 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 75869
/proc/meminfo: memFree=123516232/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=121424 memory=103676 CPUtime=6.17 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 15918 0 0 0 610 7 0 0 20 0 1 0 68888015 124338176 25919 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 30356 25919 1280 1200 0 28836 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 121424 KiB
Current children cumulated memory: 103676 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 75871
/proc/meminfo: memFree=123455712/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=178732 memory=150596 CPUtime=12.51 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 20454 0 0 0 1240 11 0 0 20 0 1 0 68888015 183021568 37649 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 44683 37649 1280 1200 0 43163 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 178732 KiB
Current children cumulated memory: 150596 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.13 4.10 5/251 75871
/proc/meminfo: memFree=123392304/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=206648 memory=177604 CPUtime=25.19 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 27181 0 0 0 2503 16 0 0 20 0 1 0 68888015 211607552 44401 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 51662 44401 1280 1200 0 50142 0
Current children cumulated CPU time: 25.19 s
Current children cumulated vsize: 206648 KiB
Current children cumulated memory: 177604 KiB

[startup+51.1128 s]
/proc/loadavg: 4.60 4.23 4.13 5/251 75871
/proc/meminfo: memFree=123332052/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=254560 memory=220100 CPUtime=50.58 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 37874 0 0 0 5034 24 0 0 20 0 1 0 68888015 260669440 55025 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 63640 55025 1280 1200 0 62120 0
Current children cumulated CPU time: 50.58 s
Current children cumulated vsize: 254560 KiB
Current children cumulated memory: 220100 KiB

[startup+102.3 s]
/proc/loadavg: 4.61 4.30 4.16 5/251 75873
/proc/meminfo: memFree=123196300/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=304228 memory=257348 CPUtime=101.62 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 47250 0 0 0 10126 36 0 0 20 0 1 0 68888015 311529472 64337 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 76057 64337 1280 1200 0 74537 0
Current children cumulated CPU time: 101.62 s
Current children cumulated vsize: 304228 KiB
Current children cumulated memory: 257348 KiB

[startup+162.3 s]
/proc/loadavg: 4.27 4.26 4.16 5/251 75920
/proc/meminfo: memFree=125678216/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=313696 memory=266692 CPUtime=161.45 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 49600 0 0 0 16100 45 0 0 20 0 1 0 68888015 321224704 66673 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 78424 66673 1280 1200 0 76904 0
Current children cumulated CPU time: 161.45 s
Current children cumulated vsize: 313696 KiB
Current children cumulated memory: 266692 KiB

[startup+222.3 s]
/proc/loadavg: 4.73 4.38 4.21 5/250 75922
/proc/meminfo: memFree=125537172/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=326036 memory=280132 CPUtime=221.26 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 52411 0 0 0 22069 57 0 0 20 0 1 0 68888015 333860864 70033 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 81509 70033 1280 1200 0 79989 0
Current children cumulated CPU time: 221.26 s
Current children cumulated vsize: 326036 KiB
Current children cumulated memory: 280132 KiB

[startup+282.3 s]
/proc/loadavg: 4.47 4.38 4.22 5/250 75926
/proc/meminfo: memFree=125502700/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=332064 memory=300996 CPUtime=281.07 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 53732 0 0 0 28037 70 0 0 20 0 1 0 68888015 340033536 75249 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 83016 75249 1280 1200 0 81496 0
Current children cumulated CPU time: 281.07 s
Current children cumulated vsize: 332064 KiB
Current children cumulated memory: 300996 KiB

[startup+342.3 s]
/proc/loadavg: 4.21 4.33 4.21 5/250 75933
/proc/meminfo: memFree=125482796/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=337336 memory=311876 CPUtime=340.89 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 54757 0 0 0 34009 80 0 0 20 0 1 0 68888015 345432064 77969 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 84334 77969 1280 1200 0 82814 0
Current children cumulated CPU time: 340.89 s
Current children cumulated vsize: 337336 KiB
Current children cumulated memory: 311876 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.29 4.20 5/251 75936
/proc/meminfo: memFree=125467752/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=343936 memory=317124 CPUtime=400.74 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 56088 0 0 0 39981 93 0 0 20 0 1 0 68888015 352190464 79281 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 85984 79281 1280 1200 0 84464 0
Current children cumulated CPU time: 400.74 s
Current children cumulated vsize: 343936 KiB
Current children cumulated memory: 317124 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.24 4.18 5/251 75938
/proc/meminfo: memFree=125436700/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=354140 memory=324420 CPUtime=460.59 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 57943 0 0 0 45954 105 0 0 20 0 1 0 68888015 362639360 81105 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 88535 81105 1280 1200 0 87015 0
Current children cumulated CPU time: 460.59 s
Current children cumulated vsize: 354140 KiB
Current children cumulated memory: 324420 KiB

[startup+522.3 s]
/proc/loadavg: 4.13 4.22 4.18 5/251 75940
/proc/meminfo: memFree=125428220/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=358936 memory=328516 CPUtime=520.42 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 58971 0 0 0 51926 116 0 0 20 0 1 0 68888015 367550464 82129 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 89734 82129 1280 1200 0 88214 0
Current children cumulated CPU time: 520.42 s
Current children cumulated vsize: 358936 KiB
Current children cumulated memory: 328516 KiB

[startup+582.3 s]
/proc/loadavg: 4.15 4.21 4.18 5/251 75943
/proc/meminfo: memFree=125414508/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=364308 memory=333380 CPUtime=580.27 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 60194 0 0 0 57898 129 0 0 20 0 1 0 68888015 373051392 83345 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 91077 83345 1280 1200 0 89557 0
Current children cumulated CPU time: 580.27 s
Current children cumulated vsize: 364308 KiB
Current children cumulated memory: 333380 KiB

[startup+642.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/253 75948
/proc/meminfo: memFree=125391704/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=371252 memory=339652 CPUtime=640.11 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 61739 0 0 0 63868 143 0 0 20 0 1 0 68888015 380162048 84913 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 92813 84913 1280 1200 0 91293 0
Current children cumulated CPU time: 640.11 s
Current children cumulated vsize: 371252 KiB
Current children cumulated memory: 339652 KiB

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

# cumulated CPU time of all completed processes:  user=671.032 s, system=1.51064 s

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

[startup+652.8 s]
/proc/loadavg: 4.08 4.18 4.17 5/253 75948
/proc/meminfo: memFree=125392216/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=371876 memory=340164 CPUtime=650.58 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 61977 0 0 0 64912 146 0 0 20 0 1 0 68888015 380801024 85041 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 92969 85041 1280 1200 0 91449 0
Current children cumulated CPU time: 650.58 s
Current children cumulated vsize: 371876 KiB
Current children cumulated memory: 340164 KiB

[startup+665.6 s]
/proc/loadavg: 4.06 4.17 4.17 5/251 75948
/proc/meminfo: memFree=125392472/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=372212 memory=340420 CPUtime=663.35 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 62063 0 0 0 66187 148 0 0 20 0 1 0 68888015 381145088 85105 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 93053 85105 1280 1200 0 91533 0
Current children cumulated CPU time: 663.35 s
Current children cumulated vsize: 372212 KiB
Current children cumulated memory: 340420 KiB

[startup+668.8 s]
/proc/loadavg: 4.06 4.17 4.17 5/251 75948
/proc/meminfo: memFree=125376344/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=372212 memory=340548 CPUtime=666.53 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 62076 0 0 0 66505 148 0 0 20 0 1 0 68888015 381145088 85137 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 93053 85137 1280 1200 0 91533 0
Current children cumulated CPU time: 666.53 s
Current children cumulated vsize: 372212 KiB
Current children cumulated memory: 340548 KiB

[startup+672 s]*
/proc/loadavg: 4.06 4.17 4.17 5/251 75948
/proc/meminfo: memFree=125376344/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=372500 memory=340804 CPUtime=669.74 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 62136 0 0 0 66825 149 0 0 20 0 1 0 68888015 381440000 85201 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 93125 85201 1280 1200 0 91605 0
Current children cumulated CPU time: 669.74 s
Current children cumulated vsize: 372500 KiB
Current children cumulated memory: 340804 KiB

[startup+673.6 s]
/proc/loadavg: 4.05 4.16 4.17 5/251 75948
/proc/meminfo: memFree=125376344/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=372500 memory=340804 CPUtime=671.33 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 62136 0 0 0 66983 150 0 0 20 0 1 0 68888015 381440000 85201 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 93125 85201 1280 1200 0 91605 0
Current children cumulated CPU time: 671.33 s
Current children cumulated vsize: 372500 KiB
Current children cumulated memory: 340804 KiB

[startup+674.4 s]
/proc/loadavg: 4.05 4.16 4.17 5/251 75948
/proc/meminfo: memFree=125376344/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=372500 memory=340804 CPUtime=672.12 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 62136 0 0 0 67062 150 0 0 20 0 1 0 68888015 381440000 85201 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 93125 85201 1280 1200 0 91605 0
Current children cumulated CPU time: 672.12 s
Current children cumulated vsize: 372500 KiB
Current children cumulated memory: 340804 KiB

[startup+674.8 s]
/proc/loadavg: 4.05 4.16 4.17 5/251 75948
/proc/meminfo: memFree=125376344/131382116 swapFree=33009904/33010684
[pid=75868] ppid=75865 vsize=372500 memory=340804 CPUtime=672.52 cores=4,6
/proc/75868/stat : 75868 (Exact) R 75865 75868 73969 0 -1 4194304 62136 0 0 0 67102 150 0 0 20 0 1 0 68888015 381440000 85201 18446744073709551615 4198400 9112445 140731995404480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16547840 140731995408680 140731995408877 140731995408877 140731995414479 0
/proc/75868/statm: 93125 85201 1280 1200 0 91605 0
Current children cumulated CPU time: 672.52 s
Current children cumulated vsize: 372500 KiB
Current children cumulated memory: 340804 KiB

Child status: 30

Real time (s): 674.81
CPU time (s): 672.543
CPU user time (s): 671.032
CPU system time (s): 1.51064
CPU usage (%): 99.664
Max. virtual memory (cumulated for all children) (KiB): 372500
Max. memory (cumulated for all children) (KiB): 340804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 671.032
system time used= 1.51064
maximum resident set size= 340804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62138
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= 84
involuntary context switches= 1354


# summary of solver processes directly reported to runsolver:
#   pid: 75868
#   total CPU time (s): 672.543
#   total CPU user time (s): 671.032
#   total CPU system time (s): 1.51064

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.97608 second user time and 6.44773 second system time

The end

Begin job on nodeC010 at 2025-07-03 10:41:26
IDJOB=4519532
IDBENCH=177275
IDSOLVER=3318
FILE ID=nodeC010/4519532-1751532086
RUNJOBID= nodeC010-1751523241-73980
SLURM_JOB_ID= 9598649
Free space on /tmp= 429956 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.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-4519532-1751532086/watcher-4519532-1751532086 -o /tmp/evaluation-result-4519532-1751532086/solver-4519532-1751532086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751523241-73980 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2022828209 --ls=0 --inp-dombreaklim=0 HOME/instance-4519532-1751532086.opb

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

MD5SUM BENCH= c7d48d7b52922a8c66e4a5b5da991f51
RANDOM SEED=2022828209

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		: 3661.791
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		: 3691.222
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.904
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.277
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		: 1197.133
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		: 3691.205
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.461
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.383
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:        123610280 kB
MemAvailable:   126857528 kB
Buffers:            2128 kB
Cached:          4046676 kB
SwapCached:           24 kB
Active:          3697504 kB
Inactive:        3460740 kB
Active(anon):    3121040 kB
Inactive(anon):     6336 kB
Active(file):     576464 kB
Inactive(file):  3454404 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7264 kB
Writeback:             0 kB
AnonPages:       3109496 kB
Mapped:           119968 kB
Shmem:             17936 kB
KReclaimable:     112016 kB
Slab:             196292 kB
SReclaimable:     112016 kB
SUnreclaim:        84276 kB
KernelStack:        4044 kB
PageTables:         9272 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    3720464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1980416 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= 429972 MiB
End job on nodeC010 at 2025-07-03 10:52:41