0.00/0.01 c initialize IPBHS solver
0.00/0.01 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:30:33), compiled with satsolvers: , optimizers: , GreedyOptimizer, Gurobi 12.0.2, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.01 c optimizer = "gurobi"
0.00/0.01 c pbsolver = "roundingsat"
0.00/0.01 c use separate pbsolver for SIS
0.00/0.01 c load symmetries from file ""
0.00/0.01 c set time limit for symmetry computation to 100 seconds.
0.00/0.01 c set interchangeable summation variable limit to 3
0.00/0.01 c enable explicit+compact SCL
0.00/0.01 c set sym compact max subset size to 5
0.00/0.01 c set explicit symmetry matrix usage to 1
0.00/0.01 c sym budget explicit to 100
0.00/0.01 c sym budget explicit lits to 6000
0.00/0.01 c sym budget compact to 100
0.00/0.01 c sym budget compact lits to 6000
0.00/0.01 c sym budget common to 0
0.00/0.01 c sym budget common lits to 0
0.00/0.01 c set sym generation to 's'
0.00/0.01 c set abstraction set creation to 10 iterations without LB change
0.00/0.01 c set abstraction set inputs to 0
0.00/0.01 c set abstraction set cluster min size to 2
0.00/0.01 c set abstraction set cluster max size to 100000000
0.00/0.01 c set abstraction set cluster activation limit to 2
0.00/0.01 c enable abstraction set require equal cost
0.00/0.01 c set abstraction set assumptions to 0
0.00/0.01 c set abstraction set constraint type to 0
0.00/0.01 c set abstract core extraction strategy to b
0.00/0.01 c set core extraction strategy to 2
0.00/0.01 c set core extraction shuffles 10
0.00/0.01 c set cores per iteration to 5
0.00/0.01 c set optimizer bound usage strategy to 2
0.00/0.01 c set optimizer max non-optimal iterations to 1000
0.00/0.01 c set small core cardinality limit to 2
0.00/0.01 c set max coef in cores to 1000000000
0.00/0.01 c set core processing techniques to 4095
0.00/0.01 c set SIS iterations to 5
0.00/0.01 c set SIS budget abs to 1000
0.00/0.01 c set SIS budget rel to 0.05
0.18/0.29 c limit for coefficient in constraints and objective to 1000000000
0.18/0.29 c will solve HOME/instance-4512417-1751530924.opb
0.18/0.29 Searching graph automorphisms with time limit: 100
0.28/0.33 c [0.06] will start solving
10.65/10.72 c [0.06] solve iteration 1, LB=0, UB=461373440
10.65/10.72 c [0.33] solve iteration 2, LB=31457280, UB=208708864
10.65/10.72 c [0.4] solve iteration 3, LB=108806987, UB=208708864
10.65/10.72 c [0.45] solve iteration 4, LB=114040021, UB=187629568
10.65/10.72 c [0.5] solve iteration 5, LB=114040021, UB=187629568
10.65/10.72 c [0.59] solve iteration 6, LB=114040021, UB=177236224
10.65/10.72 c [0.69] solve iteration 7, LB=115156455, UB=177236224
10.65/10.72 c [0.86] solve iteration 8, LB=115346178, UB=160531968
10.65/10.72 c [1.04] solve iteration 9, LB=115346445, UB=156713984
10.65/10.72 c [1.21] solve iteration 10, LB=115346993, UB=134256128
10.65/10.72 c [1.88] solve iteration 11, LB=115346993, UB=134256128
10.65/10.72 c [2.73] solve iteration 12, LB=115346993, UB=134252288
10.65/10.72 c [10.08] LB=UB after core extraction
10.65/10.72 c [10.08] instance solved in 10.08s (optimization: 9.38s, core-extraction: 0.48s, SIS: 0.13s), 12 iterations, LB=134248448, UB=134248448,
10.65/10.72 d ITERATIONS 12
10.65/10.72 d SIS 2
10.65/10.72 d SIS_SAT 1
10.65/10.72 d SIS_UNSAT 0
10.65/10.72 d SIS_OUT_OF_BUDGET 1
10.65/10.72 d CORES_EXTRACTED 270
10.65/10.72 d CORES_IN_OPTIMIZER 2139
10.65/10.72 d CLAUSAL_CORES_IN_OPTIMIZER 2137
10.65/10.72 d CARDINALITY_CORES_IN_OPTIMIZER 2
10.65/10.72 d PB_CORES_IN_OPTIMIZER 0
10.65/10.72 d TIME_EXTRACT_CORES 0.480000
10.65/10.72 d TIME_OPTIMIZE 9.380000
10.65/10.72 d TIME_SIS 0.130000
10.65/10.72 c solve_time: 10.080000
10.65/10.72 s OPTIMUM FOUND
10.65/10.72 o 134248448
10.65/10.72 v x1 x2 x7 x12 x17 x22 x27 x32 x37 x42 x47 x52 x57 x62 x67 x72 x2423 x2441 x3125 x3129 x3133 x3137 x3141 x3145 x3149 x3153 x3157 x3161 x3165 x3169 x3173 x3177 x3181 x2421 x2439 -x4 -x3 x5 x6 -x9 -x8 x10 x11 x13 -x14 x15 x16 -x19 x18 x20 x21 -x23 -x24 x25 x26 -x28 -x29 x30 x31 -x33 -x34 x35 x36 -x39 x38 x40 x41 -x44 -x43 x45 x46 -x49 -x48 x50 x51 -x54 x53 x55 x56 -x59 x58 x60 x61 -x64 x63 x65 x66 -x69 x68 x70 x71 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x84 -x83 -x85 -x86 -x87 -x88 -x89 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x100 -x99 -x101 -x102 -x103 -x104 -x105 -x108 -x107 -x109 -x110 -x111 -x112 -x113 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x132 -x131 -x133 -x134 -x135 -x136 -x137 -x140 -x139 -x141 -x142 -x143 -x144 -x145 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x164 -x163 -x165 -x166 -x167 -x168 -x169 -x172 -x171 -x173 -x174 -x175 -x176 -x177 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x196 -x195 -x197 -x198 -x199 -x200 -x201 -x204 -x203 -x205 -x206 -x207 -x208 -x209 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x228 -x227 -x229 -x230 -x231 -x232 -x233 -x236 -x235 -x237 -x238 -x239 -x240 -x241 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259 -x260 -x261 -x262 x263 -x264 x265 -x268 -x267 -x269 -x270 x271 -x272 x273 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x284 -x283 -x285 -x286 -x287 -x288 -x289 -x291 -x292 -x293 -x294 x295 -x296 x297 -x300 -x299 -x301 -x302 -x303 -x304 -x305 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x316 -x315 -x317 -x318 -x319 -x320 -x321 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x332 -x331 -x333 -x334 -x335 -x336 -x337 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x364 -x363 -x365 -x366 -x367 -x368 -x369 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x396 -x395 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x428 -x427 -x429 x430 -x431 -x432 x433 -x435 -x436 -x437 x438 -x439 -x440 x441 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x460 -x459 -x461 x462 -x463 -x464 x465 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x492 -x491 -x493 -x494 -x495 -x496 -x497 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x516 -x515 -x517 -x518 -x519 -x520 -x521 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x532 -x531 -x533 -x534 -x535 -x536 -x537 -x540 -x539 -x541 -x542 -x543 -x544 -x545 -x548 -x547 -x549 x550 -x551 -x552 x553 -x555 -x556 -x557 x558 -x559 -x560 x561 -x564 -x563 -x565 -x566 -x567 -x568 -x569 -x572 -x571 -x573 -x574 -x575 -x576 -x577 -x580 -x579 -x581 x582 -x583 -x584 x585 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x596 -x595 -x597 -x598 -x599 -x600 -x601 -x604 -x603 -x605 -x606 -x607 -x608 -x609 -x612 -x611 -x613 -x614 -x615 -x616 -x617 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x628 -x627 -x629 -x630 x631 -x632 x633 -x636 -x635 -x637 -x638 x639 -x640 x641 -x644 -x643 -x645 -x646 -x647 -x648 -x649 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x660 -x659 -x661 -x662 x663 -x664 x665 -x668 -x667 -x669 -x670 -x671 -x672 -x673 -x676 -x675 -x677 x678 -x679 -x680 x681 -x683 -x684 -x685 x686 -x687 -x688 x689 -x692 -x691 -x693 -x694 -x695 -x696 -x697 -x700 -x699 -x701 -x702 -x703 -x704 -x705 -x708 -x707 -x709 x710 -x711 -x712 x713 -x715 -x716 -x717 -x718 x719 -x720 x721 -x724 -x723 -x725 -x726 x727 -x728 x729 -x732 -x731 -x733 x734 x735 x736 x737 -x740 -x739 -x741 -x742 x743 -x744 x745 x747 x748 -x749 -x750 -x751 -x752 -x753 -x756 -x755 -x757 -x758 -x759 -x760 -x761 -x764 -x763 -x765 -x766 -x767 -x768 -x769 -x772 -x771 -x773 x774 -x775 -x776 x777 x780 x779 -x781 -x782 -x783 -x784 -x785 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x796 -x795 -x797 -x798 -x799 x800 x801 -x804 -x803 -x805 -x806 -x807 -x808 -x809 -x812 -x811 -x813 -x814 -x815 -x816 -x817 -x819 -x820 -x821 -x822 -x823 x824 x825 -x828 -x827 -x829 -x830 -x831 -x832 -x833 -x836 -x835 -x837 -x838 -x839 -x840 -x841 -x844 -x843 -x845 -x846 -x847 -x848 -x849 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x860 -x859 -x861 -x862 -x863 -x864 -x865 -x868 -x867 -x869 -x870 -x871 -x872 -x873 -x876 -x875 -x877 -x878 -x879 -x880 -x881 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x892 -x891 -x893 -x894 -x895 -x896 -x897 -x900 -x899 -x901 x902 -x903 -x904 x905 x908 x907 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x927 -x926 -x928 -x929 -x930 x931 x932 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x943 -x944 -x945 -x946 -x947 x948 x949 -x952 -x951 -x953 -x954 -x955 x956 x957 -x960 -x959 -x961 -x962 -x963 -x964 -x965 -x966 -x969 -x968 -x970 -x971 -x972 -x973 -x974 -x977 -x976 -x978 -x979 -x980 -x981 -x982 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x993 -x992 -x994 -x995 x996 -x997 x998 x1001 x1000 -x1002 -x1003 -x1004 -x1005 -x1006 -x1009 -x1008 -x1010 -x1011 -x1012 x1013 -x1014 x1015 -x1018 -x1017 -x1019 -x1020 x1021 -x1022 x1023 -x1025 -x1026 x1027 -x1028 -x1029 x1030 -x1031 -x1032 x1033 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 x1042 -x1045 -x1044 -x1046 -x1047 -x1048 -x1049 -x1050 -x1053 -x1052 -x1054 -x1055 x1056 x1057 x1058 x1059 -x1062 -x1061 -x1063 x1064 -x1065 -x1066 x1067 -x1070 -x1069 -x1071 -x1072 -x1073 x1074 x1075 -x1078 -x1077 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1090 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1139 -x1138 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1149 -x1148 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 x1175 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 x1183 -x1186 -x1185 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1203 -x1202 -x1204 x1205 -x1206 -x1207 x1208 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1236 -x1235 -x1237 -x1238 x1239 -x1240 x1241 x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1252 -x1251 -x1253 -x1254 -x1255 x1256 -x1257 x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1269 -x1268 -x1270 -x1271 -x1272 x1273 x1274 -x1277 -x1276 -x1278 x1279 -x1280 -x1281 x1282 -x1285 -x1284 -x1286 -x1287 -x1288 -x1289 -x1290 -x1293 -x1292 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 x1307 -x1310 -x1309 -x1311 -x1312 -x1313 -x1314 -x1315 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 x1323 -x1326 -x1325 -x1327 x1328 x1329 x1330 x1331 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 x1339 -x1342 -x1341 -x1343 -x1344 -x1345 x1346 x1347 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1359 -x1358 -x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 x1367 x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 x1384 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1417 -x1416 -x1418 -x1419 -x1420 -x1421 -x1422 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1435 -x1434 -x1436 x1437 -x1438 -x1439 x1440 -x1443 -x1442 -x1444 x1445 -x1446 -x1447 x1448 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 x1456 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 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 x1495 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1506 -x1505 -x1507 -x1508 x1509 x1510 x1511 x1512 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 x1521 -x1524 -x1523 -x1525 -x1526 x1527 -x1528 x1529 -x1532 -x1531 -x1533 -x1534 -x1535 x1536 -x1537 x1538 x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 x1554 -x1557 -x1556 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1572 -x1571 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 x1580 -x1583 -x1582 -x1584 -x1585 -x1586 x1587 x1588 -x1591 -x1590 -x1592 -x1593 x1594 -x1595 x1596 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1618 -x1617 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 x1625 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 x1633 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 x1642 x1643 x1644 x1645 -x1648 -x1647 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1667 -x1666 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 x1681 -x1684 -x1683 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1711 -x1710 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1726 -x1725 -x1727 -x1728 -x1729 -x1730 -x1731 -x1734 -x1733 -x1735 -x1736 -x1737 -x1738 -x1739 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 x1747 -x1750 -x1749 -x1751 -x1752 x1753 -x1754 x1755 -x1758 -x1757 -x1759 -x1760 -x1761 x1762 -x1763 x1764 x1767 x1766 -x1768 -x1769 x1770 -x1771 x1772 -x1775 -x1774 -x1776 -x1777 x1778 -x1779 x1780 -x1782 -x1783 -x1784 x1785 x1786 x1787 x1788 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1803 -x1802 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 x1821 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 x1831 -x1834 -x1833 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1845 -x1844 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 x1852 -x1855 -x1854 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 x1869 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1884 -x1883 -x1885 -x1886 x1887 -x1888 x1889 -x1892 -x1891 -x1893 -x1894 -x1895 x1896 -x1897 x1898 -x1901 -x1900 -x1902 x1903 x1904 x1905 x1906 -x1909 -x1908 -x1910 -x1911 x1912 -x1913 x1914 x1917 x1916 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1926 -x1925 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 x1933 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 -x1941 x1942 -x1945 -x1944 -x1946 x1947 -x1948 x1949 x1950 x1951 x1952 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -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 -x1998 -x1997 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2009 -x2008 -x2010 -x2011 -x2012 -x2013 x2014 x2015 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 x2023 -x2026 -x2025 x2027 -x2028 -x2029 -x2030 x2031 x2032 x2033 x2034 -x2037 -x2036 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 x2057 -x2060 -x2059 -x2061 x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2075 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 x2082 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 x2092 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2114 -x2113 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 x2121 -x2124 -x2123 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2135 -x2134 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2160 -x2159 -x2161 -x2162 x2163 -x2164 x2165 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2177 -x2176 -x2178 -x2179 -x2180 x2181 -x2182 x2183 x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 x2204 -x2207 -x2206 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 x2229 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x2240 x2241 -x2244 -x2243 -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 -x2282 -x2283 x2284 -x2285 -x2286 x2287 -x2288 -x2289 x2290 -x2293 -x2292 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2314 -x2313 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328 -x2329 x2330 x2333 x2332 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2346 -x2345 -x2347 -x2348 x2349 -x2350 -x2351 x2352 x2354 x2355 -x2356 -x2357 x2358 -x2359 -x2360 x2361 -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 -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 x2422 -x2424 -x2425 -x2426 -x2427 -x2428 x2429 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437 x2438 x2440 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 x2451 x2452 x2453 x2454 -x2457 -x2456 -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 x2620 -x2621 -x2619 -x2622 -x2624 -x2625 -x2623 -x2627 -x2628 x2626 -x2630 -x2631 -x2629 -x2633 -x2634 -x2632 x2635 -x2637 -x2638 -x2636 x2640 -x2641 -x2639 -x2643 -x2644 x2642 -x2646 -x2647 -x2645 -x2648 -x2650 -x2651 -x2649 x2653 -x2654 -x2652 -x2656 -x2657 x2655 -x2659 -x2658 -x2660 -x2662 -x2661 -x2664 -x2663 x2666 x2665 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 x2673 -x2674 -x2675 x2677 -x2678 -x2676 -x2679 -x2681 -x2682 -x2680 -x2684 -x2685 x2683 -x2687 -x2688 -x2686 x2690 -x2691 -x2689 -x2692 -x2694 -x2695 -x2693 -x2697 -x2698 -x2696 -x2700 -x2701 x2699 -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 x2826 x2825 -x2827 -x2829 -x2828 -x2831 -x2830 -x2833 -x2832 -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 x3115 x3114 -x3117 -x3116 x3119 x3118 x3121 x3120 x3122 x3124 x3123 x3126 x3128 x3127 x3130 x3132 x3131 x3134 x3136 x3135 x3138 x3140 x3139 x3142 x3144 x3143 x3146 x3148 x3147 x3150 x3152 x3151 x3154 x3156 x3155 x3158 x3160 x3159 x3162 x3164 x3163 x3166 x3168 x3167 x3170 x3172 x3171 x3174 x3176 x3175 x3178 x3180 x3179 -x3182 -x490 -x3183 -x2083 -x3184 -x1449 -x3185 -x1646 -x3186 -x1201 -x3187 -x1316 -x3188 -x514 -x3189 -x754 -x3190 -x202 -x3191 -x983 -x3192 -x1899 -x3193 -x1674 -x3194 -x942 -x3195 -x162 -x3196 -x1943 -x3197 -x298 -x3198 -x1773 -x3199 -x1376 -x3200 -x2166 -x3201 -x330 -x3202 -x2312 x3203 x2331 -x3204 -x866 -x3205 -x338 -x3206 -x2455 -x3207 -x474 -x3208 -x554 -x3209 -x282 -x3210 -x106 -x3211 -x618 -x3212 -x842 -x3213 -x562 -x3214 -x98 -x3215 -x738 -x3216 -x1570 -x3217 -x794 -x3218 -x362 -x3219 -x2122 -x3220 -x1724 -x3221 -x1051 -x3222 -x650 -x3223 -x975 -x3224 -x90 -x3225 -x1882 -x3226 -x346 x3227 x1457 -x3228 -x426 -x3229 -x1275 -x3230 -x1291 -x3231 -x967 -x3232 -x1597 x3233 x1915 -x3234 -x1348 -x3235 -x122 x3236 x2184 -x3237 -x522 -x3238 -x610 -x3239 -x690 -x3240 -x826 -x3241 -x2133 -x3242 -x1099 -x3243 -x2007 -x3244 -x1250 -x3245 -x722 x3246 x1765 -x3247 -x250 -x3248 -x1581 -x3249 -x402 -x3250 -x1007 -x3251 -x1226 -x3252 -x874 -x3253 -x546 -x3254 -x2073 -x3255 -x1748 -x3256 -x1259 -x3257 -x1801 -x3258 -x1126 x3259 -x3260 -x1496 -x3261 -x706 -x3262 -x170 -x3263 -x2175 -x3264 -x1193 -x3265 -x1709 -x3266 -x1217 -x3267 -x1756 -x3268 -x2281 -x3269 -x802 x3270 -x3271 -x2220 -x3272 -x458 -x3273 -x1157 -x3274 -x258 -x3275 -x882 -x3276 -x858 -x3277 -x1924 -x3278 -x210 -x3279 -x2242 -x3280 -x154 -x3281 -x274 -x3282 -x1184 -x3283 -x354 -x3284 -x2158 -x3285 -x178 -x3286 -x1665 -x3287 -x2362 -x3288 -x1324 -x3289 -x2230 -x3290 -x714 -x3291 -x506 -x3292 -x1682 -x3293 -x1626 -x3294 -x1118 -x3295 -x1547 -x3296 -x1340 -x3297 -x586 x3298 x999 -x3299 -x2058 -x3300 -x2112 -x3301 -x370 -x3302 -x2390 -x3303 -x1504 -x3304 -x1870 -x3305 -x916 -x3306 -x322 -x3307 -x186 -x3308 -x530 -x3309 -x1068 -x3310 -x1513 -x3311 -x1283 -x3312 -x146 -x3313 -x1555 -x3314 -x1016 -x3315 -x234 -x3316 -x1822 x3317 x1539 -x3318 -x1970 -x3319 -x991 -x3320 -x1385 -x3321 -x1300 -x3322 -x658 x3323 x1242 -x3324 -x386 -x3325 -x194 -x3326 -x450 -x3327 -x2205 -x3328 -x1441 -x3329 -x1308 -x3330 -x698 -x3331 -x950 x3332 x746 -x3333 -x434 -x3334 -x1843 -x3335 -x1740 -x3336 -x1732 -x3337 -x1357 -x3338 -x1996 -x3339 -x1832 -x3340 -x834 -x3341 -x2024 -x3342 -x1397 -x3343 -x2145 -x3344 -x1405 -x3345 -x466 x3346 x906 -x3347 -x394 -x3348 -x1890 -x3349 -x770 -x3350 -x578 -x3351 -x626 -x3352 -x1423 -x3353 -x2016 -x3354 -x674 -x3355 -x1109 -x3356 -x933 -x3357 -x2093 -x3358 -x306 -x3359 -x666 -x3360 -x1267 -x3361 -x1332 -x3362 -x378 -x3363 -x634 -x3364 -x890 -x3365 -x818 -x3366 -x810 -x3367 -x1907 -x3368 -x786 -x3369 -x570 -x3370 -x850 -x3371 -x2291 -x3372 -x1060 -x3373 -x1862 -x3374 -x498 -x3375 -x1853 x3376 x1368 -x3377 -x1530 -x3378 -x1934 -x3379 -x1076 -x3380 -x442 -x3381 -x1781 -x3382 -x82 -x3383 -x2035 -x3384 -x1589 -x3385 -x218 -x3386 -x1953 -x3387 -x1137 -x3388 -x1789 -x3389 -x1696 -x3390 -x410 -x3391 -x1616 -x3392 -x1147 -x3393 -x290 -x3394 -x642 -x3395 -x1487 -x3396 -x898 -x3397 -x1234 -x3398 -x1043 -x3399 -x594 -x3400 -x1634 -x3401 -x1167 -x3402 -x682 -x3403 -x1024 -x3404 -x762 -x3405 -x314 -x3406 -x1522 -x3407 -x242 -x3408 -x958 -x3409 -x925 -x3410 -x1176 -x3411 -x1209 -x3412 -x1034 x3413 x2353 -x3414 -x1415 -x3415 -x130 -x3416 -x1812 -x3417 -x602 -x3418 -x418 -x3419 -x1433 -x3420 -x2344 -x3421 -x482 -x3422 -x538 -x3423 -x226 -x3424 -x266 -x3425 -x138 -x3426 -x730 -x3427 -x114 -x3428 -x1088 x3429 x778 -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
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 (62658 MiB free)
memory of node 1: 64507 MiB (63653 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512417-1751530924/watcher-4512417-1751530924 -o /tmp/evaluation-result-4512417-1751530924/solver-4512417-1751530924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751530924-80968 --watchdog 3760 ./ipbhs_gurobi --sym-cores-compact HOME/instance-4512417-1751530924.opb --max-coef 1000000000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Starting watchdog thread
solver pid=81022, runsolver pid=81008
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.57 1.21 1.55 3/270 81024
/proc/meminfo: memFree=128777008/131250000 swapFree=33010416/33010684
[pid=81022] ppid=81008 vsize=981280 memory=394516 CPUtime=0.08 cores=5,7
/proc/81022/stat : 81022 (ipbhs_gurobi) R 81008 81022 80955 0 -1 4194304 1121 0 0 0 1 7 0 0 20 0 1 0 68770261 1004830720 98629 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
/proc/81022/statm: 245320 98629 1632 641 0 230077 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 981280 KiB
Current children cumulated memory: 394516 KiB
[startup+0.205789 s]*
/proc/loadavg: 1.57 1.21 1.55 5/268 81034
/proc/meminfo: memFree=128304928/131250000 swapFree=33010416/33010684
[pid=81022] ppid=81008 vsize=981280 memory=861460 CPUtime=0.18 cores=5,7
/proc/81022/stat : 81022 (ipbhs_gurobi) R 81008 81022 80955 0 -1 4194304 1349 0 0 0 2 16 0 0 20 0 1 0 68770261 1004830720 215365 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
/proc/81022/statm: 245320 215365 1632 641 0 230077 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 981280 KiB
Current children cumulated memory: 861460 KiB
[startup+0.305609 s]*
/proc/loadavg: 1.57 1.21 1.55 4/269 81035
/proc/meminfo: memFree=128206316/131250000 swapFree=33010416/33010684
[pid=81022] ppid=81008 vsize=1013420 memory=939724 CPUtime=0.28 cores=5,7
/proc/81022/stat : 81022 (ipbhs_gurobi) R 81008 81022 80955 0 -1 4194304 5782 0 0 0 9 19 0 0 20 0 2 0 68770261 1037742080 234931 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
/proc/81022/statm: 253355 234931 2336 641 0 235838 0
[pid=81022/tid=81035] ppid=81008 vsize=1013420 memory=8039887049847965608 CPUtime=0 cores=5,7
/proc/81022/task/81035/stat : 81035 (ipbhs_gurobi) R 81008 81022 80955 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 68770288 1037742080 234931 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 0 0 0 -1 7 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 1013420 KiB
Current children cumulated memory: 939724 KiB
[startup+0.700181 s]
/proc/loadavg: 1.57 1.21 1.55 4/269 81035
/proc/meminfo: memFree=127735296/131250000 swapFree=33010416/33010684
[pid=81022] ppid=81008 vsize=1924056 memory=945560 CPUtime=0.68 cores=5,7
/proc/81022/stat : 81022 (ipbhs_gurobi) R 81008 81022 80955 0 -1 4194304 6792 0 0 0 29 39 0 0 20 0 2 0 68770261 1970233344 236390 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
/proc/81022/statm: 481014 236390 3328 641 0 463497 0
[pid=81022/tid=81035] ppid=81008 vsize=1924056 memory=18560 CPUtime=0 cores=5,7
/proc/81022/task/81035/stat : 81035 (ipbhs_gurobi) S 81008 81022 80955 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 68770288 1970233344 236390 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1924056 KiB
Current children cumulated memory: 945560 KiB
[startup+1.50014 s]
/proc/loadavg: 1.57 1.21 1.55 3/266 81035
/proc/meminfo: memFree=128046428/131250000 swapFree=33010416/33010684
[pid=81022] ppid=81008 vsize=1991444 memory=959080 CPUtime=1.47 cores=5,7
/proc/81022/stat : 81022 (ipbhs_gurobi) R 81008 81022 80955 0 -1 4194304 9005 0 0 0 99 48 0 0 20 0 2 0 68770261 2039238656 239770 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
/proc/81022/statm: 497861 239770 3808 641 0 480344 0
[pid=81022/tid=81035] ppid=81008 vsize=1991444 memory=18560 CPUtime=0 cores=5,7
/proc/81022/task/81035/stat : 81035 (ipbhs_gurobi) S 81008 81022 80955 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 68770288 2039238656 239770 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1991444 KiB
Current children cumulated memory: 959080 KiB
[startup+3.10527 s]
/proc/loadavg: 1.57 1.21 1.55 3/266 81141
/proc/meminfo: memFree=127992596/131250000 swapFree=33010416/33010684
[pid=81022] ppid=81008 vsize=2012688 memory=972044 CPUtime=3.07 cores=5,7
/proc/81022/stat : 81022 (ipbhs_gurobi) R 81008 81022 80955 0 -1 4194304 16295 0 1 0 256 51 0 0 20 0 2 0 68770261 2060992512 243011 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
/proc/81022/statm: 503172 243011 3808 641 0 485655 0
[pid=81022/tid=81035] ppid=81008 vsize=2012688 memory=10496 CPUtime=0 cores=5,7
/proc/81022/task/81035/stat : 81035 (ipbhs_gurobi) S 81008 81022 80955 0 -1 4194368 3 0 0 0 0 0 0 0 20 0 2 0 68770288 2060992512 243011 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2012688 KiB
Current children cumulated memory: 972044 KiB
[startup+6.30018 s]
/proc/loadavg: 1.84 1.27 1.56 4/263 81323
/proc/meminfo: memFree=127991184/131250000 swapFree=33010416/33010684
[pid=81022] ppid=81008 vsize=2012688 memory=972300 CPUtime=6.25 cores=5,7
/proc/81022/stat : 81022 (ipbhs_gurobi) R 81008 81022 80955 0 -1 4194304 24861 0 5 0 573 52 0 0 20 0 2 0 68770261 2060992512 243075 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
/proc/81022/statm: 503172 243075 3840 641 0 485655 0
[pid=81022/tid=81035] ppid=81008 vsize=2012688 memory=972300 CPUtime=0 cores=5,7
/proc/81022/task/81035/stat : 81035 (ipbhs_gurobi) S 81008 81022 80955 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 2 0 68770288 2060992512 243075 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2012688 KiB
Current children cumulated memory: 972300 KiB
[startup+10.7351 s]
# the end of solver process 81022 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=10.1464 s, system=0.53629 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40019 s]
/proc/loadavg: 1.84 1.27 1.56 4/263 81323
/proc/meminfo: memFree=127991184/131250000 swapFree=33010416/33010684
[pid=81022] ppid=81008 vsize=2012688 memory=972300 CPUtime=6.35 cores=5,7
/proc/81022/stat : 81022 (ipbhs_gurobi) R 81008 81022 80955 0 -1 4194304 24868 0 5 0 583 52 0 0 20 0 2 0 68770261 2060992512 243075 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
/proc/81022/statm: 503172 243075 3840 641 0 485655 0
[pid=81022/tid=81035] ppid=81008 vsize=2012688 memory=18560 CPUtime=0 cores=5,7
/proc/81022/task/81035/stat : 81035 (ipbhs_gurobi) S 81008 81022 80955 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 2 0 68770288 2060992512 243075 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
Current children cumulated CPU time: 6.35 s
Current children cumulated vsize: 2012688 KiB
Current children cumulated memory: 972300 KiB
[startup+8.00014 s]*
/proc/loadavg: 1.84 1.27 1.56 5/274 81349
/proc/meminfo: memFree=126091332/131250000 swapFree=33010416/33010684
[pid=81022] ppid=81008 vsize=2012688 memory=972300 CPUtime=7.95 cores=5,7
/proc/81022/stat : 81022 (ipbhs_gurobi) R 81008 81022 80955 0 -1 4194304 27473 0 5 0 743 52 0 0 20 0 2 0 68770261 2060992512 243075 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
/proc/81022/statm: 503172 243075 3840 641 0 485655 0
[pid=81022/tid=81035] ppid=81008 vsize=2012688 memory=-7387154158030912709 CPUtime=0 cores=5,7
/proc/81022/task/81035/stat : 81035 (ipbhs_gurobi) S 81008 81022 80955 0 -1 4194368 8 0 0 0 0 0 0 0 20 0 2 0 68770288 2060992512 243075 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 2012688 KiB
Current children cumulated memory: 972300 KiB
[startup+9.60014 s]
/proc/loadavg: 1.84 1.27 1.56 5/274 81349
/proc/meminfo: memFree=126101140/131250000 swapFree=33010416/33010684
[pid=81022] ppid=81008 vsize=2012688 memory=972300 CPUtime=9.54 cores=5,7
/proc/81022/stat : 81022 (ipbhs_gurobi) R 81008 81022 80955 0 -1 4194304 29531 0 5 0 902 52 0 0 20 0 2 0 68770261 2060992512 243075 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
/proc/81022/statm: 503172 243075 3840 641 0 485655 0
[pid=81022/tid=81035] ppid=81008 vsize=2012688 memory=972300 CPUtime=0 cores=5,7
/proc/81022/task/81035/stat : 81035 (ipbhs_gurobi) S 81008 81022 80955 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 2 0 68770288 2060992512 243075 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
Current children cumulated CPU time: 9.54 s
Current children cumulated vsize: 2012688 KiB
Current children cumulated memory: 972300 KiB
[startup+10.4001 s]
/proc/loadavg: 2.10 1.33 1.58 5/274 81349
/proc/meminfo: memFree=126118748/131250000 swapFree=33010416/33010684
[pid=81022] ppid=81008 vsize=2012688 memory=972300 CPUtime=10.35 cores=5,7
/proc/81022/stat : 81022 (ipbhs_gurobi) R 81008 81022 80955 0 -1 4194304 30125 0 5 0 982 53 0 0 20 0 2 0 68770261 2060992512 243075 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
/proc/81022/statm: 503172 243075 3840 641 0 485655 0
[pid=81022/tid=81035] ppid=81008 vsize=2012688 memory=972300 CPUtime=0 cores=5,7
/proc/81022/task/81035/stat : 81035 (ipbhs_gurobi) S 81008 81022 80955 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 2 0 68770288 2060992512 243075 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
Current children cumulated CPU time: 10.35 s
Current children cumulated vsize: 2012688 KiB
Current children cumulated memory: 972300 KiB
[startup+10.6001 s]
/proc/loadavg: 2.10 1.33 1.58 5/274 81349
/proc/meminfo: memFree=126118748/131250000 swapFree=33010416/33010684
[pid=81022] ppid=81008 vsize=2012688 memory=972300 CPUtime=10.55 cores=5,7
/proc/81022/stat : 81022 (ipbhs_gurobi) R 81008 81022 80955 0 -1 4194304 30249 0 5 0 1002 53 0 0 20 0 2 0 68770261 2060992512 243075 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
/proc/81022/statm: 503172 243075 3840 641 0 485655 0
[pid=81022/tid=81035] ppid=81008 vsize=2012688 memory=-7387154157964066757 CPUtime=0 cores=5,7
/proc/81022/task/81035/stat : 81035 (ipbhs_gurobi) S 81008 81022 80955 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 2 0 68770288 2060992512 243075 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
Current children cumulated CPU time: 10.55 s
Current children cumulated vsize: 2012688 KiB
Current children cumulated memory: 972300 KiB
[startup+10.7001 s]
/proc/loadavg: 2.10 1.33 1.58 5/274 81349
/proc/meminfo: memFree=126118748/131250000 swapFree=33010416/33010684
[pid=81022] ppid=81008 vsize=2012688 memory=972300 CPUtime=10.65 cores=5,7
/proc/81022/stat : 81022 (ipbhs_gurobi) R 81008 81022 80955 0 -1 4194304 30255 0 5 0 1012 53 0 0 20 0 2 0 68770261 2060992512 243075 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
/proc/81022/statm: 503172 243075 3840 641 0 485655 0
[pid=81022/tid=81035] ppid=81008 vsize=2012688 memory=972300 CPUtime=0 cores=5,7
/proc/81022/task/81035/stat : 81035 (ipbhs_gurobi) S 81008 81022 80955 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 2 0 68770288 2060992512 243075 18446744073709551615 93979103784960 93979106410013 140735442175136 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 93979107028888 93979107061850 93979111817216 140735442176395 140735442176519 140735442176519 140735442182121 0
Current children cumulated CPU time: 10.65 s
Current children cumulated vsize: 2012688 KiB
Current children cumulated memory: 972300 KiB
Child status: 0
Real time (s): 10.7352
CPU time (s): 10.6827
CPU user time (s): 10.1464
CPU system time (s): 0.53629
CPU usage (%): 99.5117
Max. virtual memory (cumulated for all children) (KiB): 2834696
Max. memory (cumulated for all children) (KiB): 1747656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1464
system time used= 0.53629
maximum resident set size= 1856200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31872
page faults= 5
swaps= 0
block input operations= 88
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1268
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 81022
# total CPU time (s): 10.6827
# total CPU user time (s): 10.1464
# total CPU system time (s): 0.53629
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028292 second user time and 0.07392 second system time
The end
Begin job on nodeC018 at 2025-07-03 10:22:04
IDJOB=4512417
IDBENCH=161280
IDSOLVER=3334
FILE ID=nodeC018/4512417-1751530924
RUNJOBID= nodeC018-1751530924-80968
SLURM_JOB_ID= 9598674
Free space on /tmp= 432932 MiB
SOLVER NAME= IPBHS-GUROBI-SYM 2025-06-09
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb
COMMAND LINE= ./ipbhs_gurobi --sym-cores-compact BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512417-1751530924/watcher-4512417-1751530924 -o /tmp/evaluation-result-4512417-1751530924/solver-4512417-1751530924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751530924-80968 --watchdog 3760 ./ipbhs_gurobi --sym-cores-compact HOME/instance-4512417-1751530924.opb --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a5dff9c93e7230bd45df778b178a2583
RANDOM SEED=1759056455
nodeC018 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.884
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.66
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.890
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.66
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.625
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.66
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.868
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.66
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.826
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.66
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 : 3612.887
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.66
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.868
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.861
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129354208 kB
MemAvailable: 129724544 kB
Buffers: 2128 kB
Cached: 1135400 kB
SwapCached: 32 kB
Active: 529132 kB
Inactive: 674108 kB
Active(anon): 83468 kB
Inactive(anon): 288 kB
Active(file): 445664 kB
Inactive(file): 673820 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 238364 kB
Writeback: 4 kB
AnonPages: 68256 kB
Mapped: 103540 kB
Shmem: 18044 kB
KReclaimable: 179780 kB
Slab: 270676 kB
SReclaimable: 179780 kB
SUnreclaim: 90896 kB
KernelStack: 4104 kB
PageTables: 2728 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 330892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432700 MiB
End job on nodeC018 at 2025-07-03 10:22:15