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 | OPT | 2642 | 2902.08 | 2910.23 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb |
| MD5SUM | 9e8345160c873e2ecbeb2fceb1264fd1 |
| 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 | 2642 |
| Best CPU time to get the best result obtained on this benchmark | 0.045582 |
| 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 | 907 |
| Total number of constraints | 403 |
| Number of constraints which are clauses | 126 |
| Number of constraints which are cardinality constraints (but not clauses) | 277 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 134 |
| Number of terms in the objective function | 748 |
| Biggest coefficient in the objective function | 240 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 33855 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 240 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 33855 |
| Number of bits of the biggest sum of numbers | 16 |
| 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.05 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.05 c Do: 140731277664616 140731277664624 0.00/0.05 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.09/0.12 c Starting SCIP solver (with time-limit = 1800s) ... 1795.45/1800.59 c SCIP timeout with lower and upper bounds: [300, 4557] 1795.45/1800.59 o 4557 1795.76/1800.85 o 3875 1798.05/1803.12 o 2673 1799.95/1805.03 o 2669 1800.64/1805.76 o 2657 1803.93/1809.08 o 2656 1804.13/1809.26 c Do: 140731277664616 140731277664624 1825.57/1830.79 o 2642 2902.04/2910.22 s OPTIMUM FOUND 2902.04/2910.22 v x2 -x128 -x506 -x641 x775 -x5 x257 x509 -x6 -x132 -x258 x384 x510 -x7 -x133 x259 x511 -x8 x134 x513 -x9 x135 x514 x389 -x517 x12 -x138 -x518 -x13 x139 x519 -x15 x393 x521 -x16 -x142 x268 x522 -x17 x395 x523 -x18 x144 x524 -x19 x397 x525 x20 -x526 x660 -x21 x147 x527 -x22 x274 x528 x23 -x529 x663 -x24 x150 x530 -x25 x151 x531 -x26 -x152 x404 x532 -x27 x153 x533 -x28 x154 x534 -x29 x407 x535 -x30 x408 x536 x31 -x157 -x537 -x32 x158 x538 x33 -x159 -x673 x807 x34 -x160 -x286 -x540 -x35 x161 x541 -x288 x414 x37 -x163 -x543 -x38 x164 x544 -x39 x165 x545 x40 -x546 x680 -x814 -x41 x167 x547 -x42 x420 -x548 -x43 x169 x549 -x44 x422 x550 -x45 x171 x551 x552 x46 -x172 -x553 x687 -x47 x173 -x554 -x48 x174 -x426 x555 -x49 x175 -x427 x556 -x50 x176 x557 x429 -x52 x178 x559 -x53 x179 x560 x432 x695 -x829 -x55 x181 -x433 x562 -x56 x434 -x563 -x57 x309 -x564 x698 -x832 -x58 x436 -x565 x59 -x437 -x566 -x567 x60 -x186 -x568 -x569 x61 -x570 x704 -x838 -x62 x188 x571 -x63 x315 -x441 -x572 x706 -x840 x64 -x190 -x573 -x65 x317 x574 -x66 x318 -x575 -x67 x319 x576 -x68 x194 -x577 x711 -x69 -x195 x321 -x578 x712 -x846 -x70 -x196 x448 -x579 -x71 x197 x580 x72 -x581 x715 -x73 x199 x582 x74 -x583 x75 -x201 -x584 -x76 x202 x585 -x77 x203 x586 -x79 -x205 x331 -x457 x588 -x80 x458 -x589 x723 -x590 -x82 -x208 x334 -x460 x591 -x83 x335 -x592 -x84 x336 -x462 -x593 x727 x728 -x862 x86 -x212 -x595 x729 -x863 -x87 -x213 x465 -x596 x88 -x214 -x597 x731 -x865 x89 -x215 -x598 -x90 x468 -x599 x733 -x91 -x217 x469 x600 -x601 -x93 x219 -x603 x94 -x220 -x604 x95 -x221 -x605 x739 -x873 -x97 x223 -x607 x350 -x476 x742 x99 -x225 -x609 -x100 x352 -x478 -x610 x744 -x878 x227 x745 -x879 x228 x746 -x880 -x103 -x229 -x355 x481 x613 -x104 -x230 x356 -x482 -x614 x105 -x615 x749 -x106 -x232 x358 -x484 x616 x107 -x617 -x108 -x234 x486 -x618 x109 -x235 -x619 x110 -x236 -x620 x754 -x111 -x237 -x363 x489 -x621 -x755 x889 x757 -x891 -x114 x366 -x624 x241 -x116 -x242 x494 -x626 x760 x117 -x243 -x627 -x628 x762 -x896 -x118 x496 -x629 -x119 x371 -x631 x765 -x899 x120 -x632 x766 -x900 x121 -x247 -x633 x767 -x901 -x122 x374 -x634 -x123 -x375 x501 -x635 x124 -x636 x904 -x125 -x377 x503 -x637 x771 -x905 x772 -x906 x127 -x639 x773 -x3 -x129 -x507 -x4 -x508 -x642 -x131 -x643 -x777 -x644 -x778 -x385 -x645 -x779 -x646 x780 -x260 -x647 -x781 -x261 -x387 -x648 -x782 -x262 -x388 -x137 -x390 -x265 -x391 -x653 -x787 -x655 -x789 -x656 -x790 -x143 -x657 -x791 -x270 -x658 -x792 -x271 -x659 -x793 -x146 -x272 -x273 -x399 -x661 -x795 -x148 -x400 -x662 -x796 -x149 -x401 -x276 -x664 -x798 -x277 -x403 -x665 -x799 -x278 -x666 -x800 -x279 -x405 -x667 -x801 -x280 -x406 -x668 -x802 -x155 -x281 -x669 -x803 -x156 -x282 -x670 -x804 -x284 -x410 -x672 -x806 -x412 -x287 -x413 -x675 -x809 -x676 x810 -x290 -x416 -x678 -x812 -x291 -x417 -x679 -x813 -x166 -x292 -x418 -x293 -x681 -x815 -x295 -x421 -x683 -x817 -x170 -x684 -x818 -x297 -x423 -x685 -x819 -x686 -x820 -x298 -x424 -x821 -x300 -x689 -x823 -x301 -x690 -x824 -x302 -x428 -x691 -x825 -x51 -x177 -x303 -x558 x692 -x826 -x304 -x430 -x693 -x827 -x305 -x431 -x694 -x828 -x54 -x180 -x306 -x561 -x307 -x696 -x830 -x182 -x697 x831 -x183 -x435 -x184 -x310 -x699 x833 -x185 -x311 -x701 x835 -x312 -x438 -x702 x836 -x703 x837 -x187 -x313 -x439 -x314 -x440 -x705 -x839 -x189 -x316 -x707 x841 -x191 -x443 -x708 -x842 -x192 -x444 -x193 -x445 -x710 -x844 -x320 -x446 -x845 -x447 -x322 -x847 -x323 -x449 -x714 -x848 -x198 -x324 -x450 -x325 -x451 -x716 -x850 -x326 -x717 x851 -x327 -x453 -x718 x852 -x328 -x454 -x719 -x853 -x329 -x455 -x720 -x854 -x722 -x856 -x206 -x332 -x857 -x207 -x725 -x859 -x209 -x461 -x338 -x464 -x339 -x730 x864 -x340 -x466 -x341 -x467 -x732 x866 -x216 -x342 -x867 -x343 -x734 -x868 -x218 -x345 x737 -x871 -x346 -x472 x738 -x872 -x347 -x473 -x348 x740 -x874 -x349 x741 -x875 -x351 -x477 x743 -x877 -x226 -x353 -x479 -x354 -x480 -x747 -x881 x748 -x882 -x750 -x884 -x485 x751 -x885 -x360 -x361 -x487 x753 -x887 -x362 -x488 -x888 x756 -x890 -x239 -x491 -x492 x758 -x892 -x115 -x367 -x493 -x625 -x368 -x894 -x369 -x495 x761 -x895 -x244 -x370 x763 -x897 -x246 -x498 -x373 -x499 -x248 -x500 x768 -x902 -x376 -x502 -x126 -x638 -x253 -x379 -x505 -x907 x1 x10 -x11 -x14 -x36 -x78 -x81 -x85 -x92 -x96 -x98 -x101 -x102 x112 -x113 -x130 -x136 -x140 -x141 -x145 -x162 -x168 -x200 -x204 -x210 -x211 -x222 -x224 -x231 -x233 -x238 -x240 -x245 -x249 -x250 -x251 -x252 -x254 x255 -x256 -x263 -x264 -x266 -x267 -x269 -x275 -x283 -x285 -x289 -x294 -x296 -x299 -x308 -x330 x333 -x337 -x344 -x357 -x359 -x364 x365 -x372 -x378 -x380 -x381 x382 -x383 -x386 x392 -x394 -x396 -x398 -x402 -x409 -x411 -x415 -x419 -x425 -x442 -x452 x456 -x459 x463 x470 -x471 x474 -x475 -x483 -x490 -x497 x504 -x512 -x515 -x516 -x520 -x539 -x542 x587 -x594 -x602 -x606 -x608 -x611 -x612 -x622 -x623 -x630 -x640 -x649 -x650 -x651 -x652 -x654 -x671 -x674 -x677 -x682 -x688 -x700 -x709 x713 -x721 -x724 -x726 -x735 -x736 -x752 -x759 -x764 -x769 -x770 x774 x776 x783 x784 x785 x786 x788 -x794 -x797 x805 x808 x811 x816 x822 x834 x843 -x849 -x855 x858 x860 -x861 x869 x870 -x876 -x883 x886 x893 x898 x903
OK 2642
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 (61500 MiB free)
memory of node 1: 64507 MiB (63461 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484099-1751290253/watcher-4484099-1751290253 -o /tmp/evaluation-result-4484099-1751290253/solver-4484099-1751290253 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751290134-37755 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4484099-1751290253.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=37859, runsolver pid=37856
[startup+0.100067 s]*
/proc/loadavg: 3.66 3.30 3.71 5/264 37860
/proc/meminfo: memFree=127920848/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=66676 memory=55512 CPUtime=0.09 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 13141 0 0 0 8 1 0 0 20 0 1 0 44705189 68276224 13878 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 16669 13878 2272 2593 0 13562 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66676 KiB
Current children cumulated memory: 55512 KiB
[startup+0.205537 s]*
/proc/loadavg: 3.66 3.30 3.71 5/264 37860
/proc/meminfo: memFree=127856336/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=130580 memory=118872 CPUtime=0.19 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 28773 0 0 0 15 4 0 0 20 0 1 0 44705189 133713920 29718 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 32645 29718 2496 2593 0 29538 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 130580 KiB
Current children cumulated memory: 118872 KiB
[startup+0.305442 s]*
/proc/loadavg: 3.66 3.30 3.71 5/264 37860
/proc/meminfo: memFree=127856336/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=136160 memory=123864 CPUtime=0.28 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 30008 0 0 0 24 4 0 0 20 0 1 0 44705189 139427840 30966 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 34040 30966 2496 2593 0 30933 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 136160 KiB
Current children cumulated memory: 123864 KiB
[startup+0.700196 s]
/proc/loadavg: 3.66 3.30 3.71 5/264 37860
/proc/meminfo: memFree=127824080/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=168864 memory=155480 CPUtime=0.66 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 37955 0 0 0 60 6 0 0 20 0 1 0 44705189 172916736 38870 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 42216 38870 2496 2593 0 39109 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 168864 KiB
Current children cumulated memory: 155480 KiB
[startup+1.50018 s]
/proc/loadavg: 3.66 3.30 3.71 5/264 37860
/proc/meminfo: memFree=127816276/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=182784 memory=169304 CPUtime=1.45 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 41404 0 0 0 139 6 0 0 20 0 1 0 44705189 187170816 42326 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 45696 42326 2496 2593 0 42589 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 182784 KiB
Current children cumulated memory: 169304 KiB
[startup+3.10549 s]
/proc/loadavg: 3.69 3.31 3.71 5/264 37860
/proc/meminfo: memFree=127679020/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=314516 memory=294700 CPUtime=3.05 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 65372 0 0 0 295 10 0 0 20 0 1 0 44705189 322064384 73675 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 78629 73675 2592 2593 0 75522 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 314516 KiB
Current children cumulated memory: 294700 KiB
[startup+6.30018 s]
/proc/loadavg: 3.69 3.31 3.71 5/264 37860
/proc/meminfo: memFree=127671272/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=321248 memory=301740 CPUtime=6.24 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 67130 0 0 0 613 11 0 0 20 0 1 0 44705189 328957952 75435 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 80312 75435 2592 2593 0 77205 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 321248 KiB
Current children cumulated memory: 301740 KiB
[startup+12.7002 s]
/proc/loadavg: 3.71 3.33 3.71 5/263 37861
/proc/meminfo: memFree=127407556/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=324980 memory=304812 CPUtime=12.62 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 67899 0 0 0 1251 11 0 0 20 0 1 0 44705189 332779520 76203 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 81245 76203 2592 2593 0 78138 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 324980 KiB
Current children cumulated memory: 304812 KiB
[startup+25.5002 s]
/proc/loadavg: 3.85 3.38 3.72 5/263 37861
/proc/meminfo: memFree=127364556/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=324980 memory=304812 CPUtime=25.37 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 67899 0 0 0 2526 11 0 0 20 0 1 0 44705189 332779520 76203 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 81245 76203 2592 2593 0 78138 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 324980 KiB
Current children cumulated memory: 304812 KiB
[startup+51.1056 s]
/proc/loadavg: 3.96 3.44 3.74 5/263 37861
/proc/meminfo: memFree=127491572/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=324980 memory=304812 CPUtime=50.89 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 67899 0 0 0 5078 11 0 0 20 0 1 0 44705189 332779520 76203 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 81245 76203 2592 2593 0 78138 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 324980 KiB
Current children cumulated memory: 304812 KiB
[startup+102.3 s]
/proc/loadavg: 4.02 3.54 3.76 5/264 37865
/proc/meminfo: memFree=127417656/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=325800 memory=305964 CPUtime=101.92 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 68191 0 0 0 10180 12 0 0 20 0 1 0 44705189 333619200 76491 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 81450 76491 2592 2593 0 78343 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 325800 KiB
Current children cumulated memory: 305964 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 3.67 3.79 5/265 37868
/proc/meminfo: memFree=127446116/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=418312 memory=368672 CPUtime=161.74 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 78700 0 0 0 16159 15 0 0 20 0 1 0 44705189 428351488 92168 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 104578 92168 2624 2593 0 101471 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 418312 KiB
Current children cumulated memory: 368672 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.75 3.81 5/264 37870
/proc/meminfo: memFree=127390896/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=531684 memory=407216 CPUtime=221.57 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 87324 0 0 0 22140 17 0 0 20 0 1 0 44705189 544444416 101804 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 132921 101804 2624 2593 0 129814 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 531684 KiB
Current children cumulated memory: 407216 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.83 3.84 5/265 37873
/proc/meminfo: memFree=127302016/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=531684 memory=407216 CPUtime=281.4 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 87331 0 0 0 28123 17 0 0 20 0 1 0 44705189 544444416 101804 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 132921 101804 2624 2593 0 129814 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 531684 KiB
Current children cumulated memory: 407216 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.88 3.85 5/265 37881
/proc/meminfo: memFree=127289296/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=532656 memory=407216 CPUtime=341.23 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 87350 0 0 0 34106 17 0 0 20 0 1 0 44705189 545439744 101804 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 133164 101804 2624 2593 0 130057 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 532656 KiB
Current children cumulated memory: 407216 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.93 3.88 5/264 37883
/proc/meminfo: memFree=127258832/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=533168 memory=407728 CPUtime=401.06 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 87483 0 0 0 40089 17 0 0 20 0 1 0 44705189 545964032 101932 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 133292 101932 2624 2593 0 130185 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 533168 KiB
Current children cumulated memory: 407728 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.98 3.90 5/263 37885
/proc/meminfo: memFree=127203708/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=534932 memory=409264 CPUtime=460.9 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 87859 0 0 0 46073 17 0 0 20 0 1 0 44705189 547770368 102316 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 133733 102316 2624 2593 0 130626 0
Current children cumulated CPU time: 460.9 s
################
# More data... #
################
/proc/loadavg: 4.09 4.13 4.10 5/264 38079
/proc/meminfo: memFree=126554360/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=687380 memory=584612 CPUtime=2495.29 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 149310 0 0 0 249499 30 0 0 20 0 1 0 44705189 703877120 146153 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 171845 146153 2688 2593 0 168738 0
Current children cumulated CPU time: 2495.29 s
Current children cumulated vsize: 687380 KiB
Current children cumulated memory: 584612 KiB
[startup+2562.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 38081
/proc/meminfo: memFree=126474236/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=687380 memory=584612 CPUtime=2555.12 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 149377 0 0 0 255482 30 0 0 20 0 1 0 44705189 703877120 146153 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 171845 146153 2688 2593 0 168738 0
Current children cumulated CPU time: 2555.12 s
Current children cumulated vsize: 687380 KiB
Current children cumulated memory: 584612 KiB
[startup+2622.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 38083
/proc/meminfo: memFree=126436740/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=687380 memory=584612 CPUtime=2614.95 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 149439 0 0 0 261465 30 0 0 20 0 1 0 44705189 703877120 146153 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 171845 146153 2688 2593 0 168738 0
Current children cumulated CPU time: 2614.95 s
Current children cumulated vsize: 687380 KiB
Current children cumulated memory: 584612 KiB
[startup+2682.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 38085
/proc/meminfo: memFree=126443096/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=687380 memory=584612 CPUtime=2674.78 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 149481 0 0 0 267448 30 0 0 20 0 1 0 44705189 703877120 146153 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 171845 146153 2688 2593 0 168738 0
Current children cumulated CPU time: 2674.78 s
Current children cumulated vsize: 687380 KiB
Current children cumulated memory: 584612 KiB
[startup+2742.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 38093
/proc/meminfo: memFree=126372900/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=687380 memory=584612 CPUtime=2734.61 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 149551 0 0 0 273431 30 0 0 20 0 1 0 44705189 703877120 146153 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 171845 146153 2688 2593 0 168738 0
Current children cumulated CPU time: 2734.61 s
Current children cumulated vsize: 687380 KiB
Current children cumulated memory: 584612 KiB
[startup+2802.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 38095
/proc/meminfo: memFree=126365624/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=687380 memory=584612 CPUtime=2794.44 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 149565 0 0 0 279414 30 0 0 20 0 1 0 44705189 703877120 146153 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 171845 146153 2688 2593 0 168738 0
Current children cumulated CPU time: 2794.44 s
Current children cumulated vsize: 687380 KiB
Current children cumulated memory: 584612 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 38097
/proc/meminfo: memFree=126513284/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=687380 memory=584612 CPUtime=2854.27 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 149637 0 0 0 285397 30 0 0 20 0 1 0 44705189 703877120 146153 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 171845 146153 2688 2593 0 168738 0
Current children cumulated CPU time: 2854.27 s
Current children cumulated vsize: 687380 KiB
Current children cumulated memory: 584612 KiB
[startup+2910.23 s]
# the end of solver process 37859 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2901.76 s, system=0.31428 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2867.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/262 38097
/proc/meminfo: memFree=126457620/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=687380 memory=584612 CPUtime=2859.16 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 149637 0 0 0 285886 30 0 0 20 0 1 0 44705189 703877120 146153 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 171845 146153 2688 2593 0 168738 0
Current children cumulated CPU time: 2859.16 s
Current children cumulated vsize: 687380 KiB
Current children cumulated memory: 584612 KiB
[startup+2892.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 38097
/proc/meminfo: memFree=126343244/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=687380 memory=584612 CPUtime=2884.69 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 149637 0 0 0 288439 30 0 0 20 0 1 0 44705189 703877120 146153 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 171845 146153 2688 2593 0 168738 0
Current children cumulated CPU time: 2884.69 s
Current children cumulated vsize: 687380 KiB
Current children cumulated memory: 584612 KiB
[startup+2899.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 38098
/proc/meminfo: memFree=126343580/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=687380 memory=584612 CPUtime=2891.07 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 149637 0 0 0 289077 30 0 0 20 0 1 0 44705189 703877120 146153 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 171845 146153 2688 2593 0 168738 0
Current children cumulated CPU time: 2891.07 s
Current children cumulated vsize: 687380 KiB
Current children cumulated memory: 584612 KiB
[startup+2905.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 38098
/proc/meminfo: memFree=126343508/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=687380 memory=584612 CPUtime=2897.45 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 149637 0 0 0 289715 30 0 0 20 0 1 0 44705189 703877120 146153 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 171845 146153 2688 2593 0 168738 0
Current children cumulated CPU time: 2897.45 s
Current children cumulated vsize: 687380 KiB
Current children cumulated memory: 584612 KiB
[startup+2908.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 38098
/proc/meminfo: memFree=126321328/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=687380 memory=584612 CPUtime=2900.64 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 149637 0 0 0 290034 30 0 0 20 0 1 0 44705189 703877120 146153 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 171845 146153 2688 2593 0 168738 0
Current children cumulated CPU time: 2900.64 s
Current children cumulated vsize: 687380 KiB
Current children cumulated memory: 584612 KiB
[startup+2909.6 s]
/proc/loadavg: 4.13 4.11 4.09 5/262 38098
/proc/meminfo: memFree=126321384/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=687380 memory=584612 CPUtime=2901.44 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 149637 0 0 0 290114 30 0 0 20 0 1 0 44705189 703877120 146153 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 171845 146153 2688 2593 0 168738 0
Current children cumulated CPU time: 2901.44 s
Current children cumulated vsize: 687380 KiB
Current children cumulated memory: 584612 KiB
[startup+2910 s]*
/proc/loadavg: 4.13 4.11 4.09 5/262 38098
/proc/meminfo: memFree=126304748/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=687380 memory=584612 CPUtime=2901.84 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 149637 0 0 0 290154 30 0 0 20 0 1 0 44705189 703877120 146153 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 171845 146153 2688 2593 0 168738 0
Current children cumulated CPU time: 2901.84 s
Current children cumulated vsize: 687380 KiB
Current children cumulated memory: 584612 KiB
[startup+2910.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/262 38098
/proc/meminfo: memFree=126304748/131250000 swapFree=33010684/33010684
[pid=37859] ppid=37856 vsize=687380 memory=584612 CPUtime=2902.04 cores=5,7
/proc/37859/stat : 37859 (CASHWMaxSAT-Dis) R 37856 37859 37742 0 -1 4194304 149637 0 0 0 290174 30 0 0 20 0 1 0 44705189 703877120 146153 18446744073709551615 4198400 14817773 140731277667024 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46538752 140731277670762 140731277670877 140731277670877 140731277676479 0
/proc/37859/statm: 171845 146153 2688 2593 0 168738 0
Current children cumulated CPU time: 2902.04 s
Current children cumulated vsize: 687380 KiB
Current children cumulated memory: 584612 KiB
Child status: 30
Real time (s): 2910.23
CPU time (s): 2902.08
CPU user time (s): 2901.76
CPU system time (s): 0.31428
CPU usage (%): 99.7199
Max. virtual memory (cumulated for all children) (KiB): 814356
Max. memory (cumulated for all children) (KiB): 686828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2901.76
system time used= 0.31428
maximum resident set size= 688004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149637
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= 29
involuntary context switches= 3192
# summary of solver processes directly reported to runsolver:
# pid: 37859
# total CPU time (s): 2902.08
# total CPU user time (s): 2901.76
# total CPU system time (s): 0.31428
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.28914 second user time and 12.3474 second system time
The end
Begin job on nodeC027 at 2025-06-30 15:30:53 IDJOB=4484099 IDBENCH=146650 IDSOLVER=3322 FILE ID=nodeC027/4484099-1751290253 RUNJOBID= nodeC027-1751290134-37755 SLURM_JOB_ID= 9594240 Free space on /tmp= 433012 MiB SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484099-1751290253/watcher-4484099-1751290253 -o /tmp/evaluation-result-4484099-1751290253/solver-4484099-1751290253 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751290134-37755 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4484099-1751290253.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1 RANDOM SEED=946481588 nodeC027 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.633 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.29 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.629 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.29 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 : 3594.540 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.29 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 : 3599.491 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.29 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.630 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.29 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 : 3621.825 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.29 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 : 3700.000 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.29 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.420 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 127960600 kB MemAvailable: 128453308 kB Buffers: 3280 kB Cached: 1295332 kB SwapCached: 0 kB Active: 1610252 kB Inactive: 1038732 kB Active(anon): 1368440 kB Inactive(anon): 0 kB Active(file): 241812 kB Inactive(file): 1038732 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 13852 kB Writeback: 0 kB AnonPages: 1351664 kB Mapped: 122764 kB Shmem: 18068 kB KReclaimable: 102404 kB Slab: 188416 kB SReclaimable: 102404 kB SUnreclaim: 86012 kB KernelStack: 4256 kB PageTables: 5652 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1759596 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 450560 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432996 MiB End job on nodeC027 at 2025-06-30 16:19:23