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) | -20 | 3600.03 | 3610.6 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb |
| MD5SUM | 95a025abd93d3c3a131defec0604d084 |
| 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 | -20 |
| Best CPU time to get the best result obtained on this benchmark | 0.039326 |
| 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 | 820 |
| Total number of constraints | 270 |
| Number of constraints which are clauses | 220 |
| Number of constraints which are cardinality constraints (but not clauses) | 30 |
| Number of constraints which are nor clauses,nor cardinality constraints | 20 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 21 |
| Number of terms in the objective function | 600 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 600 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 20 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 600 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.01 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.01 o 0 0.00/0.01 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.00/0.01 c Starting SCIP solver (with time-limit = 1800s) ... 1794.51/1800.02 c SCIP timeout with lower and upper bounds: [-24, -20] 1794.51/1800.02 o -20 1794.51/1800.02 c Restarting SCIP solver (with time-limit = 2400s) ... 2392.67/2400.01 c SCIP timeout with lower and upper bounds: [-23, -20] 2392.67/2400.01 c Restarting SCIP solver (with time-limit = 3000s) ... 2990.93/3000.01 c SCIP timeout with lower and upper bounds: [-23, -20] 3600.02/3610.60 3600.02/3610.60 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 x802 x803 x804 x805 x806 x807 x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 3600.02/3610.60 s SATISFIABLE
OK -20
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 (58176 MiB free)
memory of node 1: 64507 MiB (45776 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519903-1751565552/watcher-4519903-1751565552 -o /tmp/evaluation-result-4519903-1751565552/solver-4519903-1751565552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751565552-79537 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4519903-1751565552.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=79582, runsolver pid=79576
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 0.65 1.34 2.26 5/264 79595
/proc/meminfo: memFree=106353316/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=37700 memory=28396 CPUtime=0.09 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 4848 0 0 0 9 0 0 0 20 0 1 0 72234027 38604800 7099 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 9425 7099 2528 2593 0 6318 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37700 KiB
Current children cumulated memory: 28396 KiB
[startup+0.205521 s]*
/proc/loadavg: 0.65 1.34 2.26 5/264 79595
/proc/meminfo: memFree=106239352/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=46472 memory=37016 CPUtime=0.2 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 7004 0 0 0 20 0 0 0 20 0 1 0 72234027 47587328 9254 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 11618 9254 2656 2593 0 8511 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46472 KiB
Current children cumulated memory: 37016 KiB
[startup+0.305439 s]*
/proc/loadavg: 0.65 1.34 2.26 5/264 79595
/proc/meminfo: memFree=106144348/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=47612 memory=37656 CPUtime=0.3 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 7176 0 0 0 30 0 0 0 20 0 1 0 72234027 48754688 9414 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 11903 9414 2656 2593 0 8796 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47612 KiB
Current children cumulated memory: 37656 KiB
[startup+0.700164 s]
/proc/loadavg: 0.65 1.34 2.26 5/264 79595
/proc/meminfo: memFree=106089416/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=52996 memory=41496 CPUtime=0.68 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 8143 0 0 0 68 0 0 0 20 0 1 0 72234027 54267904 10374 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 13249 10374 2656 2593 0 10142 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52996 KiB
Current children cumulated memory: 41496 KiB
[startup+1.50017 s]
/proc/loadavg: 0.65 1.34 2.26 5/264 79595
/proc/meminfo: memFree=106045064/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=78240 memory=60796 CPUtime=1.48 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 14241 0 0 0 147 1 0 0 20 0 1 0 72234027 80117760 15199 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 19560 15199 2656 2593 0 16453 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 78240 KiB
Current children cumulated memory: 60796 KiB
[startup+3.10533 s]
/proc/loadavg: 0.65 1.34 2.26 5/264 79595
/proc/meminfo: memFree=105964048/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=83860 memory=66492 CPUtime=3.08 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 20278 0 0 0 306 2 0 0 20 0 1 0 72234027 85872640 16623 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 20965 16623 2656 2593 0 17858 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83860 KiB
Current children cumulated memory: 66492 KiB
[startup+6.30016 s]
/proc/loadavg: 0.92 1.39 2.27 5/264 79595
/proc/meminfo: memFree=105892688/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=99084 memory=81132 CPUtime=6.27 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 28786 0 0 0 623 4 0 0 20 0 1 0 72234027 101462016 20283 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 24771 20283 2656 2593 0 21664 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 99084 KiB
Current children cumulated memory: 81132 KiB
[startup+12.7002 s]
/proc/loadavg: 1.17 1.43 2.28 5/264 79595
/proc/meminfo: memFree=105642884/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=113516 memory=93944 CPUtime=12.65 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 34489 0 0 0 1260 5 0 0 20 0 1 0 72234027 116240384 23486 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 28379 23486 2656 2593 0 25272 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 113516 KiB
Current children cumulated memory: 93944 KiB
[startup+25.5002 s]
/proc/loadavg: 1.80 1.56 2.31 5/264 79595
/proc/meminfo: memFree=105553720/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=138564 memory=120048 CPUtime=25.41 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 43449 0 0 0 2535 6 0 0 20 0 1 0 72234027 141889536 30012 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 34641 30012 2656 2593 0 31534 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 138564 KiB
Current children cumulated memory: 120048 KiB
[startup+51.1054 s]
/proc/loadavg: 2.55 1.75 2.35 5/265 79597
/proc/meminfo: memFree=105365704/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=169572 memory=148824 CPUtime=50.95 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 56132 0 0 0 5086 9 0 0 20 0 1 0 72234027 173641728 37206 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 42393 37206 2912 2593 0 39286 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 169572 KiB
Current children cumulated memory: 148824 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 2.13 2.45 5/267 79601
/proc/meminfo: memFree=105273096/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=202024 memory=181940 CPUtime=101.98 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 75257 0 0 0 10186 12 0 0 20 0 1 0 72234027 206872576 45485 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 50506 45485 2912 2593 0 47399 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 202024 KiB
Current children cumulated memory: 181940 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.49 2.56 5/267 79618
/proc/meminfo: memFree=104984408/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=252456 memory=230852 CPUtime=161.8 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 91223 0 0 0 16165 15 0 0 20 0 1 0 72234027 258514944 57713 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 63114 57713 2912 2593 0 60007 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 252456 KiB
Current children cumulated memory: 230852 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.78 2.66 5/267 79620
/proc/meminfo: memFree=104696276/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=279824 memory=256584 CPUtime=221.62 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 97172 0 0 0 22146 16 0 0 20 0 1 0 72234027 286539776 64146 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 69956 64146 2912 2593 0 66849 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 279824 KiB
Current children cumulated memory: 256584 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.02 2.75 5/266 79625
/proc/meminfo: memFree=104574468/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=316704 memory=287756 CPUtime=281.43 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 104453 0 0 0 28126 17 0 0 20 0 1 0 72234027 324304896 71939 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 79176 71939 2912 2593 0 76069 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 316704 KiB
Current children cumulated memory: 287756 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.22 2.83 5/267 79628
/proc/meminfo: memFree=104435416/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=325752 memory=299108 CPUtime=341.25 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 106763 0 0 0 34107 18 0 0 20 0 1 0 72234027 333570048 74777 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 81438 74777 2912 2593 0 78331 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 325752 KiB
Current children cumulated memory: 299108 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.38 2.92 5/265 79630
/proc/meminfo: memFree=104251624/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=346956 memory=320996 CPUtime=401.08 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 112254 0 0 0 40089 19 0 0 20 0 1 0 72234027 355282944 80249 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 86739 80249 2912 2593 0 83632 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 346956 KiB
Current children cumulated memory: 320996 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 3.51 2.99 5/265 79632
/proc/meminfo: memFree=104124572/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=355176 memory=329572 CPUtime=460.89 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 114402 0 0 0 46070 19 0 0 20 0 1 0 72234027 363700224 82393 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 88794 82393 2912 2593 0 85687 0
Current children cumulated CPU time: 460.89 s
################
# More data... #
################
Current children cumulated memory: 564420 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/265 79797
/proc/meminfo: memFree=101922852/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=578900 memory=565916 CPUtime=2853.63 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 247753 0 0 0 285301 62 0 0 20 0 1 0 72234027 592793600 141479 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 144725 141479 2912 2593 0 141618 0
Current children cumulated CPU time: 2853.63 s
Current children cumulated vsize: 578900 KiB
Current children cumulated memory: 565916 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/265 79799
/proc/meminfo: memFree=101911248/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=582192 memory=571692 CPUtime=2913.46 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 251448 0 0 0 291283 63 0 0 20 0 1 0 72234027 596164608 142923 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 145548 142923 2912 2593 0 142441 0
Current children cumulated CPU time: 2913.46 s
Current children cumulated vsize: 582192 KiB
Current children cumulated memory: 571692 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/265 79801
/proc/meminfo: memFree=101911784/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=580500 memory=570232 CPUtime=2973.28 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 252740 0 0 0 297264 64 0 0 20 0 1 0 72234027 594432000 142558 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 145125 142558 2912 2593 0 142018 0
Current children cumulated CPU time: 2973.28 s
Current children cumulated vsize: 580500 KiB
Current children cumulated memory: 570232 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/265 79803
/proc/meminfo: memFree=101999824/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=459516 memory=453012 CPUtime=3033.13 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 252905 0 0 0 303248 65 0 0 20 0 1 0 72234027 470544384 113253 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 114879 113253 2976 2593 0 111772 0
Current children cumulated CPU time: 3033.13 s
Current children cumulated vsize: 459516 KiB
Current children cumulated memory: 453012 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.07 4.01 5/265 79804
/proc/meminfo: memFree=101670496/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=459516 memory=453652 CPUtime=3092.99 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 253172 0 0 0 309233 66 0 0 20 0 1 0 72234027 470544384 113413 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 114879 113413 2976 2593 0 111772 0
Current children cumulated CPU time: 3092.99 s
Current children cumulated vsize: 459516 KiB
Current children cumulated memory: 453652 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/264 79810
/proc/meminfo: memFree=101625976/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=459516 memory=453652 CPUtime=3152.84 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 253272 0 0 0 315218 66 0 0 20 0 1 0 72234027 470544384 113413 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 114879 113413 2976 2593 0 111772 0
Current children cumulated CPU time: 3152.84 s
Current children cumulated vsize: 459516 KiB
Current children cumulated memory: 453652 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/263 79812
/proc/meminfo: memFree=101620548/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=459516 memory=453652 CPUtime=3212.69 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 253344 0 0 0 321203 66 0 0 20 0 1 0 72234027 470544384 113413 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 114879 113413 2976 2593 0 111772 0
Current children cumulated CPU time: 3212.69 s
Current children cumulated vsize: 459516 KiB
Current children cumulated memory: 453652 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/264 79817
/proc/meminfo: memFree=101620096/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=459516 memory=453652 CPUtime=3272.54 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 253376 0 0 0 327188 66 0 0 20 0 1 0 72234027 470544384 113413 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 114879 113413 2976 2593 0 111772 0
Current children cumulated CPU time: 3272.54 s
Current children cumulated vsize: 459516 KiB
Current children cumulated memory: 453652 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/263 79819
/proc/meminfo: memFree=101586988/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=459516 memory=453652 CPUtime=3332.4 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 253465 0 0 0 333173 67 0 0 20 0 1 0 72234027 470544384 113413 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 114879 113413 2976 2593 0 111772 0
Current children cumulated CPU time: 3332.4 s
Current children cumulated vsize: 459516 KiB
Current children cumulated memory: 453652 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/263 79821
/proc/meminfo: memFree=101569676/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=459516 memory=453652 CPUtime=3392.23 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 253534 0 0 0 339156 67 0 0 20 0 1 0 72234027 470544384 113413 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 114879 113413 2976 2593 0 111772 0
Current children cumulated CPU time: 3392.23 s
Current children cumulated vsize: 459516 KiB
Current children cumulated memory: 453652 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/264 79824
/proc/meminfo: memFree=101596048/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=459516 memory=453652 CPUtime=3452.09 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 253570 0 0 0 345140 69 0 0 20 0 1 0 72234027 470544384 113413 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 114879 113413 2976 2593 0 111772 0
Current children cumulated CPU time: 3452.09 s
Current children cumulated vsize: 459516 KiB
Current children cumulated memory: 453652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.01 5/264 79826
/proc/meminfo: memFree=101561724/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=459516 memory=453652 CPUtime=3511.94 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 253682 0 0 0 351125 69 0 0 20 0 1 0 72234027 470544384 113413 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 114879 113413 2976 2593 0 111772 0
Current children cumulated CPU time: 3511.94 s
Current children cumulated vsize: 459516 KiB
Current children cumulated memory: 453652 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 79828
/proc/meminfo: memFree=101531912/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=459516 memory=453652 CPUtime=3571.78 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 253749 0 0 0 357109 69 0 0 20 0 1 0 72234027 470544384 113413 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 114879 113413 2976 2593 0 111772 0
Current children cumulated CPU time: 3571.78 s
Current children cumulated vsize: 459516 KiB
Current children cumulated memory: 453652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.09 4.08 4.02 5/263 79829
/proc/meminfo: memFree=101693992/131249988 swapFree=33010160/33010684
[pid=79582] ppid=79576 vsize=459516 memory=453652 CPUtime=3600.02 cores=4,6
/proc/79582/stat : 79582 (CASHWMaxSAT-Dis) R 79576 79582 79526 0 -1 4194304 253783 0 0 0 359932 70 0 0 20 0 1 0 72234027 470544384 113413 18446744073709551615 4198400 14817773 140731397597504 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33320960 140731397601642 140731397601757 140731397601757 140731397607359 0
/proc/79582/statm: 114879 113413 2976 2593 0 111772 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 459516 KiB
Current children cumulated memory: 453652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 79582 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.33 s, system=0.705193 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.6
CPU time (s): 3600.03
CPU user time (s): 3599.33
CPU system time (s): 0.705193
CPU usage (%): 99.7072
Max. virtual memory (cumulated for all children) (KiB): 583388
Max. memory (cumulated for all children) (KiB): 572896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.33
system time used= 0.705193
maximum resident set size= 576812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253784
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= 107
involuntary context switches= 2391
# summary of solver processes directly reported to runsolver:
# pid: 79582
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.33
# total CPU system time (s): 0.705193
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74131 second user time and 16.0971 second system time
The end
Begin job on nodeC034 at 2025-07-03 19:59:12 IDJOB=4519903 IDBENCH=177560 IDSOLVER=3322 FILE ID=nodeC034/4519903-1751565552 RUNJOBID= nodeC034-1751565552-79537 SLURM_JOB_ID= 9598773 Free space on /tmp= 431144 MiB SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519903-1751565552/watcher-4519903-1751565552 -o /tmp/evaluation-result-4519903-1751565552/solver-4519903-1751565552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751565552-79537 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4519903-1751565552.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 95a025abd93d3c3a131defec0604d084 RANDOM SEED=1703102833 nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.753 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.761 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3597.513 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3592.563 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.259 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3596.020 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.755 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.267 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 106445272 kB MemAvailable: 129689000 kB Buffers: 2128 kB Cached: 23982152 kB SwapCached: 36 kB Active: 555716 kB Inactive: 23507552 kB Active(anon): 92848 kB Inactive(anon): 4208 kB Active(file): 462868 kB Inactive(file): 23503344 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 55032 kB Writeback: 0 kB AnonPages: 82096 kB Mapped: 104024 kB Shmem: 18068 kB KReclaimable: 233108 kB Slab: 325868 kB SReclaimable: 233108 kB SUnreclaim: 92760 kB KernelStack: 4048 kB PageTables: 2776 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 339768 kB VmallocTotal: 34359738367 kB VmallocUsed: 150360 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 189140 kB DirectMap2M: 7970816 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431092 MiB End job on nodeC034 at 2025-07-03 20:59:23