0.00/0.00 c Filename:instance-4428315-1722806084.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Not use presolve
16.61/16.70 c Use LS-small
16.61/16.71 o 50769
3557.94/3564.45 s SATISFIABLE
3557.94/3564.45 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
3557.94/3564.45 c Done 16.62s
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: 64059 MiB (62959 MiB free)
memory of node 1: 64510 MiB (63558 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428315-1722806084/watcher-4428315-1722806084 -o /tmp/evaluation-result-4428315-1722806084/solver-4428315-1722806084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722806084-249639 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428315-1722806084.opb -t 3558 -s 2019462709
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=249686, runsolver pid=249679
[startup+0.100984 s]*
/proc/loadavg: 0.12 0.11 0.09 6/242 249703
/proc/meminfo: memFree=129507112/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=44420 memory=33280 CPUtime=0.09 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 6279 0 0 0 7 2 0 0 20 0 1 0 46979122 45486080 8320 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 11105 8320 2301 2403 0 8215 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44420 KiB
Current children cumulated memory: 33280 KiB
[startup+0.21298 s]*
/proc/loadavg: 0.12 0.11 0.09 6/242 249703
/proc/meminfo: memFree=129470512/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=47776 memory=36772 CPUtime=0.19 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 7123 0 0 0 17 2 0 0 20 0 1 0 46979122 48922624 9193 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 11944 9193 2317 2403 0 9054 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47776 KiB
Current children cumulated memory: 36772 KiB
[startup+0.312575 s]*
/proc/loadavg: 0.12 0.11 0.09 6/242 249703
/proc/meminfo: memFree=129457556/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=50108 memory=39264 CPUtime=0.28 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 7701 0 0 0 26 2 0 0 20 0 1 0 46979122 51310592 9816 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 12527 9816 2349 2403 0 9637 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 50108 KiB
Current children cumulated memory: 39264 KiB
[startup+0.700275 s]
/proc/loadavg: 0.12 0.11 0.09 6/242 249703
/proc/meminfo: memFree=129436212/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=59392 memory=48696 CPUtime=0.67 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 10147 0 0 0 63 4 0 0 20 0 1 0 46979122 60817408 12174 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 14848 12174 2445 2403 0 11958 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 59392 KiB
Current children cumulated memory: 48696 KiB
[startup+1.50027 s]
/proc/loadavg: 0.12 0.11 0.09 6/242 249703
/proc/meminfo: memFree=129406244/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=60920 memory=50280 CPUtime=1.46 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 10533 0 0 0 142 4 0 0 20 0 1 0 46979122 62382080 12570 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 15230 12570 2445 2403 0 12340 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 60920 KiB
Current children cumulated memory: 50280 KiB
[startup+3.11184 s]
/proc/loadavg: 0.43 0.18 0.11 6/242 249703
/proc/meminfo: memFree=129334064/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=68412 memory=57144 CPUtime=3.06 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 12253 0 0 0 302 4 0 0 20 0 1 0 46979122 70053888 14286 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 17103 14286 2445 2403 0 14213 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 68412 KiB
Current children cumulated memory: 57144 KiB
[startup+6.30025 s]
/proc/loadavg: 0.43 0.18 0.11 6/242 249703
/proc/meminfo: memFree=129286760/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=100660 memory=87496 CPUtime=6.24 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 23352 0 0 0 618 6 0 0 20 0 1 0 46979122 103075840 21874 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 25165 21874 2461 2403 0 22275 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 100660 KiB
Current children cumulated memory: 87496 KiB
[startup+12.7003 s]
/proc/loadavg: 0.71 0.24 0.13 6/242 249705
/proc/meminfo: memFree=129161016/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=176044 memory=162184 CPUtime=12.62 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 42039 0 0 0 1252 10 0 0 20 0 1 0 46979122 180269056 40546 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 44011 40546 2461 2403 0 41121 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 176044 KiB
Current children cumulated memory: 162184 KiB
[startup+25.5002 s]
/proc/loadavg: 1.52 0.44 0.20 6/242 249706
/proc/meminfo: memFree=129182044/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=132744 CPUtime=25.38 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48756 0 0 0 2498 40 0 0 20 0 1 0 46979122 147320832 33186 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 33186 2492 2403 0 33077 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 132744 KiB
[startup+51.1117 s]
/proc/loadavg: 2.37 0.73 0.30 6/240 249711
/proc/meminfo: memFree=129181292/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=132744 CPUtime=50.93 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48756 0 0 0 4970 123 0 0 20 0 1 0 46979122 147320832 33186 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 33186 2492 2403 0 33077 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 132744 KiB
[startup+102.3 s]
/proc/loadavg: 3.39 1.27 0.51 6/240 249721
/proc/meminfo: memFree=129180400/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=132744 CPUtime=102 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48756 0 0 0 9903 297 0 0 20 0 1 0 46979122 147320832 33186 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 33186 2492 2403 0 33077 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 132744 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 1.81 0.75 6/240 249731
/proc/meminfo: memFree=129139816/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=136000 CPUtime=161.88 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48786 0 0 0 15678 510 0 0 20 0 1 0 46979122 147320832 34000 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34000 2492 2403 0 33077 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 136000 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.23 0.96 6/240 249742
/proc/meminfo: memFree=129107236/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=221.76 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48792 0 0 0 21463 713 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.58 1.16 6/240 249752
/proc/meminfo: memFree=129085264/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=281.65 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48798 0 0 0 27242 923 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 2.87 1.35 6/241 249767
/proc/meminfo: memFree=129068260/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=341.55 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48801 0 0 0 33029 1126 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.09 1.53 6/241 249778
/proc/meminfo: memFree=129045480/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=401.44 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48804 0 0 0 38814 1330 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 401.44 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+462.3 s]
/proc/loadavg: 4.27 3.32 1.70 6/241 249788
/proc/meminfo: memFree=129023872/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=461.33 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48807 0 0 0 44596 1537 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
################
# More data... #
################
/proc/loadavg: 4.10 4.12 4.03 6/240 251476
/proc/meminfo: memFree=129034344/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=3156.54 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48942 0 0 0 304801 10853 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 3156.54 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.04 6/242 251713
/proc/meminfo: memFree=129033760/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=3216.44 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48945 0 0 0 310592 11052 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 3216.44 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.04 6/242 251724
/proc/meminfo: memFree=129033444/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=3276.33 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48948 0 0 0 316373 11260 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 3276.33 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.14 4.05 6/243 252023
/proc/meminfo: memFree=129086960/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=3336.23 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48951 0 0 0 322154 11469 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 3336.23 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.14 4.05 6/243 252034
/proc/meminfo: memFree=129086704/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=3396.12 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48954 0 0 0 327937 11675 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 3396.12 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.06 6/242 252044
/proc/meminfo: memFree=129086396/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=3456.02 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48957 0 0 0 333726 11876 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 3456.02 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.06 6/241 252055
/proc/meminfo: memFree=129086096/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=3515.91 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48960 0 0 0 339507 12084 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 3515.91 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+3564.46 s]
# the end of solver process 249686 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3435.68 s, system=122.321 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.13 4.14 4.06 6/241 252056
/proc/meminfo: memFree=129086092/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=3526.39 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48960 0 0 0 340519 12120 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 3526.39 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+3545.6 s]
/proc/loadavg: 4.10 4.13 4.06 6/241 252059
/proc/meminfo: memFree=129085688/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=3539.17 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48960 0 0 0 341752 12165 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 3539.17 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+3552 s]*
/proc/loadavg: 4.10 4.13 4.06 6/241 252060
/proc/meminfo: memFree=129085900/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=3545.56 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48960 0 0 0 342370 12186 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 3545.56 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+3558.4 s]
/proc/loadavg: 4.17 4.15 4.07 6/241 252062
/proc/meminfo: memFree=129085816/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=3551.95 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48963 0 0 0 342984 12211 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 3551.95 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+3561.6 s]
/proc/loadavg: 4.15 4.14 4.07 6/241 252062
/proc/meminfo: memFree=129085908/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=3555.14 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48963 0 0 0 343291 12223 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 3555.14 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+3563.2 s]
/proc/loadavg: 4.15 4.14 4.07 6/241 252062
/proc/meminfo: memFree=129085936/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=3556.74 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48963 0 0 0 343445 12229 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 3556.74 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+3564 s]*
/proc/loadavg: 4.14 4.14 4.07 6/241 252062
/proc/meminfo: memFree=129085936/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=3557.55 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48963 0 0 0 343524 12231 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 3557.55 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
[startup+3564.4 s]
/proc/loadavg: 4.14 4.14 4.07 6/241 252062
/proc/meminfo: memFree=129085936/131655788 swapFree=131071472/131071996
[pid=249686] ppid=249679 vsize=143868 memory=137168 CPUtime=3557.94 cores=4,6
/proc/249686/stat : 249686 (LS-MabS) R 249679 249686 249628 0 -1 4194304 48963 0 0 0 343562 12232 0 0 20 0 1 0 46979122 147320832 34292 134679101440 4194304 14036057 140727829786560 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50253824 140727829795876 140727829795978 140727829795978 140727829802990 0
/proc/249686/statm: 35967 34292 2492 2403 0 33077 0
Current children cumulated CPU time: 3557.94 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 137168 KiB
Child status: 0
Real time (s): 3564.46
CPU time (s): 3558
CPU user time (s): 3435.68
CPU system time (s): 122.321
CPU usage (%): 99.8189
Max. virtual memory (cumulated for all children) (KiB): 197464
Max. memory (cumulated for all children) (KiB): 182592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3435.68
system time used= 122.321
maximum resident set size= 182856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48967
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= 5
involuntary context switches= 1339
# summary of solver processes directly reported to runsolver:
# pid: 249686
# total CPU time (s): 3558
# total CPU user time (s): 3435.68
# total CPU system time (s): 122.321
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3546 second user time and 27.6998 second system time
The end
Begin job on nodeC008 at 2024-08-04 23:14:44
IDJOB=4428315
IDBENCH=148155
IDSOLVER=3048
FILE ID=nodeC008/4428315-1722806084
RUNJOBID= nodeC008-1722806084-249639
SLURM_JOB_ID= 8258566
Free space on /tmp= 723776 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428315-1722806084/watcher-4428315-1722806084 -o /tmp/evaluation-result-4428315-1722806084/solver-4428315-1722806084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722806084-249639 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428315-1722806084.opb -t 3558 -s 2019462709
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=2019462709
nodeC008.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 : 0xb00001f
cpu MHz : 1197.395
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.364
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.362
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.358
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.602
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.719
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.365
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.366
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129557244 kB
MemAvailable: 130074764 kB
Buffers: 298184 kB
Cached: 1062940 kB
SwapCached: 72 kB
Active: 506388 kB
Inactive: 1140108 kB
Active(anon): 1384 kB
Inactive(anon): 313284 kB
Active(file): 505004 kB
Inactive(file): 826824 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 52756 kB
Writeback: 0 kB
AnonPages: 285080 kB
Mapped: 97596 kB
Shmem: 29296 kB
KReclaimable: 51448 kB
Slab: 133524 kB
SReclaimable: 51448 kB
SUnreclaim: 82076 kB
KernelStack: 3600 kB
PageTables: 8936 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 641180 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 18496 kB
HardwareCorrupted: 0 kB
AnonHugePages: 180224 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: 269128 kB
DirectMap2M: 22704128 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723732 MiB
End job on nodeC008 at 2024-08-05 00:14:09