15.55/15.61 c Filename:instance-4447177-1721351088.opb, Cutoff_time:3600, memory_limit_gb:500000
15.55/15.61 c Not use presolve
2292.23/2297.22 c Use LS-small
2292.23/2297.22 s SATISFIABLE
2292.23/2297.22 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
2292.23/2297.22 c Done 2292.25s
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62298 MiB free)
memory of node 1: 64510 MiB (62834 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447177-1721351088/watcher-4447177-1721351088 -o /tmp/evaluation-result-4447177-1721351088/solver-4447177-1721351088 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721342078-999995 --watchdog 3760 ./LS-MabS -f HOME/instance-4447177-1721351088.opb -t 3600 -s 1432408847
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1005082, runsolver pid=1005079
[startup+0.100829 s]*
/proc/loadavg: 4.13 4.09 4.09 5/259 1005083
/proc/meminfo: memFree=128101972/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=55552 memory=43960 CPUtime=0.09 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 8862 0 0 0 9 0 0 0 20 0 1 0 187277110 56885248 10990 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 13888 10990 2349 2403 0 10998 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55552 KiB
Current children cumulated memory: 43960 KiB
[startup+0.205536 s]*
/proc/loadavg: 4.13 4.09 4.09 5/259 1005083
/proc/meminfo: memFree=128097872/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=59464 memory=47624 CPUtime=0.19 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 9799 0 0 0 19 0 0 0 20 0 1 0 187277110 60891136 11906 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 14866 11906 2349 2403 0 11976 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 59464 KiB
Current children cumulated memory: 47624 KiB
[startup+0.305503 s]*
/proc/loadavg: 4.13 4.09 4.09 5/259 1005083
/proc/meminfo: memFree=128097396/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=59464 memory=47624 CPUtime=0.29 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 9807 0 0 0 29 0 0 0 20 0 1 0 187277110 60891136 11906 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 14866 11906 2349 2403 0 11976 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 59464 KiB
Current children cumulated memory: 47624 KiB
[startup+0.700178 s]
/proc/loadavg: 4.13 4.09 4.09 5/259 1005083
/proc/meminfo: memFree=128096832/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=59592 memory=48220 CPUtime=0.68 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 9957 0 0 0 68 0 0 0 20 0 1 0 187277110 61022208 12055 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 14898 12055 2349 2403 0 12008 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59592 KiB
Current children cumulated memory: 48220 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.09 4.09 5/259 1005083
/proc/meminfo: memFree=128166516/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=60748 memory=49372 CPUtime=1.48 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 10222 0 0 0 148 0 0 0 20 0 1 0 187277110 62205952 12343 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 15187 12343 2349 2403 0 12297 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60748 KiB
Current children cumulated memory: 49372 KiB
[startup+3.10532 s]
/proc/loadavg: 4.13 4.09 4.09 5/259 1005083
/proc/meminfo: memFree=128155960/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=71944 memory=60056 CPUtime=3.09 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 13086 0 0 0 308 1 0 0 20 0 1 0 187277110 73670656 15014 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 17986 15014 2445 2403 0 15096 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 71944 KiB
Current children cumulated memory: 60056 KiB
[startup+6.30014 s]
/proc/loadavg: 4.12 4.09 4.09 5/259 1005083
/proc/meminfo: memFree=128153956/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=74164 memory=62332 CPUtime=6.28 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 13746 0 0 0 627 1 0 0 20 0 1 0 187277110 75943936 15583 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 18541 15583 2461 2403 0 15651 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 74164 KiB
Current children cumulated memory: 62332 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1005131
/proc/meminfo: memFree=128236788/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=74164 memory=62596 CPUtime=12.66 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 13759 0 0 0 1265 1 0 0 20 0 1 0 187277110 75943936 15649 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 18541 15649 2461 2403 0 15651 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 74164 KiB
Current children cumulated memory: 62596 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.09 6/257 1005133
/proc/meminfo: memFree=128202312/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=95620 memory=83308 CPUtime=25.42 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 24714 0 0 0 2540 2 0 0 20 0 1 0 187277110 97914880 20827 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 23905 20827 2477 2403 0 21015 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 95620 KiB
Current children cumulated memory: 83308 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.09 4.09 6/257 1005137
/proc/meminfo: memFree=128156328/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=114596 memory=102984 CPUtime=50.97 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 33019 0 0 0 5093 4 0 0 20 0 1 0 187277110 117346304 25746 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 28649 25746 2477 2403 0 25759 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 114596 KiB
Current children cumulated memory: 102984 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/257 1005146
/proc/meminfo: memFree=128117864/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=121796 memory=110240 CPUtime=102.04 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 35639 0 0 0 10200 4 0 0 20 0 1 0 187277110 124719104 27560 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 30449 27560 2477 2403 0 27559 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 121796 KiB
Current children cumulated memory: 110240 KiB
[startup+162.3 s]
/proc/loadavg: 4.33 4.15 4.11 5/257 1005158
/proc/meminfo: memFree=128112212/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=126404 memory=114996 CPUtime=161.9 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 44404 0 0 0 16184 6 0 0 20 0 1 0 187277110 129437696 28749 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 31601 28749 2477 2403 0 28711 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 126404 KiB
Current children cumulated memory: 114996 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.15 4.11 5/257 1005169
/proc/meminfo: memFree=128107124/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=130688 memory=119036 CPUtime=221.76 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 54836 0 0 0 22168 8 0 0 20 0 1 0 187277110 133824512 29759 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 32672 29759 2477 2403 0 29782 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 130688 KiB
Current children cumulated memory: 119036 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/257 1005180
/proc/meminfo: memFree=128106344/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=130688 memory=119036 CPUtime=281.62 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 54858 0 0 0 28154 8 0 0 20 0 1 0 187277110 133824512 29759 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 32672 29759 2477 2403 0 29782 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 130688 KiB
Current children cumulated memory: 119036 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/260 1005196
/proc/meminfo: memFree=128076232/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=147660 memory=134580 CPUtime=341.47 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 59337 0 0 0 34139 8 0 0 20 0 1 0 187277110 151203840 33645 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36915 33645 2477 2403 0 34025 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 147660 KiB
Current children cumulated memory: 134580 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/260 1005208
/proc/meminfo: memFree=128066964/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=147660 memory=135748 CPUtime=401.33 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 59363 0 0 0 40125 8 0 0 20 0 1 0 187277110 151203840 33937 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36915 33937 2477 2403 0 34025 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 147660 KiB
Current children cumulated memory: 135748 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/260 1005219
/proc/meminfo: memFree=128054908/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=147660 memory=138596 CPUtime=461.19 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 59407 0 0 0 46111 8 0 0 20 0 1 0 187277110 151203840 34649 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36915 34649 2477 2403 0 34025 0
################
# More data... #
################
/proc/loadavg: 2.88 3.84 4.00 2/235 1006179
/proc/meminfo: memFree=128513504/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=146288 memory=139284 CPUtime=1838.03 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 68466 0 0 0 183558 245 0 0 20 0 1 0 187277110 149798912 34821 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36572 34821 2508 2403 0 33682 0
Current children cumulated CPU time: 1838.03 s
Current children cumulated vsize: 146288 KiB
Current children cumulated memory: 139284 KiB
[startup+1902.3 s]
/proc/loadavg: 1.75 3.33 3.82 2/235 1006191
/proc/meminfo: memFree=128512844/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=146288 memory=139284 CPUtime=1897.93 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 68468 0 0 0 189209 584 0 0 20 0 1 0 187277110 149798912 34821 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36572 34821 2508 2403 0 33682 0
Current children cumulated CPU time: 1897.93 s
Current children cumulated vsize: 146288 KiB
Current children cumulated memory: 139284 KiB
[startup+1962.3 s]
/proc/loadavg: 1.32 2.92 3.64 2/235 1006203
/proc/meminfo: memFree=128512208/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=146288 memory=139284 CPUtime=1957.84 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 68470 0 0 0 194871 913 0 0 20 0 1 0 187277110 149798912 34821 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36572 34821 2508 2403 0 33682 0
Current children cumulated CPU time: 1957.84 s
Current children cumulated vsize: 146288 KiB
Current children cumulated memory: 139284 KiB
[startup+2022.3 s]
/proc/loadavg: 1.24 2.60 3.48 2/235 1006214
/proc/meminfo: memFree=128511464/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=146288 memory=139284 CPUtime=2017.76 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 68472 0 0 0 200532 1244 0 0 20 0 1 0 187277110 149798912 34821 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36572 34821 2508 2403 0 33682 0
Current children cumulated CPU time: 2017.76 s
Current children cumulated vsize: 146288 KiB
Current children cumulated memory: 139284 KiB
[startup+2082.3 s]
/proc/loadavg: 1.08 2.31 3.33 2/235 1006225
/proc/meminfo: memFree=128510700/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=146288 memory=139284 CPUtime=2077.66 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 68474 0 0 0 206191 1575 0 0 20 0 1 0 187277110 149798912 34821 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36572 34821 2508 2403 0 33682 0
Current children cumulated CPU time: 2077.66 s
Current children cumulated vsize: 146288 KiB
Current children cumulated memory: 139284 KiB
[startup+2142.3 s]
/proc/loadavg: 1.10 2.09 3.19 2/237 1006239
/proc/meminfo: memFree=128510108/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=146288 memory=139284 CPUtime=2137.57 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 68476 0 0 0 211847 1910 0 0 20 0 1 0 187277110 149798912 34821 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36572 34821 2508 2403 0 33682 0
Current children cumulated CPU time: 2137.57 s
Current children cumulated vsize: 146288 KiB
Current children cumulated memory: 139284 KiB
[startup+2202.3 s]
/proc/loadavg: 1.14 1.92 3.06 2/237 1006251
/proc/meminfo: memFree=128509220/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=146288 memory=139284 CPUtime=2197.48 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 68478 0 0 0 217521 2227 0 0 20 0 1 0 187277110 149798912 34821 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36572 34821 2508 2403 0 33682 0
Current children cumulated CPU time: 2197.48 s
Current children cumulated vsize: 146288 KiB
Current children cumulated memory: 139284 KiB
[startup+2262.3 s]
/proc/loadavg: 1.10 1.77 2.93 2/237 1006264
/proc/meminfo: memFree=128508408/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=146288 memory=139284 CPUtime=2257.39 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 68480 0 0 0 223180 2559 0 0 20 0 1 0 187277110 149798912 34821 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36572 34821 2508 2403 0 33682 0
Current children cumulated CPU time: 2257.39 s
Current children cumulated vsize: 146288 KiB
Current children cumulated memory: 139284 KiB
[startup+2297.22 s]
# the end of solver process 1005082 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2264.74 s, system=27.5303 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2278.4 s]
/proc/loadavg: 1.08 1.73 2.90 2/237 1006267
/proc/meminfo: memFree=128508408/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=146288 memory=139284 CPUtime=2273.46 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 68480 0 0 0 224699 2647 0 0 20 0 1 0 187277110 149798912 34821 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36572 34821 2508 2403 0 33682 0
Current children cumulated CPU time: 2273.46 s
Current children cumulated vsize: 146288 KiB
Current children cumulated memory: 139284 KiB
[startup+2284.8 s]
/proc/loadavg: 1.07 1.71 2.88 2/236 1006283
/proc/meminfo: memFree=128508512/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=146288 memory=139284 CPUtime=2279.86 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 68482 0 0 0 225302 2684 0 0 20 0 1 0 187277110 149798912 34821 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36572 34821 2508 2403 0 33682 0
Current children cumulated CPU time: 2279.86 s
Current children cumulated vsize: 146288 KiB
Current children cumulated memory: 139284 KiB
[startup+2291.2 s]
/proc/loadavg: 1.06 1.69 2.87 2/236 1006284
/proc/meminfo: memFree=128508288/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=146288 memory=139284 CPUtime=2286.24 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 68482 0 0 0 225904 2720 0 0 20 0 1 0 187277110 149798912 34821 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36572 34821 2508 2403 0 33682 0
Current children cumulated CPU time: 2286.24 s
Current children cumulated vsize: 146288 KiB
Current children cumulated memory: 139284 KiB
[startup+2294.4 s]
/proc/loadavg: 1.06 1.68 2.86 2/236 1006285
/proc/meminfo: memFree=128507996/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=146288 memory=139284 CPUtime=2289.44 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 68482 0 0 0 226207 2737 0 0 20 0 1 0 187277110 149798912 34821 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36572 34821 2508 2403 0 33682 0
Current children cumulated CPU time: 2289.44 s
Current children cumulated vsize: 146288 KiB
Current children cumulated memory: 139284 KiB
[startup+2296 s]*
/proc/loadavg: 1.06 1.68 2.86 2/236 1006285
/proc/meminfo: memFree=128508176/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=146288 memory=139284 CPUtime=2291.04 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 68482 0 0 0 226357 2747 0 0 20 0 1 0 187277110 149798912 34821 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36572 34821 2508 2403 0 33682 0
Current children cumulated CPU time: 2291.04 s
Current children cumulated vsize: 146288 KiB
Current children cumulated memory: 139284 KiB
[startup+2296.8 s]
/proc/loadavg: 1.06 1.68 2.86 2/236 1006285
/proc/meminfo: memFree=128508176/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=146288 memory=139284 CPUtime=2291.83 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 68482 0 0 0 226433 2750 0 0 20 0 1 0 187277110 149798912 34821 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36572 34821 2508 2403 0 33682 0
Current children cumulated CPU time: 2291.83 s
Current children cumulated vsize: 146288 KiB
Current children cumulated memory: 139284 KiB
[startup+2297.2 s]
/proc/loadavg: 1.06 1.68 2.86 2/236 1006285
/proc/meminfo: memFree=128508176/131524600 swapFree=131071996/131071996
[pid=1005082] ppid=1005079 vsize=146288 memory=139284 CPUtime=2292.23 cores=5,7
/proc/1005082/stat : 1005082 (LS-MabS) R 1005079 1005082 999982 0 -1 4194304 68482 0 0 0 226471 2752 0 0 20 0 1 0 187277110 149798912 34821 134679101440 4194304 14036057 140726550937968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44261376 140726550942752 140726550942854 140726550942854 140726550949870 0
/proc/1005082/statm: 36572 34821 2508 2403 0 33682 0
Current children cumulated CPU time: 2292.23 s
Current children cumulated vsize: 146288 KiB
Current children cumulated memory: 139284 KiB
Child status: 0
Real time (s): 2297.22
CPU time (s): 2292.27
CPU user time (s): 2264.74
CPU system time (s): 27.5303
CPU usage (%): 99.7843
Max. virtual memory (cumulated for all children) (KiB): 178300
Max. memory (cumulated for all children) (KiB): 169316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2264.74
system time used= 27.5303
maximum resident set size= 169316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68491
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= 27
involuntary context switches= 928
# summary of solver processes directly reported to runsolver:
# pid: 1005082
# total CPU time (s): 2292.27
# total CPU user time (s): 2264.74
# total CPU system time (s): 27.5303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.03217 second user time and 8.95636 second system time
The end
Begin job on nodeC031 at 2024-07-19 03:05:01
IDJOB=4447177
IDBENCH=158370
IDSOLVER=3048
FILE ID=nodeC031/4447177-1721351088
RUNJOBID= nodeC031-1721342078-999995
SLURM_JOB_ID= 7542737
Free space on /tmp= 890044 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K70.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-4447177-1721351088/watcher-4447177-1721351088 -o /tmp/evaluation-result-4447177-1721351088/solver-4447177-1721351088 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721342078-999995 --watchdog 3760 ./LS-MabS -f HOME/instance-4447177-1721351088.opb -t 3600 -s 1432408847
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 50081d64c9df1fe5f37c653f2c9a5c32
RANDOM SEED=1432408847
nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3657.567
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.481
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.886
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.935
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3657.649
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.987
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.791
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.643
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128136604 kB
MemAvailable: 129214376 kB
Buffers: 491912 kB
Cached: 1417892 kB
SwapCached: 0 kB
Active: 968292 kB
Inactive: 1800532 kB
Active(anon): 1540 kB
Inactive(anon): 895232 kB
Active(file): 966752 kB
Inactive(file): 905300 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13364 kB
Writeback: 40 kB
AnonPages: 857340 kB
Mapped: 138612 kB
Shmem: 37720 kB
KReclaimable: 90736 kB
Slab: 202116 kB
SReclaimable: 90736 kB
SUnreclaim: 111380 kB
KernelStack: 4176 kB
PageTables: 11128 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1314616 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 686080 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: 185044 kB
DirectMap2M: 16365568 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC031 at 2024-07-19 03:43:18