Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCad-SP 2024-07-10 | OPT | 2642 | 2963.12 | 2971.74 |
| 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.00/0.05 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.05 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.09/0.11 c Starting SCIP solver (with time-limit = 1800s) ... 1795.21/1800.11 c SCIP timeout with lower and upper bounds: [51, 9223372036854775807] 1795.40/1800.34 o 3875 1797.69/1802.60 o 2673 1799.59/1804.53 o 2669 1800.28/1805.27 o 2657 1803.58/1808.59 o 2656 1825.31/1830.31 o 2642 2963.08/2971.73 s OPTIMUM FOUND 2963.08/2971.73 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: 63931 MiB (60058 MiB free)
memory of node 1: 64510 MiB (60887 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438754-1721194629/watcher-4438754-1721194629 -o /tmp/evaluation-result-4438754-1721194629/solver-4438754-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721194641-916627 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438754-1721194629.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=916686, runsolver pid=916673
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 0.42 0.18 0.11 8/257 916689
/proc/meminfo: memFree=123728616/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=76480 memory=65748 CPUtime=0.09 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 15082 0 0 0 8 1 0 0 20 0 1 0 171628348 78315520 16437 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 19120 16437 2362 2726 0 15868 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76480 KiB
Current children cumulated memory: 65748 KiB
[startup+0.206128 s]*
/proc/loadavg: 0.42 0.18 0.11 7/257 916689
/proc/meminfo: memFree=123560908/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=133668 memory=121620 CPUtime=0.19 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 28837 0 0 0 16 3 0 0 20 0 1 0 171628348 136876032 30405 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 33417 30405 2618 2726 0 30165 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 133668 KiB
Current children cumulated memory: 121620 KiB
[startup+0.30515 s]*
/proc/loadavg: 0.42 0.18 0.11 5/257 916689
/proc/meminfo: memFree=123388180/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=145932 memory=134028 CPUtime=0.3 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 31937 0 0 0 26 4 0 0 20 0 1 0 171628348 149434368 33507 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 36483 33507 2618 2726 0 33231 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 145932 KiB
Current children cumulated memory: 134028 KiB
[startup+0.700203 s]
/proc/loadavg: 0.42 0.18 0.11 5/257 916689
/proc/meminfo: memFree=123212336/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=176176 memory=160516 CPUtime=0.68 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 38587 0 0 0 64 4 0 0 20 0 1 0 171628348 180404224 40129 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 44044 40129 2618 2726 0 40792 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 176176 KiB
Current children cumulated memory: 160516 KiB
[startup+1.50024 s]
/proc/loadavg: 0.42 0.18 0.11 8/257 916689
/proc/meminfo: memFree=123134668/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=183512 memory=170140 CPUtime=1.49 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 40986 0 0 0 144 5 0 0 20 0 1 0 171628348 187916288 42535 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 45878 42535 2650 2726 0 42626 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 183512 KiB
Current children cumulated memory: 170140 KiB
[startup+3.10645 s]
/proc/loadavg: 0.42 0.18 0.11 8/257 916689
/proc/meminfo: memFree=122883608/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=318264 memory=296852 CPUtime=3.09 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 63779 0 0 0 299 10 0 0 20 0 1 0 171628348 325902336 74213 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 79566 74213 2746 2726 0 76314 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 318264 KiB
Current children cumulated memory: 296852 KiB
[startup+6.30023 s]
/proc/loadavg: 0.71 0.24 0.13 8/257 916691
/proc/meminfo: memFree=122874444/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=324236 memory=302660 CPUtime=6.27 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 65191 0 0 0 617 10 0 0 20 0 1 0 171628348 332017664 75665 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 81059 75665 2746 2726 0 77807 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 324236 KiB
Current children cumulated memory: 302660 KiB
[startup+12.7002 s]
/proc/loadavg: 1.13 0.34 0.16 8/256 916691
/proc/meminfo: memFree=122490056/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=325892 memory=303716 CPUtime=12.65 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 65467 0 0 0 1255 10 0 0 20 0 1 0 171628348 333713408 75929 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 81473 75929 2746 2726 0 78221 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 325892 KiB
Current children cumulated memory: 303716 KiB
[startup+25.5003 s]
/proc/loadavg: 1.91 0.55 0.24 8/257 916695
/proc/meminfo: memFree=122471560/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=325892 memory=303716 CPUtime=25.42 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 65477 0 0 0 2531 11 0 0 20 0 1 0 171628348 333713408 75929 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 81473 75929 2746 2726 0 78221 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 325892 KiB
Current children cumulated memory: 303716 KiB
[startup+51.1064 s]
/proc/loadavg: 2.63 0.83 0.34 8/257 916698
/proc/meminfo: memFree=122351048/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=325892 memory=303952 CPUtime=50.95 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 65509 0 0 0 5084 11 0 0 20 0 1 0 171628348 333713408 75988 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 81473 75988 2746 2726 0 78221 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 325892 KiB
Current children cumulated memory: 303952 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.33 0.54 8/257 916707
/proc/meminfo: memFree=122289312/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=326516 memory=305256 CPUtime=101.99 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 65864 0 0 0 10188 11 0 0 20 0 1 0 171628348 334352384 76314 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 81629 76314 2746 2726 0 78377 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 326516 KiB
Current children cumulated memory: 305256 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 1.85 0.77 8/257 916718
/proc/meminfo: memFree=122116000/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=502556 memory=396880 CPUtime=161.83 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 83163 0 0 0 16168 15 0 0 20 0 1 0 171628348 514617344 99220 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 125639 99220 2762 2726 0 122387 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 502556 KiB
Current children cumulated memory: 396880 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.26 0.98 8/260 916734
/proc/meminfo: memFree=122072012/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=527996 memory=402580 CPUtime=221.66 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 84093 0 0 0 22151 15 0 0 20 0 1 0 171628348 540667904 100645 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 131999 100645 2762 2726 0 128747 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 527996 KiB
Current children cumulated memory: 402580 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.61 1.18 8/260 916744
/proc/meminfo: memFree=122025776/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=527996 memory=402580 CPUtime=281.5 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 84098 0 0 0 28135 15 0 0 20 0 1 0 171628348 540667904 100645 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 131999 100645 2762 2726 0 128747 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 527996 KiB
Current children cumulated memory: 402580 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 2.88 1.37 8/258 916757
/proc/meminfo: memFree=122097936/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=528908 memory=402580 CPUtime=341.34 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 84105 0 0 0 34119 15 0 0 20 0 1 0 171628348 541601792 100645 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 132227 100645 2762 2726 0 128975 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 528908 KiB
Current children cumulated memory: 402580 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.10 1.54 9/258 916768
/proc/meminfo: memFree=122070268/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=529920 memory=403024 CPUtime=401.19 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 84264 0 0 0 40104 15 0 0 20 0 1 0 171628348 542638080 100756 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 132480 100756 2762 2726 0 129228 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 529920 KiB
Current children cumulated memory: 403024 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.29 1.70 8/258 916778
/proc/meminfo: memFree=121950868/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=606628 memory=479036 CPUtime=461.02 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 103272 0 0 0 46084 18 0 0 20 0 1 0 171628348 621187072 119759 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 151657 119759 2762 2726 0 148405 0
################
# More data... #
################
/proc/loadavg: 4.16 4.14 3.97 7/257 917792
/proc/meminfo: memFree=121735128/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=617368 memory=552732 CPUtime=2614.79 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 124350 0 0 0 261452 27 0 0 20 0 1 0 171628348 632184832 138183 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 154342 138183 2826 2726 0 151090 0
Current children cumulated CPU time: 2614.79 s
Current children cumulated vsize: 617368 KiB
Current children cumulated memory: 552732 KiB
[startup+2682.3 s]
/proc/loadavg: 4.10 4.12 3.98 7/257 917803
/proc/meminfo: memFree=121735000/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=617368 memory=552732 CPUtime=2674.6 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 124447 0 0 0 267433 27 0 0 20 0 1 0 171628348 632184832 138183 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 154342 138183 2826 2726 0 151090 0
Current children cumulated CPU time: 2674.6 s
Current children cumulated vsize: 617368 KiB
Current children cumulated memory: 552732 KiB
[startup+2742.3 s]
/proc/loadavg: 4.13 4.13 4.00 7/257 917814
/proc/meminfo: memFree=121720008/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=617368 memory=552732 CPUtime=2734.41 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 124537 0 0 0 273414 27 0 0 20 0 1 0 171628348 632184832 138183 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 154342 138183 2826 2726 0 151090 0
Current children cumulated CPU time: 2734.41 s
Current children cumulated vsize: 617368 KiB
Current children cumulated memory: 552732 KiB
[startup+2802.3 s]
/proc/loadavg: 4.09 4.12 4.00 7/257 917824
/proc/meminfo: memFree=121715748/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=617368 memory=552732 CPUtime=2794.22 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 124619 0 0 0 279395 27 0 0 20 0 1 0 171628348 632184832 138183 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 154342 138183 2826 2726 0 151090 0
Current children cumulated CPU time: 2794.22 s
Current children cumulated vsize: 617368 KiB
Current children cumulated memory: 552732 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.01 7/257 917836
/proc/meminfo: memFree=121696884/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=617368 memory=552732 CPUtime=2854.03 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 124684 0 0 0 285376 27 0 0 20 0 1 0 171628348 632184832 138183 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 154342 138183 2826 2726 0 151090 0
Current children cumulated CPU time: 2854.03 s
Current children cumulated vsize: 617368 KiB
Current children cumulated memory: 552732 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.01 7/256 918228
/proc/meminfo: memFree=121644308/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=617368 memory=552732 CPUtime=2913.83 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 124757 0 0 0 291356 27 0 0 20 0 1 0 171628348 632184832 138183 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 154342 138183 2826 2726 0 151090 0
Current children cumulated CPU time: 2913.83 s
Current children cumulated vsize: 617368 KiB
Current children cumulated memory: 552732 KiB
[startup+2971.74 s]
# the end of solver process 916686 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2962.85 s, system=0.275233 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2944 s]*
/proc/loadavg: 4.12 4.12 4.01 7/256 918232
/proc/meminfo: memFree=121640312/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=617368 memory=552732 CPUtime=2935.47 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 124797 0 0 0 293520 27 0 0 20 0 1 0 171628348 632184832 138183 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 154342 138183 2826 2726 0 151090 0
Current children cumulated CPU time: 2935.47 s
Current children cumulated vsize: 617368 KiB
Current children cumulated memory: 552732 KiB
[startup+2956.8 s]
/proc/loadavg: 4.16 4.13 4.02 7/256 918235
/proc/meminfo: memFree=121640200/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=617368 memory=552732 CPUtime=2948.22 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 124797 0 0 0 294795 27 0 0 20 0 1 0 171628348 632184832 138183 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 154342 138183 2826 2726 0 151090 0
Current children cumulated CPU time: 2948.22 s
Current children cumulated vsize: 617368 KiB
Current children cumulated memory: 552732 KiB
[startup+2963.2 s]
/proc/loadavg: 4.15 4.13 4.02 7/256 918236
/proc/meminfo: memFree=121640192/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=617368 memory=552732 CPUtime=2954.6 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 124833 0 0 0 295433 27 0 0 20 0 1 0 171628348 632184832 138183 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 154342 138183 2826 2726 0 151090 0
Current children cumulated CPU time: 2954.6 s
Current children cumulated vsize: 617368 KiB
Current children cumulated memory: 552732 KiB
[startup+2966.4 s]
/proc/loadavg: 4.14 4.13 4.02 7/256 918237
/proc/meminfo: memFree=121640072/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=617368 memory=552732 CPUtime=2957.79 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 124833 0 0 0 295752 27 0 0 20 0 1 0 171628348 632184832 138183 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 154342 138183 2826 2726 0 151090 0
Current children cumulated CPU time: 2957.79 s
Current children cumulated vsize: 617368 KiB
Current children cumulated memory: 552732 KiB
[startup+2969.6 s]
/proc/loadavg: 4.14 4.13 4.02 7/256 918237
/proc/meminfo: memFree=121640088/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=617368 memory=552732 CPUtime=2960.98 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 124833 0 0 0 296071 27 0 0 20 0 1 0 171628348 632184832 138183 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 154342 138183 2826 2726 0 151090 0
Current children cumulated CPU time: 2960.98 s
Current children cumulated vsize: 617368 KiB
Current children cumulated memory: 552732 KiB
[startup+2970.4 s]
/proc/loadavg: 4.14 4.13 4.02 7/256 918237
/proc/meminfo: memFree=121640056/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=617368 memory=552732 CPUtime=2961.78 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 124833 0 0 0 296151 27 0 0 20 0 1 0 171628348 632184832 138183 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 154342 138183 2826 2726 0 151090 0
Current children cumulated CPU time: 2961.78 s
Current children cumulated vsize: 617368 KiB
Current children cumulated memory: 552732 KiB
[startup+2971.2 s]
/proc/loadavg: 4.13 4.12 4.01 7/256 918237
/proc/meminfo: memFree=121624372/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=617368 memory=552732 CPUtime=2962.58 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 124833 0 0 0 296231 27 0 0 20 0 1 0 171628348 632184832 138183 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 154342 138183 2826 2726 0 151090 0
Current children cumulated CPU time: 2962.58 s
Current children cumulated vsize: 617368 KiB
Current children cumulated memory: 552732 KiB
[startup+2971.6 s]
/proc/loadavg: 4.13 4.12 4.01 7/256 918237
/proc/meminfo: memFree=121624372/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=617368 memory=552732 CPUtime=2962.98 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 124833 0 0 0 296271 27 0 0 20 0 1 0 171628348 632184832 138183 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 154342 138183 2826 2726 0 151090 0
Current children cumulated CPU time: 2962.98 s
Current children cumulated vsize: 617368 KiB
Current children cumulated memory: 552732 KiB
[startup+2971.7 s]
/proc/loadavg: 4.13 4.12 4.01 7/256 918237
/proc/meminfo: memFree=121624372/131524600 swapFree=131071996/131071996
[pid=916686] ppid=916673 vsize=617368 memory=552732 CPUtime=2963.08 cores=5,7
/proc/916686/stat : 916686 (CASHWMaxSAT-Dis) R 916673 916686 916614 0 -1 4194304 124833 0 0 0 296281 27 0 0 20 0 1 0 171628348 632184832 138183 134679101440 4194304 15356333 140727852441008 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 36438016 140727852446690 140727852446806 140727852446806 140727852453822 0
/proc/916686/statm: 154342 138183 2826 2726 0 151090 0
Current children cumulated CPU time: 2963.08 s
Current children cumulated vsize: 617368 KiB
Current children cumulated memory: 552732 KiB
Child status: 30
Real time (s): 2971.74
CPU time (s): 2963.12
CPU user time (s): 2962.85
CPU system time (s): 0.275233
CPU usage (%): 99.7101
Max. virtual memory (cumulated for all children) (KiB): 692660
Max. memory (cumulated for all children) (KiB): 612660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2962.85
system time used= 0.275233
maximum resident set size= 612660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124833
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= 31
involuntary context switches= 2379
# summary of solver processes directly reported to runsolver:
# pid: 916686
# total CPU time (s): 2963.12
# total CPU user time (s): 2962.85
# total CPU system time (s): 0.275233
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.31531 second user time and 16.4828 second system time
The end
Begin job on nodeC025 at 2024-07-17 07:37:22 IDJOB=4438754 IDBENCH=146650 IDSOLVER=3074 FILE ID=nodeC025/4438754-1721194629 RUNJOBID= nodeC025-1721194641-916627 SLURM_JOB_ID= 7508886 Free space on /tmp= 890028 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-SP 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-SP BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438754-1721194629/watcher-4438754-1721194629 -o /tmp/evaluation-result-4438754-1721194629/solver-4438754-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721194641-916627 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438754-1721194629.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1 RANDOM SEED=346687897 nodeC025.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 : 0xb00002a cpu MHz : 3735.809 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 invpcid_single pti ibrs ibpb stibp 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 : 6999.72 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 : 3665.567 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 invpcid_single pti ibrs ibpb stibp 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 : 7007.09 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 : 3615.483 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 invpcid_single pti ibrs ibpb stibp 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 : 6999.72 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 : 3679.763 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 invpcid_single pti ibrs ibpb stibp 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 : 7007.09 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 : 3644.410 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 invpcid_single pti ibrs ibpb stibp 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 : 6999.72 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 : 3669.857 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 invpcid_single pti ibrs ibpb stibp 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 : 7007.09 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 : 3757.644 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 invpcid_single pti ibrs ibpb stibp 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 : 6999.72 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 : 3735.809 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 invpcid_single pti ibrs ibpb stibp 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 : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123850060 kB MemAvailable: 129632032 kB Buffers: 451528 kB Cached: 6097700 kB SwapCached: 0 kB Active: 874100 kB Inactive: 6045332 kB Active(anon): 1448 kB Inactive(anon): 406796 kB Active(file): 872652 kB Inactive(file): 5638536 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 63236 kB Writeback: 16 kB AnonPages: 368572 kB Mapped: 104468 kB Shmem: 37720 kB KReclaimable: 220860 kB Slab: 344044 kB SReclaimable: 220860 kB SUnreclaim: 123184 kB KernelStack: 3904 kB PageTables: 9368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 659772 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 65792 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 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: 318164 kB DirectMap2M: 43495424 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 889968 MiB End job on nodeC025 at 2024-07-17 08:26:54