74.00/42.89 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
74.00/42.89 c numVar: 2994
74.00/42.89 c numCon: 3433
74.00/42.89 c numEqual: 60
74.00/42.89 c intSize: 10
74.00/42.89 c ls_time: 10.0, mip_time: 1790.0, exact_time: 1790.0
74.00/42.89 c ------------------- Paras list -------------------
74.00/42.89 c Name Type Now Default Comment
74.00/42.89 c timeout double 3600.000000 3600
74.00/42.89 c mip_time double 0.500000 0.5
74.00/42.89 c ls_time double 10.000000 10
74.00/42.89 c safe_mode int 2 2 1 trust; 2 feasible
74.00/42.89 c mip_emphasis int 2 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
74.00/42.89 c random_seed int 0 0
74.00/42.89 c sample_size int 50 50
74.00/42.89 c sub_score int 1 1
74.00/42.89 c tabu_base int 3 3
74.00/42.89 c tabu_variation int 1 1
74.00/42.89 c sub_div int 4 4
74.00/42.89 c nbcore int 2 1
74.00/42.89 c memlimit int 31000 31744 memory limit in megabytes
74.00/42.89 c print_sol int 1 1
74.00/42.89 c tmpdir string . "."
74.00/42.89 c home string HOME "."
74.00/42.89 c benchname string HOME/instance-4499108-1751370182.opb ""
74.00/42.89 c --------------------------------------------------
74.00/42.89 c Local Search solver
74.00/42.89 c MIP solver
74.00/42.89 c Branch and Bound solver find optimal solution
74.00/42.89 c MIP solver objective value: 6
74.09/42.92 c MIP find feasible solution for PBO with objective value 6
74.09/42.92 c copy file: 0
74.09/42.92 c gen ub file: HOME/instance-4499108-1751370182.opb_ub.opb
74.09/42.92 c use Exact solver
107.50/76.50 c Exact find optimal solution
107.50/76.50 c Exact find feasible solution for PBO with objective value 6
107.50/76.50 o 6
107.50/76.50 s OPTIMUM FOUND
107.50/76.50 v x1 -x2 -x3 x4 -x5 x6 x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 x2524 -x2525 x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994
107.50/76.51 c Total time: 76
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: 63665 MiB (40032 MiB free)
memory of node 1: 64507 MiB (52229 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499108-1751370182/watcher-4499108-1751370182 -o /tmp/evaluation-result-4499108-1751370182/solver-4499108-1751370182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751360343-49785 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4499108-1751370182.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=51882, runsolver pid=51879
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 5.09 5.29 6.20 6/266 51883
/proc/meminfo: memFree=94467620/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=45524 memory=11136 CPUtime=0.09 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) R 51879 51882 49774 0 -1 4194304 1747 0 0 0 9 0 0 0 20 0 1 0 52695951 46616576 2784 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 11381 2784 1184 6655 0 1616 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45524 KiB
Current children cumulated memory: 11136 KiB
[startup+0.205798 s]*
/proc/loadavg: 5.09 5.29 6.20 6/266 51883
/proc/meminfo: memFree=94467620/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=45524 memory=11136 CPUtime=0.19 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) R 51879 51882 49774 0 -1 4194304 1747 0 0 0 19 0 0 0 20 0 1 0 52695951 46616576 2784 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 11381 2784 1184 6655 0 1616 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45524 KiB
Current children cumulated memory: 11136 KiB
[startup+0.305574 s]*
/proc/loadavg: 5.09 5.29 6.20 6/266 51883
/proc/meminfo: memFree=94467372/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=45524 memory=11136 CPUtime=0.29 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) R 51879 51882 49774 0 -1 4194304 1747 0 0 0 29 0 0 0 20 0 1 0 52695951 46616576 2784 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 11381 2784 1184 6655 0 1616 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45524 KiB
Current children cumulated memory: 11136 KiB
[startup+0.700172 s]
/proc/loadavg: 5.09 5.29 6.20 6/266 51883
/proc/meminfo: memFree=94442924/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=45524 memory=11136 CPUtime=0.68 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) R 51879 51882 49774 0 -1 4194304 1747 0 0 0 68 0 0 0 20 0 1 0 52695951 46616576 2784 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 11381 2784 1184 6655 0 1616 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45524 KiB
Current children cumulated memory: 11136 KiB
[startup+1.50017 s]
/proc/loadavg: 5.08 5.29 6.19 6/266 51883
/proc/meminfo: memFree=94438828/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=45524 memory=11136 CPUtime=1.48 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) R 51879 51882 49774 0 -1 4194304 1747 0 0 0 148 0 0 0 20 0 1 0 52695951 46616576 2784 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 11381 2784 1184 6655 0 1616 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45524 KiB
Current children cumulated memory: 11136 KiB
[startup+3.10545 s]
/proc/loadavg: 5.08 5.29 6.19 6/266 51883
/proc/meminfo: memFree=94385980/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=45524 memory=11136 CPUtime=3.08 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) R 51879 51882 49774 0 -1 4194304 1747 0 0 0 308 0 0 0 20 0 1 0 52695951 46616576 2784 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 11381 2784 1184 6655 0 1616 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 45524 KiB
Current children cumulated memory: 11136 KiB
[startup+6.30017 s]
/proc/loadavg: 5.16 5.30 6.19 6/266 51883
/proc/meminfo: memFree=94369596/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=45524 memory=11136 CPUtime=6.27 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) R 51879 51882 49774 0 -1 4194304 1747 0 0 0 627 0 0 0 20 0 1 0 52695951 46616576 2784 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 11381 2784 1184 6655 0 1616 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 45524 KiB
Current children cumulated memory: 11136 KiB
[startup+12.7002 s]
/proc/loadavg: 5.22 5.31 6.19 7/267 51884
/proc/meminfo: memFree=94206460/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=157800 memory=66852 CPUtime=15.14 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) R 51879 51882 49774 0 -1 4194304 13098 0 0 0 1512 2 0 0 20 0 2 0 52695951 161587200 16713 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 39450 16713 3520 6655 0 15825 0
[pid=51882/tid=51884] ppid=51879 vsize=157800 memory=64420 CPUtime=2.48 cores=4,6
/proc/51882/task/51884/stat : 51884 (LSIPExact) R 51879 51882 49774 0 -1 4194368 2470 0 0 0 248 0 0 0 20 0 2 0 52696954 161587200 16713 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
Current children cumulated CPU time: 15.14 s
Current children cumulated vsize: 157800 KiB
Current children cumulated memory: 66852 KiB
[startup+25.5002 s]
/proc/loadavg: 5.34 5.33 6.19 7/267 51884
/proc/meminfo: memFree=93915416/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=194416 memory=108456 CPUtime=39.8 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) R 51879 51882 49774 0 -1 4194304 50863 0 0 0 3973 7 0 0 20 0 2 0 52695951 199081984 27114 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 48604 27114 3520 6655 0 26743 0
[pid=51882/tid=51884] ppid=51879 vsize=194416 memory=108456 CPUtime=14.46 cores=4,6
/proc/51882/task/51884/stat : 51884 (LSIPExact) R 51879 51882 49774 0 -1 4194368 11337 0 0 0 1445 1 0 0 20 0 2 0 52696954 199081984 27114 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
Current children cumulated CPU time: 39.8 s
Current children cumulated vsize: 194416 KiB
Current children cumulated memory: 108456 KiB
[startup+51.1058 s]
/proc/loadavg: 5.60 5.40 6.18 6/267 51887
/proc/meminfo: memFree=93200268/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=185536 memory=103260 CPUtime=74.09 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) S 51879 51882 49774 0 -1 4194304 62933 228 0 0 7401 8 0 0 20 0 1 0 52695951 189988864 25815 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 46384 25815 3552 6655 0 24523 0
[pid=51887] ppid=51882 vsize=190576 memory=148124 CPUtime=8.09 cores=4,6
/proc/51887/stat : 51887 (Exact) R 51882 51887 51887 0 -1 4194304 23974 0 0 0 800 9 0 0 20 0 1 0 52700244 195149824 37031 18446744073709551615 4198400 8335837 140732601562816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 27684864 140732601571508 140732601571869 140732601571869 140732601577423 0
/proc/51887/statm: 47644 37031 1120 1011 0 46411 0
Current children cumulated CPU time: 82.18 s
Current children cumulated vsize: 376112 KiB
Current children cumulated memory: 251384 KiB
[startup+76.5188 s]
# the end of solver process 51882 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=107.28 s, system=0.265222 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 5.60 5.40 6.18 6/267 51887
/proc/meminfo: memFree=93200268/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=185536 memory=103260 CPUtime=74.09 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) S 51879 51882 49774 0 -1 4194304 62933 228 0 0 7401 8 0 0 20 0 1 0 52695951 189988864 25815 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 46384 25815 3552 6655 0 24523 0
[pid=51887] ppid=51882 vsize=190864 memory=150396 CPUtime=8.18 cores=4,6
/proc/51887/stat : 51887 (Exact) R 51882 51887 51887 0 -1 4194304 24029 0 0 0 809 9 0 0 20 0 1 0 52700244 195444736 37599 18446744073709551615 4198400 8335837 140732601562816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 27684864 140732601571508 140732601571869 140732601571869 140732601577423 0
/proc/51887/statm: 47716 37599 1120 1011 0 46483 0
Current children cumulated CPU time: 82.27 s
Current children cumulated vsize: 376400 KiB
Current children cumulated memory: 253656 KiB
[startup+64.0002 s]*
/proc/loadavg: 5.66 5.42 6.18 6/268 51895
/proc/meminfo: memFree=92987704/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=185536 memory=103260 CPUtime=74.09 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) S 51879 51882 49774 0 -1 4194304 62933 228 0 0 7401 8 0 0 20 0 1 0 52695951 189988864 25815 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 46384 25815 3552 6655 0 24523 0
[pid=51887] ppid=51882 vsize=226628 memory=206436 CPUtime=20.95 cores=4,6
/proc/51887/stat : 51887 (Exact) R 51882 51887 51887 0 -1 4194304 30865 0 0 0 2082 13 0 0 20 0 1 0 52700244 232067072 51609 18446744073709551615 4198400 8335837 140732601562816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 27684864 140732601571508 140732601571869 140732601571869 140732601577423 0
/proc/51887/statm: 56657 51609 1120 1011 0 55424 0
Current children cumulated CPU time: 95.04 s
Current children cumulated vsize: 412164 KiB
Current children cumulated memory: 309696 KiB
[startup+70.4002 s]
/proc/loadavg: 5.69 5.43 6.18 6/268 51895
/proc/meminfo: memFree=92934552/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=185536 memory=103260 CPUtime=74.09 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) S 51879 51882 49774 0 -1 4194304 62933 228 0 0 7401 8 0 0 20 0 1 0 52695951 189988864 25815 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 46384 25815 3552 6655 0 24523 0
[pid=51887] ppid=51882 vsize=226628 memory=206564 CPUtime=27.33 cores=4,6
/proc/51887/stat : 51887 (Exact) R 51882 51887 51887 0 -1 4194304 30902 0 0 0 2719 14 0 0 20 0 1 0 52700244 232067072 51641 18446744073709551615 4198400 8335837 140732601562816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 27684864 140732601571508 140732601571869 140732601571869 140732601577423 0
/proc/51887/statm: 56657 51641 1120 1011 0 55424 0
Current children cumulated CPU time: 101.42 s
Current children cumulated vsize: 412164 KiB
Current children cumulated memory: 309824 KiB
[startup+73.6002 s]
/proc/loadavg: 5.72 5.44 6.17 6/268 51895
/proc/meminfo: memFree=92906008/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=185536 memory=103260 CPUtime=74.09 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) S 51879 51882 49774 0 -1 4194304 62933 228 0 0 7401 8 0 0 20 0 1 0 52695951 189988864 25815 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 46384 25815 3552 6655 0 24523 0
[pid=51887] ppid=51882 vsize=236172 memory=216124 CPUtime=30.52 cores=4,6
/proc/51887/stat : 51887 (Exact) R 51882 51887 51887 0 -1 4194304 32802 0 0 0 3036 16 0 0 20 0 1 0 52700244 241840128 54031 18446744073709551615 4198400 8335837 140732601562816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 27684864 140732601571508 140732601571869 140732601571869 140732601577423 0
/proc/51887/statm: 59043 54031 1120 1011 0 57810 0
Current children cumulated CPU time: 104.61 s
Current children cumulated vsize: 421708 KiB
Current children cumulated memory: 319384 KiB
[startup+75.2002 s]
/proc/loadavg: 5.72 5.44 6.17 6/268 51895
/proc/meminfo: memFree=92885528/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=185536 memory=103260 CPUtime=74.09 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) S 51879 51882 49774 0 -1 4194304 62933 228 0 0 7401 8 0 0 20 0 1 0 52695951 189988864 25815 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 46384 25815 3552 6655 0 24523 0
[pid=51887] ppid=51882 vsize=236172 memory=216124 CPUtime=32.12 cores=4,6
/proc/51887/stat : 51887 (Exact) R 51882 51887 51887 0 -1 4194304 32802 0 0 0 3196 16 0 0 20 0 1 0 52700244 241840128 54031 18446744073709551615 4198400 8335837 140732601562816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 27684864 140732601571508 140732601571869 140732601571869 140732601577423 0
/proc/51887/statm: 59043 54031 1120 1011 0 57810 0
Current children cumulated CPU time: 106.21 s
Current children cumulated vsize: 421708 KiB
Current children cumulated memory: 319384 KiB
[startup+76.0002 s]*
/proc/loadavg: 5.74 5.45 6.17 6/268 51895
/proc/meminfo: memFree=92881432/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=185536 memory=103260 CPUtime=74.09 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) S 51879 51882 49774 0 -1 4194304 62933 228 0 0 7401 8 0 0 20 0 1 0 52695951 189988864 25815 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 46384 25815 3552 6655 0 24523 0
[pid=51887] ppid=51882 vsize=236172 memory=216124 CPUtime=32.92 cores=4,6
/proc/51887/stat : 51887 (Exact) R 51882 51887 51887 0 -1 4194304 32803 0 0 0 3276 16 0 0 20 0 1 0 52700244 241840128 54031 18446744073709551615 4198400 8335837 140732601562816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 27684864 140732601571508 140732601571869 140732601571869 140732601577423 0
/proc/51887/statm: 59043 54031 1120 1011 0 57810 0
Current children cumulated CPU time: 107.01 s
Current children cumulated vsize: 421708 KiB
Current children cumulated memory: 319384 KiB
[startup+76.4002 s]
/proc/loadavg: 5.74 5.45 6.17 6/268 51895
/proc/meminfo: memFree=92881432/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=185536 memory=103260 CPUtime=74.09 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) S 51879 51882 49774 0 -1 4194304 62933 228 0 0 7401 8 0 0 20 0 1 0 52695951 189988864 25815 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 46384 25815 3552 6655 0 24523 0
[pid=51887] ppid=51882 vsize=236172 memory=216124 CPUtime=33.31 cores=4,6
/proc/51887/stat : 51887 (Exact) R 51882 51887 51887 0 -1 4194304 32804 0 0 0 3315 16 0 0 20 0 1 0 52700244 241840128 54031 18446744073709551615 4198400 8335837 140732601562816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 27684864 140732601571508 140732601571869 140732601571869 140732601577423 0
/proc/51887/statm: 59043 54031 1120 1011 0 57810 0
Current children cumulated CPU time: 107.4 s
Current children cumulated vsize: 421708 KiB
Current children cumulated memory: 319384 KiB
[startup+76.5002 s]
/proc/loadavg: 5.74 5.45 6.17 6/268 51895
/proc/meminfo: memFree=92881432/131249996 swapFree=33010684/33010684
[pid=51882] ppid=51879 vsize=185536 memory=103260 CPUtime=74.09 cores=4,6
/proc/51882/stat : 51882 (LSIPExact) S 51879 51882 49774 0 -1 4194304 62933 228 0 0 7401 8 0 0 20 0 1 0 52695951 189988864 25815 18446744073709551615 93981974437888 93982001694289 140733868735808 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 93982010197128 93982010628736 93982042750976 140733868738906 140733868739082 140733868739082 140733868744684 0
/proc/51882/statm: 46384 25815 3552 6655 0 24523 0
[pid=51887] ppid=51882 vsize=137236 memory=125668 CPUtime=33.41 cores=4,6
/proc/51887/stat : 51887 (Exact) R 51882 51887 51887 0 -1 4194304 32807 0 0 0 3325 16 0 0 20 0 1 0 52700244 140529664 31417 18446744073709551615 4198400 8335837 140732601562816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 27684864 140732601571508 140732601571869 140732601571869 140732601577423 0
/proc/51887/statm: 34309 31417 1120 1011 0 33076 0
Current children cumulated CPU time: 107.5 s
Current children cumulated vsize: 322772 KiB
Current children cumulated memory: 228928 KiB
Child status: 0
Real time (s): 76.5189
CPU time (s): 107.545
CPU user time (s): 107.28
CPU system time (s): 0.265222
CPU usage (%): 140.548
Max. virtual memory (cumulated for all children) (KiB): 421708
Max. memory (cumulated for all children) (KiB): 319384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.28
system time used= 0.265222
maximum resident set size= 216124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97027
page faults= 0
swaps= 0
block input operations= 600
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 519
involuntary context switches= 564
# summary of solver processes directly reported to runsolver:
# pid: 51882
# total CPU time (s): 107.545
# total CPU user time (s): 107.28
# total CPU system time (s): 0.265222
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.15931 second user time and 0.390119 second system time
The end
Begin job on nodeC021 at 2025-07-01 13:43:02
IDJOB=4499108
IDBENCH=148771
IDSOLVER=3337
FILE ID=nodeC021/4499108-1751370182
RUNJOBID= nodeC021-1751360343-49785
SLURM_JOB_ID= 9598162
Free space on /tmp= 432224 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499108-1751370182/watcher-4499108-1751370182 -o /tmp/evaluation-result-4499108-1751370182/solver-4499108-1751370182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751360343-49785 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4499108-1751370182.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c4903dfb08836eadb378d0a168fb9840
RANDOM SEED=1572247586
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3599.784
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.884
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3606.341
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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.783
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.717
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.710
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3546.361
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3592.361
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 94485388 kB
MemAvailable: 95835300 kB
Buffers: 3280 kB
Cached: 2155520 kB
SwapCached: 0 kB
Active: 34238568 kB
Inactive: 1886468 kB
Active(anon): 33984296 kB
Inactive(anon): 0 kB
Active(file): 254272 kB
Inactive(file): 1886468 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44804 kB
Writeback: 20 kB
AnonPages: 33964780 kB
Mapped: 150976 kB
Shmem: 18060 kB
KReclaimable: 96424 kB
Slab: 185044 kB
SReclaimable: 96424 kB
SUnreclaim: 88620 kB
KernelStack: 4284 kB
PageTables: 70032 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 36578748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 17487872 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432180 MiB
End job on nodeC021 at 2025-07-01 13:44:19