0.00/0.00 c NaPS 1.02b5.
0.00/0.00 c Input file name: HOME/instance-4447191-1721351940.opb
49.87/50.05 s SATISFIABLE
49.87/50.05 c _____________________________________________________________________________
49.87/50.05 c
49.87/50.05 c std/band forms : 66,0
49.87/50.05 c 2cl/3cl ITE-codings : 3261,0
49.87/50.05 c BDD/srt/adr Max costs : 107,0,0
49.87/50.05 c BDDraw/bin/mul/srt/adr: 66,0,0,0,0
49.87/50.05 c BDD nodes : 6654
49.87/50.05 c Es1/CC detections : 0,0
49.87/50.05 c SAT/UNSAT calls : 1,0
49.87/50.05 c regenrated variables : 0
49.87/50.05 c restarts : 4712
49.87/50.05 c conflicts : 405681 (8135 /sec)
49.87/50.05 c decisions : 2423384 (48594 /sec)
49.87/50.05 c propagations : 166346730 (3335610 /sec)
49.87/50.05 c inspects : 0 (0 /sec)
49.87/50.05 c CPU time (solving tm) : 49.87 s (49.79 s)
49.87/50.05 c Time for Opt-base : 0 s
49.87/50.05 c _____________________________________________________________________________
49.87/50.05 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
49.87/50.05 v -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
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: 63968 MiB (61198 MiB free)
memory of node 1: 64473 MiB (62504 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447191-1721351940/watcher-4447191-1721351940 -o /tmp/evaluation-result-4447191-1721351940/solver-4447191-1721351940 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721351488-989673 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4447191-1721351940.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=989881, runsolver pid=989878
[startup+0.100091 s]*
/proc/loadavg: 4.10 3.86 3.88 5/260 989886
/proc/meminfo: memFree=126665356/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=8100 memory=7176 CPUtime=0.09 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 1610 0 0 0 9 0 0 0 20 0 1 0 187362912 8294400 1794 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 2025 1794 421 379 0 1559 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18032 KiB
Current children cumulated memory: 9828 KiB
[startup+0.205754 s]*
/proc/loadavg: 4.10 3.86 3.88 5/260 989886
/proc/meminfo: memFree=126661836/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=9408 memory=8228 CPUtime=0.2 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 1884 0 0 0 20 0 0 0 20 0 1 0 187362912 9633792 2057 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 2352 2057 421 379 0 1886 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19340 KiB
Current children cumulated memory: 10880 KiB
[startup+0.305709 s]*
/proc/loadavg: 4.10 3.86 3.88 5/260 989886
/proc/meminfo: memFree=126660352/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=10704 memory=9284 CPUtime=0.3 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 2117 0 0 0 30 0 0 0 20 0 1 0 187362912 10960896 2321 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 2676 2321 421 379 0 2210 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20636 KiB
Current children cumulated memory: 11936 KiB
[startup+0.700263 s]
/proc/loadavg: 4.10 3.86 3.88 5/260 989886
/proc/meminfo: memFree=126658784/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=13488 memory=11292 CPUtime=0.68 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 3170 0 0 0 68 0 0 0 20 0 1 0 187362912 13811712 2823 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 3372 2823 421 379 0 2906 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 23420 KiB
Current children cumulated memory: 13944 KiB
[startup+1.50028 s]
/proc/loadavg: 4.09 3.87 3.88 5/260 989886
/proc/meminfo: memFree=126650016/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=20660 memory=17488 CPUtime=1.49 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 4085 0 0 0 148 1 0 0 20 0 1 0 187362912 21155840 4372 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 5165 4372 421 379 0 4699 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 30592 KiB
Current children cumulated memory: 20140 KiB
[startup+3.10565 s]
/proc/loadavg: 4.09 3.87 3.88 5/260 989886
/proc/meminfo: memFree=126630284/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=32152 memory=22308 CPUtime=3.08 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 4790 0 0 0 307 1 0 0 20 0 1 0 187362912 32923648 5577 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 8038 5577 421 379 0 7572 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42084 KiB
Current children cumulated memory: 24960 KiB
[startup+6.30026 s]
/proc/loadavg: 4.08 3.87 3.88 5/260 989886
/proc/meminfo: memFree=126603956/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=34940 memory=30008 CPUtime=6.27 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 5178 0 0 0 626 1 0 0 20 0 1 0 187362912 35778560 7502 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 8735 7502 421 379 0 8269 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44872 KiB
Current children cumulated memory: 32660 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 3.87 3.88 5/260 989887
/proc/meminfo: memFree=126556516/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=34940 memory=33608 CPUtime=12.65 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 5614 0 0 0 1264 1 0 0 20 0 1 0 187362912 35778560 8402 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 8735 8402 421 379 0 8269 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 44872 KiB
Current children cumulated memory: 36260 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 3.89 3.89 5/260 989889
/proc/meminfo: memFree=126574932/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=82028 memory=64556 CPUtime=25.42 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 6824 0 0 0 2539 3 0 0 20 0 1 0 187362912 83996672 16139 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 20507 16139 421 379 0 20041 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 91960 KiB
Current children cumulated memory: 67208 KiB
[startup+50.0547 s]
# the end of solver process 989881 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=49.8724 s, system=0.06032 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 4.14 3.89 3.89 5/260 989889
/proc/meminfo: memFree=126574932/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=82028 memory=64556 CPUtime=25.52 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 6825 0 0 0 2549 3 0 0 20 0 1 0 187362912 83996672 16139 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 20507 16139 421 379 0 20041 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 91960 KiB
Current children cumulated memory: 67208 KiB
[startup+38.4002 s]
/proc/loadavg: 4.11 3.90 3.89 5/260 989892
/proc/meminfo: memFree=126666744/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=131348 memory=100356 CPUtime=38.29 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 7363 0 0 0 3825 4 0 0 20 0 1 0 187362912 134500352 25089 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 32837 25089 421 379 0 32371 0
Current children cumulated CPU time: 38.29 s
Current children cumulated vsize: 141280 KiB
Current children cumulated memory: 103008 KiB
[startup+44.8003 s]
/proc/loadavg: 4.10 3.90 3.89 6/260 989892
/proc/meminfo: memFree=126643624/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=82028 memory=64604 CPUtime=44.67 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 7368 0 0 0 4463 4 0 0 20 0 1 0 187362912 83996672 16151 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 20507 16151 421 379 0 20041 0
Current children cumulated CPU time: 44.67 s
Current children cumulated vsize: 91960 KiB
Current children cumulated memory: 67256 KiB
[startup+48.0002 s]*
/proc/loadavg: 4.09 3.90 3.89 5/260 989893
/proc/meminfo: memFree=126568768/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=131348 memory=106352 CPUtime=47.87 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 7622 0 0 0 4782 5 0 0 20 0 1 0 187362912 134500352 26588 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 32837 26588 421 379 0 32371 0
Current children cumulated CPU time: 47.87 s
Current children cumulated vsize: 141280 KiB
Current children cumulated memory: 109004 KiB
[startup+48.8002 s]
/proc/loadavg: 4.09 3.90 3.89 5/260 989893
/proc/meminfo: memFree=126568768/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=82028 memory=64604 CPUtime=48.67 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 7623 0 0 0 4862 5 0 0 20 0 1 0 187362912 83996672 16151 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 20507 16151 421 379 0 20041 0
Current children cumulated CPU time: 48.67 s
Current children cumulated vsize: 91960 KiB
Current children cumulated memory: 67256 KiB
[startup+49.6002 s]
/proc/loadavg: 4.09 3.90 3.89 5/260 989893
/proc/meminfo: memFree=126603408/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=82028 memory=64604 CPUtime=49.46 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 7623 0 0 0 4941 5 0 0 20 0 1 0 187362912 83996672 16151 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 20507 16151 421 379 0 20041 0
Current children cumulated CPU time: 49.46 s
Current children cumulated vsize: 91960 KiB
Current children cumulated memory: 67256 KiB
[startup+50.0002 s]*
/proc/loadavg: 4.09 3.90 3.89 5/260 989893
/proc/meminfo: memFree=126593172/131524600 swapFree=131071996/131071996
[pid=989881] ppid=989878 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/989881/stat : 989881 (naps-1.02b5.sh) S 989878 989881 989662 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 187362911 10170368 663 134679101440 94451875508224 94451876587544 140723519328496 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94451878686000 94451878733188 94451879362560 140723519337439 140723519337566 140723519337566 140723519344582 0
/proc/989881/statm: 2483 663 583 264 0 134 0
[pid=989886] ppid=989881 vsize=82028 memory=64604 CPUtime=49.87 cores=4,6
/proc/989886/stat : 989886 (naps-1.02b5) R 989881 989881 989662 0 -1 4194304 7632 0 0 0 4982 5 0 0 20 0 1 0 187362912 83996672 16151 134679101440 4194304 5746509 140720369906256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14327808 140720369910766 140720369910880 140720369910880 140720369917897 0
/proc/989886/statm: 20507 16151 421 379 0 20041 0
Current children cumulated CPU time: 49.87 s
Current children cumulated vsize: 91960 KiB
Current children cumulated memory: 67256 KiB
Child status: 20
Real time (s): 50.0547
CPU time (s): 49.9327
CPU user time (s): 49.8724
CPU system time (s): 0.06032
CPU usage (%): 99.7563
Max. virtual memory (cumulated for all children) (KiB): 141280
Max. memory (cumulated for all children) (KiB): 111052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.8724
system time used= 0.06032
maximum resident set size= 108400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8107
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= 12
involuntary context switches= 48
# summary of solver processes directly reported to runsolver:
# pid: 989881
# total CPU time (s): 49.9327
# total CPU user time (s): 49.8724
# total CPU system time (s): 0.06032
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.114812 second user time and 0.276817 second system time
The end
Begin job on nodeC032 at 2024-07-19 03:19:12
IDJOB=4447191
IDBENCH=158370
IDSOLVER=3065
FILE ID=nodeC032/4447191-1721351940
RUNJOBID= nodeC032-1721351488-989673
SLURM_JOB_ID= 7542756
Free space on /tmp= 890072 MiB
SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K70.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447191-1721351940/watcher-4447191-1721351940 -o /tmp/evaluation-result-4447191-1721351940/solver-4447191-1721351940 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721351488-989673 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4447191-1721351940.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 50081d64c9df1fe5f37c653f2c9a5c32
RANDOM SEED=1430184252
nodeC032.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 : 3659.709
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.33
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 : 3686.464
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 : 7005.03
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 : 3609.402
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.33
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.956
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 : 7005.03
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 : 3653.253
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.33
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 : 3686.591
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 : 7005.03
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 : 3639.305
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.855
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 : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126674184 kB
MemAvailable: 129125884 kB
Buffers: 513160 kB
Cached: 2753340 kB
SwapCached: 0 kB
Active: 978072 kB
Inactive: 3212212 kB
Active(anon): 1584 kB
Inactive(anon): 959960 kB
Active(file): 976488 kB
Inactive(file): 2252252 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 4336 kB
Writeback: 12 kB
AnonPages: 923828 kB
Mapped: 111588 kB
Shmem: 37720 kB
KReclaimable: 125564 kB
Slab: 241240 kB
SReclaimable: 125564 kB
SUnreclaim: 115676 kB
KernelStack: 4176 kB
PageTables: 11260 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1305388 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70752 kB
HardwareCorrupted: 0 kB
AnonHugePages: 565248 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC032 at 2024-07-19 03:20:02