Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCad-S 2024-07-10 | SAT (TO) | 2 | 3600.04 | 3609.6 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb |
| MD5SUM | 7cbd9242490819e58478720045b90b69 |
| 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 | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.167741 |
| 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 | 776 |
| Total number of constraints | 867 |
| Number of constraints which are clauses | 701 |
| Number of constraints which are cardinality constraints (but not clauses) | 166 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 776 |
| Biggest coefficient in the objective function | 474 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 2127 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 474 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 2127 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.01 c Do: 140722900091672 140722900091680 0.00/0.01 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.00/0.02 c Starting SCIP solver (with time-limit = 1800s) ... 1795.36/1800.02 c SCIP timeout with lower and upper bounds: [-144, 4] 1795.36/1800.02 o 4 2932.12/2939.78 o 2 3600.03/3609.60 3600.03/3609.60 v -x757 x694 -x589 x263 -x242 x57 -x39 x693 x591 -x487 -x264 -x247 x56 -x38 -x758 -x701 x590 -x486 -x440 -x267 x246 x55 -x40 -x759 x695 -x595 -x488 -x445 -x265 -x53 x41 x762 x696 -x613 -x594 -x489 x444 -x266 -x249 -x54 -x48 -x760 -x697 -x612 -x592 x490 -x402 -x250 x42 -x3 -x761 x614 -x593 -x497 -x447 -x422 -x401 x253 -x199 -x172 x43 -x2 -x735 -x617 -x491 -x448 x421 -x407 -x386 -x251 x177 x44 -x4 -x734 x616 -x492 -x451 x423 -x406 -x385 -x274 -x252 -x198 x176 -x138 -x5 -x621 -x493 -x449 -x426 -x408 -x387 -x367 x279 -x202 -x156 -x137 -x19 x6 -x736 -x620 -x560 -x511 -x450 x425 -x412 -x388 -x366 x278 -x179 -x155 -x139 -x88 -x18 x13 x738 -x651 -x618 -x516 -x430 -x411 -x389 -x203 -x180 -x157 x142 -x87 -x24 -x7 -x650 -x619 -x559 -x515 -x467 -x429 -x409 -x396 -x368 x281 -x183 -x158 x141 -x89 -x67 -x23 -x8 -x739 -x563 -x427 -x410 -x390 x370 x282 -x181 x159 -x146 -x92 -x72 -x25 -x9 -x741 -x652 -x518 -x470 -x428 -x391 -x319 -x285 -x224 -x182 x166 -x145 -x122 x91 -x71 -x29 -x742 x654 -x636 -x564 -x519 -x471 -x392 -x371 -x318 -x283 x160 -x143 x96 -x28 -x635 -x522 -x373 -x348 -x320 -x284 -x223 -x161 -x144 -x121 x95 x74 -x26 x655 -x520 -x374 -x352 x323 -x227 -x162 -x93 x75 -x27 -x657 x637 -x521 x322 x125 -x94 -x76 -x658 x640 x324 -x228 x126 -x77 -x754 x704 x65 -x756 x705 x588 -x268 -x241 x61 x755 -x700 x603 -x243 -x60 x51 x763 -x599 -x439 x248 x52 -x711 -x698 -x598 -x500 x441 x245 -x47 -x715 x501 x446 x254 -x496 x443 -x45 -x730 x615 -x452 -x403 -x171 -x729 x629 -x494 x404 -x200 -x173 -x16 -x625 x424 x405 -x362 -x273 -x204 x178 -x17 x737 -x624 -x438 x416 -x399 -x361 -x275 x175 -x12 x740 -x646 -x510 -x434 -x400 x280 -x184 x140 -x20 -x744 -x645 -x561 -x512 -x466 -x433 -x395 x369 x277 -x206 -x169 x154 -x21 -x10 -x743 -x565 x517 x372 -x286 -x207 -x170 -x150 -x90 -x66 x22 -x653 x514 -x472 -x393 x376 -x165 -x149 -x117 x104 -x68 -x33 x656 -x631 x523 -x375 x100 -x73 x660 -x630 -x567 -x347 -x225 -x163 -x123 x99 x70 x659 -x568 -x351 x321 -x229 -x78 x638 -x475 x332 x127 x639 x328 x702 -x600 x106 -x64 -x50 -x753 x602 x272 -x49 x771 -x499 x271 -x58 x767 -x498 x244 x766 -x710 -x699 -x596 x262 -x59 -x714 x442 x258 x194 -x626 -x597 x460 -x303 x257 x193 -x46 -x15 x628 x456 -x14 -x495 x455 -x435 x419 -x398 -x201 -x731 -x555 -x437 x420 -x397 x205 x174 x732 -x622 -x554 -x462 -x415 x209 x192 -x168 -x151 x733 -x363 x276 -x208 x188 -x167 -x153 x748 -x623 -x562 -x468 -x431 -x413 x364 x294 -x187 -x101 -x36 -x11 -x647 -x566 -x513 x365 x290 -x219 -x103 x37 -x686 -x648 x570 -x531 -x473 -x432 -x394 x380 x289 -x218 -x147 -x32 x649 x569 -x527 -x116 -x69 x664 -x526 x476 -x349 -x329 x226 -x164 -x148 -x118 -x97 -x86 -x30 -x632 -x474 -x353 x331 -x230 -x124 x82 -x633 -x231 x120 -x98 x81 x634 x327 -x232 x128 -x768 x703 -x601 -x334 x105 -x62 x770 x269 -x259 x261 x764 -x712 -x457 -x300 x270 -x716 -x627 -x459 x765 x418 -x302 -x255 -x436 x417 x195 x718 -x453 -x256 x196 -x189 -x719 x197 x191 -x152 x751 -x454 x291 -x213 -x35 x752 x556 -x461 x293 -x102 -x34 x747 -x682 x557 -x528 -x463 -x414 -x383 -x185 x558 -x530 -x469 -x384 -x344 x745 -x685 x667 -x574 x465 -x379 -x343 -x287 -x186 -x83 x668 x477 -x330 -x220 -x85 x663 x535 -x524 -x377 -x350 -x288 -x221 -x31 -x539 -x354 x222 -x119 -x661 -x643 -x605 -x525 x355 x236 x136 -x79 -x644 x609 -x356 x325 x132 -x769 x333 x107 -x63 -x707 -x260 x706 -x458 x713 -x299 x109 x717 x721 x304 x720 -x190 -x750 x216 x749 -x292 x217 x678 -x382 x307 -x212 -x529 -x381 -x681 -x666 x577 -x210 x665 x578 -x464 -x84 -x746 -x687 -x573 x485 x481 -x345 -x642 -x571 x534 -x480 -x378 -x346 x239 x133 -x641 -x538 x240 x135 -x690 -x662 x604 -x235 -x80 x608 x326 x131 x503 -x296 x110 x708 x108 x709 -x547 -x336 x301 -x772 x725 x305 x215 x214 -x674 x308 x306 -x773 x677 -x774 x576 x575 -x683 x482 -x211 x484 -x688 x238 x237 -x134 -x691 -x572 x536 -x478 -x359 -x689 -x540 -x360 x606 -x479 -x233 x610 x129 x111 x502 -x337 -x335 -x295 x728 -x546 -x297 x724 x309 -x722 -x673 x583 -x483 -x684 -x533 -x680 x532 -x358 -x692 -x357 x537 x541 x607 -x234 x611 -x130 x338 x115 x727 x504 x114 x726 -x548 -x298 -x670 -x507 x317 x313 -x723 -x675 x582 x550 x312 -x551 x679 x587 -x543 x342 -x542 x505 x341 x112 -x549 -x508 x314 x113 -x506 x316 x581 x553 -x669 x552 -x671 x584 x310 x676 x311 x586 x339 -x544 -x509 x315 x545 x340 x775 x580 x579 x672 x585 x776 x1 3600.03/3609.60 s SATISFIABLE
OK 2
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: 64059 MiB (58770 MiB free)
memory of node 1: 64510 MiB (60935 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439160-1721198241/watcher-4439160-1721198241 -o /tmp/evaluation-result-4439160-1721198241/solver-4439160-1721198241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721194641-888535 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439160-1721198241.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=890713, runsolver pid=890710
[startup+0.100099 s]*
/proc/loadavg: 4.18 4.14 4.05 5/244 890714
/proc/meminfo: memFree=122520732/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=43424 memory=34044 CPUtime=0.11 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 6362 0 0 0 10 1 0 0 20 0 1 0 171982873 44466176 8511 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 10856 8511 2542 2594 0 7749 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 43424 KiB
Current children cumulated memory: 34044 KiB
[startup+0.212896 s]*
/proc/loadavg: 4.17 4.14 4.05 5/244 890714
/proc/meminfo: memFree=122506108/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=44212 memory=34836 CPUtime=0.22 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 6562 0 0 0 21 1 0 0 20 0 1 0 171982873 45273088 8709 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 11053 8709 2542 2594 0 7946 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 44212 KiB
Current children cumulated memory: 34836 KiB
[startup+0.312362 s]*
/proc/loadavg: 4.17 4.14 4.05 5/244 890714
/proc/meminfo: memFree=122489540/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=63116 memory=51260 CPUtime=0.31 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 10834 0 0 0 30 1 0 0 20 0 1 0 171982873 64630784 12815 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 15779 12815 2638 2594 0 12672 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 63116 KiB
Current children cumulated memory: 51260 KiB
[startup+0.700252 s]
/proc/loadavg: 4.17 4.14 4.05 5/244 890714
/proc/meminfo: memFree=122487384/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=64104 memory=52300 CPUtime=0.69 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 11090 0 0 0 68 1 0 0 20 0 1 0 171982873 65642496 13075 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 16026 13075 2638 2594 0 12919 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 64104 KiB
Current children cumulated memory: 52300 KiB
[startup+1.50026 s]
/proc/loadavg: 4.17 4.14 4.05 5/244 890714
/proc/meminfo: memFree=122478744/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=64104 memory=52300 CPUtime=1.49 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 11092 0 0 0 148 1 0 0 20 0 1 0 171982873 65642496 13075 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 16026 13075 2638 2594 0 12919 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 64104 KiB
Current children cumulated memory: 52300 KiB
[startup+3.11267 s]
/proc/loadavg: 4.17 4.14 4.05 5/244 890714
/proc/meminfo: memFree=122419484/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=129344 memory=113580 CPUtime=3.09 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 26489 0 0 0 306 3 0 0 20 0 1 0 171982873 132448256 28395 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 32336 28395 2654 2594 0 29229 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 129344 KiB
Current children cumulated memory: 113580 KiB
[startup+6.30026 s]
/proc/loadavg: 4.15 4.14 4.05 5/244 890714
/proc/meminfo: memFree=122257656/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=179140 memory=156612 CPUtime=6.28 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 37229 0 0 0 622 6 0 0 20 0 1 0 171982873 183439360 39153 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 44785 39153 2654 2594 0 41678 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 179140 KiB
Current children cumulated memory: 156612 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.13 4.05 5/244 890716
/proc/meminfo: memFree=122098256/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=184520 memory=157668 CPUtime=12.66 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 37513 0 0 0 1259 7 0 0 20 0 1 0 171982873 188948480 39417 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 46130 39417 2654 2594 0 43023 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 184520 KiB
Current children cumulated memory: 157668 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.13 4.05 5/244 890717
/proc/meminfo: memFree=122084796/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=192912 memory=165212 CPUtime=25.42 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 40764 0 0 0 2534 8 0 0 20 0 1 0 171982873 197541888 41303 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 48228 41303 2654 2594 0 45121 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 192912 KiB
Current children cumulated memory: 165212 KiB
[startup+51.1122 s]
/proc/loadavg: 4.14 4.13 4.05 5/244 890722
/proc/meminfo: memFree=122081176/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=192912 memory=165212 CPUtime=50.97 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 40766 0 0 0 5086 11 0 0 20 0 1 0 171982873 197541888 41303 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 48228 41303 2654 2594 0 45121 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 192912 KiB
Current children cumulated memory: 165212 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.05 6/244 890731
/proc/meminfo: memFree=122008812/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=266788 memory=233028 CPUtime=102.03 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 59400 0 0 0 10185 18 0 0 20 0 1 0 171982873 273190912 58257 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 66697 58257 2654 2594 0 63590 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 266788 KiB
Current children cumulated memory: 233028 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/244 890742
/proc/meminfo: memFree=121969032/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=294244 memory=258292 CPUtime=161.87 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 66163 0 0 0 16167 20 0 0 20 0 1 0 171982873 301305856 64573 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 73561 64573 2654 2594 0 70454 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 294244 KiB
Current children cumulated memory: 258292 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.14 4.07 5/245 890755
/proc/meminfo: memFree=121961904/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=304980 memory=262516 CPUtime=221.71 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 67175 0 0 0 22150 21 0 0 20 0 1 0 171982873 312299520 65629 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 76245 65629 2654 2594 0 73138 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 304980 KiB
Current children cumulated memory: 262516 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.07 5/243 890765
/proc/meminfo: memFree=121947056/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=319748 memory=271992 CPUtime=281.56 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 69577 0 0 0 28133 23 0 0 20 0 1 0 171982873 327421952 67998 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 79937 67998 2654 2594 0 76830 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 319748 KiB
Current children cumulated memory: 271992 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.07 5/243 890776
/proc/meminfo: memFree=121927328/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=330816 memory=281212 CPUtime=341.4 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 71878 0 0 0 34116 24 0 0 20 0 1 0 171982873 338755584 70303 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 82704 70303 2654 2594 0 79597 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 330816 KiB
Current children cumulated memory: 281212 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/243 890786
/proc/meminfo: memFree=121918572/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=337984 memory=287012 CPUtime=401.24 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 73334 0 0 0 40100 24 0 0 20 0 1 0 171982873 346095616 71753 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 84496 71753 2654 2594 0 81389 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 337984 KiB
Current children cumulated memory: 287012 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/243 890797
/proc/meminfo: memFree=122118224/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=341548 memory=289916 CPUtime=461.09 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 74047 0 0 0 46084 25 0 0 20 0 1 0 171982873 349745152 72479 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 85387 72479 2654 2594 0 82280 0
################
# More data... #
################
Current children cumulated memory: 306684 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/244 891846
/proc/meminfo: memFree=121166320/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=365944 memory=356648 CPUtime=2854.96 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 111350 0 0 0 285455 41 0 0 20 0 1 0 171982873 374726656 89162 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 91486 89162 2718 2594 0 88379 0
Current children cumulated CPU time: 2854.96 s
Current children cumulated vsize: 365944 KiB
Current children cumulated memory: 356648 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/243 892286
/proc/meminfo: memFree=121144724/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=369352 memory=360100 CPUtime=2914.77 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 113145 0 0 0 291434 43 0 0 20 0 1 0 171982873 378216448 90025 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 92338 90025 2718 2594 0 89231 0
Current children cumulated CPU time: 2914.77 s
Current children cumulated vsize: 369352 KiB
Current children cumulated memory: 360100 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/243 892296
/proc/meminfo: memFree=120968452/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=315936 memory=306684 CPUtime=2974.58 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 113979 0 0 0 297413 45 0 0 20 0 1 0 171982873 323518464 76671 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 78984 76671 2718 2594 0 75877 0
Current children cumulated CPU time: 2974.58 s
Current children cumulated vsize: 315936 KiB
Current children cumulated memory: 306684 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/243 892306
/proc/meminfo: memFree=120922852/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=315936 memory=306684 CPUtime=3034.37 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 114065 0 0 0 303392 45 0 0 20 0 1 0 171982873 323518464 76671 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 78984 76671 2718 2594 0 75877 0
Current children cumulated CPU time: 3034.37 s
Current children cumulated vsize: 315936 KiB
Current children cumulated memory: 306684 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/245 892488
/proc/meminfo: memFree=120804596/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=355484 memory=346088 CPUtime=3094.17 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 115274 0 0 0 309370 47 0 0 20 0 1 0 171982873 364015616 86522 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 88871 86522 2718 2594 0 85764 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 355484 KiB
Current children cumulated memory: 346088 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/245 892499
/proc/meminfo: memFree=120834840/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=315936 memory=306684 CPUtime=3153.96 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 115724 0 0 0 315348 48 0 0 20 0 1 0 171982873 323518464 76671 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 78984 76671 2718 2594 0 75877 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 315936 KiB
Current children cumulated memory: 306684 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/244 892567
/proc/meminfo: memFree=120762300/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=315936 memory=308448 CPUtime=3213.77 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 116473 0 0 0 321327 50 0 0 20 0 1 0 171982873 323518464 77112 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 78984 77112 2718 2594 0 75877 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 315936 KiB
Current children cumulated memory: 308448 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/244 892577
/proc/meminfo: memFree=120700364/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=315936 memory=308448 CPUtime=3273.61 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 116561 0 0 0 327311 50 0 0 20 0 1 0 171982873 323518464 77112 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 78984 77112 2718 2594 0 75877 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 315936 KiB
Current children cumulated memory: 308448 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/244 892589
/proc/meminfo: memFree=120592264/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=315936 memory=308448 CPUtime=3333.45 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 116632 0 0 0 333295 50 0 0 20 0 1 0 171982873 323518464 77112 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 78984 77112 2718 2594 0 75877 0
Current children cumulated CPU time: 3333.45 s
Current children cumulated vsize: 315936 KiB
Current children cumulated memory: 308448 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/242 892599
/proc/meminfo: memFree=120484176/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=315936 memory=308448 CPUtime=3393.29 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 116715 0 0 0 339279 50 0 0 20 0 1 0 171982873 323518464 77112 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 78984 77112 2718 2594 0 75877 0
Current children cumulated CPU time: 3393.29 s
Current children cumulated vsize: 315936 KiB
Current children cumulated memory: 308448 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/242 892610
/proc/meminfo: memFree=120366820/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=315936 memory=308448 CPUtime=3453.13 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 116815 0 0 0 345263 50 0 0 20 0 1 0 171982873 323518464 77112 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 78984 77112 2718 2594 0 75877 0
Current children cumulated CPU time: 3453.13 s
Current children cumulated vsize: 315936 KiB
Current children cumulated memory: 308448 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/241 892621
/proc/meminfo: memFree=120249044/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=366728 memory=359240 CPUtime=3512.97 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 117323 0 0 0 351246 51 0 0 20 0 1 0 171982873 375529472 89810 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 91682 89810 2718 2594 0 88575 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 366728 KiB
Current children cumulated memory: 359240 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 892631
/proc/meminfo: memFree=120290336/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=365868 memory=358380 CPUtime=3572.81 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 119251 0 0 0 357227 54 0 0 20 0 1 0 171982873 374648832 89595 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 91467 89595 2718 2594 0 88360 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 365868 KiB
Current children cumulated memory: 358380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.17 4.13 4.09 5/241 892636
/proc/meminfo: memFree=120251360/131655788 swapFree=131071996/131071996
[pid=890713] ppid=890710 vsize=372896 memory=365408 CPUtime=3600.03 cores=4,6
/proc/890713/stat : 890713 (CASHWMaxSAT-Dis) R 890710 890713 888524 0 -1 4194304 119732 0 0 0 359948 55 0 0 20 0 1 0 171982873 381845504 91352 134679101440 4194304 14817773 140722900094080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26451968 140722900095972 140722900096087 140722900096087 140722900103103 0
/proc/890713/statm: 93224 91352 2718 2594 0 90117 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 372896 KiB
Current children cumulated memory: 365408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 890713 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.48 s, system=0.56118 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.6
CPU time (s): 3600.04
CPU user time (s): 3599.48
CPU system time (s): 0.56118
CPU usage (%): 99.7352
Max. virtual memory (cumulated for all children) (KiB): 425340
Max. memory (cumulated for all children) (KiB): 412308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.48
system time used= 0.56118
maximum resident set size= 415880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119733
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= 46
involuntary context switches= 1560
# summary of solver processes directly reported to runsolver:
# pid: 890713
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.48
# total CPU system time (s): 0.56118
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.5284 second user time and 29.2575 second system time
The end
Begin job on nodeC006 at 2024-07-17 08:37:34 IDJOB=4439160 IDBENCH=146660 IDSOLVER=3075 FILE ID=nodeC006/4439160-1721198241 RUNJOBID= nodeC006-1721194641-888535 SLURM_JOB_ID= 7508874 Free space on /tmp= 723736 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439160-1721198241/watcher-4439160-1721198241 -o /tmp/evaluation-result-4439160-1721198241/solver-4439160-1721198241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721194641-888535 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439160-1721198241.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7cbd9242490819e58478720045b90b69 RANDOM SEED=1023848114 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3666.686 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.971 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.273 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.394 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.996 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3606.893 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.250 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.262 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 122587800 kB MemAvailable: 128540044 kB Buffers: 437988 kB Cached: 6279264 kB SwapCached: 0 kB Active: 796416 kB Inactive: 7567788 kB Active(anon): 1460 kB Inactive(anon): 1683236 kB Active(file): 794956 kB Inactive(file): 5884552 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 28388 kB Writeback: 0 kB AnonPages: 1643524 kB Mapped: 135624 kB Shmem: 37704 kB KReclaimable: 225532 kB Slab: 340580 kB SReclaimable: 225532 kB SUnreclaim: 115048 kB KernelStack: 3920 kB PageTables: 12420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2085096 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 55104 kB HardwareCorrupted: 0 kB AnonHugePages: 1236992 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 310088 kB DirectMap2M: 40488960 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 723732 MiB End job on nodeC006 at 2024-07-17 09:37:43