16.85/17.01 c Filename:instance-4447267-1721354577.opb, Cutoff_time:3600, memory_limit_gb:500000
16.85/17.01 c Not use presolve
2740.96/2747.90 c Use LS-small
2740.96/2747.90 s SATISFIABLE
2740.96/2747.90 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
2740.96/2747.90 c Done 2740.96s
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: 64096 MiB (59772 MiB free)
memory of node 1: 64473 MiB (61739 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447267-1721354577/watcher-4447267-1721354577 -o /tmp/evaluation-result-4447267-1721354577/solver-4447267-1721354577 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721354589-996698 --watchdog 3760 ./LS-MabS -f HOME/instance-4447267-1721354577.opb -t 3600 -s 595599602
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=996756, runsolver pid=996746
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 2.44 3.01 3.55 7/244 996759
/proc/meminfo: memFree=124348200/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=41408 memory=31216 CPUtime=0.11 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 5772 0 0 0 9 2 0 0 20 0 1 0 187616530 42401792 7804 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 10352 7804 2285 2403 0 7462 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 41408 KiB
Current children cumulated memory: 31216 KiB
[startup+0.215205 s]*
/proc/loadavg: 2.44 3.01 3.55 7/244 996759
/proc/meminfo: memFree=124320372/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=47336 memory=37440 CPUtime=0.22 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 7262 0 0 0 20 2 0 0 20 0 1 0 187616530 48472064 9360 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 11834 9360 2333 2403 0 8944 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 47336 KiB
Current children cumulated memory: 37440 KiB
[startup+0.314842 s]*
/proc/loadavg: 2.44 3.01 3.55 7/244 996759
/proc/meminfo: memFree=124294016/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=55712 memory=43948 CPUtime=0.32 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 8923 0 0 0 29 3 0 0 20 0 1 0 187616530 57049088 10987 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 13928 10987 2349 2403 0 11038 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 55712 KiB
Current children cumulated memory: 43948 KiB
[startup+0.700359 s]
/proc/loadavg: 2.44 3.01 3.55 7/244 996759
/proc/meminfo: memFree=124277832/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=59484 memory=47516 CPUtime=0.68 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 9830 0 0 0 65 3 0 0 20 0 1 0 187616530 60911616 11879 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 14871 11879 2349 2403 0 11981 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59484 KiB
Current children cumulated memory: 47516 KiB
[startup+1.50033 s]
/proc/loadavg: 2.44 3.01 3.55 7/244 996759
/proc/meminfo: memFree=124277376/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=59728 memory=48436 CPUtime=1.48 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 10001 0 0 0 145 3 0 0 20 0 1 0 187616530 61161472 12109 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 14932 12109 2349 2403 0 12042 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 59728 KiB
Current children cumulated memory: 48436 KiB
[startup+3.1138 s]
/proc/loadavg: 2.44 3.01 3.55 7/244 996761
/proc/meminfo: memFree=124269952/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=60756 memory=49488 CPUtime=3.09 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 10264 0 0 0 306 3 0 0 20 0 1 0 187616530 62214144 12372 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 15189 12372 2349 2403 0 12299 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60756 KiB
Current children cumulated memory: 49488 KiB
[startup+6.30024 s]
/proc/loadavg: 2.57 3.03 3.55 7/244 996761
/proc/meminfo: memFree=124224660/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=72984 memory=61196 CPUtime=6.27 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 13400 0 0 0 623 4 0 0 20 0 1 0 187616530 74735616 15299 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 18246 15299 2445 2403 0 15356 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 72984 KiB
Current children cumulated memory: 61196 KiB
[startup+12.7002 s]
/proc/loadavg: 2.68 3.04 3.55 7/244 996762
/proc/meminfo: memFree=124187328/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=74856 memory=62872 CPUtime=12.66 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 13885 0 0 0 1262 4 0 0 20 0 1 0 187616530 76652544 15718 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 18714 15718 2461 2403 0 15824 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 74856 KiB
Current children cumulated memory: 62872 KiB
[startup+25.5003 s]
/proc/loadavg: 3.04 3.11 3.56 7/244 996764
/proc/meminfo: memFree=124084484/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=108056 memory=95804 CPUtime=25.42 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 25381 0 0 0 2537 5 0 0 20 0 1 0 187616530 110649344 23951 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 27014 23951 2477 2403 0 24124 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 108056 KiB
Current children cumulated memory: 95804 KiB
[startup+51.1133 s]
/proc/loadavg: 3.37 3.18 3.58 7/244 996767
/proc/meminfo: memFree=124044940/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=113824 memory=102436 CPUtime=50.97 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 33859 0 0 0 5091 6 0 0 20 0 1 0 187616530 116555776 25609 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 28456 25609 2477 2403 0 25566 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 113824 KiB
Current children cumulated memory: 102436 KiB
[startup+102.3 s]
/proc/loadavg: 3.80 3.32 3.61 7/243 996778
/proc/meminfo: memFree=124015696/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=124056 memory=112672 CPUtime=102.02 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 39065 0 0 0 10194 8 0 0 20 0 1 0 187616530 127033344 28168 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 31014 28168 2477 2403 0 28124 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 124056 KiB
Current children cumulated memory: 112672 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 3.47 3.64 7/241 996789
/proc/meminfo: memFree=123994132/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=129404 memory=117828 CPUtime=161.84 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 42564 0 0 0 16175 9 0 0 20 0 1 0 187616530 132509696 29457 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 32351 29457 2477 2403 0 29461 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 129404 KiB
Current children cumulated memory: 117828 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.58 3.67 7/241 996799
/proc/meminfo: memFree=123948660/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=133780 memory=122568 CPUtime=221.65 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 46340 0 0 0 22155 10 0 0 20 0 1 0 187616530 136990720 30642 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 33445 30642 2477 2403 0 30555 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 133780 KiB
Current children cumulated memory: 122568 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.67 3.70 7/241 996809
/proc/meminfo: memFree=123902744/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=147900 memory=139140 CPUtime=281.47 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 51526 0 0 0 28136 11 0 0 20 0 1 0 187616530 151449600 34785 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 36975 34785 2477 2403 0 34085 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 147900 KiB
Current children cumulated memory: 139140 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.75 3.73 7/241 996820
/proc/meminfo: memFree=123896636/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=147900 memory=139320 CPUtime=341.33 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 51636 0 0 0 34121 12 0 0 20 0 1 0 187616530 151449600 34830 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 36975 34830 2477 2403 0 34085 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 147900 KiB
Current children cumulated memory: 139320 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.83 3.75 7/241 996831
/proc/meminfo: memFree=123897212/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=150340 memory=141448 CPUtime=401.18 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 55011 0 0 0 40105 13 0 0 20 0 1 0 187616530 153948160 35362 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 37585 35362 2477 2403 0 34695 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 150340 KiB
Current children cumulated memory: 141448 KiB
[startup+462.3 s]
/proc/loadavg: 4.42 3.95 3.80 7/242 996844
/proc/meminfo: memFree=123898968/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=146012 memory=137500 CPUtime=461.04 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 56681 0 0 0 46091 13 0 0 20 0 1 0 187616530 149516288 34375 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 36503 34375 2477 2403 0 33613 0
################
# More data... #
################
/proc/loadavg: 4.14 4.14 4.15 6/243 997871
/proc/meminfo: memFree=123763276/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=119548 memory=112460 CPUtime=2256.24 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 59465 0 0 0 222977 2647 0 0 20 0 1 0 187616530 122417152 28115 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 29887 28115 2508 2403 0 26997 0
Current children cumulated CPU time: 2256.24 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 112460 KiB
[startup+2322.3 s]
/proc/loadavg: 4.10 4.13 4.15 6/243 997881
/proc/meminfo: memFree=123703912/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=119548 memory=112460 CPUtime=2316.14 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 59467 0 0 0 228622 2992 0 0 20 0 1 0 187616530 122417152 28115 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 29887 28115 2508 2403 0 26997 0
Current children cumulated CPU time: 2316.14 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 112460 KiB
[startup+2382.3 s]
/proc/loadavg: 4.15 4.13 4.15 6/243 997892
/proc/meminfo: memFree=123645520/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=119548 memory=112460 CPUtime=2376.02 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 59469 0 0 0 234266 3336 0 0 20 0 1 0 187616530 122417152 28115 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 29887 28115 2508 2403 0 26997 0
Current children cumulated CPU time: 2376.02 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 112460 KiB
[startup+2442.3 s]
/proc/loadavg: 4.12 4.12 4.14 6/244 997903
/proc/meminfo: memFree=123591300/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=119548 memory=112460 CPUtime=2435.91 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 59471 0 0 0 239918 3673 0 0 20 0 1 0 187616530 122417152 28115 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 29887 28115 2508 2403 0 26997 0
Current children cumulated CPU time: 2435.91 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 112460 KiB
[startup+2502.3 s]
/proc/loadavg: 4.04 4.10 4.13 6/244 997914
/proc/meminfo: memFree=123527196/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=119548 memory=112460 CPUtime=2495.8 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 59473 0 0 0 245577 4003 0 0 20 0 1 0 187616530 122417152 28115 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 29887 28115 2508 2403 0 26997 0
Current children cumulated CPU time: 2495.8 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 112460 KiB
[startup+2562.3 s]
/proc/loadavg: 4.11 4.11 4.13 6/242 997925
/proc/meminfo: memFree=123471336/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=119548 memory=112460 CPUtime=2555.69 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 59475 0 0 0 251228 4341 0 0 20 0 1 0 187616530 122417152 28115 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 29887 28115 2508 2403 0 26997 0
Current children cumulated CPU time: 2555.69 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 112460 KiB
[startup+2622.3 s]
/proc/loadavg: 4.17 4.12 4.13 6/242 997935
/proc/meminfo: memFree=123413892/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=119548 memory=112460 CPUtime=2615.58 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 59477 0 0 0 256885 4673 0 0 20 0 1 0 187616530 122417152 28115 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 29887 28115 2508 2403 0 26997 0
Current children cumulated CPU time: 2615.58 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 112460 KiB
[startup+2682.3 s]
/proc/loadavg: 4.10 4.11 4.12 6/242 997945
/proc/meminfo: memFree=123356144/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=119548 memory=112460 CPUtime=2675.47 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 59479 0 0 0 262533 5014 0 0 20 0 1 0 187616530 122417152 28115 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 29887 28115 2508 2403 0 26997 0
Current children cumulated CPU time: 2675.47 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 112460 KiB
[startup+2742.3 s]
/proc/loadavg: 4.17 4.12 4.12 6/242 997956
/proc/meminfo: memFree=123301648/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=119548 memory=112460 CPUtime=2735.36 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 59481 0 0 0 268183 5353 0 0 20 0 1 0 187616530 122417152 28115 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 29887 28115 2508 2403 0 26997 0
Current children cumulated CPU time: 2735.36 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 112460 KiB
[startup+2747.9 s]
# the end of solver process 996756 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2687.1 s, system=53.8611 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2742.4 s]
/proc/loadavg: 4.17 4.12 4.12 6/242 997956
/proc/meminfo: memFree=123301648/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=119548 memory=112460 CPUtime=2735.46 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 59481 0 0 0 268192 5354 0 0 20 0 1 0 187616530 122417152 28115 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 29887 28115 2508 2403 0 26997 0
Current children cumulated CPU time: 2735.46 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 112460 KiB
[startup+2745.6 s]
/proc/loadavg: 4.17 4.12 4.12 6/242 997956
/proc/meminfo: memFree=123298996/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=119548 memory=112460 CPUtime=2738.66 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 59481 0 0 0 268493 5373 0 0 20 0 1 0 187616530 122417152 28115 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 29887 28115 2508 2403 0 26997 0
Current children cumulated CPU time: 2738.66 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 112460 KiB
[startup+2747.2 s]
/proc/loadavg: 4.15 4.12 4.12 6/242 997956
/proc/meminfo: memFree=123297932/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=119548 memory=112460 CPUtime=2740.25 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 59481 0 0 0 268644 5381 0 0 20 0 1 0 187616530 122417152 28115 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 29887 28115 2508 2403 0 26997 0
Current children cumulated CPU time: 2740.25 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 112460 KiB
[startup+2747.6 s]
/proc/loadavg: 4.15 4.12 4.12 6/242 997956
/proc/meminfo: memFree=123297932/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=119548 memory=112460 CPUtime=2740.65 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 59481 0 0 0 268681 5384 0 0 20 0 1 0 187616530 122417152 28115 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 29887 28115 2508 2403 0 26997 0
Current children cumulated CPU time: 2740.65 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 112460 KiB
[startup+2747.8 s]
/proc/loadavg: 4.15 4.12 4.12 6/242 997956
/proc/meminfo: memFree=123297932/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=119548 memory=112460 CPUtime=2740.86 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 59481 0 0 0 268700 5386 0 0 20 0 1 0 187616530 122417152 28115 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 29887 28115 2508 2403 0 26997 0
Current children cumulated CPU time: 2740.86 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 112460 KiB
[startup+2747.9 s]
/proc/loadavg: 4.15 4.12 4.12 6/242 997956
/proc/meminfo: memFree=123297932/131655788 swapFree=131071996/131071996
[pid=996756] ppid=996746 vsize=119548 memory=112460 CPUtime=2740.96 cores=1,3
/proc/996756/stat : 996756 (LS-MabS) R 996746 996756 996686 0 -1 4194304 59481 0 0 0 268710 5386 0 0 20 0 1 0 187616530 122417152 28115 134679101440 4194304 14036057 140735444997392 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 48697344 140735445001249 140735445001350 140735445001350 140735445008366 0
/proc/996756/statm: 29887 28115 2508 2403 0 26997 0
Current children cumulated CPU time: 2740.96 s
Current children cumulated vsize: 119548 KiB
Current children cumulated memory: 112460 KiB
Child status: 0
Real time (s): 2747.9
CPU time (s): 2740.96
CPU user time (s): 2687.1
CPU system time (s): 53.8611
CPU usage (%): 99.7475
Max. virtual memory (cumulated for all children) (KiB): 152536
Max. memory (cumulated for all children) (KiB): 143440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2687.1
system time used= 53.8611
maximum resident set size= 144496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59488
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= 1160
# summary of solver processes directly reported to runsolver:
# pid: 996756
# total CPU time (s): 2740.96
# total CPU user time (s): 2687.1
# total CPU system time (s): 53.8611
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7945 second user time and 27.3792 second system time
The end
Begin job on nodeC005 at 2024-07-19 04:03:09
IDJOB=4447267
IDBENCH=158375
IDSOLVER=3048
FILE ID=nodeC005/4447267-1721354577
RUNJOBID= nodeC005-1721354589-996698
SLURM_JOB_ID= 7542776
Free space on /tmp= 723780 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K71.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447267-1721354577/watcher-4447267-1721354577 -o /tmp/evaluation-result-4447267-1721354577/solver-4447267-1721354577 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721354589-996698 --watchdog 3760 ./LS-MabS -f HOME/instance-4447267-1721354577.opb -t 3600 -s 595599602
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9c6bc9cc94309c2493f896d524de96fb
RANDOM SEED=595599602
nodeC005.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 : 1193.339
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 : 6983.53
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 : 1243.941
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.35
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 : 1247.352
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 : 6983.53
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 : 1196.927
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.35
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 : 1220.039
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 : 6983.53
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 : 1258.795
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.35
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 : 1220.909
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 : 6983.53
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 : 1202.446
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124438840 kB
MemAvailable: 129853268 kB
Buffers: 511296 kB
Cached: 5685264 kB
SwapCached: 0 kB
Active: 1076748 kB
Inactive: 5445564 kB
Active(anon): 3336 kB
Inactive(anon): 368316 kB
Active(file): 1073412 kB
Inactive(file): 5077248 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 52312 kB
Writeback: 0 kB
AnonPages: 325600 kB
Mapped: 110644 kB
Shmem: 45896 kB
KReclaimable: 207932 kB
Slab: 326000 kB
SReclaimable: 207932 kB
SUnreclaim: 118068 kB
KernelStack: 3828 kB
PageTables: 9704 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 768576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 200704 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723732 MiB
End job on nodeC005 at 2024-07-19 04:48:57