Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSATDisjCad-S 2025-06-01 | SAT (TO) | 9 | 3600.07 | 3610.01 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:98.opb |
| MD5SUM | f3472af25f5f0fee0e9203b0329f534f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.058442 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 906 |
| Total number of constraints | 1039 |
| Number of constraints which are clauses | 852 |
| Number of constraints which are cardinality constraints (but not clauses) | 187 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 906 |
| Biggest coefficient in the objective function | 553 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 2526 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 553 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2526 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.02 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.02 c Do: 140736892239768 140736892239776 0.00/0.02 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.00/0.02 c Starting SCIP solver (with time-limit = 1800s) ... 1795.26/1800.03 c SCIP timeout with lower and upper bounds: [-211, 10] 1795.26/1800.03 o 10 2449.64/2456.26 o 9 3600.06/3610.00 3600.06/3610.00 v x786 x741 x421 -x83 x861 -x745 x419 x860 x785 -x502 -x308 -x86 x789 x420 -x87 -x64 x862 x505 -x425 -x355 -x307 -x63 x864 x790 -x574 x506 -x65 -x573 -x479 -x442 -x354 -x313 x66 -x28 x865 x575 -x478 -x311 -x103 x67 x867 -x811 x576 -x480 -x441 -x360 -x263 -x186 -x102 x74 -x27 -x868 -x815 x577 x483 -x358 -x312 -x191 -x108 x68 -x31 -x698 -x584 x482 -x447 x400 -x316 -x266 -x217 x190 -x144 -x107 -x69 -x702 -x578 -x487 -x445 -x359 -x267 -x143 x109 -x70 -x32 -x3 -x579 -x486 x399 -x363 x193 -x167 -x145 x113 -x2 -x661 -x580 -x484 -x446 -x194 x148 -x112 x8 -x660 -x595 -x559 -x485 -x450 x405 -x197 -x166 x147 -x110 x7 -x662 -x599 -x558 x403 -x195 x152 -x111 x9 x663 -x560 -x333 -x196 -x172 x151 -x13 x664 x563 x404 -x170 -x149 -x12 -x669 x562 x408 x336 -x150 -x10 x665 x564 x337 -x171 -x11 x740 x422 -x82 -x856 x744 -x855 x787 -x501 x426 -x303 -x88 x791 x424 x863 x507 -x350 -x309 x866 x870 -x836 -x793 -x437 -x356 x314 -x91 -x77 x869 -x840 -x794 -x78 -x810 -x587 -x510 -x443 x361 -x317 -x262 -x213 x73 -x29 -x814 x588 x481 -x315 -x185 -x104 -x33 -x697 -x583 x495 x448 -x395 -x364 x268 -x216 -x187 -x105 -x71 -x701 -x491 -x362 x192 x106 -x581 -x490 -x451 x401 x189 -x162 x117 -x35 -x449 x198 x146 -x36 -x4 -x594 -x543 x406 -x271 -x168 x160 x5 -x598 x156 x6 -x672 x409 -x332 x173 -x155 x17 x673 x561 x407 -x668 x572 -x467 x338 -x174 x568 x471 -x175 x782 x742 -x497 x423 -x84 x746 x427 x788 -x503 -x89 -x857 x792 -x302 x858 x796 -x748 x508 -x304 -x92 -x76 x859 -x795 -x749 -x349 x310 -x90 -x75 -x23 x874 -x835 -x762 -x586 -x511 -x351 x306 -x258 x22 -x839 -x766 -x585 -x509 -x436 x357 x318 -x812 -x492 -x438 x353 -x264 -x212 x30 -x816 -x494 x444 x365 x34 -x699 x440 x269 -x218 x120 -x72 -x38 -x703 -x452 -x394 x188 x121 -x37 -x818 -x582 -x539 -x488 -x396 x272 x206 -x157 x116 -x819 x402 -x270 x202 -x161 -x159 -x705 -x671 -x596 -x542 -x489 x398 -x328 -x221 x201 -x163 -x114 x20 -x706 -x670 -x600 x410 x169 x21 -x723 -x569 -x334 x165 -x153 x16 -x727 -x571 x176 -x666 -x602 -x466 x339 -x154 -x132 x14 -x603 x567 x470 x743 x435 -x80 x781 x747 -x496 -x431 x85 x783 -x751 x498 -x430 x81 x784 -x750 -x504 x93 x877 x800 x500 x878 -x806 x512 x305 -x873 -x837 -x805 x761 x326 -x208 -x841 -x765 -x693 -x493 x352 x322 -x257 x24 -x885 -x871 x813 -x692 x373 -x321 -x259 -x214 -x119 x25 -x889 x817 -x439 x369 -x265 -x118 x26 -x843 -x821 -x700 -x460 x368 x261 -x219 -x203 x42 -x844 -x820 -x704 -x590 x456 x273 -x205 -x158 x708 -x589 x538 -x455 -x222 -x19 -x707 x397 -x220 -x18 -x597 -x544 -x418 x199 -x115 -x601 -x570 x414 -x327 -x164 -x722 -x605 x413 -x329 x200 -x184 -x128 -x726 -x604 -x335 x180 -x667 -x547 -x468 x331 x179 -x131 -x15 x565 x472 x340 x904 x434 x79 -x876 x803 -x755 -x428 x101 -x875 -x831 x804 x499 x97 -x830 -x799 x520 -x429 -x323 x96 x516 -x325 -x838 -x797 x763 x515 -x370 x842 -x807 x767 -x372 -x207 -x884 -x872 x846 x808 -x457 -x319 -x292 -x209 -x45 -x888 -x845 x809 -x694 -x459 -x260 x215 -x204 -x46 -x825 -x769 -x695 -x534 -x384 -x366 -x320 x281 x211 x41 -x770 x696 -x277 -x223 x712 x620 x540 -x453 -x415 -x367 -x276 -x39 x624 -x591 -x417 x592 -x545 -x454 -x181 x593 -x462 -x183 -x724 x609 x548 -x461 x411 -x127 -x728 x546 -x330 x469 -x412 x348 x177 -x133 -x566 x473 x344 -x802 x432 x98 x801 x100 -x754 -x655 x517 -x757 x519 -x324 -x756 -x752 x522 x94 -x832 -x526 -x371 x833 -x798 x764 x513 -x288 -x250 -x95 -x44 x834 x768 -x458 -x43 -x886 x850 -x828 -x772 x514 -x380 -x291 x278 -x890 x829 -x771 x280 x210 -x824 -x715 -x383 x231 x716 -x533 -x416 x227 x892 -x822 -x711 -x642 x619 -x535 -x274 x226 -x40 -x893 -x718 -x646 x623 x541 -x182 x717 -x709 -x680 -x612 x537 -x275 -x123 -x56 -x684 -x613 x549 x725 -x608 -x345 -x129 x729 -x463 -x347 x730 -x606 x464 -x241 -x178 x134 x731 x465 x343 x905 x433 -x99 -x518 x654 -x753 x521 x246 -x880 x758 -x525 -x879 x853 -x827 x759 -x287 -x249 x854 -x826 x760 -x279 x887 -x849 x776 -x714 -x379 x293 -x228 x891 -x713 -x230 x895 -x847 -x385 x894 -x823 -x641 x621 -x611 -x296 x224 -x52 -x645 x625 -x610 x536 -x710 -x679 x557 -x388 -x225 -x55 x719 -x683 x553 -x346 -x122 x720 x627 x552 -x237 -x124 x721 -x628 x130 x735 -x607 x476 -x240 x126 x477 x341 -x135 x656 -x852 x523 -x283 x245 -x851 -x527 -x779 -x658 -x375 -x289 -x251 x881 x780 -x229 x882 -x775 x529 x381 x294 x883 -x615 -x530 x899 -x848 -x773 -x614 x386 x297 -x254 -x295 -x643 x622 -x554 -x389 x51 x647 x626 -x556 -x387 -x681 x630 -x57 -x685 x629 x738 x649 -x550 -x475 -x236 x739 x650 x474 -x125 x734 x687 -x551 -x242 -x142 -x60 -x688 -x342 x138 -x778 x659 x524 x247 -x777 x657 x528 -x282 x532 -x284 -x252 x531 -x374 x290 x902 -x376 x286 -x255 x903 -x637 x382 x298 -x253 x898 -x774 x636 x378 -x49 -x675 -x616 -x555 x390 -x896 -x674 x644 x617 x53 x648 x618 -x737 x682 x652 -x633 -x234 x58 -x736 x686 x651 x690 -x238 -x139 -x61 x689 -x141 -x59 x732 x243 x136 x248 x901 x906 x900 x285 -x256 x301 x377 x299 x393 x300 x638 x391 x48 -x897 x639 -x635 x392 x47 x676 x640 -x634 x54 x677 x653 -x631 x50 x678 x233 -x140 -x62 x691 -x632 x232 x239 x733 x235 x244 x137 x1 3600.06/3610.00 s SATISFIABLE
OK 9
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 (62381 MiB free)
memory of node 1: 64507 MiB (63413 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484467-1751293745/watcher-4484467-1751293745 -o /tmp/evaluation-result-4484467-1751293745/solver-4484467-1751293745 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751290134-45271 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4484467-1751293745.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=45619, runsolver pid=45613
[startup+0.100061 s]*
/proc/loadavg: 4.11 4.10 4.09 4/257 45635
/proc/meminfo: memFree=128802576/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=48748 memory=39388 CPUtime=0.09 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 7718 0 0 0 8 1 0 0 20 0 1 0 45052460 49917952 9847 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 12187 9847 2528 2593 0 9080 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48748 KiB
Current children cumulated memory: 39388 KiB
[startup+0.205458 s]*
/proc/loadavg: 4.11 4.10 4.09 3/257 45645
/proc/meminfo: memFree=128801948/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=49360 memory=39900 CPUtime=0.2 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 7857 0 0 0 19 1 0 0 20 0 1 0 45052460 50544640 9975 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 12340 9975 2528 2593 0 9233 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49360 KiB
Current children cumulated memory: 39900 KiB
[startup+0.304748 s]*
/proc/loadavg: 4.11 4.10 4.09 4/259 45654
/proc/meminfo: memFree=129364452/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=64840 memory=53340 CPUtime=0.29 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 11238 0 0 0 28 1 0 0 20 0 1 0 45052460 66396160 13335 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 16210 13335 2528 2593 0 13103 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 64840 KiB
Current children cumulated memory: 53340 KiB
[startup+0.700177 s]
/proc/loadavg: 4.11 4.10 4.09 4/261 45666
/proc/meminfo: memFree=129256892/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=76632 memory=64676 CPUtime=0.68 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 14372 0 0 0 66 2 0 0 20 0 1 0 45052460 78471168 16169 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 19158 16169 2624 2593 0 16051 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 76632 KiB
Current children cumulated memory: 64676 KiB
[startup+1.50014 s]
/proc/loadavg: 4.10 4.09 4.09 4/261 45666
/proc/meminfo: memFree=129030848/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=76888 memory=65060 CPUtime=1.48 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 14461 0 0 0 146 2 0 0 20 0 1 0 45052460 78733312 16265 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 19222 16265 2624 2593 0 16115 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76888 KiB
Current children cumulated memory: 65060 KiB
[startup+3.10542 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 45703
/proc/meminfo: memFree=128588152/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=106072 memory=93192 CPUtime=3.09 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 21602 0 0 0 306 3 0 0 20 0 1 0 45052460 108617728 23298 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 26518 23298 2624 2593 0 23411 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 106072 KiB
Current children cumulated memory: 93192 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 45703
/proc/meminfo: memFree=128077580/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=187324 memory=167892 CPUtime=6.27 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 40412 0 0 0 621 6 0 0 20 0 1 0 45052460 191819776 41973 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 46831 41973 2624 2593 0 43724 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 187324 KiB
Current children cumulated memory: 167892 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 45703
/proc/meminfo: memFree=127863524/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=195240 memory=171732 CPUtime=12.65 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 41356 0 0 0 1259 6 0 0 20 0 1 0 45052460 199925760 42933 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 48810 42933 2624 2593 0 45703 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 195240 KiB
Current children cumulated memory: 171732 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 45703
/proc/meminfo: memFree=127849608/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=201176 memory=173140 CPUtime=25.41 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 41658 0 0 0 2535 6 0 0 20 0 1 0 45052460 206004224 43285 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 50294 43285 2624 2593 0 47187 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 201176 KiB
Current children cumulated memory: 173140 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 45705
/proc/meminfo: memFree=127683060/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=207664 memory=184264 CPUtime=50.94 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 45059 0 0 0 5087 7 0 0 20 0 1 0 45052460 212647936 46066 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 51916 46066 2624 2593 0 48809 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 207664 KiB
Current children cumulated memory: 184264 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 45708
/proc/meminfo: memFree=127593728/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=213496 memory=198344 CPUtime=102 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 45315 0 0 0 10193 7 0 0 20 0 1 0 45052460 218619904 49586 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 53374 49586 2624 2593 0 50267 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 213496 KiB
Current children cumulated memory: 198344 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 45710
/proc/meminfo: memFree=127526308/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=240040 memory=223876 CPUtime=161.84 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 53264 0 0 0 16175 9 0 0 20 0 1 0 45052460 245800960 55969 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 60010 55969 2624 2593 0 56903 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 240040 KiB
Current children cumulated memory: 223876 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 45712
/proc/meminfo: memFree=127443772/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=256420 memory=235524 CPUtime=221.67 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 56305 0 0 0 22158 9 0 0 20 0 1 0 45052460 262574080 58881 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 64105 58881 2624 2593 0 60998 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 256420 KiB
Current children cumulated memory: 235524 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 45713
/proc/meminfo: memFree=127399904/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=259628 memory=235524 CPUtime=281.51 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 56346 0 0 0 28142 9 0 0 20 0 1 0 45052460 265859072 58881 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 64907 58881 2624 2593 0 61800 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 259628 KiB
Current children cumulated memory: 235524 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 45715
/proc/meminfo: memFree=127338136/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=266448 memory=235728 CPUtime=341.35 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 58609 0 0 0 34125 10 0 0 20 0 1 0 45052460 272842752 58932 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 66612 58932 2624 2593 0 63505 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 266448 KiB
Current children cumulated memory: 235728 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 45719
/proc/meminfo: memFree=127230800/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=271900 memory=235884 CPUtime=401.19 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 60657 0 0 0 40109 10 0 0 20 0 1 0 45052460 278425600 58971 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 67975 58971 2624 2593 0 64868 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 271900 KiB
Current children cumulated memory: 235884 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 45721
/proc/meminfo: memFree=127243992/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=278100 memory=235884 CPUtime=461.03 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 60669 0 0 0 46093 10 0 0 20 0 1 0 45052460 284774400 58971 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 69525 58971 2624 2593 0 66418 0
Current children cumulated CPU time: 461.03 s
################
# More data... #
################
Current children cumulated memory: 252188 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 45855
/proc/meminfo: memFree=125791816/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=260212 memory=252188 CPUtime=2854.51 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 93798 0 0 0 285428 23 0 0 20 0 1 0 45052460 266457088 63047 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 65053 63047 2688 2593 0 61946 0
Current children cumulated CPU time: 2854.51 s
Current children cumulated vsize: 260212 KiB
Current children cumulated memory: 252188 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 45857
/proc/meminfo: memFree=125721132/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=320728 memory=312704 CPUtime=2914.33 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 96246 0 0 0 291406 27 0 0 20 0 1 0 45052460 328425472 78176 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 80182 78176 2688 2593 0 77075 0
Current children cumulated CPU time: 2914.33 s
Current children cumulated vsize: 320728 KiB
Current children cumulated memory: 312704 KiB
[startup+2982.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 45859
/proc/meminfo: memFree=125731316/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=319772 memory=311628 CPUtime=2974.14 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 98747 0 0 0 297384 30 0 0 20 0 1 0 45052460 327446528 77907 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 79943 77907 2688 2593 0 76836 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 319772 KiB
Current children cumulated memory: 311628 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 45869
/proc/meminfo: memFree=126469940/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=306800 memory=298776 CPUtime=3033.98 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 100327 0 0 0 303365 33 0 0 20 0 1 0 45052460 314163200 74694 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 76700 74694 2688 2593 0 73593 0
Current children cumulated CPU time: 3033.98 s
Current children cumulated vsize: 306800 KiB
Current children cumulated memory: 298776 KiB
[startup+3102.3 s]
/proc/loadavg: 4.36 4.17 4.12 5/265 45872
/proc/meminfo: memFree=126387704/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=322560 memory=314536 CPUtime=3093.81 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 101885 0 0 0 309344 37 0 0 20 0 1 0 45052460 330301440 78634 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 80640 78634 2688 2593 0 77533 0
Current children cumulated CPU time: 3093.81 s
Current children cumulated vsize: 322560 KiB
Current children cumulated memory: 314536 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/266 45875
/proc/meminfo: memFree=126450648/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=313744 memory=305720 CPUtime=3153.63 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 103948 0 0 0 315324 39 0 0 20 0 1 0 45052460 321273856 76430 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 78436 76430 2688 2593 0 75329 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 313744 KiB
Current children cumulated memory: 305720 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/266 45877
/proc/meminfo: memFree=126509352/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=260212 memory=252188 CPUtime=3213.46 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 106208 0 0 0 321304 42 0 0 20 0 1 0 45052460 266457088 63047 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 65053 63047 2688 2593 0 61946 0
Current children cumulated CPU time: 3213.46 s
Current children cumulated vsize: 260212 KiB
Current children cumulated memory: 252188 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/266 45879
/proc/meminfo: memFree=126460208/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=260212 memory=252188 CPUtime=3273.29 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 107146 0 0 0 327286 43 0 0 20 0 1 0 45052460 266457088 63047 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 65053 63047 2688 2593 0 61946 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 260212 KiB
Current children cumulated memory: 252188 KiB
[startup+3342.3 s]
/proc/loadavg: 4.36 4.18 4.11 5/265 45882
/proc/meminfo: memFree=126480412/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=282720 memory=274780 CPUtime=3333.13 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 107686 0 0 0 333269 44 0 0 20 0 1 0 45052460 289505280 68695 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 70680 68695 2688 2593 0 67573 0
Current children cumulated CPU time: 3333.13 s
Current children cumulated vsize: 282720 KiB
Current children cumulated memory: 274780 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.19 4.12 5/264 45884
/proc/meminfo: memFree=126448604/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=284788 memory=276828 CPUtime=3392.96 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 108281 0 0 0 339252 44 0 0 20 0 1 0 45052460 291622912 69207 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 71197 69207 2688 2593 0 68090 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 284788 KiB
Current children cumulated memory: 276828 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/264 45886
/proc/meminfo: memFree=126387372/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=284788 memory=276828 CPUtime=3452.79 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 108305 0 0 0 345235 44 0 0 20 0 1 0 45052460 291622912 69207 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 71197 69207 2688 2593 0 68090 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 284788 KiB
Current children cumulated memory: 276828 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 45888
/proc/meminfo: memFree=126447324/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=284788 memory=276828 CPUtime=3512.61 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 108386 0 0 0 351217 44 0 0 20 0 1 0 45052460 291622912 69207 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 71197 69207 2688 2593 0 68090 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 284788 KiB
Current children cumulated memory: 276828 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/264 45890
/proc/meminfo: memFree=126477968/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=285764 memory=277724 CPUtime=3572.44 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 108628 0 0 0 357200 44 0 0 20 0 1 0 45052460 292622336 69431 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 71441 69431 2688 2593 0 68334 0
Current children cumulated CPU time: 3572.44 s
Current children cumulated vsize: 285764 KiB
Current children cumulated memory: 277724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.13 4.15 4.11 5/265 45899
/proc/meminfo: memFree=126501124/131249996 swapFree=33010684/33010684
[pid=45619] ppid=45613 vsize=285764 memory=277724 CPUtime=3600.06 cores=1,3
/proc/45619/stat : 45619 (CASHWMaxSAT-Dis) R 45613 45619 45252 0 -1 4194304 108628 0 0 0 359962 44 0 0 20 0 1 0 45052460 292622336 69431 18446744073709551615 4198400 14817773 140736892242176 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 40968192 140736892250474 140736892250589 140736892250589 140736892256191 0
/proc/45619/statm: 71441 69431 2688 2593 0 68334 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 285764 KiB
Current children cumulated memory: 277724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 45619 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.63 s, system=0.44363 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.01
CPU time (s): 3600.07
CPU user time (s): 3599.63
CPU system time (s): 0.44363
CPU usage (%): 99.7247
Max. virtual memory (cumulated for all children) (KiB): 404072
Max. memory (cumulated for all children) (KiB): 393300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.63
system time used= 0.44363
maximum resident set size= 396032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108629
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= 45
involuntary context switches= 2120
# summary of solver processes directly reported to runsolver:
# pid: 45619
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.63
# total CPU system time (s): 0.44363
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75025 second user time and 15.9105 second system time
The end
Begin job on nodeC024 at 2025-06-30 16:29:06 IDJOB=4484467 IDBENCH=146658 IDSOLVER=3322 FILE ID=nodeC024/4484467-1751293745 RUNJOBID= nodeC024-1751290134-45271 SLURM_JOB_ID= 9594239 Free space on /tmp= 433004 MiB SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01 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= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484467-1751293745/watcher-4484467-1751293745 -o /tmp/evaluation-result-4484467-1751293745/solver-4484467-1751293745 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751290134-45271 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4484467-1751293745.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f RANDOM SEED=946481588 nodeC024 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.717 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.36 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.667 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.058 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.36 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 : 3609.373 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.282 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.36 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.688 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.675 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.750 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128798232 kB MemAvailable: 129133068 kB Buffers: 3280 kB Cached: 1140924 kB SwapCached: 0 kB Active: 930204 kB Inactive: 885420 kB Active(anon): 689484 kB Inactive(anon): 0 kB Active(file): 240720 kB Inactive(file): 885420 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 14308 kB Writeback: 8 kB AnonPages: 674328 kB Mapped: 107120 kB Shmem: 18064 kB KReclaimable: 95468 kB Slab: 183008 kB SReclaimable: 95468 kB SUnreclaim: 87540 kB KernelStack: 4240 kB PageTables: 4324 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1041656 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 606208 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: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 433004 MiB End job on nodeC024 at 2025-06-30 17:29:16