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