0.00/0.01 c Presolving by SCIP...
2.66/2.73 c This is the PBCProcessor based on SCIP solver.
2.66/2.73 o 2
2.66/2.73 s OPTIMUM FOUND
2.66/2.73 v x1 -x2 -x3 -x4 x5 x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 x17 -x18 -x19 x20 x21 -x22 -x23 -x24 x25 x26 -x27 -x28 x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 x46 x47 x48 -x49 x50 x51 -x52 x53 x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 -x72 x73 x74 -x75 -x76 -x77 -x78 x79 x80 x81 x82 x83 x84 x85 -x86 -x87 x88 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 x97 x98 x99 x100 x101 -x102 -x103 -x104 -x105 x106 x107 -x108 x109 -x110 -x111 x112 x113 x114 -x115 x116 x117 -x118 -x119 -x120 x121 -x122 -x123 x124 x125 x126 x127 x128 x129 x130 -x131 -x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 -x143 -x144 -x145 -x146 x147 -x148 x149 -x150 x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 -x178 x179 x180 -x181 -x182 x183 x184 -x185 -x186 -x187 x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 x223 x224 -x225 x226 x227 x228 -x229 x230 x231 x232 -x233 -x234 x235 x236 -x237 x238 x239 -x240 -x241 x242 x243 x244 x245 -x246 x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 x272 x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 x285 x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 x294 -x295 -x296 x297 x298 x299 x300 x301 -x302 -x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 x325 x326 -x327 -x328 -x329 x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 x341 -x342 x343 x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 x352 x353 -x354 -x355 x356 x357 -x358 -x359 -x360 x361 -x362 -x363 x364 x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 x374 -x375 x376 x377 x378 x379 x380 x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 x391 x392 x393 -x394 -x395 -x396 x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 -x428 -x429 -x430 -x431 x432 -x433 x434 x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 x465 -x466 -x467 -x468 -x469 x470 -x471 x472 x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 x481 x482 -x483 x484 -x485 x486 x487 -x488 -x489 x490 x491 -x492 -x493 x494 x495 x496 -x497 x498 x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 x509 -x510 x511 x512 x513 x514 x515 x516 -x517 -x518 x519 x520 -x521 -x522 x523 x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 x557 -x558 -x559 -x560 -x561 x562 -x563 x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 x572 x573 x574 x575 x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 x591 x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 -x627 -x628 x629 x630 x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 x639 x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 x654 x655 x656 x657 -x658 x659 -x660 -x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 -x671 x672 x673 -x674 -x675 x676 x677 x678 -x679 -x680 -x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 x716 x717 -x718 x719 x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 x751 x752 x753 x754 x755 -x756 -x757 -x758 x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 x784 x785 x786 x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 x831 x832 x833 x834 -x835 -x836 x837 x838 -x839 -x840 x841 x842 x843 -x844 x845 x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 x878 -x879 -x880 x881 x882 x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 x892 -x893 x894 x895 x896 -x897 x898 x899 x900 x901 x902 x903 x904 x905 x906
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 (62390 MiB free)
memory of node 1: 64507 MiB (63869 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484509-1751303588/watcher-4484509-1751303588 -o /tmp/evaluation-result-4484509-1751303588/solver-4484509-1751303588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751303574-40054 --watchdog 3760 HOME/opbsolver HOME/instance-4484509-1751303588.opb 3600 31000 HOME HOME
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=40222, runsolver pid=40219
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 1.30 1.19 1.99 5/267 40226
/proc/meminfo: memFree=129282740/131249988 swapFree=33010684/33010684
[pid=40222] ppid=40219 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/40222/stat : 40222 (opbsolver) S 40219 40222 40042 0 -1 4194304 257 236 0 0 0 0 0 0 20 0 1 0 46037694 4292608 736 18446744073709551615 94084812505088 94084813399621 140720617775600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94084813638672 94084813686416 94084829708288 140720617777438 140720617777641 140720617777641 140720617783243 0
/proc/40222/statm: 1048 736 672 219 0 110 0
[pid=40226] ppid=40222 vsize=29624 memory=19584 CPUtime=0.08 cores=1,3
/proc/40226/stat : 40226 (pbcpreprocessor) R 40222 40222 40042 0 -1 4194304 2631 0 0 0 8 0 0 0 20 0 1 0 46037696 30334976 4896 18446744073709551615 4198400 15773533 140734681306784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 28364800 140734681311556 140734681311710 140734681311710 140734681317317 0
/proc/40226/statm: 7406 4896 2496 2826 0 4018 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 33816 KiB
Current children cumulated memory: 22528 KiB
[startup+0.205544 s]*
/proc/loadavg: 1.52 1.24 2.00 6/267 40226
/proc/meminfo: memFree=129282740/131249988 swapFree=33010684/33010684
[pid=40222] ppid=40219 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/40222/stat : 40222 (opbsolver) S 40219 40222 40042 0 -1 4194304 257 236 0 0 0 0 0 0 20 0 1 0 46037694 4292608 736 18446744073709551615 94084812505088 94084813399621 140720617775600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94084813638672 94084813686416 94084829708288 140720617777438 140720617777641 140720617777641 140720617783243 0
/proc/40222/statm: 1048 736 672 219 0 110 0
[pid=40226] ppid=40222 vsize=35792 memory=24184 CPUtime=0.18 cores=1,3
/proc/40226/stat : 40226 (pbcpreprocessor) R 40222 40222 40042 0 -1 4194304 3699 0 0 0 18 0 0 0 20 0 1 0 46037696 36651008 6046 18446744073709551615 4198400 15773533 140734681306784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 28364800 140734681311556 140734681311710 140734681311710 140734681317317 0
/proc/40226/statm: 8948 6046 2656 2826 0 5560 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 39984 KiB
Current children cumulated memory: 27128 KiB
[startup+0.305315 s]*
/proc/loadavg: 1.52 1.24 2.00 5/267 40226
/proc/meminfo: memFree=129282740/131249988 swapFree=33010684/33010684
[pid=40222] ppid=40219 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/40222/stat : 40222 (opbsolver) S 40219 40222 40042 0 -1 4194304 257 236 0 0 0 0 0 0 20 0 1 0 46037694 4292608 736 18446744073709551615 94084812505088 94084813399621 140720617775600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94084813638672 94084813686416 94084829708288 140720617777438 140720617777641 140720617777641 140720617783243 0
/proc/40222/statm: 1048 736 672 219 0 110 0
[pid=40226] ppid=40222 vsize=46932 memory=33912 CPUtime=0.29 cores=1,3
/proc/40226/stat : 40226 (pbcpreprocessor) R 40222 40222 40042 0 -1 4194304 6143 0 0 0 28 1 0 0 20 0 1 0 46037696 48058368 8478 18446744073709551615 4198400 15773533 140734681306784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 28364800 140734681311556 140734681311710 140734681311710 140734681317317 0
/proc/40226/statm: 11733 8478 2656 2826 0 8345 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 51124 KiB
Current children cumulated memory: 36856 KiB
[startup+0.70021 s]
/proc/loadavg: 1.52 1.24 2.00 5/267 40226
/proc/meminfo: memFree=129282740/131249988 swapFree=33010684/33010684
[pid=40222] ppid=40219 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/40222/stat : 40222 (opbsolver) S 40219 40222 40042 0 -1 4194304 257 236 0 0 0 0 0 0 20 0 1 0 46037694 4292608 736 18446744073709551615 94084812505088 94084813399621 140720617775600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94084813638672 94084813686416 94084829708288 140720617777438 140720617777641 140720617777641 140720617783243 0
/proc/40222/statm: 1048 736 672 219 0 110 0
[pid=40226] ppid=40222 vsize=71864 memory=59560 CPUtime=0.67 cores=1,3
/proc/40226/stat : 40226 (pbcpreprocessor) R 40222 40222 40042 0 -1 4194304 13626 0 0 0 65 2 0 0 20 0 1 0 46037696 73588736 14890 18446744073709551615 4198400 15773533 140734681306784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 28364800 140734681311556 140734681311710 140734681311710 140734681317317 0
/proc/40226/statm: 17966 14890 2688 2826 0 14578 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 76056 KiB
Current children cumulated memory: 62504 KiB
[startup+1.50022 s]
/proc/loadavg: 1.52 1.24 2.00 5/267 40226
/proc/meminfo: memFree=129234608/131249988 swapFree=33010684/33010684
[pid=40222] ppid=40219 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/40222/stat : 40222 (opbsolver) S 40219 40222 40042 0 -1 4194304 257 236 0 0 0 0 0 0 20 0 1 0 46037694 4292608 736 18446744073709551615 94084812505088 94084813399621 140720617775600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94084813638672 94084813686416 94084829708288 140720617777438 140720617777641 140720617777641 140720617783243 0
/proc/40222/statm: 1048 736 672 219 0 110 0
[pid=40226] ppid=40222 vsize=126828 memory=113960 CPUtime=1.47 cores=1,3
/proc/40226/stat : 40226 (pbcpreprocessor) R 40222 40222 40042 0 -1 4194304 27220 0 0 0 143 4 0 0 20 0 1 0 46037696 129871872 28490 18446744073709551615 4198400 15773533 140734681306784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 28364800 140734681311556 140734681311710 140734681311710 140734681317317 0
/proc/40226/statm: 31707 28490 2688 2826 0 28319 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 131020 KiB
Current children cumulated memory: 116904 KiB
[startup+2.73917 s]
# the end of solver process 40222 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2.63304 s, system=0.074362 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60025 s]
/proc/loadavg: 1.52 1.24 2.00 5/267 40226
/proc/meminfo: memFree=129234608/131249988 swapFree=33010684/33010684
[pid=40222] ppid=40219 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/40222/stat : 40222 (opbsolver) S 40219 40222 40042 0 -1 4194304 257 236 0 0 0 0 0 0 20 0 1 0 46037694 4292608 736 18446744073709551615 94084812505088 94084813399621 140720617775600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94084813638672 94084813686416 94084829708288 140720617777438 140720617777641 140720617777641 140720617783243 0
/proc/40222/statm: 1048 736 672 219 0 110 0
[pid=40226] ppid=40222 vsize=137424 memory=123944 CPUtime=1.56 cores=1,3
/proc/40226/stat : 40226 (pbcpreprocessor) R 40222 40222 40042 0 -1 4194304 29713 0 0 0 152 4 0 0 20 0 1 0 46037696 140722176 30986 18446744073709551615 4198400 15773533 140734681306784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 28364800 140734681311556 140734681311710 140734681311710 140734681317317 0
/proc/40226/statm: 34356 30986 2688 2826 0 30968 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 141616 KiB
Current children cumulated memory: 126888 KiB
[startup+2.40019 s]
/proc/loadavg: 1.52 1.24 2.00 5/267 40226
/proc/meminfo: memFree=129162048/131249988 swapFree=33010684/33010684
[pid=40222] ppid=40219 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/40222/stat : 40222 (opbsolver) S 40219 40222 40042 0 -1 4194304 257 236 0 0 0 0 0 0 20 0 1 0 46037694 4292608 736 18446744073709551615 94084812505088 94084813399621 140720617775600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94084813638672 94084813686416 94084829708288 140720617777438 140720617777641 140720617777641 140720617783243 0
/proc/40222/statm: 1048 736 672 219 0 110 0
[pid=40226] ppid=40222 vsize=176000 memory=161108 CPUtime=2.36 cores=1,3
/proc/40226/stat : 40226 (pbcpreprocessor) R 40222 40222 40042 0 -1 4194304 39265 0 0 0 231 5 0 0 20 0 1 0 46037696 180224000 40277 18446744073709551615 4198400 15773533 140734681306784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 17968456 18061744 28364800 140734681311556 140734681311710 140734681311710 140734681317317 0
/proc/40226/statm: 44000 40277 2688 2826 0 40612 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 180192 KiB
Current children cumulated memory: 164052 KiB
[startup+2.60018 s]
/proc/loadavg: 1.52 1.24 2.00 5/267 40226
/proc/meminfo: memFree=129162048/131249988 swapFree=33010684/33010684
[pid=40222] ppid=40219 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/40222/stat : 40222 (opbsolver) S 40219 40222 40042 0 -1 4194304 257 236 0 0 0 0 0 0 20 0 1 0 46037694 4292608 736 18446744073709551615 94084812505088 94084813399621 140720617775600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94084813638672 94084813686416 94084829708288 140720617777438 140720617777641 140720617777641 140720617783243 0
/proc/40222/statm: 1048 736 672 219 0 110 0
[pid=40226] ppid=40222 vsize=175716 memory=161256 CPUtime=2.56 cores=1,3
/proc/40226/stat : 40226 (pbcpreprocessor) R 40222 40222 40042 0 -1 4194304 39360 0 0 0 251 5 0 0 20 0 1 0 46037696 179933184 40314 18446744073709551615 4198400 15773533 140734681306784 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 17968456 18061744 28364800 140734681311556 140734681311710 140734681311710 140734681317317 0
/proc/40226/statm: 43929 40314 2688 2826 0 40541 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 179908 KiB
Current children cumulated memory: 164200 KiB
[startup+2.70019 s]
/proc/loadavg: 1.52 1.24 2.00 5/267 40226
/proc/meminfo: memFree=129162048/131249988 swapFree=33010684/33010684
[pid=40222] ppid=40219 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/40222/stat : 40222 (opbsolver) S 40219 40222 40042 0 -1 4194304 257 236 0 0 0 0 0 0 20 0 1 0 46037694 4292608 736 18446744073709551615 94084812505088 94084813399621 140720617775600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94084813638672 94084813686416 94084829708288 140720617777438 140720617777641 140720617777641 140720617783243 0
/proc/40222/statm: 1048 736 672 219 0 110 0
[pid=40226] ppid=40222 vsize=173668 memory=159208 CPUtime=2.66 cores=1,3
/proc/40226/stat : 40226 (pbcpreprocessor) R 40222 40222 40042 0 -1 4194304 39360 0 0 0 261 5 0 0 20 0 1 0 46037696 177836032 39802 18446744073709551615 4198400 15773533 140734681306784 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 17968456 18061744 28364800 140734681311556 140734681311710 140734681311710 140734681317317 0
/proc/40226/statm: 43417 39802 2688 2826 0 40029 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 177860 KiB
Current children cumulated memory: 162152 KiB
Child status: 0
Real time (s): 2.7392
CPU time (s): 2.70741
CPU user time (s): 2.63304
CPU system time (s): 0.074362
CPU usage (%): 98.8392
Max. virtual memory (cumulated for all children) (KiB): 180192
Max. memory (cumulated for all children) (KiB): 164436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.63304
system time used= 0.074362
maximum resident set size= 161492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40240
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 392
involuntary context switches= 6
# summary of solver processes directly reported to runsolver:
# pid: 40222
# total CPU time (s): 2.70741
# total CPU user time (s): 2.63304
# total CPU system time (s): 0.074362
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.016694 second user time and 0.03961 second system time
The end
Begin job on nodeC034 at 2025-06-30 19:13:08
IDJOB=4484509
IDBENCH=146658
IDSOLVER=3374
FILE ID=nodeC034/4484509-1751303588
RUNJOBID= nodeC034-1751303574-40054
SLURM_JOB_ID= 9594295
Free space on /tmp= 432992 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484509-1751303588/watcher-4484509-1751303588 -o /tmp/evaluation-result-4484509-1751303588/solver-4484509-1751303588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751303574-40054 --watchdog 3760 HOME/opbsolver HOME/instance-4484509-1751303588.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f
RANDOM SEED=387063003
nodeC034 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.714
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.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 : 0xb00002a
cpu MHz : 3599.710
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.432
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.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 : 0xb00002a
cpu MHz : 3618.969
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.53
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.573
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.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 : 0xb00002a
cpu MHz : 3599.551
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.651
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.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 : 0xb00002a
cpu MHz : 3607.057
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129290480 kB
MemAvailable: 129235344 kB
Buffers: 3280 kB
Cached: 752648 kB
SwapCached: 0 kB
Active: 836732 kB
Inactive: 527540 kB
Active(anon): 626448 kB
Inactive(anon): 0 kB
Active(file): 210284 kB
Inactive(file): 527540 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 83880 kB
Writeback: 0 kB
AnonPages: 611588 kB
Mapped: 136524 kB
Shmem: 18104 kB
KReclaimable: 92156 kB
Slab: 178812 kB
SReclaimable: 92156 kB
SUnreclaim: 86656 kB
KernelStack: 4272 kB
PageTables: 4392 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1031440 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 120832 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432972 MiB
End job on nodeC034 at 2025-06-30 19:13:11