4.67/4.70 c initialize IPBHS solver
4.67/4.70 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
4.67/4.70 c optimizer = "scip"
4.67/4.70 c pbsolver = "roundingsat"
4.67/4.70 c load symmetries from file ""
4.67/4.70 c set time limit for symmetry computation to 100 seconds.
4.67/4.70 c set interchangeable summation variable limit to 3
4.67/4.70 c set abs symmetric core budget per WCE-iteration to 100
4.67/4.70 c set rel symmetric core budget per WCE-iteration to 0
4.67/4.70 c set lit symmetric core budget per WCE-iteration to 0
4.67/4.70 c set sym generation to 's'
4.67/4.70 c set abstraction set creation to 10 iterations without LB change
4.67/4.70 c set abstraction set inputs to 0
4.67/4.70 c set abstraction set cluster min size to 2
4.67/4.70 c set abstraction set cluster max size to 100000000
4.67/4.70 c set abstraction set cluster activation limit to 2
4.67/4.70 c enable abstraction set require equal cost
4.67/4.70 c set abstraction set assumptions to 0
4.67/4.70 c set abstraction set constraint type to 0
4.67/4.70 c set abstract core extraction strategy to b
4.67/4.70 c set core extraction strategy to 2
4.67/4.70 c set core extraction shuffles 10
4.67/4.70 c set cores per iteration to 5
4.67/4.70 c set optimizer bound usage strategy to 2
4.67/4.70 c set optimizer max non-optimal iterations to 1000
4.67/4.70 c set small core cardinality limit to 2
4.67/4.70 c set max coef in cores to 1000000000
4.67/4.70 c set SIS iterations to 5
4.67/4.70 c set SIS budget abs to 1000
4.67/4.70 c set SIS budget rel to 0.05
4.67/4.70 c limit for coefficient in constraints and objective to 9223372036854775807
4.67/4.70 c will solve HOME/instance-4431783-1721074861.opb
4.67/4.70 c [0.06] solve iteration 1, LB=0, UB=775
80.19/80.57 c LB=UB after core extraction
80.19/80.57 c instance solved in 80.02s (IP-solver: 79.52s, core-extraction: 0s, SIS: 0s), 1 iterations, LB=364, UB=364,
80.19/80.57 d ITERATIONS 1
80.19/80.57 d SIS 0
80.19/80.57 d SIS_SAT 0
80.19/80.57 d SIS_UNSAT 0
80.19/80.57 d SIS_OUT_OF_BUDGET 0
80.19/80.57 d CORES_EXTRACTED 0
80.19/80.57 d CORES_IN_OPTIMIZER 0
80.19/80.57 d CLAUSAL_CORES_IN_OPTIMIZER 0
80.19/80.57 d CARDINALITY_CORES_IN_OPTIMIZER 0
80.19/80.57 d PB_CORES_IN_OPTIMIZER 0
80.19/80.57 d TIME_EXTRACT_CORES 0.000000
80.19/80.57 d TIME_OPTIMIZE 79.520000
80.19/80.57 d TIME_SIS 0.000000
80.19/80.57 c solve_time: 80.020000
80.19/80.57 s OPTIMUM FOUND
80.19/80.57 o 364
80.19/80.57 v x1 x3 x5 x7 x9 x11 x13 x15 x17 x19 x21 x23 x25 x27 x29 x31 -x33 x35 -x37 x39 x41 x43 x45 x47 x49 x51 x53 x55 x57 x59 x61 x63 x65 x67 x69 x71 x73 x75 x77 x79 x81 x83 x85 x87 -x89 x91 x93 x95 x97 x99 x101 x103 x105 x107 x109 x111 x113 x115 x117 x119 x121 x123 x125 x127 x129 -x131 -x133 x135 x137 x139 x141 -x143 x145 x147 -x149 x151 x153 -x155 x157 -x159 x161 -x163 x165 -x167 x169 x171 -x173 x175 x177 -x179 x181 -x183 -x185 x187 -x189 x191 -x193 x195 x197 x199 -x201 x203 x205 x207 x209 -x211 x213 x215 x217 x219 -x221 x223 x225 x227 x229 -x231 x233 x235 x237 x239 x241 x243 x245 -x247 -x249 x251 x253 -x255 x257 x259 -x261 x263 x265 x267 x269 x271 x273 x275 x277 x279 x281 x283 x285 x287 x289 x291 x293 x295 x297 x299 x301 x303 x305 x307 x309 x311 x313 x315 x317 x319 x321 x323 x325 x327 x329 x331 x333 x335 x337 x339 x341 x343 x345 x347 x349 x351 x353 x355 x357 x359 x361 x363 x365 x367 -x369 x371 x373 x375 x377 -x379 x381 x383 -x2 -x6 -x10 -x14 -x18 -x24 -x26 -x30 x34 x38 -x42 -x48 -x50 -x56 -x60 -x62 -x68 -x70 -x74 -x78 -x82 -x88 x90 -x96 -x100 -x104 -x108 -x110 -x116 -x118 -x124 -x126 -x130 x134 -x138 -x142 -x146 -x152 -x154 -x158 -x162 -x166 -x170 -x176 -x178 -x184 -x188 -x190 -x196 -x198 x202 -x206 -x210 -x216 -x218 -x224 -x228 -x232 -x236 -x238 -x244 -x246 -x252 -x254 -x258 x262 -x266 -x270 -x274 -x280 -x282 -x286 -x290 -x294 -x298 -x304 -x306 -x312 -x316 -x318 -x324 -x326 -x330 -x334 -x338 -x344 -x346 -x352 -x356 -x360 -x364 -x366 -x372 -x374 x380 -x382 -x4 -x16 -x20 -x22 -x28 -x40 -x44 -x54 -x58 -x64 -x66 -x72 -x80 -x94 -x102 -x120 -x132 x144 -x148 -x150 -x156 -x168 -x172 -x182 -x186 -x192 -x194 -x200 -x208 -x222 -x230 -x248 -x260 -x272 -x276 -x278 -x284 -x296 -x300 -x310 -x314 -x320 -x322 -x328 -x336 -x350 -x358 -x376 -x8 -x12 -x46 -x86 -x106 -x114 -x122 -x128 -x136 -x140 -x174 -x214 -x234 -x242 -x250 -x256 -x264 -x268 -x302 -x342 -x362 x370 -x378 -x384 -x36 -x52 -x76 -x84 -x164 x180 -x204 x212 -x292 -x308 -x332 -x340 -x32 -x98 -x112 -x160 -x226 -x240 -x288 -x354 -x368 -x92 -x220 -x348 x386 x388 -x390 x392 x394 -x396 -x398 x400 x402 x404 x406 -x408 -x410 x412 -x414 x416 x418 -x420 x422 x424 -x426 x428 x430 -x432 x434 x436 -x438 x440 x442 -x444 -x446 x448 x450 x452 x454 -x456 -x458 x460 x462 -x464 x466 x468 -x470 x472 x474 -x476 x478 x480 -x482 x484 x486 -x488 x490 x492 x494 x496 -x498 -x500 x502 x504 -x506 x508 -x510 x512 x514 -x516 x518 x520 -x522 x524 x526 -x528 -x530 x532 x534 -x536 x538 x540 x542 x544 -x546 x548 x550 -x552 -x554 x556 x558 x560 -x562 x564 -x566 x568 x570 -x572 x574 x576 x578 -x580 x582 -x584 x586 x588 -x590 x592 x594 -x596 x598 x600 x602 x604 -x606 x608 x610 -x612 -x614 x616 -x618 x620 x622 -x624 x626 x628 -x630 -x632 x634 -x636 x638 x640 -x642 x644 x646 -x648 x650 x652 -x654 x656 x658 -x660 x662 x664 -x666 -x668 x670 x672 x674 x676 -x678 -x680 x682 -x684 -x686 x688 x690 -x692 x694 x696 -x698 x700 -x702 x704 x706 -x708 -x710 x712 x714 x716 x718 -x720 x722 x724 -x726 -x728 x730 x732 -x734 x736 x738 x740 x742 -x744 -x746 x748 -x750 -x752 x754 x756 -x758 x760 x762 x764 x766 -x768 -x770 x772 x774 -x385 -x387 x389 -x391 -x393 x395 x397 -x399 -x401 -x403 -x405 x407 -x409 -x411 x413 -x415 -x417 x419 -x421 -x423 x425 -x427 -x429 x431 -x433 -x435 x437 -x439 -x441 x443 x445 -x447 -x449 -x451 -x453 x455 x457 -x459 -x461 x463 -x465 -x467 x469 -x471 -x473 x475 -x477 -x479 x481 -x483 -x485 x487 -x489 -x491 -x493 -x495 x497 x499 -x501 -x503 -x505 -x507 x509 -x511 -x513 x515 -x517 -x519 x521 -x523 -x525 x527 x529 -x531 -x533 x535 -x537 -x539 -x541 -x543 x545 -x547 -x549 x551 x553 -x555 -x557 -x559 x561 -x563 x565 -x567 -x569 x571 -x573 -x575 -x577 x579 -x581 x583 -x585 -x587 x589 -x591 -x593 x595 -x597 -x599 -x601 -x603 x605 -x607 -x609 x611 -x613 -x615 x617 -x619 -x621 x623 -x625 -x627 x629 -x631 -x633 x635 -x637 -x639 x641 -x643 -x645 x647 -x649 -x651 x653 -x655 -x657 x659 -x661 -x663 x665 x667 -x669 -x671 -x673 -x675 x677 -x679 -x681 x683 x685 -x687 -x689 x691 -x693 -x695 x697 -x699 -x701 -x703 -x705 x707 x709 -x711 -x713 -x715 -x717 x719 -x721 -x723 x725 x727 -x729 -x731 x733 -x735 -x737 -x739 -x741 x743 x745 -x747 -x749 x751 -x753 -x755 x757 -x759 -x761 -x763 -x765 x767 x769 -x771 -x773
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 (60764 MiB free)
memory of node 1: 64473 MiB (61384 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431783-1721074861/watcher-4431783-1721074861 -o /tmp/evaluation-result-4431783-1721074861/solver-4431783-1721074861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721071938-815889 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431783-1721074861.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=817469, runsolver pid=817466
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.12 4.09 4.10 5/244 817470
/proc/meminfo: memFree=125071876/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=38040 memory=19724 CPUtime=0.11 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 2806 0 0 0 8 3 0 0 20 0 1 0 159644928 38952960 4931 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 9510 4931 2383 2900 0 6024 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 38040 KiB
Current children cumulated memory: 19724 KiB
[startup+0.212425 s]*
/proc/loadavg: 4.12 4.09 4.10 6/244 817470
/proc/meminfo: memFree=125056252/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=53864 memory=35488 CPUtime=0.21 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 6584 0 0 0 15 6 0 0 20 0 1 0 159644928 55156736 8872 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 13466 8872 2639 2900 0 9980 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53864 KiB
Current children cumulated memory: 35488 KiB
[startup+0.312238 s]*
/proc/loadavg: 4.12 4.09 4.10 5/244 817470
/proc/meminfo: memFree=125045724/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=68408 memory=47124 CPUtime=0.31 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 9445 0 0 0 24 7 0 0 20 0 1 0 159644928 70049792 11781 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 17102 11781 2671 2900 0 13616 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 68408 KiB
Current children cumulated memory: 47124 KiB
[startup+0.700285 s]
/proc/loadavg: 4.12 4.09 4.10 5/244 817470
/proc/meminfo: memFree=125013896/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=109644 memory=86496 CPUtime=0.68 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 20067 0 0 0 59 9 0 0 20 0 1 0 159644928 112275456 21624 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 27411 21624 2863 2900 0 23925 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109644 KiB
Current children cumulated memory: 86496 KiB
[startup+1.50035 s]
/proc/loadavg: 4.12 4.09 4.10 5/244 817470
/proc/meminfo: memFree=125002752/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=114372 memory=90776 CPUtime=1.49 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 21131 0 0 0 139 10 0 0 20 0 1 0 159644928 117116928 22694 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 28593 22694 2879 2900 0 25107 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 114372 KiB
Current children cumulated memory: 90776 KiB
[startup+3.11288 s]
/proc/loadavg: 4.12 4.09 4.10 5/244 817470
/proc/meminfo: memFree=124948344/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=180308 memory=145556 CPUtime=3.09 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 34376 0 0 0 297 12 0 0 20 0 1 0 159644928 184635392 36389 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 45077 36389 2895 2900 0 41591 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 180308 KiB
Current children cumulated memory: 145556 KiB
[startup+6.30031 s]
/proc/loadavg: 4.27 4.13 4.11 5/244 817470
/proc/meminfo: memFree=124927456/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=207324 memory=164300 CPUtime=6.26 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 39032 0 0 0 614 12 0 0 20 0 1 0 159644928 212299776 41075 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 51831 41075 2895 2900 0 48345 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 207324 KiB
Current children cumulated memory: 164300 KiB
[startup+12.7003 s]
/proc/loadavg: 4.33 4.14 4.12 5/244 817472
/proc/meminfo: memFree=124925192/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=207324 memory=164300 CPUtime=12.64 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 39036 0 0 0 1251 13 0 0 20 0 1 0 159644928 212299776 41075 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 51831 41075 2895 2900 0 48345 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 207324 KiB
Current children cumulated memory: 164300 KiB
[startup+25.5003 s]
/proc/loadavg: 4.48 4.18 4.13 5/244 817473
/proc/meminfo: memFree=124914712/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=214656 memory=172340 CPUtime=25.4 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 41422 0 0 0 2525 15 0 0 20 0 1 0 159644928 219807744 43085 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 53664 43085 2895 2900 0 50178 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 214656 KiB
Current children cumulated memory: 172340 KiB
[startup+51.1129 s]
/proc/loadavg: 4.74 4.27 4.16 5/244 817478
/proc/meminfo: memFree=124892388/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=243988 memory=190020 CPUtime=50.92 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 45875 0 0 0 5074 18 0 0 20 0 1 0 159644928 249843712 47505 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 60997 47505 2895 2900 0 57511 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 243988 KiB
Current children cumulated memory: 190020 KiB
[startup+80.5911 s]
# the end of solver process 817469 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=80.0686 s, system=0.225018 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 4.74 4.27 4.16 5/244 817478
/proc/meminfo: memFree=124892388/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=243988 memory=190020 CPUtime=51.01 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 45875 0 0 0 5083 18 0 0 20 0 1 0 159644928 249843712 47505 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 60997 47505 2895 2900 0 57511 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 243988 KiB
Current children cumulated memory: 190020 KiB
[startup+64.0003 s]*
/proc/loadavg: 4.70 4.27 4.16 5/244 817480
/proc/meminfo: memFree=124883932/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=251272 memory=196356 CPUtime=63.77 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 47427 0 0 0 6358 19 0 0 20 0 1 0 159644928 257302528 49089 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 62818 49089 2895 2900 0 59332 0
Current children cumulated CPU time: 63.77 s
Current children cumulated vsize: 251272 KiB
Current children cumulated memory: 196356 KiB
[startup+70.4003 s]
/proc/loadavg: 4.59 4.26 4.16 5/244 817482
/proc/meminfo: memFree=124876176/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=257836 memory=204012 CPUtime=70.13 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 50125 0 0 0 6993 20 0 0 20 0 1 0 159644928 264024064 51003 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 64459 51003 2895 2900 0 60973 0
Current children cumulated CPU time: 70.13 s
Current children cumulated vsize: 257836 KiB
Current children cumulated memory: 204012 KiB
[startup+76.8003 s]
/proc/loadavg: 4.54 4.26 4.16 5/244 817483
/proc/meminfo: memFree=124878128/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=257836 memory=204012 CPUtime=76.51 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 50126 0 0 0 7630 21 0 0 20 0 1 0 159644928 264024064 51003 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 64459 51003 2895 2900 0 60973 0
Current children cumulated CPU time: 76.51 s
Current children cumulated vsize: 257836 KiB
Current children cumulated memory: 204012 KiB
[startup+78.4003 s]
/proc/loadavg: 4.54 4.26 4.16 5/244 817484
/proc/meminfo: memFree=124875960/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=257836 memory=204012 CPUtime=78.1 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 50126 0 0 0 7789 21 0 0 20 0 1 0 159644928 264024064 51003 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 64459 51003 2895 2900 0 60973 0
Current children cumulated CPU time: 78.1 s
Current children cumulated vsize: 257836 KiB
Current children cumulated memory: 204012 KiB
[startup+79.2002 s]
/proc/loadavg: 4.54 4.26 4.16 5/244 817484
/proc/meminfo: memFree=124875960/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=257836 memory=204012 CPUtime=78.9 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 50126 0 0 0 7869 21 0 0 20 0 1 0 159644928 264024064 51003 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 64459 51003 2895 2900 0 60973 0
Current children cumulated CPU time: 78.9 s
Current children cumulated vsize: 257836 KiB
Current children cumulated memory: 204012 KiB
[startup+80.0003 s]*
/proc/loadavg: 4.50 4.26 4.16 5/244 817484
/proc/meminfo: memFree=124875988/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=257836 memory=204012 CPUtime=79.71 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 50126 0 0 0 7950 21 0 0 20 0 1 0 159644928 264024064 51003 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 64459 51003 2895 2900 0 60973 0
Current children cumulated CPU time: 79.71 s
Current children cumulated vsize: 257836 KiB
Current children cumulated memory: 204012 KiB
[startup+80.4003 s]
/proc/loadavg: 4.50 4.26 4.16 5/244 817484
/proc/meminfo: memFree=124875988/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=257836 memory=204012 CPUtime=80.09 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 50126 0 0 0 7988 21 0 0 20 0 1 0 159644928 264024064 51003 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 64459 51003 2895 2900 0 60973 0
Current children cumulated CPU time: 80.09 s
Current children cumulated vsize: 257836 KiB
Current children cumulated memory: 204012 KiB
[startup+80.5003 s]
/proc/loadavg: 4.50 4.26 4.16 5/244 817484
/proc/meminfo: memFree=124875988/131655788 swapFree=131071996/131071996
[pid=817469] ppid=817466 vsize=257836 memory=204012 CPUtime=80.19 cores=0,2
/proc/817469/stat : 817469 (ipbhs_static_sc) R 817466 817469 815879 0 -1 4194304 50126 0 0 0 7998 21 0 0 20 0 1 0 159644928 264024064 51003 134679101440 4194304 16068861 140725403741760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25542656 140725403747366 140725403747453 140725403747453 140725403754468 0
/proc/817469/statm: 64459 51003 2895 2900 0 60973 0
Current children cumulated CPU time: 80.19 s
Current children cumulated vsize: 257836 KiB
Current children cumulated memory: 204012 KiB
Child status: 0
Real time (s): 80.5912
CPU time (s): 80.2937
CPU user time (s): 80.0686
CPU system time (s): 0.225018
CPU usage (%): 99.6309
Max. virtual memory (cumulated for all children) (KiB): 257836
Max. memory (cumulated for all children) (KiB): 204012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.0686
system time used= 0.225018
maximum resident set size= 204012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50127
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= 2
involuntary context switches= 563
# summary of solver processes directly reported to runsolver:
# pid: 817469
# total CPU time (s): 80.2937
# total CPU user time (s): 80.0686
# total CPU system time (s): 0.225018
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.534339 second user time and 0.723841 second system time
The end
Begin job on nodeC005 at 2024-07-15 22:21:13
IDJOB=4431783
IDBENCH=147105
IDSOLVER=3057
FILE ID=nodeC005/4431783-1721074861
RUNJOBID= nodeC005-1721071938-815889
SLURM_JOB_ID= 7505537
Free space on /tmp= 723624 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431783-1721074861/watcher-4431783-1721074861 -o /tmp/evaluation-result-4431783-1721074861/solver-4431783-1721074861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721071938-815889 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431783-1721074861.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 24087313fe3fca98b5d34e1bc37b8d4a
RANDOM SEED=1030364093
nodeC005.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 : 1395.976
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 : 6983.53
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 : 3669.230
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.35
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 : 1214.084
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 : 6983.53
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.242
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.35
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 : 3536.839
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 : 6983.53
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 : 3668.134
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.35
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.380
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 : 6983.53
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.330
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125081496 kB
MemAvailable: 126723192 kB
Buffers: 361056 kB
Cached: 2106436 kB
SwapCached: 0 kB
Active: 646192 kB
Inactive: 5357628 kB
Active(anon): 3440 kB
Inactive(anon): 3570568 kB
Active(file): 642752 kB
Inactive(file): 1787060 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 54124 kB
Writeback: 24 kB
AnonPages: 3532844 kB
Mapped: 140608 kB
Shmem: 37704 kB
KReclaimable: 104164 kB
Slab: 205188 kB
SReclaimable: 104164 kB
SUnreclaim: 101024 kB
KernelStack: 3856 kB
PageTables: 16112 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4586608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2385920 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: 203592 kB
DirectMap2M: 11235328 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 723572 MiB
End job on nodeC005 at 2024-07-15 22:22:34