0.00/0.00 c NaPS 1.03.
0.00/0.00 c Input file name: HOME/instance-4447339-1721335950.opb
23.83/23.92 s SATISFIABLE
23.83/23.92 c _____________________________________________________________________________
23.83/23.92 c std/band forms : 68,0
23.83/23.92 c 2cl/3cl ITE-codings : 0,0
23.83/23.92 c BDD/srt/adr Max costs : 0,914,0
23.83/23.92 c BDDraw/bin/mul/srt/adr: 0,0,0,68,0
23.83/23.92 c BDD nodes : 0
23.83/23.92 c Es1/CC detections : 0,0
23.83/23.92 c CC sort : 68
23.83/23.92 c SAT/UNSAT calls : 1,0
23.83/23.92 c regenrated variables : 0
23.83/23.92 c eliminated fixed lits : 0
23.83/23.92 c goal lit flips : 0
23.83/23.92 c goal stages : 0
23.83/23.92 c goal shrink : 0
23.83/23.92 c goal coeff separations: 0
23.83/23.92 c restarts : 12391
23.83/23.92 c conflicts : 293491 (12314 /sec)
23.83/23.92 c decisions : 2014793 (84532 /sec)
23.83/23.92 c propagations : 218128001 (9151761 /sec)
23.83/23.92 c inspects : 0 (0 /sec)
23.83/23.92 c CPU time (solving tm) : 23.83 s (23.77 s, SAT 23.77 s, UNSAT 0 s)
23.83/23.92 c Time for Opt-base : 0.000394 s
23.83/23.92 c Steps for Opt-base : 0
23.83/23.92 c Time for BDD coding : 0 s
23.83/23.92 c Time for srt coding : 0.003714 s
23.83/23.92 c _____________________________________________________________________________
23.83/23.92 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
23.83/23.92 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
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 (61250 MiB free)
memory of node 1: 64510 MiB (61469 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447339-1721335950/watcher-4447339-1721335950 -o /tmp/evaluation-result-4447339-1721335950/solver-4447339-1721335950 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721328665-945240 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4447339-1721335950.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=950390, runsolver pid=950387
[startup+0.100097 s]*
/proc/loadavg: 4.17 4.15 4.15 5/260 950395
/proc/meminfo: memFree=125651636/131524600 swapFree=131071996/131071996
[pid=950390] ppid=950387 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/950390/stat : 950390 (naps-1.03.sh) S 950387 950390 945228 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 185755530 10170368 659 134679101440 93896471289856 93896472369176 140727606412192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93896474467632 93896474514820 93896505507840 140727606416355 140727606416480 140727606416480 140727606423496 0
/proc/950390/statm: 2483 659 580 264 0 134 0
[pid=950395] ppid=950390 vsize=19488 memory=14448 CPUtime=0.09 cores=1,3
/proc/950395/stat : 950395 (naps-1.03) R 950390 950390 945228 0 -1 4194304 4164 0 0 0 9 0 0 0 20 0 1 0 185755530 19955712 3612 134679101440 4194304 6891213 140730482661376 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 11522048 140730482668532 140730482668644 140730482668644 140730482675659 0
/proc/950395/statm: 4872 3612 532 659 0 4076 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29420 KiB
Current children cumulated memory: 17084 KiB
[startup+0.205693 s]*
/proc/loadavg: 4.17 4.15 4.15 5/260 950395
/proc/meminfo: memFree=125651300/131524600 swapFree=131071996/131071996
[pid=950390] ppid=950387 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/950390/stat : 950390 (naps-1.03.sh) S 950387 950390 945228 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 185755530 10170368 659 134679101440 93896471289856 93896472369176 140727606412192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93896474467632 93896474514820 93896505507840 140727606416355 140727606416480 140727606416480 140727606423496 0
/proc/950390/statm: 2483 659 580 264 0 134 0
[pid=950395] ppid=950390 vsize=20512 memory=14972 CPUtime=0.2 cores=1,3
/proc/950395/stat : 950395 (naps-1.03) R 950390 950390 945228 0 -1 4194304 4312 0 0 0 20 0 0 0 20 0 1 0 185755530 21004288 3743 134679101440 4194304 6891213 140730482661376 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 11522048 140730482668532 140730482668644 140730482668644 140730482675659 0
/proc/950395/statm: 5128 3743 532 659 0 4332 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30444 KiB
Current children cumulated memory: 17608 KiB
[startup+0.305945 s]*
/proc/loadavg: 4.17 4.15 4.15 6/260 950395
/proc/meminfo: memFree=125649284/131524600 swapFree=131071996/131071996
[pid=950390] ppid=950387 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/950390/stat : 950390 (naps-1.03.sh) S 950387 950390 945228 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 185755530 10170368 659 134679101440 93896471289856 93896472369176 140727606412192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93896474467632 93896474514820 93896505507840 140727606416355 140727606416480 140727606416480 140727606423496 0
/proc/950390/statm: 2483 659 580 264 0 134 0
[pid=950395] ppid=950390 vsize=21880 memory=16556 CPUtime=0.3 cores=1,3
/proc/950395/stat : 950395 (naps-1.03) R 950390 950390 945228 0 -1 4194304 4712 0 0 0 30 0 0 0 20 0 1 0 185755530 22405120 4139 134679101440 4194304 6891213 140730482661376 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 11522048 140730482668532 140730482668644 140730482668644 140730482675659 0
/proc/950395/statm: 5470 4139 532 659 0 4674 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31812 KiB
Current children cumulated memory: 19192 KiB
[startup+0.700279 s]
/proc/loadavg: 4.17 4.15 4.15 6/260 950396
/proc/meminfo: memFree=125648716/131524600 swapFree=131071996/131071996
[pid=950390] ppid=950387 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/950390/stat : 950390 (naps-1.03.sh) S 950387 950390 945228 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 185755530 10170368 659 134679101440 93896471289856 93896472369176 140727606412192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93896474467632 93896474514820 93896505507840 140727606416355 140727606416480 140727606416480 140727606423496 0
/proc/950390/statm: 2483 659 580 264 0 134 0
[pid=950395] ppid=950390 vsize=21880 memory=16820 CPUtime=0.68 cores=1,3
/proc/950395/stat : 950395 (naps-1.03) R 950390 950390 945228 0 -1 4194304 4769 0 0 0 68 0 0 0 20 0 1 0 185755530 22405120 4205 134679101440 4194304 6891213 140730482661376 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 11522048 140730482668532 140730482668644 140730482668644 140730482675659 0
/proc/950395/statm: 5470 4205 532 659 0 4674 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 31812 KiB
Current children cumulated memory: 19456 KiB
[startup+1.50027 s]
/proc/loadavg: 4.17 4.15 4.15 5/260 950396
/proc/meminfo: memFree=125648724/131524600 swapFree=131071996/131071996
[pid=950390] ppid=950387 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/950390/stat : 950390 (naps-1.03.sh) S 950387 950390 945228 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 185755530 10170368 659 134679101440 93896471289856 93896472369176 140727606412192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93896474467632 93896474514820 93896505507840 140727606416355 140727606416480 140727606416480 140727606423496 0
/proc/950390/statm: 2483 659 580 264 0 134 0
[pid=950395] ppid=950390 vsize=20040 memory=16092 CPUtime=1.48 cores=1,3
/proc/950395/stat : 950395 (naps-1.03) R 950390 950390 945228 0 -1 4194304 5763 0 0 0 148 0 0 0 20 0 1 0 185755530 20520960 4023 134679101440 4194304 6891213 140730482661376 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 11522048 140730482668532 140730482668644 140730482668644 140730482675659 0
/proc/950395/statm: 5010 4023 532 659 0 4214 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29972 KiB
Current children cumulated memory: 18728 KiB
[startup+3.10555 s]
/proc/loadavg: 4.16 4.15 4.15 6/260 950396
/proc/meminfo: memFree=125647376/131524600 swapFree=131071996/131071996
[pid=950390] ppid=950387 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/950390/stat : 950390 (naps-1.03.sh) S 950387 950390 945228 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 185755530 10170368 659 134679101440 93896471289856 93896472369176 140727606412192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93896474467632 93896474514820 93896505507840 140727606416355 140727606416480 140727606416480 140727606423496 0
/proc/950390/statm: 2483 659 580 264 0 134 0
[pid=950395] ppid=950390 vsize=19936 memory=16568 CPUtime=3.09 cores=1,3
/proc/950395/stat : 950395 (naps-1.03) R 950390 950390 945228 0 -1 4194304 6516 0 0 0 308 1 0 0 20 0 1 0 185755530 20414464 4142 134679101440 4194304 6891213 140730482661376 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 11522048 140730482668532 140730482668644 140730482668644 140730482675659 0
/proc/950395/statm: 4984 4142 532 659 0 4188 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 29868 KiB
Current children cumulated memory: 19204 KiB
[startup+6.30025 s]
/proc/loadavg: 4.16 4.15 4.15 5/260 950396
/proc/meminfo: memFree=125651512/131524600 swapFree=131071996/131071996
[pid=950390] ppid=950387 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/950390/stat : 950390 (naps-1.03.sh) S 950387 950390 945228 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 185755530 10170368 659 134679101440 93896471289856 93896472369176 140727606412192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93896474467632 93896474514820 93896505507840 140727606416355 140727606416480 140727606416480 140727606423496 0
/proc/950390/statm: 2483 659 580 264 0 134 0
[pid=950395] ppid=950390 vsize=24032 memory=18364 CPUtime=6.27 cores=1,3
/proc/950395/stat : 950395 (naps-1.03) R 950390 950390 945228 0 -1 4194304 7757 0 0 0 626 1 0 0 20 0 1 0 185755530 24608768 4591 134679101440 4194304 6891213 140730482661376 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 11522048 140730482668532 140730482668644 140730482668644 140730482675659 0
/proc/950395/statm: 6008 4591 532 659 0 5212 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 33964 KiB
Current children cumulated memory: 21000 KiB
[startup+12.7003 s]
/proc/loadavg: 4.21 4.16 4.15 5/260 950398
/proc/meminfo: memFree=125643016/131524600 swapFree=131071996/131071996
[pid=950390] ppid=950387 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/950390/stat : 950390 (naps-1.03.sh) S 950387 950390 945228 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 185755530 10170368 659 134679101440 93896471289856 93896472369176 140727606412192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93896474467632 93896474514820 93896505507840 140727606416355 140727606416480 140727606416480 140727606423496 0
/proc/950390/statm: 2483 659 580 264 0 134 0
[pid=950395] ppid=950390 vsize=23320 memory=19120 CPUtime=12.65 cores=1,3
/proc/950395/stat : 950395 (naps-1.03) R 950390 950390 945228 0 -1 4194304 11874 0 0 0 1264 1 0 0 20 0 1 0 185755530 23879680 4780 134679101440 4194304 6891213 140730482661376 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 11522048 140730482668532 140730482668644 140730482668644 140730482675659 0
/proc/950395/statm: 5830 4780 532 659 0 5034 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 33252 KiB
Current children cumulated memory: 21756 KiB
[startup+23.9323 s]
# the end of solver process 950390 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=23.8379 s, system=0.034127 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 4.21 4.16 4.15 5/260 950398
/proc/meminfo: memFree=125643016/131524600 swapFree=131071996/131071996
[pid=950390] ppid=950387 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/950390/stat : 950390 (naps-1.03.sh) S 950387 950390 945228 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 185755530 10170368 659 134679101440 93896471289856 93896472369176 140727606412192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93896474467632 93896474514820 93896505507840 140727606416355 140727606416480 140727606416480 140727606423496 0
/proc/950390/statm: 2483 659 580 264 0 134 0
[pid=950395] ppid=950390 vsize=23320 memory=19120 CPUtime=12.75 cores=1,3
/proc/950395/stat : 950395 (naps-1.03) R 950390 950390 945228 0 -1 4194304 11905 0 0 0 1274 1 0 0 20 0 1 0 185755530 23879680 4780 134679101440 4194304 6891213 140730482661376 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 11522048 140730482668532 140730482668644 140730482668644 140730482675659 0
/proc/950395/statm: 5830 4780 532 659 0 5034 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 33252 KiB
Current children cumulated memory: 21756 KiB
[startup+19.2002 s]
/proc/loadavg: 4.19 4.16 4.15 5/260 950398
/proc/meminfo: memFree=125643888/131524600 swapFree=131071996/131071996
[pid=950390] ppid=950387 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/950390/stat : 950390 (naps-1.03.sh) S 950387 950390 945228 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 185755530 10170368 659 134679101440 93896471289856 93896472369176 140727606412192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93896474467632 93896474514820 93896505507840 140727606416355 140727606416480 140727606416480 140727606423496 0
/proc/950390/statm: 2483 659 580 264 0 134 0
[pid=950395] ppid=950390 vsize=25280 memory=20516 CPUtime=19.14 cores=1,3
/proc/950395/stat : 950395 (naps-1.03) R 950390 950390 945228 0 -1 4194304 15858 0 0 0 1912 2 0 0 20 0 1 0 185755530 25886720 5129 134679101440 4194304 6891213 140730482661376 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 11522048 140730482668532 140730482668644 140730482668644 140730482675659 0
/proc/950395/statm: 6320 5129 532 659 0 5524 0
Current children cumulated CPU time: 19.14 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 23152 KiB
[startup+22.4002 s]
/proc/loadavg: 4.17 4.16 4.15 5/260 950399
/proc/meminfo: memFree=125650260/131524600 swapFree=131071996/131071996
[pid=950390] ppid=950387 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/950390/stat : 950390 (naps-1.03.sh) S 950387 950390 945228 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 185755530 10170368 659 134679101440 93896471289856 93896472369176 140727606412192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93896474467632 93896474514820 93896505507840 140727606416355 140727606416480 140727606416480 140727606423496 0
/proc/950390/statm: 2483 659 580 264 0 134 0
[pid=950395] ppid=950390 vsize=25280 memory=21308 CPUtime=22.33 cores=1,3
/proc/950395/stat : 950395 (naps-1.03) R 950390 950390 945228 0 -1 4194304 17614 0 0 0 2230 3 0 0 20 0 1 0 185755530 25886720 5327 134679101440 4194304 6891213 140730482661376 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 11522048 140730482668532 140730482668644 140730482668644 140730482675659 0
/proc/950395/statm: 6320 5327 532 659 0 5524 0
Current children cumulated CPU time: 22.33 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 23944 KiB
[startup+23.2002 s]
/proc/loadavg: 4.17 4.16 4.15 5/260 950399
/proc/meminfo: memFree=125656652/131524600 swapFree=131071996/131071996
[pid=950390] ppid=950387 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/950390/stat : 950390 (naps-1.03.sh) S 950387 950390 945228 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 185755530 10170368 659 134679101440 93896471289856 93896472369176 140727606412192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93896474467632 93896474514820 93896505507840 140727606416355 140727606416480 140727606416480 140727606423496 0
/proc/950390/statm: 2483 659 580 264 0 134 0
[pid=950395] ppid=950390 vsize=25280 memory=21572 CPUtime=23.13 cores=1,3
/proc/950395/stat : 950395 (naps-1.03) R 950390 950390 945228 0 -1 4194304 17675 0 0 0 2310 3 0 0 20 0 1 0 185755530 25886720 5393 134679101440 4194304 6891213 140730482661376 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 11522048 140730482668532 140730482668644 140730482668644 140730482675659 0
/proc/950395/statm: 6320 5393 532 659 0 5524 0
Current children cumulated CPU time: 23.13 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 24208 KiB
[startup+23.6002 s]
/proc/loadavg: 4.17 4.16 4.15 5/260 950399
/proc/meminfo: memFree=125656652/131524600 swapFree=131071996/131071996
[pid=950390] ppid=950387 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/950390/stat : 950390 (naps-1.03.sh) S 950387 950390 945228 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 185755530 10170368 659 134679101440 93896471289856 93896472369176 140727606412192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93896474467632 93896474514820 93896505507840 140727606416355 140727606416480 140727606416480 140727606423496 0
/proc/950390/statm: 2483 659 580 264 0 134 0
[pid=950395] ppid=950390 vsize=29376 memory=22100 CPUtime=23.53 cores=1,3
/proc/950395/stat : 950395 (naps-1.03) R 950390 950390 945228 0 -1 4194304 17812 0 0 0 2350 3 0 0 20 0 1 0 185755530 30081024 5525 134679101440 4194304 6891213 140730482661376 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 11522048 140730482668532 140730482668644 140730482668644 140730482675659 0
/proc/950395/statm: 7344 5525 532 659 0 6548 0
Current children cumulated CPU time: 23.53 s
Current children cumulated vsize: 39308 KiB
Current children cumulated memory: 24736 KiB
[startup+23.8002 s]
/proc/loadavg: 4.17 4.16 4.15 5/260 950399
/proc/meminfo: memFree=125656652/131524600 swapFree=131071996/131071996
[pid=950390] ppid=950387 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/950390/stat : 950390 (naps-1.03.sh) S 950387 950390 945228 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 185755530 10170368 659 134679101440 93896471289856 93896472369176 140727606412192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93896474467632 93896474514820 93896505507840 140727606416355 140727606416480 140727606416480 140727606423496 0
/proc/950390/statm: 2483 659 580 264 0 134 0
[pid=950395] ppid=950390 vsize=25280 memory=19956 CPUtime=23.73 cores=1,3
/proc/950395/stat : 950395 (naps-1.03) R 950390 950390 945228 0 -1 4194304 17917 0 0 0 2370 3 0 0 20 0 1 0 185755530 25886720 4989 134679101440 4194304 6891213 140730482661376 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 11522048 140730482668532 140730482668644 140730482668644 140730482675659 0
/proc/950395/statm: 6320 4989 532 659 0 5524 0
Current children cumulated CPU time: 23.73 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 22592 KiB
[startup+23.9002 s]
/proc/loadavg: 4.17 4.16 4.15 5/260 950399
/proc/meminfo: memFree=125656652/131524600 swapFree=131071996/131071996
[pid=950390] ppid=950387 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/950390/stat : 950390 (naps-1.03.sh) S 950387 950390 945228 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 185755530 10170368 659 134679101440 93896471289856 93896472369176 140727606412192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93896474467632 93896474514820 93896505507840 140727606416355 140727606416480 140727606416480 140727606423496 0
/proc/950390/statm: 2483 659 580 264 0 134 0
[pid=950395] ppid=950390 vsize=25280 memory=20220 CPUtime=23.83 cores=1,3
/proc/950395/stat : 950395 (naps-1.03) R 950390 950390 945228 0 -1 4194304 17985 0 0 0 2380 3 0 0 20 0 1 0 185755530 25886720 5055 134679101440 4194304 6891213 140730482661376 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 11522048 140730482668532 140730482668644 140730482668644 140730482675659 0
/proc/950395/statm: 6320 5055 532 659 0 5524 0
Current children cumulated CPU time: 23.83 s
Current children cumulated vsize: 35212 KiB
Current children cumulated memory: 22856 KiB
Child status: 10
Real time (s): 23.9323
CPU time (s): 23.872
CPU user time (s): 23.8379
CPU system time (s): 0.034127
CPU usage (%): 99.748
Max. virtual memory (cumulated for all children) (KiB): 39308
Max. memory (cumulated for all children) (KiB): 24736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.8379
system time used= 0.034127
maximum resident set size= 22100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18479
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= 33
# summary of solver processes directly reported to runsolver:
# pid: 950390
# total CPU time (s): 23.872
# total CPU user time (s): 23.8379
# total CPU system time (s): 0.034127
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054821 second user time and 0.14209 second system time
The end
Begin job on nodeC016 at 2024-07-18 22:52:41
IDJOB=4447339
IDBENCH=158383
IDSOLVER=3063
FILE ID=nodeC016/4447339-1721335950
RUNJOBID= nodeC016-1721328665-945240
SLURM_JOB_ID= 7542689
Free space on /tmp= 890064 MiB
SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447339-1721335950/watcher-4447339-1721335950 -o /tmp/evaluation-result-4447339-1721335950/solver-4447339-1721335950 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721328665-945240 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4447339-1721335950.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 903b294a72b72fbd6778e100307d5973
RANDOM SEED=1304494745
nodeC016.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 : 3660.380
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.70
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 : 3663.724
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.63
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 : 3600.174
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.70
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 : 3662.137
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.63
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 : 3660.536
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.70
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 : 3663.634
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.63
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.997
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.70
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 : 3600.062
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.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125664924 kB
MemAvailable: 129388096 kB
Buffers: 363236 kB
Cached: 4195392 kB
SwapCached: 0 kB
Active: 569852 kB
Inactive: 4679800 kB
Active(anon): 1600 kB
Inactive(anon): 727140 kB
Active(file): 568252 kB
Inactive(file): 3952660 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5448 kB
Writeback: 0 kB
AnonPages: 677864 kB
Mapped: 112828 kB
Shmem: 37720 kB
KReclaimable: 83812 kB
Slab: 193772 kB
SReclaimable: 83812 kB
SUnreclaim: 109960 kB
KernelStack: 4176 kB
PageTables: 10860 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1115520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70144 kB
HardwareCorrupted: 0 kB
AnonHugePages: 512000 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: 207572 kB
DirectMap2M: 13197312 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC016 at 2024-07-18 22:53:05