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

OK	25

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (60388 MiB free)
  memory of node 1: 64465 MiB (61078 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496562-1751392706/watcher-4496562-1751392706 -o /tmp/evaluation-result-4496562-1751392706/solver-4496562-1751392706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751392700-52739 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4496562-1751392706.opb -timer=3600 -hve=512 -f=3 -n: -precision=0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.10006 s]*
/proc/loadavg: 1.36 2.80 3.59 5/270 53168
/proc/meminfo: memFree=124302304/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=54900 memory=45184 CPUtime=0.09 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 10490 0 0 0 8 1 0 0 20 0 1 0 54945173 56217600 11296 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 13725 11296 928 1162 0 12334 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59092 KiB
Current children cumulated memory: 48128 KiB

[startup+0.205688 s]*
/proc/loadavg: 1.36 2.80 3.59 5/270 53168
/proc/meminfo: memFree=124230988/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=88412 memory=78748 CPUtime=0.19 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 18882 0 0 0 17 2 0 0 20 0 1 0 54945173 90533888 19687 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 22103 19687 1024 1162 0 20712 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 92604 KiB
Current children cumulated memory: 81692 KiB

[startup+0.305753 s]*
/proc/loadavg: 1.36 2.80 3.59 5/270 53168
/proc/meminfo: memFree=124186888/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=90080 memory=80412 CPUtime=0.29 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 19314 0 0 0 27 2 0 0 20 0 1 0 54945173 92241920 20103 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 22520 20103 1024 1162 0 21129 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 94272 KiB
Current children cumulated memory: 83356 KiB

[startup+0.700199 s]
/proc/loadavg: 1.36 2.80 3.59 5/270 53168
/proc/meminfo: memFree=124082308/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=173856 memory=163992 CPUtime=0.68 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 40242 0 0 0 62 6 0 0 20 0 1 0 54945173 178028544 40998 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 43464 40998 1024 1162 0 42073 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 178048 KiB
Current children cumulated memory: 166936 KiB

[startup+1.50021 s]
/proc/loadavg: 1.36 2.80 3.59 5/270 53168
/proc/meminfo: memFree=123808636/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=217368 memory=210456 CPUtime=1.47 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 51705 0 0 0 140 7 0 0 20 0 1 0 54945173 222584832 52614 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 54342 52614 1184 1162 0 52951 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 221560 KiB
Current children cumulated memory: 213400 KiB

[startup+3.1056 s]
/proc/loadavg: 1.36 2.80 3.59 5/270 53168
/proc/meminfo: memFree=123337740/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=224660 memory=217752 CPUtime=3.08 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 53530 0 0 0 300 8 0 0 20 0 1 0 54945173 230051840 54438 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 56165 54438 1184 1162 0 54774 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 228852 KiB
Current children cumulated memory: 220696 KiB

[startup+6.3002 s]
/proc/loadavg: 1.57 2.82 3.59 5/270 53168
/proc/meminfo: memFree=123333324/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=229612 memory=221868 CPUtime=6.26 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 54823 0 0 0 618 8 0 0 20 0 1 0 54945173 235122688 55467 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 57403 55467 1184 1162 0 56012 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 233804 KiB
Current children cumulated memory: 224812 KiB

[startup+12.7002 s]
/proc/loadavg: 1.76 2.84 3.59 5/270 53168
/proc/meminfo: memFree=122986904/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=229612 memory=221996 CPUtime=12.64 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 54841 0 0 0 1256 8 0 0 20 0 1 0 54945173 235122688 55499 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 57403 55499 1184 1162 0 56012 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 233804 KiB
Current children cumulated memory: 224940 KiB

[startup+25.5002 s]
/proc/loadavg: 2.26 2.90 3.60 5/270 53168
/proc/meminfo: memFree=122770248/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=236504 memory=228780 CPUtime=25.4 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 56534 0 0 0 2532 8 0 0 20 0 1 0 54945173 242180096 57195 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 59126 57195 1184 1162 0 57735 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 240696 KiB
Current children cumulated memory: 231724 KiB

[startup+51.1057 s]
/proc/loadavg: 2.92 3.00 3.62 5/270 53169
/proc/meminfo: memFree=121762616/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=236504 memory=228780 CPUtime=50.92 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 56554 0 0 0 5084 8 0 0 20 0 1 0 54945173 242180096 57195 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 59126 57195 1184 1162 0 57735 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 240696 KiB
Current children cumulated memory: 231724 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 3.17 3.64 5/271 53176
/proc/meminfo: memFree=121470084/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=246080 memory=238252 CPUtime=101.95 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 59132 0 0 0 10186 9 0 0 20 0 1 0 54945173 251985920 59563 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 61520 59563 1184 1162 0 60129 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 250272 KiB
Current children cumulated memory: 241196 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 3.34 3.67 5/271 53189
/proc/meminfo: memFree=121448464/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=254260 memory=246572 CPUtime=161.76 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 61277 0 0 0 16166 10 0 0 20 0 1 0 54945173 260362240 61643 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 63565 61643 1184 1162 0 62174 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 258452 KiB
Current children cumulated memory: 249516 KiB

[startup+188.514 s]
# the end of solver process 53161 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=187.782 s, system=0.123751 s

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

[startup+166.4 s]
/proc/loadavg: 3.90 3.35 3.67 5/271 53189
/proc/meminfo: memFree=121448976/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=254284 memory=246572 CPUtime=165.85 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 61283 0 0 0 16575 10 0 0 20 0 1 0 54945173 260386816 61643 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 63571 61643 1184 1162 0 62180 0
Current children cumulated CPU time: 165.85 s
Current children cumulated vsize: 258476 KiB
Current children cumulated memory: 249516 KiB

[startup+179.2 s]
/proc/loadavg: 3.99 3.40 3.69 5/269 53189
/proc/meminfo: memFree=121441208/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=254324 memory=246572 CPUtime=178.61 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 61293 0 0 0 17851 10 0 0 20 0 1 0 54945173 260427776 61643 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 63581 61643 1184 1162 0 62190 0
Current children cumulated CPU time: 178.61 s
Current children cumulated vsize: 258516 KiB
Current children cumulated memory: 249516 KiB

[startup+182.4 s]
/proc/loadavg: 3.99 3.40 3.69 5/269 53190
/proc/meminfo: memFree=121444108/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=254352 memory=246700 CPUtime=181.79 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 61302 0 0 0 18169 10 0 0 20 0 1 0 54945173 260456448 61675 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 63588 61675 1184 1162 0 62197 0
Current children cumulated CPU time: 181.79 s
Current children cumulated vsize: 258544 KiB
Current children cumulated memory: 249644 KiB

[startup+185.6 s]
/proc/loadavg: 4.00 3.41 3.69 5/269 53190
/proc/meminfo: memFree=121444116/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=254552 memory=246828 CPUtime=184.99 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 61354 0 0 0 18488 11 0 0 20 0 1 0 54945173 260661248 61707 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 63638 61707 1184 1162 0 62247 0
Current children cumulated CPU time: 184.99 s
Current children cumulated vsize: 258744 KiB
Current children cumulated memory: 249772 KiB

[startup+187.2 s]
/proc/loadavg: 4.00 3.41 3.69 5/269 53190
/proc/meminfo: memFree=121444116/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=254604 memory=246956 CPUtime=186.59 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 61367 0 0 0 18648 11 0 0 20 0 1 0 54945173 260714496 61739 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 63651 61739 1184 1162 0 62260 0
Current children cumulated CPU time: 186.59 s
Current children cumulated vsize: 258796 KiB
Current children cumulated memory: 249900 KiB

[startup+188 s]*
/proc/loadavg: 4.00 3.41 3.69 5/269 53190
/proc/meminfo: memFree=121444116/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=254624 memory=246956 CPUtime=187.39 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 61372 0 0 0 18728 11 0 0 20 0 1 0 54945173 260734976 61739 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 63656 61739 1184 1162 0 62265 0
Current children cumulated CPU time: 187.39 s
Current children cumulated vsize: 258816 KiB
Current children cumulated memory: 249900 KiB

[startup+188.4 s]
/proc/loadavg: 4.00 3.41 3.69 5/269 53190
/proc/meminfo: memFree=121444116/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=254632 memory=246956 CPUtime=187.78 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 61374 0 0 0 18767 11 0 0 20 0 1 0 54945173 260743168 61739 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 63658 61739 1184 1162 0 62267 0
Current children cumulated CPU time: 187.78 s
Current children cumulated vsize: 258824 KiB
Current children cumulated memory: 249900 KiB

[startup+188.5 s]
/proc/loadavg: 4.00 3.41 3.69 5/269 53190
/proc/meminfo: memFree=121444116/131249992 swapFree=33010160/33010684
[pid=53161] ppid=53157 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/53161/stat : 53161 (toulbar2.sh) S 53157 53161 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 54945172 4292608 736 18446744073709551615 93875910840320 93875911734853 140732180660320 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93875911973904 93875912021648 93875925344256 140732180666679 140732180666855 140732180666855 140732180672457 0
/proc/53161/statm: 1048 736 672 219 0 110 0
[pid=53163] ppid=53161 vsize=254632 memory=246956 CPUtime=187.88 cores=5,7
/proc/53163/stat : 53163 (toulbar2) R 53161 53161 52726 0 -1 4194304 61374 0 0 0 18777 11 0 0 20 0 1 0 54945173 260743168 61739 18446744073709551615 4198400 8956741 140728138822480 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 35381248 140728138828149 140728138828268 140728138828268 140728138833868 0
/proc/53163/statm: 63658 61739 1184 1162 0 62267 0
Current children cumulated CPU time: 187.88 s
Current children cumulated vsize: 258824 KiB
Current children cumulated memory: 249900 KiB

Child status: 0

Real time (s): 188.514
CPU time (s): 187.906
CPU user time (s): 187.782
CPU system time (s): 0.123751
CPU usage (%): 99.6773
Max. virtual memory (cumulated for all children) (KiB): 258824
Max. memory (cumulated for all children) (KiB): 249900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 187.782
system time used= 0.123751
maximum resident set size= 246956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61591
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= 67
involuntary context switches= 1099


# summary of solver processes directly reported to runsolver:
#   pid: 53161
#   total CPU time (s): 187.906
#   total CPU user time (s): 187.782
#   total CPU system time (s): 0.123751

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.411386 second user time and 0.886041 second system time

The end

Begin job on nodeC035 at 2025-07-01 19:58:26
IDJOB=4496562
IDBENCH=148119
IDSOLVER=3371
FILE ID=nodeC035/4496562-1751392706
RUNJOBID= nodeC035-1751392700-52739
SLURM_JOB_ID= 9598256
Free space on /tmp= 433044 MiB

SOLVER NAME= toulbar2 2025-06-13
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb
COMMAND LINE= toulbar2.sh toulbar2 BENCHNAME -timer=TIMELIMIT -hve=512 -f=3 -n: -precision=0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4496562-1751392706/watcher-4496562-1751392706 -o /tmp/evaluation-result-4496562-1751392706/solver-4496562-1751392706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751392700-52739 --watchdog 3760  toulbar2.sh toulbar2 HOME/instance-4496562-1751392706.opb -timer=3600 -hve=512 -f=3 -n: -precision=0

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

MD5SUM BENCH= 3f61d67ec309aef8ac87c7a01b0ee309
RANDOM SEED=182787031

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        124382664 kB
MemAvailable:   129246804 kB
Buffers:            1840 kB
Cached:          5616536 kB
SwapCached:            8 kB
Active:           865508 kB
Inactive:        5325276 kB
Active(anon):     578856 kB
Inactive(anon):    11604 kB
Active(file):     286652 kB
Inactive(file):  5313672 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             19784 kB
Writeback:             4 kB
AnonPages:        575580 kB
Mapped:           112352 kB
Shmem:             18048 kB
KReclaimable:     206112 kB
Slab:             295376 kB
SReclaimable:     206112 kB
SUnreclaim:        89264 kB
KernelStack:        4252 kB
PageTables:         4296 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     908876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC035 at 2025-07-01 20:01:35