0.00/0.07 c initialize IPBHS solver
0.00/0.07 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
0.00/0.07 c optimizer = "gurobi"
0.00/0.07 c pbsolver = "roundingsat"
0.00/0.07 c load symmetries from file ""
0.00/0.07 c set time limit for symmetry computation to 100 seconds.
0.00/0.07 c set interchangeable summation variable limit to 3
0.00/0.07 c find symmetric cores by applying each permutation and add them to optimizer
0.00/0.07 c set abs symmetric core budget per WCE-iteration to 100
0.00/0.07 c set rel symmetric core budget per WCE-iteration to 0
0.00/0.07 c set lit symmetric core budget per WCE-iteration to 0
0.00/0.07 c set sym generation to 's'
0.00/0.07 c set abstraction set creation to 10 iterations without LB change
0.00/0.07 c set abstraction set inputs to 0
0.00/0.07 c set abstraction set cluster min size to 2
0.00/0.07 c set abstraction set cluster max size to 100000000
0.00/0.07 c set abstraction set cluster activation limit to 2
0.00/0.07 c enable abstraction set require equal cost
0.00/0.07 c set abstraction set assumptions to 0
0.00/0.07 c set abstraction set constraint type to 0
0.00/0.07 c set abstract core extraction strategy to b
0.00/0.07 c set core extraction strategy to 2
0.00/0.07 c set core extraction shuffles 10
0.00/0.07 c set cores per iteration to 5
0.00/0.07 c set optimizer bound usage strategy to 2
0.00/0.07 c set optimizer max non-optimal iterations to 1000
0.00/0.07 c set small core cardinality limit to 2
0.00/0.07 c set max coef in cores to 1000000000
0.00/0.07 c set SIS iterations to 5
0.00/0.07 c set SIS budget abs to 1000
0.00/0.07 c set SIS budget rel to 0.05
0.00/0.07 c limit for coefficient in constraints and objective to 9223372036854775807
0.00/0.07 c will solve HOME/instance-4459504-1721895284.opb
0.37/0.43 c [0.05] solve iteration 1, LB=0, UB=2
0.37/0.43 c LB=UB after core extraction
0.37/0.43 c instance solved in 0.34s (IP-solver: 0s, core-extraction: 0.29s, SIS: 0s), 1 iterations, LB=0, UB=0,
0.37/0.43 d ITERATIONS 1
0.37/0.43 d SIS 0
0.37/0.43 d SIS_SAT 0
0.37/0.43 d SIS_UNSAT 0
0.37/0.43 d SIS_OUT_OF_BUDGET 0
0.37/0.43 d CORES_EXTRACTED 0
0.37/0.43 d CORES_IN_OPTIMIZER 0
0.37/0.43 d CLAUSAL_CORES_IN_OPTIMIZER 0
0.37/0.43 d CARDINALITY_CORES_IN_OPTIMIZER 0
0.37/0.43 d PB_CORES_IN_OPTIMIZER 0
0.37/0.43 d TIME_EXTRACT_CORES 0.290000
0.37/0.43 d TIME_OPTIMIZE 0.000000
0.37/0.43 d TIME_SIS 0.000000
0.37/0.43 c solve_time: 0.340000
0.37/0.43 s OPTIMUM FOUND
0.37/0.43 o 0
0.37/0.43 v -x1 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 x88 -x89 -x90 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x1339 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439
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: 64096 MiB (59317 MiB free)
memory of node 1: 64473 MiB (55524 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459504-1721895284/watcher-4459504-1721895284 -o /tmp/evaluation-result-4459504-1721895284/solver-4459504-1721895284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721888517-224268 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4459504-1721895284.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=228982, runsolver pid=228979
Current StackSize limit: 8192 KiB
[startup+0.100233 s]*
/proc/loadavg: 4.11 4.11 4.16 5/254 228985
/proc/meminfo: memFree=117584972/131655788 swapFree=131071472/131071996
[pid=228982] ppid=228979 vsize=9928 memory=2820 CPUtime=0 cores=0,2
/proc/228982/stat : 228982 (run-glibc-2.34.) S 228979 228982 224258 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 25517392 10166272 705 134679101440 94250629095424 94250630174744 140737170467312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94250632273200 94250632320388 94250638045184 140737170473919 140737170474076 140737170474076 140737170481091 0
/proc/228982/statm: 2482 705 625 264 0 133 0
[pid=228984] ppid=228982 vsize=139584 memory=23752 CPUtime=0.08 cores=0,2
/proc/228984/stat : 228984 (ld-linux-x86-64) R 228982 228982 224258 0 -1 4194304 2510 0 0 0 7 1 0 0 20 0 2 0 25517393 142934016 5938 134679101440 139663235358720 139663235546332 140727269974992 0 0 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 139663237647232 139663237656680 93825006616576 140727269978967 140727269979131 140727269979131 140727269986226 0
/proc/228984/statm: 34896 5938 2737 46 0 7491 0
[pid=228984/tid=228985] ppid=228982 vsize=139584 memory=4026561614 CPUtime=0 cores=0,2
/proc/228984/task/228985/stat : 228985 (ld-linux-x86-64) S 228982 228982 224258 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25517398 142934016 5938 134679101440 139663235358720 139663235546332 140727269974992 0 0 0 0 4096 0 1 0 0 -1 0 0 0 0 0 0 139663237647232 139663237656680 93825006616576 140727269978967 140727269979131 140727269979131 140727269986226 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 149512 KiB
Current children cumulated memory: 26572 KiB
[startup+0.214245 s]*
/proc/loadavg: 4.11 4.11 4.16 5/254 228985
/proc/meminfo: memFree=117584628/131655788 swapFree=131071472/131071996
[pid=228982] ppid=228979 vsize=9928 memory=2820 CPUtime=0 cores=0,2
/proc/228982/stat : 228982 (run-glibc-2.34.) S 228979 228982 224258 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 25517392 10166272 705 134679101440 94250629095424 94250630174744 140737170467312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94250632273200 94250632320388 94250638045184 140737170473919 140737170474076 140737170474076 140737170481091 0
/proc/228982/statm: 2482 705 625 264 0 133 0
[pid=228984] ppid=228982 vsize=139584 memory=26300 CPUtime=0.19 cores=0,2
/proc/228984/stat : 228984 (ld-linux-x86-64) R 228982 228982 224258 0 -1 4194304 2593 0 0 0 17 2 0 0 20 0 2 0 25517393 142934016 6575 134679101440 139663235358720 139663235546332 140727269974992 0 0 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 139663237647232 139663237656680 93825006616576 140727269978967 140727269979131 140727269979131 140727269986226 0
/proc/228984/statm: 34896 6575 3348 46 0 7491 0
[pid=228984/tid=228985] ppid=228982 vsize=139584 memory=3471202400344241230 CPUtime=0 cores=0,2
/proc/228984/task/228985/stat : 228985 (ld-linux-x86-64) S 228982 228982 224258 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25517398 142934016 6575 134679101440 139663235358720 139663235546332 140727269974992 0 0 0 0 4096 0 1 0 0 -1 0 0 0 0 0 0 139663237647232 139663237656680 93825006616576 140727269978967 140727269979131 140727269979131 140727269986226 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 149512 KiB
Current children cumulated memory: 29120 KiB
[startup+0.313235 s]*
/proc/loadavg: 4.11 4.11 4.16 9/254 228985
/proc/meminfo: memFree=117584628/131655788 swapFree=131071472/131071996
[pid=228982] ppid=228979 vsize=9928 memory=2820 CPUtime=0 cores=0,2
/proc/228982/stat : 228982 (run-glibc-2.34.) S 228979 228982 224258 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 25517392 10166272 705 134679101440 94250629095424 94250630174744 140737170467312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94250632273200 94250632320388 94250638045184 140737170473919 140737170474076 140737170474076 140737170481091 0
/proc/228982/statm: 2482 705 625 264 0 133 0
[pid=228984] ppid=228982 vsize=139584 memory=26300 CPUtime=0.28 cores=0,2
/proc/228984/stat : 228984 (ld-linux-x86-64) R 228982 228982 224258 0 -1 4194304 2615 0 0 0 26 2 0 0 20 0 2 0 25517393 142934016 6575 134679101440 139663235358720 139663235546332 140727269974992 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139663237647232 139663237656680 93825006616576 140727269978967 140727269979131 140727269979131 140727269986226 0
/proc/228984/statm: 34896 6575 3348 46 0 7491 0
[pid=228984/tid=228985] ppid=228982 vsize=139584 memory=-8536506683798348645 CPUtime=0 cores=0,2
/proc/228984/task/228985/stat : 228985 (ld-linux-x86-64) R 228982 228982 224258 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25517398 142934016 6575 134679101440 139663235358720 139663235546332 140727269974992 0 0 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0 139663237647232 139663237656680 93825006616576 140727269978967 140727269979131 140727269979131 140727269986226 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 149512 KiB
Current children cumulated memory: 29120 KiB
[startup+0.446468 s]
# the end of solver process 228982 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=0.369603 s, system=0.032541 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.412658 s]*
/proc/loadavg: 4.11 4.11 4.16 5/254 228985
/proc/meminfo: memFree=117584332/131655788 swapFree=131071472/131071996
[pid=228982] ppid=228979 vsize=9928 memory=2820 CPUtime=0 cores=0,2
/proc/228982/stat : 228982 (run-glibc-2.34.) S 228979 228982 224258 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 25517392 10166272 705 134679101440 94250629095424 94250630174744 140737170467312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94250632273200 94250632320388 94250638045184 140737170473919 140737170474076 140737170474076 140737170481091 0
/proc/228982/statm: 2482 705 625 264 0 133 0
[pid=228984] ppid=228982 vsize=139584 memory=26300 CPUtime=0.37 cores=0,2
/proc/228984/stat : 228984 (ld-linux-x86-64) R 228982 228982 224258 0 -1 4194304 2637 0 0 0 35 2 0 0 20 0 2 0 25517393 142934016 6575 134679101440 139663235358720 139663235546332 140727269974992 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139663237647232 139663237656680 93825006616576 140727269978967 140727269979131 140727269979131 140727269986226 0
/proc/228984/statm: 34896 6575 3348 46 0 7491 0
[pid=228984/tid=228985] ppid=228982 vsize=139584 memory=4026561614 CPUtime=0 cores=0,2
/proc/228984/task/228985/stat : 228985 (ld-linux-x86-64) R 228982 228982 224258 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25517398 142934016 6575 134679101440 139663235358720 139663235546332 140727269974992 0 0 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 139663237647232 139663237656680 93825006616576 140727269978967 140727269979131 140727269979131 140727269986226 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 149512 KiB
Current children cumulated memory: 29120 KiB
Child status: 0
Real time (s): 0.446511
CPU time (s): 0.402144
CPU user time (s): 0.369603
CPU system time (s): 0.032541
CPU usage (%): 90.0636
Max. virtual memory (cumulated for all children) (KiB): 149512
Max. memory (cumulated for all children) (KiB): 29120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.369603
system time used= 0.032541
maximum resident set size= 27024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2895
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= 144
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 228982
# total CPU time (s): 0.402144
# total CPU user time (s): 0.369603
# total CPU system time (s): 0.032541
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026446 second user time and 0.044469 second system time
The end
Begin job on nodeC004 at 2024-07-25 10:14:44
IDJOB=4459504
IDBENCH=178814
IDSOLVER=3055
FILE ID=nodeC004/4459504-1721895284
RUNJOBID= nodeC004-1721888517-224268
SLURM_JOB_ID= 8089308
Free space on /tmp= 723648 MiB
SOLVER NAME= IPBHS-GUROBI-SYM 2024-07-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-acc-tight5.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459504-1721895284/watcher-4459504-1721895284 -o /tmp/evaluation-result-4459504-1721895284/solver-4459504-1721895284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721888517-224268 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4459504-1721895284.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6af75c77ba4b85e7dda4ec373ae767da
RANDOM SEED=1576275174
nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3448.956
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
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 : 0xb00001f
cpu MHz : 3555.035
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
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 : 0xb00001f
cpu MHz : 1197.280
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
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 : 0xb00001f
cpu MHz : 1197.424
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
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 : 0xb00001f
cpu MHz : 3671.720
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
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 : 0xb00001f
cpu MHz : 3656.321
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
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 : 0xb00001f
cpu MHz : 1197.439
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
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 : 0xb00001f
cpu MHz : 1197.320
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 117599064 kB
MemAvailable: 128556088 kB
Buffers: 316572 kB
Cached: 11428056 kB
SwapCached: 60 kB
Active: 2714856 kB
Inactive: 10692252 kB
Active(anon): 1460 kB
Inactive(anon): 1714876 kB
Active(file): 2713396 kB
Inactive(file): 8977376 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 42060 kB
Writeback: 0 kB
AnonPages: 1656076 kB
Mapped: 131784 kB
Shmem: 53860 kB
KReclaimable: 212904 kB
Slab: 325796 kB
SReclaimable: 212904 kB
SUnreclaim: 112892 kB
KernelStack: 4048 kB
PageTables: 13208 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2723996 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 589824 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 392008 kB
DirectMap2M: 50892800 kB
DirectMap1G: 84934656 kB
Free space on /tmp at the end= 723604 MiB
End job on nodeC004 at 2024-07-25 10:14:45