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 | OPT | 2642 | 2877.04 | 2886.98 |
| 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.026526 |
| 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.10/0.15 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.10/0.15 c Do: 140736761462264 140736761462272 0.10/0.15 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.22/0.30 c Starting SCIP solver (with time-limit = 1800s) ... 1794.47/1800.57 c SCIP timeout with lower and upper bounds: [300, 4557] 1794.47/1800.57 o 4557 1794.77/1800.86 o 3875 1797.08/1803.13 o 2673 1798.98/1805.10 o 2669 1799.76/1805.84 o 2657 1803.06/1809.17 o 2656 1803.25/1809.35 c Do: 140736761462264 140736761462272 1824.99/1831.12 o 2642 2876.96/2886.96 s OPTIMUM FOUND 2876.96/2886.96 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: 64059 MiB (59128 MiB free)
memory of node 1: 64510 MiB (61886 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439157-1721194629/watcher-4439157-1721194629 -o /tmp/evaluation-result-4439157-1721194629/solver-4439157-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721194641-888534 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439157-1721194629.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=888598, runsolver pid=888583
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 0.14 0.10 0.09 8/243 888599
/proc/meminfo: memFree=123883472/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=34852 memory=19664 CPUtime=0.1 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 4764 0 0 0 9 1 0 0 20 0 1 0 171621709 35688448 4916 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 8713 4916 926 2594 0 5606 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34852 KiB
Current children cumulated memory: 19664 KiB
[startup+0.213661 s]*
/proc/loadavg: 0.14 0.10 0.09 9/243 888599
/proc/meminfo: memFree=123841840/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=58608 memory=48484 CPUtime=0.22 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 11397 0 0 0 18 4 0 0 20 0 1 0 171621709 60014592 12121 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 14652 12121 2286 2594 0 11545 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 58608 KiB
Current children cumulated memory: 48484 KiB
[startup+0.314292 s]*
/proc/loadavg: 0.14 0.10 0.09 8/243 888599
/proc/meminfo: memFree=123796452/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=87556 memory=78064 CPUtime=0.32 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 18604 0 0 0 25 7 0 0 20 0 1 0 171621709 89657344 19516 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 21889 19516 2430 2594 0 18782 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 87556 KiB
Current children cumulated memory: 78064 KiB
[startup+0.700321 s]
/proc/loadavg: 0.14 0.10 0.09 8/243 888599
/proc/meminfo: memFree=123705632/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=146252 memory=134332 CPUtime=0.68 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 32604 0 0 0 57 11 0 0 20 0 1 0 171621709 149762048 33583 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 36563 33583 2510 2594 0 33456 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 146252 KiB
Current children cumulated memory: 134332 KiB
[startup+1.50029 s]
/proc/loadavg: 0.14 0.10 0.09 8/243 888599
/proc/meminfo: memFree=123562916/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=180004 memory=166308 CPUtime=1.48 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 40614 0 0 0 135 13 0 0 20 0 1 0 171621709 184324096 41577 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 45001 41577 2542 2594 0 41894 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 180004 KiB
Current children cumulated memory: 166308 KiB
[startup+3.11277 s]
/proc/loadavg: 0.45 0.17 0.11 8/243 888599
/proc/meminfo: memFree=123088556/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=186920 memory=173964 CPUtime=3.09 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 42487 0 0 0 296 13 0 0 20 0 1 0 171621709 191406080 43491 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 46730 43491 2542 2594 0 43623 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 186920 KiB
Current children cumulated memory: 173964 KiB
[startup+6.30026 s]
/proc/loadavg: 0.45 0.17 0.11 8/243 888599
/proc/meminfo: memFree=122890872/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=320312 memory=300180 CPUtime=6.26 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 68453 0 0 0 609 17 0 0 20 0 1 0 171621709 327999488 75045 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 80078 75045 2638 2594 0 76971 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 320312 KiB
Current children cumulated memory: 300180 KiB
[startup+12.7003 s]
/proc/loadavg: 1.07 0.31 0.16 8/243 888601
/proc/meminfo: memFree=122817088/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=324976 memory=304400 CPUtime=12.64 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 69457 0 0 0 1246 18 0 0 20 0 1 0 171621709 332775424 76100 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 81244 76100 2638 2594 0 78137 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 324976 KiB
Current children cumulated memory: 304400 KiB
[startup+25.5003 s]
/proc/loadavg: 1.52 0.43 0.20 9/243 888602
/proc/meminfo: memFree=122776272/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=324976 memory=304400 CPUtime=25.39 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 69462 0 0 0 2521 18 0 0 20 0 1 0 171621709 332775424 76100 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 81244 76100 2638 2594 0 78137 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 324976 KiB
Current children cumulated memory: 304400 KiB
[startup+51.1131 s]
/proc/loadavg: 2.43 0.73 0.31 9/243 888607
/proc/meminfo: memFree=122611092/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=324976 memory=304400 CPUtime=50.92 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 69464 0 0 0 5073 19 0 0 20 0 1 0 171621709 332775424 76100 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 81244 76100 2638 2594 0 78137 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 324976 KiB
Current children cumulated memory: 304400 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.30 0.53 9/243 888616
/proc/meminfo: memFree=122409388/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=325804 memory=305428 CPUtime=101.91 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 69759 0 0 0 10172 19 0 0 20 0 1 0 171621709 333623296 76357 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 81451 76357 2638 2594 0 78344 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 325804 KiB
Current children cumulated memory: 305428 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 1.90 0.79 7/243 888719
/proc/meminfo: memFree=122326848/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=418264 memory=370280 CPUtime=161.71 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 80779 0 0 0 16149 22 0 0 20 0 1 0 171621709 428302336 92570 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 104566 92570 2654 2594 0 101459 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 418264 KiB
Current children cumulated memory: 370280 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 2.33 1.01 7/246 888735
/proc/meminfo: memFree=122178828/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=534944 memory=413844 CPUtime=221.5 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 90152 0 0 0 22127 23 0 0 20 0 1 0 171621709 547782656 103461 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 133736 103461 2654 2594 0 130629 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 534944 KiB
Current children cumulated memory: 413844 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.65 1.20 7/246 888745
/proc/meminfo: memFree=122235420/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=534944 memory=413844 CPUtime=281.3 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 90158 0 0 0 28106 24 0 0 20 0 1 0 171621709 547782656 103461 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 133736 103461 2654 2594 0 130629 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 534944 KiB
Current children cumulated memory: 413844 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 2.93 1.39 7/244 888756
/proc/meminfo: memFree=122190504/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=534944 memory=413844 CPUtime=341.1 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 90164 0 0 0 34086 24 0 0 20 0 1 0 171621709 547782656 103461 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 133736 103461 2654 2594 0 130629 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 534944 KiB
Current children cumulated memory: 413844 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.14 1.56 7/244 888766
/proc/meminfo: memFree=122159684/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=535968 memory=414244 CPUtime=400.89 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 90260 0 0 0 40065 24 0 0 20 0 1 0 171621709 548831232 103561 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 133992 103561 2654 2594 0 130885 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 535968 KiB
Current children cumulated memory: 414244 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.33 1.73 7/244 888777
/proc/meminfo: memFree=122149456/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=608968 memory=485988 CPUtime=460.7 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 108248 0 0 0 46043 27 0 0 20 0 1 0 171621709 623583232 121497 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 152242 121497 2654 2594 0 149135 0
################
# More data... #
################
/proc/loadavg: 4.11 4.09 3.88 7/242 889758
/proc/meminfo: memFree=120934324/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=722712 memory=594960 CPUtime=2493.81 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 147021 0 0 0 249343 38 0 0 20 0 1 0 171621709 740057088 148740 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 180678 148740 2718 2594 0 177571 0
Current children cumulated CPU time: 2493.81 s
Current children cumulated vsize: 722712 KiB
Current children cumulated memory: 594960 KiB
[startup+2562.3 s]
/proc/loadavg: 4.09 4.09 3.89 7/242 889769
/proc/meminfo: memFree=121044452/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=722712 memory=594960 CPUtime=2553.59 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 147115 0 0 0 255321 38 0 0 20 0 1 0 171621709 740057088 148740 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 180678 148740 2718 2594 0 177571 0
Current children cumulated CPU time: 2553.59 s
Current children cumulated vsize: 722712 KiB
Current children cumulated memory: 594960 KiB
[startup+2622.3 s]
/proc/loadavg: 4.10 4.08 3.91 7/244 889783
/proc/meminfo: memFree=120988092/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=722712 memory=594960 CPUtime=2613.36 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 147205 0 0 0 261298 38 0 0 20 0 1 0 171621709 740057088 148740 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 180678 148740 2718 2594 0 177571 0
Current children cumulated CPU time: 2613.36 s
Current children cumulated vsize: 722712 KiB
Current children cumulated memory: 594960 KiB
[startup+2682.3 s]
/proc/loadavg: 4.67 4.24 3.97 7/244 889793
/proc/meminfo: memFree=120749540/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=722712 memory=594960 CPUtime=2673.13 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 147289 0 0 0 267275 38 0 0 20 0 1 0 171621709 740057088 148740 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 180678 148740 2718 2594 0 177571 0
Current children cumulated CPU time: 2673.13 s
Current children cumulated vsize: 722712 KiB
Current children cumulated memory: 594960 KiB
[startup+2742.3 s]
/proc/loadavg: 4.43 4.27 4.00 7/243 889805
/proc/meminfo: memFree=120756476/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=722712 memory=594960 CPUtime=2732.91 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 147376 0 0 0 273253 38 0 0 20 0 1 0 171621709 740057088 148740 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 180678 148740 2718 2594 0 177571 0
Current children cumulated CPU time: 2732.91 s
Current children cumulated vsize: 722712 KiB
Current children cumulated memory: 594960 KiB
[startup+2802.3 s]
/proc/loadavg: 4.19 4.23 4.00 7/243 889815
/proc/meminfo: memFree=120802536/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=722712 memory=594960 CPUtime=2792.68 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 147463 0 0 0 279230 38 0 0 20 0 1 0 171621709 740057088 148740 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 180678 148740 2718 2594 0 177571 0
Current children cumulated CPU time: 2792.68 s
Current children cumulated vsize: 722712 KiB
Current children cumulated memory: 594960 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.20 4.00 7/243 889826
/proc/meminfo: memFree=120800376/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=722712 memory=594960 CPUtime=2852.45 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 147533 0 0 0 285207 38 0 0 20 0 1 0 171621709 740057088 148740 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 180678 148740 2718 2594 0 177571 0
Current children cumulated CPU time: 2852.45 s
Current children cumulated vsize: 722712 KiB
Current children cumulated memory: 594960 KiB
[startup+2886.98 s]
# the end of solver process 888598 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2876.65 s, system=0.391468 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2867.2 s]
/proc/loadavg: 4.10 4.20 4.00 7/243 889826
/proc/meminfo: memFree=120800352/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=722712 memory=594960 CPUtime=2857.34 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 147533 0 0 0 285696 38 0 0 20 0 1 0 171621709 740057088 148740 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 180678 148740 2718 2594 0 177571 0
Current children cumulated CPU time: 2857.34 s
Current children cumulated vsize: 722712 KiB
Current children cumulated memory: 594960 KiB
[startup+2880 s]*
/proc/loadavg: 4.16 4.21 4.01 7/243 889830
/proc/meminfo: memFree=120864368/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=722712 memory=594960 CPUtime=2870.1 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 147595 0 0 0 286972 38 0 0 20 0 1 0 171621709 740057088 148740 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 180678 148740 2718 2594 0 177571 0
Current children cumulated CPU time: 2870.1 s
Current children cumulated vsize: 722712 KiB
Current children cumulated memory: 594960 KiB
[startup+2883.2 s]
/proc/loadavg: 4.15 4.20 4.01 7/243 889830
/proc/meminfo: memFree=120864368/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=722712 memory=594960 CPUtime=2873.27 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 147595 0 0 0 287289 38 0 0 20 0 1 0 171621709 740057088 148740 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 180678 148740 2718 2594 0 177571 0
Current children cumulated CPU time: 2873.27 s
Current children cumulated vsize: 722712 KiB
Current children cumulated memory: 594960 KiB
[startup+2884.8 s]
/proc/loadavg: 4.15 4.20 4.01 7/243 889830
/proc/meminfo: memFree=120864336/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=722712 memory=594960 CPUtime=2874.87 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 147597 0 0 0 287449 38 0 0 20 0 1 0 171621709 740057088 148740 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 180678 148740 2718 2594 0 177571 0
Current children cumulated CPU time: 2874.87 s
Current children cumulated vsize: 722712 KiB
Current children cumulated memory: 594960 KiB
[startup+2885.6 s]
/proc/loadavg: 4.15 4.20 4.01 7/243 889830
/proc/meminfo: memFree=120864352/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=722712 memory=594960 CPUtime=2875.67 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 147597 0 0 0 287529 38 0 0 20 0 1 0 171621709 740057088 148740 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 180678 148740 2718 2594 0 177571 0
Current children cumulated CPU time: 2875.67 s
Current children cumulated vsize: 722712 KiB
Current children cumulated memory: 594960 KiB
[startup+2886.4 s]
/proc/loadavg: 4.15 4.20 4.01 7/243 889830
/proc/meminfo: memFree=120864368/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=722712 memory=594960 CPUtime=2876.46 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 147597 0 0 0 287608 38 0 0 20 0 1 0 171621709 740057088 148740 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 180678 148740 2718 2594 0 177571 0
Current children cumulated CPU time: 2876.46 s
Current children cumulated vsize: 722712 KiB
Current children cumulated memory: 594960 KiB
[startup+2886.8 s]
/proc/loadavg: 4.15 4.20 4.01 7/243 889830
/proc/meminfo: memFree=120864368/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=722712 memory=594960 CPUtime=2876.86 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 147597 0 0 0 287648 38 0 0 20 0 1 0 171621709 740057088 148740 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 180678 148740 2718 2594 0 177571 0
Current children cumulated CPU time: 2876.86 s
Current children cumulated vsize: 722712 KiB
Current children cumulated memory: 594960 KiB
[startup+2886.9 s]
/proc/loadavg: 4.15 4.20 4.01 7/243 889830
/proc/meminfo: memFree=120864368/131655788 swapFree=131071996/131071996
[pid=888598] ppid=888583 vsize=722712 memory=594960 CPUtime=2876.96 cores=0,2
/proc/888598/stat : 888598 (CASHWMaxSAT-Dis) R 888583 888598 888524 0 -1 4194304 147597 0 0 0 287658 38 0 0 20 0 1 0 171621709 740057088 148740 134679101440 4194304 14817773 140736761464672 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50933760 140736761471972 140736761472087 140736761472087 140736761479103 0
/proc/888598/statm: 180678 148740 2718 2594 0 177571 0
Current children cumulated CPU time: 2876.96 s
Current children cumulated vsize: 722712 KiB
Current children cumulated memory: 594960 KiB
Child status: 30
Real time (s): 2886.98
CPU time (s): 2877.04
CPU user time (s): 2876.65
CPU system time (s): 0.391468
CPU usage (%): 99.656
Max. virtual memory (cumulated for all children) (KiB): 813600
Max. memory (cumulated for all children) (KiB): 678712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2876.65
system time used= 0.391468
maximum resident set size= 679788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147597
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= 38
involuntary context switches= 19699
# summary of solver processes directly reported to runsolver:
# pid: 888598
# total CPU time (s): 2877.04
# total CPU user time (s): 2876.65
# total CPU system time (s): 0.391468
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7288 second user time and 26.1241 second system time
The end
Begin job on nodeC006 at 2024-07-17 07:37:22 IDJOB=4439157 IDBENCH=146650 IDSOLVER=3075 FILE ID=nodeC006/4439157-1721194629 RUNJOBID= nodeC006-1721194641-888534 SLURM_JOB_ID= 7508874 Free space on /tmp= 723740 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10 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 --file-size-limit 102400 -w /tmp/evaluation-result-4439157-1721194629/watcher-4439157-1721194629 -o /tmp/evaluation-result-4439157-1721194629/solver-4439157-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721194641-888534 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439157-1721194629.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1 RANDOM SEED=346687897 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 : 1234.352 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 : 1200.457 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 : 1203.522 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 : 1192.909 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 : 1193.845 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 : 1194.042 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 : 1199.839 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 : 1194.047 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: 123921836 kB MemAvailable: 129865340 kB Buffers: 436428 kB Cached: 6272268 kB SwapCached: 0 kB Active: 792592 kB Inactive: 6240072 kB Active(anon): 1368 kB Inactive(anon): 360660 kB Active(file): 791224 kB Inactive(file): 5879412 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 66812 kB Writeback: 4 kB AnonPages: 324048 kB Mapped: 104104 kB Shmem: 37704 kB KReclaimable: 225796 kB Slab: 340924 kB SReclaimable: 225796 kB SUnreclaim: 115128 kB KernelStack: 3648 kB PageTables: 9576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 560500 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 55040 kB HardwareCorrupted: 0 kB AnonHugePages: 200704 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= 723716 MiB End job on nodeC006 at 2024-07-17 08:25:29