372.39/373.96	o 59444
373.60/375.17	o 11673
374.50/376.02	o 11663
375.79/377.32	o 11662
379.58/381.17	o 11661
1328.57/1333.21	o 11510
1329.58/1334.21	o 11501
1999.65/2006.27	o 11489
2013.60/2020.20	o 11481
2026.48/2033.10	o 11480
2067.96/2074.77	o 11479
2093.20/2100.00	o 11473
2110.44/2117.33	o 11471
2181.95/2189.06	o 11470
2201.79/2208.90	o 11468
2223.24/2230.49	o 11467
2298.14/2305.52	o 11466
2359.66/2367.29	o 11465
2518.63/2526.68	o 11399
2549.96/2558.06	o 11398
2627.75/2636.06	o 11397
2694.17/2702.62	o 11396
2701.14/2709.64	o 11295
2720.60/2729.13	o 11193
2747.43/2756.03	o 11192
2755.40/2764.07	o 11186
2791.00/2799.71	o 11185
3033.95/3043.46	o 11078
3171.21/3181.18	o 11055
3182.26/3192.25	o 11045
3213.67/3223.76	o 11043
3318.92/3329.34	o 11041
3330.28/3340.77	o 10939
3497.25/3508.26	o 10938
3600.03/3611.33	c Program interrupted by user.
3600.03/3611.33	s SATISFIABLE
3600.03/3611.33	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

OK	10938

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525644-1751622033/watcher-4525644-1751622033 -o /tmp/evaluation-result-4525644-1751622033/solver-4525644-1751622033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751619454-100204 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=354346452 --ls=360 HOME/instance-4525644-1751622033.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=101486, runsolver pid=101483

[startup+0.100067 s]*
/proc/loadavg: 4.09 4.11 4.09 6/265 101487
/proc/meminfo: memFree=117687480/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=71796 memory=45492 CPUtime=0.09 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 13526 0 0 0 7 2 0 0 20 0 1 0 77882040 73519104 11373 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 17949 11373 1024 1200 0 16429 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 71796 KiB
Current children cumulated memory: 45492 KiB

[startup+0.205793 s]*
/proc/loadavg: 4.09 4.11 4.09 5/265 101487
/proc/meminfo: memFree=117660516/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=115020 memory=84748 CPUtime=0.2 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 23547 0 0 0 16 4 0 0 20 0 1 0 77882040 117780480 21187 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 28755 21187 1024 1200 0 27235 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115020 KiB
Current children cumulated memory: 84748 KiB

[startup+0.305796 s]*
/proc/loadavg: 4.09 4.11 4.09 5/265 101487
/proc/meminfo: memFree=117644640/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=133008 memory=112800 CPUtime=0.29 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 29114 0 0 0 24 5 0 0 20 0 1 0 77882040 136200192 28200 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 33252 28200 1024 1200 0 31732 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 133008 KiB
Current children cumulated memory: 112800 KiB

[startup+0.700171 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 101487
/proc/meminfo: memFree=117589760/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=294244 memory=263080 CPUtime=0.68 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 52256 0 0 0 57 11 0 0 20 0 1 0 77882040 301305856 65770 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 73561 65770 1024 1200 0 72041 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 294244 KiB
Current children cumulated memory: 263080 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 101487
/proc/meminfo: memFree=117431544/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=658488 memory=569680 CPUtime=1.48 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 85338 0 0 0 125 23 0 0 20 0 1 0 77882040 674291712 142420 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 164622 142420 1024 1200 0 163102 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 658488 KiB
Current children cumulated memory: 569680 KiB

[startup+3.10582 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 101488
/proc/meminfo: memFree=116653760/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=1323176 memory=1188484 CPUtime=3.08 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 141430 0 0 0 262 46 0 0 20 0 1 0 77882040 1354932224 297121 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 330794 297121 1024 1200 0 329274 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1323176 KiB
Current children cumulated memory: 1188484 KiB

[startup+6.30017 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 101488
/proc/meminfo: memFree=116113768/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=1999800 memory=1890240 CPUtime=6.27 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 250562 0 0 0 556 71 0 0 20 0 1 0 77882040 2047795200 472560 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 499950 472560 1024 1200 0 498430 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1999800 KiB
Current children cumulated memory: 1890240 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 101488
/proc/meminfo: memFree=115803312/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=2062660 memory=1943172 CPUtime=12.65 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 259499 0 0 0 1190 75 0 0 20 0 1 0 77882040 2112163840 485793 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 515665 485793 1024 1200 0 514145 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1943172 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 101488
/proc/meminfo: memFree=115787740/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=2062660 memory=1943172 CPUtime=25.4 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 259703 0 0 0 2465 75 0 0 20 0 1 0 77882040 2112163840 485793 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 515665 485793 1024 1200 0 514145 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1943172 KiB

[startup+51.1058 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 101488
/proc/meminfo: memFree=115698172/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=2062660 memory=1943172 CPUtime=50.91 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 260031 0 0 0 5015 76 0 0 20 0 1 0 77882040 2112163840 485793 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 515665 485793 1024 1200 0 514145 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1943172 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 101492
/proc/meminfo: memFree=115543452/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=2062660 memory=1943172 CPUtime=101.89 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 260381 0 0 0 10112 77 0 0 20 0 1 0 77882040 2112163840 485793 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 515665 485793 1024 1200 0 514145 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1943172 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 101495
/proc/meminfo: memFree=115041248/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=2062660 memory=1943172 CPUtime=161.64 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 260613 0 0 0 16086 78 0 0 20 0 1 0 77882040 2112163840 485793 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 515665 485793 1024 1200 0 514145 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1943172 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 101497
/proc/meminfo: memFree=115041660/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=2062660 memory=1943172 CPUtime=221.39 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 260734 0 0 0 22061 78 0 0 20 0 1 0 77882040 2112163840 485793 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 515665 485793 1024 1200 0 514145 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1943172 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 101506
/proc/meminfo: memFree=114871692/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=2062660 memory=1943172 CPUtime=281.14 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 260885 0 0 0 28036 78 0 0 20 0 1 0 77882040 2112163840 485793 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 515665 485793 1024 1200 0 514145 0
Current children cumulated CPU time: 281.14 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1943172 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 101508
/proc/meminfo: memFree=114487612/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=2062660 memory=1943172 CPUtime=340.91 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 260988 0 0 0 34012 79 0 0 20 0 1 0 77882040 2112163840 485793 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 515665 485793 1024 1200 0 514145 0
Current children cumulated CPU time: 340.91 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1943172 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 101555
/proc/meminfo: memFree=112161172/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=3825504 memory=3616932 CPUtime=400.7 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 420899 0 0 0 39930 140 0 0 20 0 1 0 77882040 3917316096 904233 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 956376 904233 1248 1200 0 954856 0
Current children cumulated CPU time: 400.7 s
Current children cumulated vsize: 3825504 KiB
Current children cumulated memory: 3616932 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 101557
/proc/meminfo: memFree=111806796/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=4235980 memory=3901308 CPUtime=460.46 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 450793 0 0 0 45884 162 0 0 20 0 1 0 77882040 4337643520 975327 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 1058995 975327 1248 1200 0 1057475 0

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

/proc/meminfo: memFree=85103168/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=18318068 memory=16497968 CPUtime=2973.05 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 2638444 0 0 0 296477 828 0 0 20 0 1 0 77882040 18757701632 4124492 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 4579517 4124492 1248 1200 0 4577997 0
Current children cumulated CPU time: 2973.05 s
Current children cumulated vsize: 18318068 KiB
Current children cumulated memory: 16497968 KiB

[startup+3042.3 s]
/proc/loadavg: 4.32 4.18 4.12 5/264 101739
/proc/meminfo: memFree=84842744/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=18331008 memory=16665320 CPUtime=3032.86 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 2659472 0 0 0 302445 841 0 0 20 0 1 0 77882040 18770952192 4166330 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 4582752 4166330 1248 1200 0 4581232 0
Current children cumulated CPU time: 3032.86 s
Current children cumulated vsize: 18331008 KiB
Current children cumulated memory: 16665320 KiB

[startup+3102.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/264 101741
/proc/meminfo: memFree=84697524/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=18331008 memory=16716536 CPUtime=3092.67 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 2666002 0 0 0 308419 848 0 0 20 0 1 0 77882040 18770952192 4179134 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 4582752 4179134 1248 1200 0 4581232 0
Current children cumulated CPU time: 3092.67 s
Current children cumulated vsize: 18331008 KiB
Current children cumulated memory: 16716536 KiB

[startup+3162.3 s]
/proc/loadavg: 4.29 4.18 4.12 5/263 101743
/proc/meminfo: memFree=84230908/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=18331004 memory=16854904 CPUtime=3152.46 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 2683430 0 0 0 314387 859 0 0 20 0 1 0 77882040 18770948096 4213726 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 4582751 4213726 1248 1200 0 4581231 0
Current children cumulated CPU time: 3152.46 s
Current children cumulated vsize: 18331004 KiB
Current children cumulated memory: 16854904 KiB

[startup+3222.3 s]
/proc/loadavg: 4.26 4.20 4.13 5/263 101745
/proc/meminfo: memFree=78582360/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=18980284 memory=17763108 CPUtime=3212.27 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 2871414 0 0 0 320330 897 0 0 20 0 1 0 77882040 19435810816 4440777 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 4745071 4440777 1248 1200 0 4743551 0
Current children cumulated CPU time: 3212.27 s
Current children cumulated vsize: 18980284 KiB
Current children cumulated memory: 17763108 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.18 4.13 5/264 101752
/proc/meminfo: memFree=77292840/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=22468448 memory=18036736 CPUtime=3272.07 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 2889912 0 0 0 326210 997 0 0 20 0 1 0 77882040 23007690752 4509184 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 5617112 4509184 1248 1200 0 5615592 0
Current children cumulated CPU time: 3272.07 s
Current children cumulated vsize: 22468448 KiB
Current children cumulated memory: 18036736 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/264 101754
/proc/meminfo: memFree=76814880/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=22481724 memory=18189552 CPUtime=3331.88 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 2900194 0 0 0 332182 1006 0 0 20 0 1 0 77882040 23021285376 4547388 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 5620431 4547388 1248 1200 0 5618911 0
Current children cumulated CPU time: 3331.88 s
Current children cumulated vsize: 22481724 KiB
Current children cumulated memory: 18189552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/264 101756
/proc/meminfo: memFree=76376540/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=22493352 memory=18249284 CPUtime=3391.68 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 2907454 0 0 0 338152 1016 0 0 20 0 1 0 77882040 23033192448 4562321 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 5623338 4562321 1248 1200 0 5621818 0
Current children cumulated CPU time: 3391.68 s
Current children cumulated vsize: 22493352 KiB
Current children cumulated memory: 18249284 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/264 101758
/proc/meminfo: memFree=75634068/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=22493352 memory=18476308 CPUtime=3451.5 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 2919490 0 0 0 344124 1026 0 0 20 0 1 0 77882040 23033192448 4619077 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 5623338 4619077 1248 1200 0 5621818 0
Current children cumulated CPU time: 3451.5 s
Current children cumulated vsize: 22493352 KiB
Current children cumulated memory: 18476308 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.12 4.10 5/265 101763
/proc/meminfo: memFree=75473656/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=22493352 memory=18617068 CPUtime=3511.31 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 2928352 0 0 0 350096 1035 0 0 20 0 1 0 77882040 23033192448 4654267 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 5623338 4654267 1248 1200 0 5621818 0
Current children cumulated CPU time: 3511.31 s
Current children cumulated vsize: 22493352 KiB
Current children cumulated memory: 18617068 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/265 101765
/proc/meminfo: memFree=75139016/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=22493352 memory=18789600 CPUtime=3571.12 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 2937792 0 0 0 356070 1042 0 0 20 0 1 0 77882040 23033192448 4697400 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 5623338 4697400 1248 1200 0 5621818 0
Current children cumulated CPU time: 3571.12 s
Current children cumulated vsize: 22493352 KiB
Current children cumulated memory: 18789600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/265 101810
/proc/meminfo: memFree=78878472/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=22493356 memory=18879320 CPUtime=3600.03 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 2943779 0 0 0 358955 1048 0 0 20 0 1 0 77882040 23033196544 4719830 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 5623339 4719830 1248 1200 0 5621819 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 22493356 KiB
Current children cumulated memory: 18879320 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.87 s, system=10.9372 s

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

[startup+3612 s]*
/proc/loadavg: 4.07 4.11 4.10 5/265 101810
/proc/meminfo: memFree=85135008/131249992 swapFree=33010160/33010684
[pid=101486] ppid=101483 vsize=13539144 memory=12602468 CPUtime=3600.74 cores=1,3
/proc/101486/stat : 101486 (Exact) R 101483 101486 100192 0 -1 4194304 2945653 0 0 0 359024 1050 0 0 20 0 1 0 77882040 13864083456 3150617 18446744073709551615 4198400 9112445 140725565657072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35414016 140725565659448 140725565659626 140725565659626 140725565665231 0
/proc/101486/statm: 3384786 3150617 1280 1200 0 3383266 0
Current children cumulated CPU time: 3600.74 s
Current children cumulated vsize: 13539144 KiB
Current children cumulated memory: 12602468 KiB

[startup+3612.81 s]
/proc/loadavg: 4.07 4.11 4.10 5/265 101810
/proc/meminfo: memFree=87502240/131249992 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3613 s]*
/proc/loadavg: 4.07 4.11 4.10 5/265 101810
/proc/meminfo: memFree=95619388/131249992 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3613.07
CPU time (s): 3601.81
CPU user time (s): 3590.87
CPU system time (s): 10.9372
CPU usage (%): 99.6882
Max. virtual memory (cumulated for all children) (KiB): 27116244
Max. memory (cumulated for all children) (KiB): 22318112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.87
system time used= 10.9372
maximum resident set size= 22479904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2946302
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= 2
involuntary context switches= 7031


# summary of solver processes directly reported to runsolver:
#   pid: 101486
#   total CPU time (s): 3601.81
#   total CPU user time (s): 3590.87
#   total CPU system time (s): 10.9372

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.64006 second user time and 17.7364 second system time

The end

Begin job on nodeC025 at 2025-07-04 11:40:33
IDJOB=4525644
IDBENCH=143870
IDSOLVER=3375
FILE ID=nodeC025/4525644-1751622033
RUNJOBID= nodeC025-1751619454-100204
SLURM_JOB_ID= 9598934
Free space on /tmp= 432924 MiB

SOLVER NAME= Exact 2025-06-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06_wcsp.wbo
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525644-1751622033/watcher-4525644-1751622033 -o /tmp/evaluation-result-4525644-1751622033/solver-4525644-1751622033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751619454-100204 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=354346452 --ls=360 HOME/instance-4525644-1751622033.wbo

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

MD5SUM BENCH= 6cf6093805b81482d093fc222108b171
RANDOM SEED=354346452

nodeC025 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.867
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.67
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.264
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.67
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		: 3547.434
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.67
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		: 3599.842
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.67
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		: 3599.660
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.67
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.820
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.67
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		: 3568.423
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.67
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.801
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        117726976 kB
MemAvailable:   126335128 kB
Buffers:            2128 kB
Cached:          9356092 kB
SwapCached:          200 kB
Active:          3741448 kB
Inactive:        9021760 kB
Active(anon):    3405688 kB
Inactive(anon):    17156 kB
Active(file):     335760 kB
Inactive(file):  9004604 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31960 kB
Writeback:             0 kB
AnonPages:       3407632 kB
Mapped:           117712 kB
Shmem:             17856 kB
KReclaimable:     214052 kB
Slab:             304332 kB
SReclaimable:     214052 kB
SUnreclaim:        90280 kB
KernelStack:        4288 kB
PageTables:         9972 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4043384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1456128 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432888 MiB
End job on nodeC025 at 2025-07-04 12:40:46