0.00/0.00 c initialize IPBHS solver
0.00/0.00 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.00 c optimizer = "gurobi"
0.00/0.00 c pbsolver = "roundingsat"
0.00/0.00 c use separate pbsolver for SIS
0.00/0.00 c load symmetries from file ""
0.00/0.00 c set time limit for symmetry computation to 100 seconds.
0.00/0.00 c set interchangeable summation variable limit to 3
0.00/0.00 c enable explicit+compact SCL
0.00/0.00 c set sym compact max subset size to 5
0.00/0.00 c set explicit symmetry matrix usage to 1
0.00/0.00 c sym budget explicit to 100
0.00/0.00 c sym budget explicit lits to 6000
0.00/0.00 c sym budget compact to 100
0.00/0.00 c sym budget compact lits to 6000
0.00/0.00 c sym budget common to 0
0.00/0.00 c sym budget common lits to 0
0.00/0.00 c set sym generation to 's'
0.00/0.00 c set abstraction set creation to 10 iterations without LB change
0.00/0.00 c set abstraction set inputs to 0
0.00/0.00 c set abstraction set cluster min size to 2
0.00/0.00 c set abstraction set cluster max size to 100000000
0.00/0.00 c set abstraction set cluster activation limit to 2
0.00/0.00 c enable abstraction set require equal cost
0.00/0.00 c set abstraction set assumptions to 0
0.00/0.00 c set abstraction set constraint type to 0
0.00/0.00 c set abstract core extraction strategy to b
0.00/0.00 c set core extraction strategy to 2
0.00/0.00 c set core extraction shuffles 10
0.00/0.00 c set cores per iteration to 5
0.00/0.00 c set optimizer bound usage strategy to 2
0.00/0.00 c set optimizer max non-optimal iterations to 1000
0.00/0.00 c set small core cardinality limit to 2
0.00/0.00 c set max coef in cores to 1000000000
0.00/0.00 c set core processing techniques to 4095
0.00/0.00 c set SIS iterations to 5
0.00/0.00 c set SIS budget abs to 1000
0.00/0.00 c set SIS budget rel to 0.05
0.00/0.02 c limit for coefficient in constraints and objective to 1000000000
0.00/0.02 c will solve HOME/instance-4519775-1751534612.opb
0.00/0.02 Searching graph automorphisms with time limit: 100
0.09/0.10 c [0.09] will start solving
8.47/8.59 c [0.09] solve iteration 1, LB=-1653, UB=1
8.47/8.59 c [0.41] solve iteration 2, LB=-57, UB=-56
8.47/8.59 c [8.06] solve iteration 3, LB=-57, UB=-56
8.47/8.59 c [8.09] LB=UB after computing candidate
8.47/8.59 c [8.09] instance solved in 8.09s (optimization: 0.02s, core-extraction: 7.97s, SIS: 0s), 3 iterations, LB=-56, UB=-56,
8.47/8.59 d ITERATIONS 3
8.47/8.59 d SIS 0
8.47/8.59 d SIS_SAT 0
8.47/8.59 d SIS_UNSAT 0
8.47/8.59 d SIS_OUT_OF_BUDGET 0
8.47/8.59 d CORES_EXTRACTED 33
8.47/8.59 d CORES_IN_OPTIMIZER 270
8.47/8.59 d CLAUSAL_CORES_IN_OPTIMIZER 201
8.47/8.59 d CARDINALITY_CORES_IN_OPTIMIZER 0
8.47/8.59 d PB_CORES_IN_OPTIMIZER 69
8.47/8.59 d TIME_EXTRACT_CORES 7.970000
8.47/8.59 d TIME_OPTIMIZE 0.020000
8.47/8.59 d TIME_SIS 0.000000
8.47/8.59 c solve_time: 8.090000
8.47/8.59 s OPTIMUM FOUND
8.47/8.59 o -56
8.47/8.59 v -x1 -x30 -x59 -x88 -x117 -x146 -x175 -x204 -x233 -x262 -x291 -x320 -x349 -x378 -x407 -x436 -x465 -x494 -x523 -x552 -x581 -x610 -x639 -x668 -x697 -x726 -x755 -x784 x813 -x2 -x31 -x60 -x89 -x118 -x147 -x176 -x205 -x234 -x263 -x292 -x321 -x350 -x379 -x408 -x437 -x466 -x495 -x524 -x553 -x582 -x611 -x640 -x669 -x698 -x727 -x756 -x785 x814 -x3 -x32 -x61 -x90 -x119 -x148 -x177 -x206 -x235 -x264 -x293 -x322 -x351 -x380 -x409 -x438 -x467 -x496 -x525 -x554 -x583 -x612 -x641 -x670 -x699 -x728 -x757 -x786 x815 -x4 -x33 -x62 -x91 -x120 -x149 -x178 -x207 -x236 -x265 -x294 -x323 -x352 -x381 -x410 -x439 -x468 -x497 -x526 -x555 -x584 -x613 -x642 -x671 -x700 -x729 -x758 -x787 x816 -x5 -x34 -x63 -x92 -x121 -x150 -x179 -x208 -x237 -x266 -x295 -x324 -x353 -x382 -x411 -x440 -x469 -x498 -x527 -x556 -x585 -x614 -x643 -x672 -x701 -x730 -x759 -x788 x817 -x6 -x35 -x64 -x93 -x122 -x151 -x180 -x209 -x238 -x267 -x296 -x325 -x354 -x383 -x412 -x441 -x470 -x499 -x528 -x557 -x586 -x615 -x644 -x673 -x702 -x731 -x760 -x789 x818 -x7 -x36 -x65 -x94 -x123 -x152 -x181 -x210 -x239 -x268 -x297 -x326 -x355 -x384 -x413 -x442 -x471 -x500 -x529 -x558 -x587 -x616 -x645 -x674 -x703 -x732 -x761 -x790 x819 -x8 -x37 -x66 -x95 -x124 -x153 -x182 -x211 -x240 -x269 -x298 -x327 -x356 -x385 -x414 -x443 -x472 -x501 -x530 -x559 -x588 -x617 -x646 -x675 -x704 -x733 -x762 -x791 x820 -x9 -x38 -x67 -x96 -x125 -x154 -x183 -x212 -x241 -x270 -x299 -x328 -x357 -x386 -x415 -x444 -x473 -x502 -x531 -x560 -x589 -x618 -x647 -x676 -x705 -x734 -x763 -x792 x821 -x10 -x39 -x68 -x97 -x126 -x155 -x184 -x213 -x242 -x271 -x300 -x329 -x358 -x387 -x416 -x445 -x474 -x503 -x532 -x561 -x590 -x619 -x648 -x677 -x706 -x735 -x764 -x793 x822 -x11 -x40 -x69 -x98 -x127 -x156 -x185 -x214 -x243 -x272 -x301 -x330 -x359 -x388 -x417 -x446 -x475 -x504 -x533 -x562 -x591 -x620 -x649 -x678 -x707 -x736 -x765 -x794 x823 -x12 -x41 -x70 -x99 -x128 -x157 -x186 -x215 -x244 -x273 -x302 -x331 -x360 -x389 -x418 -x447 -x476 -x505 -x534 -x563 -x592 -x621 -x650 -x679 -x708 -x737 -x766 -x795 x824 -x13 -x42 -x71 -x100 -x129 -x158 -x187 -x216 -x245 -x274 -x303 -x332 -x361 -x390 -x419 -x448 -x477 -x506 -x535 -x564 -x593 -x622 -x651 -x680 -x709 -x738 -x767 -x796 x825 -x14 -x43 -x72 -x101 -x130 -x159 -x188 -x217 -x246 -x275 -x304 -x333 -x362 -x391 -x420 -x449 -x478 -x507 -x536 -x565 -x594 -x623 -x652 -x681 -x710 -x739 -x768 -x797 x826 -x15 -x44 -x73 -x102 -x131 -x160 -x189 -x218 -x247 -x276 -x305 -x334 -x363 -x392 -x421 -x450 -x479 -x508 -x537 -x566 -x595 -x624 -x653 -x682 -x711 -x740 -x769 -x798 x827 -x16 -x45 -x74 -x103 -x132 -x161 -x190 -x219 -x248 -x277 -x306 -x335 -x364 -x393 -x422 -x451 -x480 -x509 -x538 -x567 -x596 -x625 -x654 -x683 -x712 -x741 -x770 -x799 x828 -x17 -x46 -x75 -x104 -x133 -x162 -x191 -x220 -x249 -x278 -x307 -x336 -x365 -x394 -x423 -x452 -x481 -x510 -x539 -x568 -x597 -x626 -x655 -x684 -x713 -x742 -x771 -x800 x829 -x18 -x47 -x76 -x105 -x134 -x163 -x192 -x221 -x250 -x279 -x308 -x337 -x366 -x395 -x424 -x453 -x482 -x511 -x540 -x569 -x598 -x627 -x656 -x685 -x714 -x743 -x772 -x801 x830 -x19 -x48 -x77 -x106 -x135 -x164 -x193 -x222 -x251 -x280 -x309 -x338 -x367 -x396 -x425 -x454 -x483 -x512 -x541 -x570 -x599 -x628 -x657 -x686 -x715 -x744 -x773 -x802 x831 -x20 -x49 -x78 -x107 -x136 -x165 -x194 -x223 -x252 -x281 -x310 -x339 -x368 -x397 -x426 -x455 -x484 -x513 -x542 -x571 -x600 -x629 -x658 -x687 -x716 -x745 -x774 -x803 x832 -x21 -x50 -x79 -x108 -x137 -x166 -x195 -x224 -x253 -x282 -x311 -x340 -x369 -x398 -x427 -x456 -x485 -x514 -x543 -x572 -x601 -x630 -x659 -x688 -x717 -x746 -x775 -x804 x833 -x22 -x51 -x80 -x109 -x138 -x167 -x196 -x225 -x254 -x283 -x312 -x341 -x370 -x399 -x428 -x457 -x486 -x515 -x544 -x573 -x602 -x631 -x660 -x689 -x718 -x747 -x776 -x805 x834 -x23 -x52 -x81 -x110 -x139 -x168 -x197 -x226 -x255 -x284 -x313 -x342 -x371 -x400 -x429 -x458 -x487 -x516 -x545 -x574 -x603 -x632 -x661 -x690 -x719 -x748 -x777 -x806 x835 -x24 -x53 -x82 -x111 -x140 -x169 -x198 -x227 -x256 -x285 -x314 -x343 -x372 -x401 -x430 -x459 -x488 -x517 -x546 -x575 -x604 -x633 -x662 -x691 -x720 -x749 -x778 -x807 x836 -x25 -x54 -x83 -x112 -x141 -x170 -x199 -x228 -x257 -x286 -x315 -x344 -x373 -x402 -x431 -x460 -x489 -x518 -x547 -x576 -x605 -x634 -x663 -x692 -x721 -x750 -x779 -x808 x837 -x26 -x55 -x84 -x113 -x142 -x171 -x200 -x229 -x258 -x287 -x316 -x345 -x374 -x403 -x432 -x461 -x490 -x519 -x548 -x577 -x606 -x635 -x664 -x693 -x722 -x751 -x780 -x809 x838 -x27 -x56 -x85 -x114 -x143 -x172 -x201 -x230 -x259 -x288 -x317 -x346 -x375 -x404 -x433 -x462 -x491 -x520 -x549 -x578 -x607 -x636 -x665 -x694 -x723 -x752 -x781 -x810 -x839 -x28 -x57 -x86 -x115 -x144 -x173 -x202 -x231 -x260 -x289 -x318 -x347 -x376 -x405 -x434 -x463 -x492 -x521 -x550 -x579 -x608 -x637 -x666 -x695 -x724 -x753 -x782 -x811 x840 x29 -x58 -x87 -x116 -x145 -x174 -x203 -x232 -x261 -x290 -x319 -x348 -x377 -x406 -x435 -x464 -x493 -x522 -x551 -x580 -x609 -x638 -x667 -x696 -x725 -x754 -x783 -x812 -x841 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 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
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 (61912 MiB free)
memory of node 1: 64507 MiB (63397 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519775-1751534612/watcher-4519775-1751534612 -o /tmp/evaluation-result-4519775-1751534612/solver-4519775-1751534612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751530924-80965 --watchdog 3760 ./ipbhs_gurobi --sym-cores-compact HOME/instance-4519775-1751534612.opb --max-coef 1000000000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=83020, runsolver pid=83017
[startup+0.100056 s]*
/proc/loadavg: 4.06 4.10 4.09 5/269 83022
/proc/meminfo: memFree=128301988/131250000 swapFree=33010416/33010684
[pid=83020] ppid=83017 vsize=101632 memory=25992 CPUtime=0.09 cores=0,2
/proc/83020/stat : 83020 (ipbhs_gurobi) R 83017 83020 80955 0 -1 4194304 4249 0 0 0 8 1 0 0 20 0 2 0 69139024 104071168 6498 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
/proc/83020/statm: 25408 6498 2336 641 0 7891 0
[pid=83020/tid=83022] ppid=83017 vsize=101632 memory=4026531960 CPUtime=0 cores=0,2
/proc/83020/task/83022/stat : 83022 (ipbhs_gurobi) R 83017 83020 80955 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 69139025 104071168 6498 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 101632 KiB
Current children cumulated memory: 25992 KiB
[startup+0.205488 s]*
/proc/loadavg: 4.06 4.10 4.09 5/269 83022
/proc/meminfo: memFree=128301988/131250000 swapFree=33010416/33010684
[pid=83020] ppid=83017 vsize=101632 memory=29576 CPUtime=0.19 cores=0,2
/proc/83020/stat : 83020 (ipbhs_gurobi) R 83017 83020 80955 0 -1 4194304 4319 0 0 0 18 1 0 0 20 0 2 0 69139024 104071168 7394 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
/proc/83020/statm: 25408 7394 3232 641 0 7891 0
[pid=83020/tid=83022] ppid=83017 vsize=101632 memory=3472328132921917724 CPUtime=0 cores=0,2
/proc/83020/task/83022/stat : 83022 (ipbhs_gurobi) R 83017 83020 80955 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 69139025 104071168 7394 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 101632 KiB
Current children cumulated memory: 29576 KiB
[startup+0.30573 s]*
/proc/loadavg: 4.06 4.10 4.09 5/269 83022
/proc/meminfo: memFree=128301988/131250000 swapFree=33010416/33010684
[pid=83020] ppid=83017 vsize=101632 memory=29576 CPUtime=0.29 cores=0,2
/proc/83020/stat : 83020 (ipbhs_gurobi) R 83017 83020 80955 0 -1 4194304 4319 0 0 0 28 1 0 0 20 0 2 0 69139024 104071168 7394 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
/proc/83020/statm: 25408 7394 3232 641 0 7891 0
[pid=83020/tid=83022] ppid=83017 vsize=101632 memory=-7387154157980778435 CPUtime=0 cores=0,2
/proc/83020/task/83022/stat : 83022 (ipbhs_gurobi) S 83017 83020 80955 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 69139025 104071168 7394 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101632 KiB
Current children cumulated memory: 29576 KiB
[startup+0.700172 s]
/proc/loadavg: 4.06 4.10 4.09 5/269 83022
/proc/meminfo: memFree=128297136/131250000 swapFree=33010416/33010684
[pid=83020] ppid=83017 vsize=101632 memory=33020 CPUtime=0.68 cores=0,2
/proc/83020/stat : 83020 (ipbhs_gurobi) R 83017 83020 80955 0 -1 4194304 4626 0 0 0 64 4 0 0 20 0 2 0 69139024 104071168 8255 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
/proc/83020/statm: 25408 8255 3264 641 0 7891 0
[pid=83020/tid=83022] ppid=83017 vsize=101632 memory=18560 CPUtime=0 cores=0,2
/proc/83020/task/83022/stat : 83022 (ipbhs_gurobi) S 83017 83020 80955 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 69139025 104071168 8255 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 101632 KiB
Current children cumulated memory: 33020 KiB
[startup+1.50018 s]
/proc/loadavg: 4.06 4.10 4.09 5/269 83022
/proc/meminfo: memFree=128297172/131250000 swapFree=33010416/33010684
[pid=83020] ppid=83017 vsize=107516 memory=38140 CPUtime=1.48 cores=0,2
/proc/83020/stat : 83020 (ipbhs_gurobi) R 83017 83020 80955 0 -1 4194304 5930 0 0 0 138 10 0 0 20 0 2 0 69139024 110096384 9535 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
/proc/83020/statm: 26879 9535 3264 641 0 9362 0
[pid=83020/tid=83022] ppid=83017 vsize=107516 memory=18560 CPUtime=0 cores=0,2
/proc/83020/task/83022/stat : 83022 (ipbhs_gurobi) S 83017 83020 80955 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 69139025 110096384 9535 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107516 KiB
Current children cumulated memory: 38140 KiB
[startup+3.10564 s]
/proc/loadavg: 4.06 4.10 4.09 5/269 83022
/proc/meminfo: memFree=128279720/131250000 swapFree=33010416/33010684
[pid=83020] ppid=83017 vsize=116192 memory=46992 CPUtime=3.08 cores=0,2
/proc/83020/stat : 83020 (ipbhs_gurobi) R 83017 83020 80955 0 -1 4194304 12564 0 0 0 292 16 0 0 20 0 2 0 69139024 118980608 11748 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
/proc/83020/statm: 29048 11748 3264 641 0 11531 0
[pid=83020/tid=83022] ppid=83017 vsize=116192 memory=42108 CPUtime=0 cores=0,2
/proc/83020/task/83022/stat : 83022 (ipbhs_gurobi) S 83017 83020 80955 0 -1 4194368 3 0 0 0 0 0 0 0 20 0 2 0 69139025 118980608 11748 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 116192 KiB
Current children cumulated memory: 46992 KiB
[startup+6.30018 s]
/proc/loadavg: 4.06 4.10 4.09 5/269 83023
/proc/meminfo: memFree=128274872/131250000 swapFree=33010416/33010684
[pid=83020] ppid=83017 vsize=118788 memory=49296 CPUtime=6.27 cores=0,2
/proc/83020/stat : 83020 (ipbhs_gurobi) R 83017 83020 80955 0 -1 4194304 14088 0 0 0 594 33 0 0 20 0 2 0 69139024 121638912 12324 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
/proc/83020/statm: 29697 12324 3264 641 0 12180 0
[pid=83020/tid=83022] ppid=83017 vsize=118788 memory=18560 CPUtime=0 cores=0,2
/proc/83020/task/83022/stat : 83022 (ipbhs_gurobi) S 83017 83020 80955 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 69139025 121638912 12324 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 118788 KiB
Current children cumulated memory: 49296 KiB
[startup+8.60353 s]
# the end of solver process 83020 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=8.09524 s, system=0.475867 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4002 s]
/proc/loadavg: 4.06 4.10 4.09 5/269 83023
/proc/meminfo: memFree=128274872/131250000 swapFree=33010416/33010684
[pid=83020] ppid=83017 vsize=118788 memory=49424 CPUtime=6.37 cores=0,2
/proc/83020/stat : 83020 (ipbhs_gurobi) R 83017 83020 80955 0 -1 4194304 14098 0 0 0 603 34 0 0 20 0 2 0 69139024 121638912 12356 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
/proc/83020/statm: 29697 12356 3264 641 0 12180 0
[pid=83020/tid=83022] ppid=83017 vsize=118788 memory=46992 CPUtime=0 cores=0,2
/proc/83020/task/83022/stat : 83022 (ipbhs_gurobi) S 83017 83020 80955 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 69139025 121638912 12356 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 118788 KiB
Current children cumulated memory: 49424 KiB
[startup+8.0001 s]*
/proc/loadavg: 4.06 4.10 4.09 5/269 83023
/proc/meminfo: memFree=128271028/131250000 swapFree=33010416/33010684
[pid=83020] ppid=83017 vsize=118920 memory=49680 CPUtime=7.97 cores=0,2
/proc/83020/stat : 83020 (ipbhs_gurobi) R 83017 83020 80955 0 -1 4194304 14823 0 0 0 752 45 0 0 20 0 2 0 69139024 121774080 12420 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
/proc/83020/statm: 29730 12420 3264 641 0 12213 0
[pid=83020/tid=83022] ppid=83017 vsize=118920 memory=-7387154157980778435 CPUtime=0 cores=0,2
/proc/83020/task/83022/stat : 83022 (ipbhs_gurobi) S 83017 83020 80955 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 69139025 121774080 12420 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 118920 KiB
Current children cumulated memory: 49680 KiB
[startup+8.40012 s]
/proc/loadavg: 4.06 4.10 4.09 5/269 83023
/proc/meminfo: memFree=128271028/131250000 swapFree=33010416/33010684
[pid=83020] ppid=83017 vsize=119052 memory=49680 CPUtime=8.36 cores=0,2
/proc/83020/stat : 83020 (ipbhs_gurobi) R 83017 83020 80955 0 -1 4194304 18215 0 0 0 790 46 0 0 20 0 2 0 69139024 121909248 12420 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
/proc/83020/statm: 29763 12420 3264 641 0 12246 0
[pid=83020/tid=83022] ppid=83017 vsize=119052 memory=5760 CPUtime=0 cores=0,2
/proc/83020/task/83022/stat : 83022 (ipbhs_gurobi) S 83017 83020 80955 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 69139025 121909248 12420 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 119052 KiB
Current children cumulated memory: 49680 KiB
[startup+8.60014 s]
/proc/loadavg: 4.06 4.10 4.09 5/269 83023
/proc/meminfo: memFree=128271028/131250000 swapFree=33010416/33010684
[pid=83020] ppid=83017 vsize=120192 memory=49952 CPUtime=8.56 cores=0,2
/proc/83020/stat : 83020 (ipbhs_gurobi) R 83017 83020 80955 0 -1 4194304 21203 0 0 0 809 47 0 0 20 0 1 0 69139024 123076608 12488 18446744073709551615 93973536796672 93973539421725 140731998295392 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 93973540040600 93973540073562 93973564076032 140731998304651 140731998304775 140731998304775 140731998310377 0
/proc/83020/statm: 30048 12488 3520 641 0 12531 0
Current children cumulated CPU time: 8.56 s
Current children cumulated vsize: 120192 KiB
Current children cumulated memory: 49952 KiB
Child status: 0
Real time (s): 8.60357
CPU time (s): 8.5711
CPU user time (s): 8.09524
CPU system time (s): 0.475867
CPU usage (%): 99.6227
Max. virtual memory (cumulated for all children) (KiB): 120192
Max. memory (cumulated for all children) (KiB): 49952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.09524
system time used= 0.475867
maximum resident set size= 60432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1025
involuntary context switches= 56
# summary of solver processes directly reported to runsolver:
# pid: 83020
# total CPU time (s): 8.5711
# total CPU user time (s): 8.09524
# total CPU system time (s): 0.475867
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028524 second user time and 0.061981 second system time
The end
Begin job on nodeC018 at 2025-07-03 11:23:32
IDJOB=4519775
IDBENCH=177417
IDSOLVER=3334
FILE ID=nodeC018/4519775-1751534612
RUNJOBID= nodeC018-1751530924-80965
SLURM_JOB_ID= 9598674
Free space on /tmp= 432760 MiB
SOLVER NAME= IPBHS-GUROBI-SYM 2025-06-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_29.opb
COMMAND LINE= ./ipbhs_gurobi --sym-cores-compact BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519775-1751534612/watcher-4519775-1751534612 -o /tmp/evaluation-result-4519775-1751534612/solver-4519775-1751534612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751530924-80965 --watchdog 3760 ./ipbhs_gurobi --sym-cores-compact HOME/instance-4519775-1751534612.opb --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f6ce754accc0feb3403d349e38abeae7
RANDOM SEED=1634226368
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.826
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.883
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 : 3595.399
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 : 3659.306
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.782
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 : 3599.835
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 : 3700.000
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.816
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: 128317900 kB
MemAvailable: 128703316 kB
Buffers: 2128 kB
Cached: 1150328 kB
SwapCached: 32 kB
Active: 1602536 kB
Inactive: 678040 kB
Active(anon): 1145880 kB
Inactive(anon): 288 kB
Active(file): 456656 kB
Inactive(file): 677752 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 59256 kB
Writeback: 8 kB
AnonPages: 1126596 kB
Mapped: 120532 kB
Shmem: 18044 kB
KReclaimable: 180092 kB
Slab: 270464 kB
SReclaimable: 180092 kB
SUnreclaim: 90372 kB
KernelStack: 4320 kB
PageTables: 5392 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1989436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 706560 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 11:23:41