0.00/0.11	o -13
1.09/1.17	o -14
1.09/1.17	o -15
1.87/2.01	o -16
3600.03/3609.80	c Program interrupted by user.
3600.03/3609.80	s SATISFIABLE
3600.03/3609.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 -x3381 -x3382 x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 x4129 -x4130 x4131 x4132 -x4133 -x4134 x4135 -x4136 x4137 x4138 -x4139 x4140 -x4141 x4142 -x4143 -x4144 -x4145 x4146 -x4147 -x4148 -x4149 x4150 x4151 x4152 x4153 -x4154 x4155 -x4156 x4157 -x4158 x4159 -x4160

OK	-16

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519624-1751532763/watcher-4519624-1751532763 -o /tmp/evaluation-result-4519624-1751532763/solver-4519624-1751532763 -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=1082396720 --ls=0 --inp-dombreaklim=0 HOME/instance-4519624-1751532763.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=75992, runsolver pid=75989

[startup+0.100071 s]*
/proc/loadavg: 4.05 4.16 4.17 5/251 75993
/proc/meminfo: memFree=125717848/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=42704 memory=19240 CPUtime=0.09 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 4083 0 0 0 8 1 0 0 20 0 1 0 68955735 43728896 4810 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 10676 4810 1280 1200 0 9156 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42704 KiB
Current children cumulated memory: 19240 KiB

[startup+0.212801 s]*
/proc/loadavg: 4.05 4.16 4.17 5/251 75993
/proc/meminfo: memFree=125717848/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=43412 memory=22604 CPUtime=0.2 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 4413 0 0 0 19 1 0 0 20 0 1 0 68955735 44453888 5651 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 10853 5651 1280 1200 0 9333 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 22604 KiB

[startup+0.312947 s]*
/proc/loadavg: 4.05 4.16 4.17 5/251 75993
/proc/meminfo: memFree=125717848/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=44864 memory=24140 CPUtime=0.3 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 4800 0 0 0 29 1 0 0 20 0 1 0 68955735 45940736 6035 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 11216 6035 1280 1200 0 9696 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44864 KiB
Current children cumulated memory: 24140 KiB

[startup+0.700285 s]
/proc/loadavg: 4.05 4.16 4.17 6/251 75993
/proc/meminfo: memFree=125718024/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=49780 memory=30772 CPUtime=0.67 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 5971 0 0 0 65 2 0 0 20 0 1 0 68955735 50974720 7693 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 12445 7693 1280 1200 0 10925 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 49780 KiB
Current children cumulated memory: 30772 KiB

[startup+1.50023 s]
/proc/loadavg: 4.05 4.16 4.17 5/251 75993
/proc/meminfo: memFree=125710212/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=54032 memory=41236 CPUtime=1.47 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 7038 0 0 0 144 3 0 0 20 0 1 0 68955735 55328768 10309 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 13508 10309 1280 1200 0 11988 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 54032 KiB
Current children cumulated memory: 41236 KiB

[startup+3.11275 s]
/proc/loadavg: 4.05 4.16 4.17 5/251 75993
/proc/meminfo: memFree=125682172/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=78384 memory=60848 CPUtime=3.08 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 10136 0 0 0 303 5 0 0 20 0 1 0 68955735 80265216 15212 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 19596 15212 1280 1200 0 18076 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 78384 KiB
Current children cumulated memory: 60848 KiB

[startup+6.30026 s]
/proc/loadavg: 4.12 4.17 4.17 5/251 75994
/proc/meminfo: memFree=125648736/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=108980 memory=80440 CPUtime=6.26 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 12381 0 0 0 618 8 0 0 20 0 1 0 68955735 111595520 20110 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 27245 20110 1280 1200 0 25725 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 108980 KiB
Current children cumulated memory: 80440 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.17 4.17 5/251 75994
/proc/meminfo: memFree=125633364/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=127432 memory=112404 CPUtime=12.64 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 16802 0 0 0 1252 12 0 0 20 0 1 0 68955735 130490368 28101 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 31858 28101 1280 1200 0 30338 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 127432 KiB
Current children cumulated memory: 112404 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.17 4.17 5/251 75994
/proc/meminfo: memFree=125627064/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=140472 memory=125204 CPUtime=25.41 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 20014 0 0 0 2523 18 0 0 20 0 1 0 68955735 143843328 31301 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 35118 31301 1280 1200 0 33598 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 140472 KiB
Current children cumulated memory: 125204 KiB

[startup+51.1127 s]
/proc/loadavg: 4.14 4.16 4.17 5/251 75994
/proc/meminfo: memFree=125613960/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=146452 memory=131220 CPUtime=50.95 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 21539 0 0 0 5068 27 0 0 20 0 1 0 68955735 149966848 32805 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 36613 32805 1280 1200 0 35093 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 146452 KiB
Current children cumulated memory: 131220 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/251 75996
/proc/meminfo: memFree=125520464/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=210320 memory=168480 CPUtime=101.99 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 27755 0 0 0 10151 48 0 0 20 0 1 0 68955735 215367680 42120 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 52580 42120 1280 1200 0 51060 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 210320 KiB
Current children cumulated memory: 168480 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/251 75998
/proc/meminfo: memFree=125514112/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=217520 memory=175264 CPUtime=161.84 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 29477 0 0 0 16107 77 0 0 20 0 1 0 68955735 222740480 43816 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 54380 43816 1280 1200 0 52860 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 217520 KiB
Current children cumulated memory: 175264 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/251 76000
/proc/meminfo: memFree=125497156/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=228192 memory=191456 CPUtime=221.67 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 32020 0 0 0 22065 102 0 0 20 0 1 0 68955735 233668608 47864 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 57048 47864 1280 1200 0 55528 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 228192 KiB
Current children cumulated memory: 191456 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/250 76005
/proc/meminfo: memFree=125483376/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=235924 memory=198368 CPUtime=281.51 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 33764 0 0 0 28024 127 0 0 20 0 1 0 68955735 241586176 49592 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 58981 49592 1280 1200 0 57461 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 235924 KiB
Current children cumulated memory: 198368 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/251 76012
/proc/meminfo: memFree=125465684/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=242120 memory=204128 CPUtime=341.33 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 35218 0 0 0 33977 156 0 0 20 0 1 0 68955735 247930880 51032 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 60530 51032 1280 1200 0 59010 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 242120 KiB
Current children cumulated memory: 204128 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/251 76014
/proc/meminfo: memFree=125460848/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=251492 memory=213344 CPUtime=401.13 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 37548 0 0 0 39929 184 0 0 20 0 1 0 68955735 257527808 53336 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 62873 53336 1280 1200 0 61353 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 251492 KiB
Current children cumulated memory: 213344 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.13 4.14 5/251 76016
/proc/meminfo: memFree=125447252/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=258520 memory=220000 CPUtime=460.93 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 39243 0 0 0 45882 211 0 0 20 0 1 0 68955735 264724480 55000 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 64630 55000 1280 1200 0 63110 0

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

Current children cumulated memory: 341920 KiB

[startup+2862.3 s]
/proc/loadavg: 2.12 2.14 2.49 3/238 76214
/proc/meminfo: memFree=125936208/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=360212 memory=342816 CPUtime=2854.21 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 63208 0 0 0 284243 1178 0 0 20 0 1 0 68955735 368857088 85704 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 90053 85704 1280 1200 0 88533 0
Current children cumulated CPU time: 2854.21 s
Current children cumulated vsize: 360212 KiB
Current children cumulated memory: 342816 KiB

[startup+2922.3 s]
/proc/loadavg: 2.09 2.12 2.46 3/238 76216
/proc/meminfo: memFree=125952344/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=360212 memory=342944 CPUtime=2914.09 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 63256 0 0 0 290204 1205 0 0 20 0 1 0 68955735 368857088 85736 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 90053 85736 1280 1200 0 88533 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 360212 KiB
Current children cumulated memory: 342944 KiB

[startup+2982.3 s]
/proc/loadavg: 2.20 2.15 2.45 3/238 76220
/proc/meminfo: memFree=125953204/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=360884 memory=343584 CPUtime=2973.95 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 63432 0 0 0 296163 1232 0 0 20 0 1 0 68955735 369545216 85896 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 90221 85896 1280 1200 0 88701 0
Current children cumulated CPU time: 2973.95 s
Current children cumulated vsize: 360884 KiB
Current children cumulated memory: 343584 KiB

[startup+3042.3 s]
/proc/loadavg: 2.13 2.13 2.42 3/239 76223
/proc/meminfo: memFree=125953440/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=361460 memory=344096 CPUtime=3033.82 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 63553 0 0 0 302125 1257 0 0 20 0 1 0 68955735 370135040 86024 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 90365 86024 1280 1200 0 88845 0
Current children cumulated CPU time: 3033.82 s
Current children cumulated vsize: 361460 KiB
Current children cumulated memory: 344096 KiB

[startup+3102.3 s]
/proc/loadavg: 2.08 2.12 2.40 2/233 76256
/proc/meminfo: memFree=126362212/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=361700 memory=344352 CPUtime=3093.69 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 63634 0 0 0 308087 1282 0 0 20 0 1 0 68955735 370380800 86088 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 90425 86088 1280 1200 0 88905 0
Current children cumulated CPU time: 3093.69 s
Current children cumulated vsize: 361700 KiB
Current children cumulated memory: 344352 KiB

[startup+3162.3 s]
/proc/loadavg: 1.49 1.95 2.32 2/233 76258
/proc/meminfo: memFree=126356896/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=362324 memory=344864 CPUtime=3153.55 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 63797 0 0 0 314051 1304 0 0 20 0 1 0 68955735 371019776 86216 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 90581 86216 1280 1200 0 89061 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 362324 KiB
Current children cumulated memory: 344864 KiB

[startup+3222.3 s]
/proc/loadavg: 1.23 1.79 2.24 2/234 76261
/proc/meminfo: memFree=126356896/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=363312 memory=345888 CPUtime=3213.41 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 64044 0 0 0 320015 1326 0 0 20 0 1 0 68955735 372031488 86472 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 90828 86472 1280 1200 0 89308 0
Current children cumulated CPU time: 3213.41 s
Current children cumulated vsize: 363312 KiB
Current children cumulated memory: 345888 KiB

[startup+3282.3 s]
/proc/loadavg: 1.16 1.66 2.16 2/234 76263
/proc/meminfo: memFree=126352800/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=366072 memory=348704 CPUtime=3273.27 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 64738 0 0 0 325971 1356 0 0 20 0 1 0 68955735 374857728 87176 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 91518 87176 1280 1200 0 89998 0
Current children cumulated CPU time: 3273.27 s
Current children cumulated vsize: 366072 KiB
Current children cumulated memory: 348704 KiB

[startup+3342.3 s]
/proc/loadavg: 1.11 1.55 2.09 2/234 76268
/proc/meminfo: memFree=126353740/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=367032 memory=349728 CPUtime=3333.13 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 64987 0 0 0 331933 1380 0 0 20 0 1 0 68955735 375840768 87432 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 91758 87432 1280 1200 0 90238 0
Current children cumulated CPU time: 3333.13 s
Current children cumulated vsize: 367032 KiB
Current children cumulated memory: 349728 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.46 2.03 2/234 76275
/proc/meminfo: memFree=126352988/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=367512 memory=350112 CPUtime=3393 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 65107 0 0 0 337895 1405 0 0 20 0 1 0 68955735 376332288 87528 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 91878 87528 1280 1200 0 90358 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 367512 KiB
Current children cumulated memory: 350112 KiB

[startup+3462.3 s]
/proc/loadavg: 1.06 1.39 1.97 2/234 76277
/proc/meminfo: memFree=126353260/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=370584 memory=352672 CPUtime=3452.87 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 65777 0 0 0 343854 1433 0 0 20 0 1 0 68955735 379478016 88168 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 92646 88168 1280 1200 0 91126 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 370584 KiB
Current children cumulated memory: 352672 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.33 1.91 2/234 76279
/proc/meminfo: memFree=126345448/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=371496 memory=353568 CPUtime=3512.73 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 66009 0 0 0 349819 1454 0 0 20 0 1 0 68955735 380411904 88392 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 92874 88392 1280 1200 0 91354 0
Current children cumulated CPU time: 3512.73 s
Current children cumulated vsize: 371496 KiB
Current children cumulated memory: 353568 KiB

[startup+3582.3 s]
/proc/loadavg: 1.14 1.30 1.86 2/234 76281
/proc/meminfo: memFree=126344164/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=371496 memory=354336 CPUtime=3572.59 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 66036 0 0 0 355781 1478 0 0 20 0 1 0 68955735 380411904 88584 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 92874 88584 1280 1200 0 91354 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 371496 KiB
Current children cumulated memory: 354336 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 1.09 1.28 1.84 2/234 76281
/proc/meminfo: memFree=126305380/131382116 swapFree=33009904/33010684
[pid=75992] ppid=75989 vsize=444240 memory=375248 CPUtime=3600.03 cores=4,6
/proc/75992/stat : 75992 (Exact) R 75989 75992 73969 0 -1 4194304 67309 0 0 0 358510 1493 0 0 20 0 1 0 68955735 454901760 93812 18446744073709551615 4198400 9112445 140724760600336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31973376 140724760602920 140724760603117 140724760603117 140724760608719 0
/proc/75992/statm: 111060 93812 1280 1200 0 109540 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 444240 KiB
Current children cumulated memory: 375248 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.11 s, system=14.9407 s

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

Child status: 10

Real time (s): 3609.81
CPU time (s): 3600.05
CPU user time (s): 3585.11
CPU system time (s): 14.9407
CPU usage (%): 99.7296
Max. virtual memory (cumulated for all children) (KiB): 444240
Max. memory (cumulated for all children) (KiB): 375248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.11
system time used= 14.9407
maximum resident set size= 461320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67312
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= 100
involuntary context switches= 3323


# summary of solver processes directly reported to runsolver:
#   pid: 75992
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3585.11
#   total CPU system time (s): 14.9407

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6178 second user time and 32.0407 second system time

The end

Begin job on nodeC010 at 2025-07-03 10:52:43
IDJOB=4519624
IDBENCH=177345
IDSOLVER=3318
FILE ID=nodeC010/4519624-1751532763
RUNJOBID= nodeC010-1751523241-73980
SLURM_JOB_ID= 9598649
Free space on /tmp= 429980 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.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-4519624-1751532763/watcher-4519624-1751532763 -o /tmp/evaluation-result-4519624-1751532763/solver-4519624-1751532763 -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=1082396720 --ls=0 --inp-dombreaklim=0 HOME/instance-4519624-1751532763.opb

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

MD5SUM BENCH= 4558152054a2b5e07a56681a0171fc0f
RANDOM SEED=1082396720

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.273
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.551
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.220
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:        125731832 kB
MemAvailable:   128959024 kB
Buffers:            2128 kB
Cached:          4026608 kB
SwapCached:           24 kB
Active:          1611636 kB
Inactive:        3440672 kB
Active(anon):    1035172 kB
Inactive(anon):     6336 kB
Active(file):     576464 kB
Inactive(file):  3434336 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7572 kB
Writeback:             0 kB
AnonPages:       1023524 kB
Mapped:           120072 kB
Shmem:             17936 kB
KReclaimable:     112040 kB
Slab:             196344 kB
SReclaimable:     112040 kB
SUnreclaim:        84304 kB
KernelStack:        4080 kB
PageTables:         5000 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1459848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    827392 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= 429996 MiB
End job on nodeC010 at 2025-07-03 11:52:53