0.00/0.04 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.00/0.04 c Do: 140732726690744 140732726690752
0.00/0.04 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.05 c Starting SCIP solver (with time-limit = 1800s) ...
10.15/10.21 c SCIP optimum (rounded): 13739089
10.15/10.21 o 13739089
10.15/10.21 s OPTIMUM FOUND
10.15/10.21 v -x64 -x69 -x74 x79 -x84 -x89 x94 -x99 -x104 -x110 -x115 -x120 -x125 -x130 -x135 -x140 -x145 -x150 -x160 -x166 x171 -x176 -x181 -x188 -x193 -x198 -x207 -x212 -x219 -x224 -x231 -x236 -x241 -x250 -x255 -x261 x267 -x273 -x278 -x283 -x295 -x300 -x310 x316 -x323 -x339 x345 -x350 -x367 -x380 -x398 -x422 -x440 x476 x827 -x829 x831 -x833 -x884 -x886 x888 -x890 -x891 -x893 -x895 x897 -x899 -x900 -x902 -x904 x906 -x908 -x909 -x911 x913 -x915 -x917 -x918 -x920 -x922 x924 -x926 -x927 -x929 -x931 x933 -x935 -x936 -x938 -x940 x942 -x944 -x945 -x947 x949 -x951 -x953 -x954 -x956 x958 -x960 -x962 -x963 -x965 x967 -x969 -x971 -x972 -x974 -x976 x978 -x980 -x981 -x983 x985 -x987 -x989 -x990 x1 x2 x7 x12 x17 x22 x27 x32 x37 x42 x47 x52 x57 x838 x842 x846 x850 x854 x858 x862 x866 x870 x874 x878 x882 -x4 -x3 x5 x6 -x9 -x8 x10 x11 -x13 -x14 x15 x16 -x19 -x18 -x20 x21 -x23 -x24 x25 x26 -x28 -x29 x30 x31 -x33 -x34 x35 x36 -x39 -x38 -x40 x41 -x44 -x43 -x45 x46 -x49 -x48 -x50 x51 -x54 -x53 x55 x56 -x59 -x58 -x60 x61 -x62 -x63 -x66 -x65 -x67 -x68 -x71 -x70 -x72 -x73 -x76 -x75 -x77 x78 x81 x80 -x82 x83 -x86 -x85 -x87 x88 -x91 -x90 -x92 x93 x96 x95 -x97 x98 -x101 -x100 -x102 -x103 -x105 -x106 -x107 -x108 -x109 -x112 -x111 -x113 -x114 -x116 -x117 -x118 -x119 -x121 -x122 -x123 -x124 -x127 -x126 -x128 -x129 -x132 -x131 -x133 -x134 -x137 -x136 -x138 x139 -x141 -x142 -x143 x144 -x147 -x146 -x148 -x149 -x152 -x151 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x162 -x161 -x163 -x164 x165 -x168 -x167 -x169 x170 x172 x173 -x174 -x175 -x178 -x177 -x179 -x180 -x183 -x182 -x184 -x185 -x186 -x187 -x189 -x190 -x191 -x192 -x195 -x194 -x196 -x197 -x200 -x199 x201 -x202 -x203 -x204 -x205 -x206 -x209 -x208 -x210 -x211 -x214 -x213 -x215 -x216 -x217 -x218 -x220 -x221 -x222 -x223 -x226 -x225 -x227 -x228 -x229 -x230 -x233 -x232 -x234 -x235 -x237 -x238 -x239 -x240 -x243 -x242 -x244 -x245 x246 -x247 -x248 -x249 -x251 -x252 -x253 -x254 -x256 -x257 -x258 -x259 -x260 -x263 -x262 x264 -x265 x266 x269 x268 -x270 -x271 -x272 -x274 -x275 -x276 x277 -x279 -x280 -x281 -x282 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x296 -x297 -x298 -x299 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x311 -x312 -x313 -x314 x315 x318 x317 -x319 -x320 -x321 -x322 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x340 -x341 -x342 -x343 x344 x347 x346 -x348 -x349 -x352 -x351 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x369 -x368 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x382 -x381 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x400 -x399 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 x439 -x442 -x441 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 x478 x477 -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 -x564 -x565 -x563 -x567 -x568 -x566 x570 x571 x569 -x573 -x574 -x572 -x575 -x576 -x577 -x578 x579 x580 -x581 -x582 x584 -x585 -x583 -x587 -x588 -x586 -x590 -x591 x589 -x593 -x594 -x592 -x595 -x596 -x597 -x598 x599 x600 -x601 -x602 -x604 -x605 -x603 -x607 -x608 -x606 x610 x611 x609 -x613 -x614 -x612 -x615 -x616 -x617 -x618 x619 x620 -x621 -x622 -x623 -x624 x625 -x626 -x628 -x627 -x630 -x629 -x632 x631 -x634 -x633 -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 x684 x683 -x686 -x685 -x688 -x687 -x690 -x689 -x692 x691 -x694 -x693 -x696 -x695 -x698 -x697 -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 x828 -x830 x832 -x834 x835 x837 x836 x839 x841 x840 x843 x845 x844 x847 x849 x848 x851 x853 x852 x855 x857 x856 x859 x861 x860 x863 x865 x864 x867 x869 x868 x871 x873 x872 x875 x877 x876 x879 x881 x880 -x883 -x885 x887 -x889 -x892 -x894 x896 -x898 -x901 -x903 x905 -x907 -x910 x912 -x914 -x916 -x919 -x921 x923 -x925 -x928 -x930 x932 -x934 -x937 -x939 x941 -x943 -x946 x948 -x950 -x952 -x955 x957 -x959 -x961 -x964 x966 -x968 -x970 -x973 -x975 x977 -x979 -x982 x984 -x986 -x988
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: 63837 MiB (62615 MiB free)
memory of node 1: 64465 MiB (63531 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512591-1751526771/watcher-4512591-1751526771 -o /tmp/evaluation-result-4512591-1751526771/solver-4512591-1751526771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751523121-76679 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4512591-1751526771.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=77232, runsolver pid=77229
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 4.14 4.12 4.15 5/251 77233
/proc/meminfo: memFree=129170764/131382120 swapFree=33010416/33010684
[pid=77232] ppid=77229 vsize=30480 memory=21632 CPUtime=0.1 cores=1,3
/proc/77232/stat : 77232 (CASHWMaxSAT-Dis) R 77229 77232 76667 0 -1 4194304 3112 0 0 0 9 1 0 0 20 0 1 0 68355766 31211520 5408 18446744073709551615 4198400 14817773 140732726693152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41082880 140732726700394 140732726700509 140732726700509 140732726706111 0
/proc/77232/statm: 7620 5408 2528 2593 0 4513 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30480 KiB
Current children cumulated memory: 21632 KiB
[startup+0.213085 s]*
/proc/loadavg: 4.14 4.12 4.15 5/251 77233
/proc/meminfo: memFree=129170260/131382120 swapFree=33010416/33010684
[pid=77232] ppid=77229 vsize=33648 memory=24704 CPUtime=0.21 cores=1,3
/proc/77232/stat : 77232 (CASHWMaxSAT-Dis) R 77229 77232 76667 0 -1 4194304 3862 0 0 0 20 1 0 0 20 0 1 0 68355766 34455552 6176 18446744073709551615 4198400 14817773 140732726693152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41082880 140732726700394 140732726700509 140732726700509 140732726706111 0
/proc/77232/statm: 8373 6176 2560 2593 0 5266 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33648 KiB
Current children cumulated memory: 24704 KiB
[startup+0.31289 s]*
/proc/loadavg: 4.14 4.12 4.15 5/251 77233
/proc/meminfo: memFree=129170260/131382120 swapFree=33010416/33010684
[pid=77232] ppid=77229 vsize=39652 memory=30592 CPUtime=0.31 cores=1,3
/proc/77232/stat : 77232 (CASHWMaxSAT-Dis) R 77229 77232 76667 0 -1 4194304 5307 0 0 0 30 1 0 0 20 0 1 0 68355766 40603648 7648 18446744073709551615 4198400 14817773 140732726693152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41082880 140732726700394 140732726700509 140732726700509 140732726706111 0
/proc/77232/statm: 9913 7648 2624 2593 0 6806 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39652 KiB
Current children cumulated memory: 30592 KiB
[startup+0.700269 s]
/proc/loadavg: 4.14 4.12 4.15 5/251 77233
/proc/meminfo: memFree=129168748/131382120 swapFree=33010416/33010684
[pid=77232] ppid=77229 vsize=48716 memory=37476 CPUtime=0.68 cores=1,3
/proc/77232/stat : 77232 (CASHWMaxSAT-Dis) R 77229 77232 76667 0 -1 4194304 7366 0 0 0 66 2 0 0 20 0 1 0 68355766 49885184 9369 18446744073709551615 4198400 14817773 140732726693152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41082880 140732726700394 140732726700509 140732726700509 140732726706111 0
/proc/77232/statm: 12179 9369 2624 2593 0 9072 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 37476 KiB
[startup+1.50032 s]
/proc/loadavg: 4.14 4.12 4.15 5/251 77233
/proc/meminfo: memFree=129168748/131382120 swapFree=33010416/33010684
[pid=77232] ppid=77229 vsize=67744 memory=55396 CPUtime=1.48 cores=1,3
/proc/77232/stat : 77232 (CASHWMaxSAT-Dis) R 77229 77232 76667 0 -1 4194304 11860 0 0 0 145 3 0 0 20 0 1 0 68355766 69369856 13849 18446744073709551615 4198400 14817773 140732726693152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41082880 140732726700394 140732726700509 140732726700509 140732726706111 0
/proc/77232/statm: 16936 13849 2624 2593 0 13829 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67744 KiB
Current children cumulated memory: 55396 KiB
[startup+3.11242 s]
/proc/loadavg: 4.14 4.12 4.15 5/251 77233
/proc/meminfo: memFree=129153008/131382120 swapFree=33010416/33010684
[pid=77232] ppid=77229 vsize=67744 memory=55524 CPUtime=3.09 cores=1,3
/proc/77232/stat : 77232 (CASHWMaxSAT-Dis) R 77229 77232 76667 0 -1 4194304 11875 0 0 0 306 3 0 0 20 0 1 0 68355766 69369856 13881 18446744073709551615 4198400 14817773 140732726693152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41082880 140732726700394 140732726700509 140732726700509 140732726706111 0
/proc/77232/statm: 16936 13881 2624 2593 0 13829 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 67744 KiB
Current children cumulated memory: 55524 KiB
[startup+6.30027 s]
/proc/loadavg: 4.12 4.11 4.15 5/251 77233
/proc/meminfo: memFree=129130840/131382120 swapFree=33010416/33010684
[pid=77232] ppid=77229 vsize=67744 memory=55780 CPUtime=6.27 cores=1,3
/proc/77232/stat : 77232 (CASHWMaxSAT-Dis) R 77229 77232 76667 0 -1 4194304 11941 0 0 0 624 3 0 0 20 0 1 0 68355766 69369856 13945 18446744073709551615 4198400 14817773 140732726693152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41082880 140732726700394 140732726700509 140732726700509 140732726706111 0
/proc/77232/statm: 16936 13945 2624 2593 0 13829 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 67744 KiB
Current children cumulated memory: 55780 KiB
[startup+10.2263 s]
# the end of solver process 77232 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=10.1285 s, system=0.051706 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40038 s]
/proc/loadavg: 4.12 4.11 4.15 5/251 77233
/proc/meminfo: memFree=129130840/131382120 swapFree=33010416/33010684
[pid=77232] ppid=77229 vsize=67744 memory=55780 CPUtime=6.37 cores=1,3
/proc/77232/stat : 77232 (CASHWMaxSAT-Dis) R 77229 77232 76667 0 -1 4194304 11941 0 0 0 634 3 0 0 20 0 1 0 68355766 69369856 13945 18446744073709551615 4198400 14817773 140732726693152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41082880 140732726700394 140732726700509 140732726700509 140732726706111 0
/proc/77232/statm: 16936 13945 2624 2593 0 13829 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 67744 KiB
Current children cumulated memory: 55780 KiB
[startup+8.00026 s]*
/proc/loadavg: 4.12 4.11 4.15 5/251 77233
/proc/meminfo: memFree=129114964/131382120 swapFree=33010416/33010684
[pid=77232] ppid=77229 vsize=91940 memory=77796 CPUtime=7.98 cores=1,3
/proc/77232/stat : 77232 (CASHWMaxSAT-Dis) R 77229 77232 76667 0 -1 4194304 17555 0 0 0 794 4 0 0 20 0 1 0 68355766 94146560 19449 18446744073709551615 4198400 14817773 140732726693152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41082880 140732726700394 140732726700509 140732726700509 140732726706111 0
/proc/77232/statm: 22985 19449 2624 2593 0 19878 0
Current children cumulated CPU time: 7.98 s
Current children cumulated vsize: 91940 KiB
Current children cumulated memory: 77796 KiB
[startup+9.60032 s]
/proc/loadavg: 4.12 4.11 4.15 5/251 77233
/proc/meminfo: memFree=129106900/131382120 swapFree=33010416/33010684
[pid=77232] ppid=77229 vsize=99728 memory=83684 CPUtime=9.55 cores=1,3
/proc/77232/stat : 77232 (CASHWMaxSAT-Dis) R 77229 77232 76667 0 -1 4194304 19037 0 0 0 951 4 0 0 20 0 1 0 68355766 102121472 20921 18446744073709551615 4198400 14817773 140732726693152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41082880 140732726700394 140732726700509 140732726700509 140732726706111 0
/proc/77232/statm: 24932 20921 2624 2593 0 21825 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 99728 KiB
Current children cumulated memory: 83684 KiB
[startup+10.0003 s]*
/proc/loadavg: 4.11 4.11 4.15 5/251 77233
/proc/meminfo: memFree=129098836/131382120 swapFree=33010416/33010684
[pid=77232] ppid=77229 vsize=107584 memory=89316 CPUtime=9.97 cores=1,3
/proc/77232/stat : 77232 (CASHWMaxSAT-Dis) R 77229 77232 76667 0 -1 4194304 20431 0 0 0 993 4 0 0 20 0 1 0 68355766 110166016 22329 18446744073709551615 4198400 14817773 140732726693152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41082880 140732726700394 140732726700509 140732726700509 140732726706111 0
/proc/77232/statm: 26896 22329 2624 2593 0 23789 0
Current children cumulated CPU time: 9.97 s
Current children cumulated vsize: 107584 KiB
Current children cumulated memory: 89316 KiB
[startup+10.2003 s]
/proc/loadavg: 4.11 4.11 4.15 5/251 77233
/proc/meminfo: memFree=129098836/131382120 swapFree=33010416/33010684
[pid=77232] ppid=77229 vsize=109764 memory=91364 CPUtime=10.15 cores=1,3
/proc/77232/stat : 77232 (CASHWMaxSAT-Dis) R 77229 77232 76667 0 -1 4194304 20945 0 0 0 1011 4 0 0 20 0 1 0 68355766 112398336 22841 18446744073709551615 4198400 14817773 140732726693152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 41082880 140732726700394 140732726700509 140732726700509 140732726706111 0
/proc/77232/statm: 27441 22841 2624 2593 0 24334 0
Current children cumulated CPU time: 10.15 s
Current children cumulated vsize: 109764 KiB
Current children cumulated memory: 91364 KiB
Child status: 30
Real time (s): 10.2264
CPU time (s): 10.1802
CPU user time (s): 10.1285
CPU system time (s): 0.051706
CPU usage (%): 99.5485
Max. virtual memory (cumulated for all children) (KiB): 109764
Max. memory (cumulated for all children) (KiB): 91364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1285
system time used= 0.051706
maximum resident set size= 91364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20945
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= 4
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 77232
# total CPU time (s): 10.1802
# total CPU user time (s): 10.1285
# total CPU system time (s): 0.051706
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.085086 second user time and 0.152332 second system time
The end
Begin job on nodeC003 at 2025-07-03 09:12:51
IDJOB=4512591
IDBENCH=161765
IDSOLVER=3322
FILE ID=nodeC003/4512591-1751526771
RUNJOBID= nodeC003-1751523121-76679
SLURM_JOB_ID= 9598648
Free space on /tmp= 431968 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-2-irabcde.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512591-1751526771/watcher-4512591-1751526771 -o /tmp/evaluation-result-4512591-1751526771/solver-4512591-1751526771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751523121-76679 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4512591-1751526771.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a516300ab931745c5ca3399047c5aa04
RANDOM SEED=1209558550
nodeC003 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 : 0xb00001f
cpu MHz : 3662.048
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 pti 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 : 6983.44
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 : 1197.159
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 pti 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 : 6983.44
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.562
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 pti 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 : 6983.44
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.248
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 pti 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 : 6983.44
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 : 3662.026
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 pti 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 : 6983.44
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 : 3691.290
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 pti 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 : 6983.44
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.692
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 pti 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 : 6983.44
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.453
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 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129174860 kB
MemAvailable: 129221180 kB
Buffers: 2736 kB
Cached: 843308 kB
SwapCached: 36 kB
Active: 1256868 kB
Inactive: 351272 kB
Active(anon): 772412 kB
Inactive(anon): 7608 kB
Active(file): 484456 kB
Inactive(file): 343664 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13880 kB
Writeback: 4 kB
AnonPages: 765168 kB
Mapped: 128840 kB
Shmem: 17924 kB
KReclaimable: 115656 kB
Slab: 200764 kB
SReclaimable: 115656 kB
SUnreclaim: 85108 kB
KernelStack: 4048 kB
PageTables: 4544 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1135984 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 366592 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 431956 MiB
End job on nodeC003 at 2025-07-03 09:13:01