Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCom-SP 2024-07-10 | SAT (TO) | 2644 | 3600.04 | 3613.9 |
| 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.08 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.00/0.08 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.00/0.08 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.09/0.13 c Starting SCIP solver (with time-limit = 1800s) ... 1792.70/1800.13 c SCIP timeout with lower and upper bounds: [54, 2707] 1792.90/1800.33 o 2947 1793.00/1800.47 o 2671 2414.41/2424.20 o 2654 2415.41/2425.23 o 2644 3600.02/3613.90 3600.02/3613.90 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 3600.02/3613.90 s SATISFIABLE
OK 2644
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: 63968 MiB (61928 MiB free)
memory of node 1: 64473 MiB (61327 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439560-1721194629/watcher-4439560-1721194629 -o /tmp/evaluation-result-4439560-1721194629/solver-4439560-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721194641-893029 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439560-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
Current StackSize limit: 8192 KiB
solver pid=893085, runsolver pid=893076
[startup+0.100541 s]*
/proc/loadavg: 0.38 0.15 0.11 6/257 893095
/proc/meminfo: memFree=126110408/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=54268 memory=44096 CPUtime=0.09 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 10161 0 0 0 8 1 0 0 20 0 1 0 171626813 55570432 11024 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 13791 11024 2282 2550 0 10746 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54268 KiB
Current children cumulated memory: 44096 KiB
[startup+0.205821 s]*
/proc/loadavg: 0.38 0.15 0.11 5/257 893095
/proc/meminfo: memFree=125976724/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=122816 memory=111752 CPUtime=0.19 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 26903 0 0 0 16 3 0 0 20 0 1 0 171626813 125763584 27938 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 30704 27938 2442 2550 0 27659 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 122816 KiB
Current children cumulated memory: 111752 KiB
[startup+0.306579 s]*
/proc/loadavg: 0.38 0.15 0.11 6/257 893095
/proc/meminfo: memFree=125953292/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=137760 memory=125660 CPUtime=0.3 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 30361 0 0 0 26 4 0 0 20 0 1 0 171626813 141066240 31415 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 34440 31415 2490 2550 0 31395 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 137760 KiB
Current children cumulated memory: 125660 KiB
[startup+0.700229 s]
/proc/loadavg: 0.38 0.15 0.11 6/257 893095
/proc/meminfo: memFree=125773344/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=167944 memory=156636 CPUtime=0.68 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 38044 0 0 0 63 5 0 0 20 0 1 0 171626813 171974656 39159 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 41986 39159 2522 2550 0 38941 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 167944 KiB
Current children cumulated memory: 156636 KiB
[startup+1.50021 s]
/proc/loadavg: 0.38 0.15 0.11 6/257 893095
/proc/meminfo: memFree=125256240/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=167944 memory=156636 CPUtime=1.48 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 38046 0 0 0 143 5 0 0 20 0 1 0 171626813 171974656 39159 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 41986 39159 2522 2550 0 38941 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 167944 KiB
Current children cumulated memory: 156636 KiB
[startup+3.10638 s]
/proc/loadavg: 0.38 0.15 0.11 6/257 893097
/proc/meminfo: memFree=124421964/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=336048 memory=305324 CPUtime=3.08 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 64925 0 0 0 298 10 0 0 20 0 1 0 171626813 344113152 76331 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 84012 76331 2634 2550 0 80967 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 336048 KiB
Current children cumulated memory: 305324 KiB
[startup+6.30018 s]
/proc/loadavg: 0.67 0.21 0.13 6/257 893097
/proc/meminfo: memFree=123601512/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=341036 memory=309340 CPUtime=6.26 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 65934 0 0 0 616 10 0 0 20 0 1 0 171626813 349220864 77335 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 85259 77335 2650 2550 0 82214 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 341036 KiB
Current children cumulated memory: 309340 KiB
[startup+12.7002 s]
/proc/loadavg: 0.94 0.27 0.15 6/257 893097
/proc/meminfo: memFree=123182004/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=343956 memory=311172 CPUtime=12.64 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 66393 0 0 0 1253 11 0 0 20 0 1 0 171626813 352210944 77793 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 85989 77793 2650 2550 0 82944 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 343956 KiB
Current children cumulated memory: 311172 KiB
[startup+25.5002 s]
/proc/loadavg: 1.41 0.40 0.19 6/257 893100
/proc/meminfo: memFree=121974184/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=343956 memory=311436 CPUtime=25.39 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 66435 0 0 0 2527 12 0 0 20 0 1 0 171626813 352210944 77859 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 85989 77859 2650 2550 0 82944 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 343956 KiB
Current children cumulated memory: 311436 KiB
[startup+51.1065 s]
/proc/loadavg: 2.49 0.76 0.32 6/257 893103
/proc/meminfo: memFree=121902600/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=343956 memory=311436 CPUtime=50.9 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 66448 0 0 0 5078 12 0 0 20 0 1 0 171626813 352210944 77859 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 85989 77859 2650 2550 0 82944 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 343956 KiB
Current children cumulated memory: 311436 KiB
[startup+102.3 s]
/proc/loadavg: 3.40 1.28 0.52 6/257 893112
/proc/meminfo: memFree=121883128/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=345500 memory=314028 CPUtime=101.91 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 67129 0 0 0 10178 13 0 0 20 0 1 0 171626813 353792000 78507 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 86375 78507 2650 2550 0 83330 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 345500 KiB
Current children cumulated memory: 314028 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.80 0.75 6/259 893127
/proc/meminfo: memFree=121827440/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=410160 memory=360260 CPUtime=161.69 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 74445 0 0 0 16154 15 0 0 20 0 1 0 171626813 420003840 90065 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 102540 90065 2666 2550 0 99495 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 410160 KiB
Current children cumulated memory: 360260 KiB
[startup+222.3 s]
/proc/loadavg: 3.98 2.22 0.96 6/259 893137
/proc/meminfo: memFree=121771728/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=555508 memory=414152 CPUtime=221.48 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 86374 0 0 0 22131 17 0 0 20 0 1 0 171626813 568840192 103538 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 138877 103538 2666 2550 0 135832 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 555508 KiB
Current children cumulated memory: 414152 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 2.56 1.16 6/259 893147
/proc/meminfo: memFree=121770048/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=555508 memory=414152 CPUtime=281.27 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 86380 0 0 0 28109 18 0 0 20 0 1 0 171626813 568840192 103538 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 138877 103538 2666 2550 0 135832 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 555508 KiB
Current children cumulated memory: 414152 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 2.86 1.35 6/256 893158
/proc/meminfo: memFree=121757176/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=555508 memory=414152 CPUtime=341.04 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 86386 0 0 0 34085 19 0 0 20 0 1 0 171626813 568840192 103538 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 138877 103538 2666 2550 0 135832 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 555508 KiB
Current children cumulated memory: 414152 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.08 1.53 6/256 893170
/proc/meminfo: memFree=121746744/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=556408 memory=414588 CPUtime=400.81 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 86496 0 0 0 40062 19 0 0 20 0 1 0 171626813 569761792 103647 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 139102 103647 2666 2550 0 136057 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 556408 KiB
Current children cumulated memory: 414588 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.27 1.69 6/256 893180
/proc/meminfo: memFree=121661740/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=556408 memory=415356 CPUtime=460.58 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 86696 0 0 0 46038 20 0 0 20 0 1 0 171626813 569761792 103839 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 139102 103839 2666 2550 0 136057 0
################
# More data... #
################
Current children cumulated memory: 622984 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 3.99 6/258 894640
/proc/meminfo: memFree=121636908/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=691768 memory=622984 CPUtime=2910.78 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 158137 0 0 0 290989 89 0 0 20 0 1 0 171626813 708370432 155746 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 172942 155746 2666 2550 0 169897 0
Current children cumulated CPU time: 2910.78 s
Current children cumulated vsize: 691768 KiB
Current children cumulated memory: 622984 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.00 6/258 894650
/proc/meminfo: memFree=121636088/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=741088 memory=656000 CPUtime=2970.58 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 159078 0 0 0 296962 96 0 0 20 0 1 0 171626813 758874112 164000 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 185272 164000 2666 2550 0 182227 0
Current children cumulated CPU time: 2970.58 s
Current children cumulated vsize: 741088 KiB
Current children cumulated memory: 656000 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.00 7/263 894819
/proc/meminfo: memFree=121664536/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=691768 memory=622984 CPUtime=3030.37 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 159959 0 0 0 302934 103 0 0 20 0 1 0 171626813 708370432 155746 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 172942 155746 2666 2550 0 169897 0
Current children cumulated CPU time: 3030.37 s
Current children cumulated vsize: 691768 KiB
Current children cumulated memory: 622984 KiB
[startup+3102.3 s]
/proc/loadavg: 4.41 4.20 4.05 6/259 894841
/proc/meminfo: memFree=121665176/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=691768 memory=622984 CPUtime=3090.17 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 160842 0 0 0 308907 110 0 0 20 0 1 0 171626813 708370432 155746 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 172942 155746 2666 2550 0 169897 0
Current children cumulated CPU time: 3090.17 s
Current children cumulated vsize: 691768 KiB
Current children cumulated memory: 622984 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.18 4.05 6/261 894910
/proc/meminfo: memFree=121662096/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=691768 memory=622984 CPUtime=3149.96 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 161717 0 0 0 314879 117 0 0 20 0 1 0 171626813 708370432 155746 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 172942 155746 2666 2550 0 169897 0
Current children cumulated CPU time: 3149.96 s
Current children cumulated vsize: 691768 KiB
Current children cumulated memory: 622984 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.18 4.05 6/259 894921
/proc/meminfo: memFree=121624572/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=741088 memory=656000 CPUtime=3209.76 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 162592 0 0 0 320851 125 0 0 20 0 1 0 171626813 758874112 164000 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 185272 164000 2666 2550 0 182227 0
Current children cumulated CPU time: 3209.76 s
Current children cumulated vsize: 741088 KiB
Current children cumulated memory: 656000 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.05 6/259 894931
/proc/meminfo: memFree=121652932/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=691768 memory=622984 CPUtime=3269.55 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 163394 0 0 0 326824 131 0 0 20 0 1 0 171626813 708370432 155746 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 172942 155746 2666 2550 0 169897 0
Current children cumulated CPU time: 3269.55 s
Current children cumulated vsize: 691768 KiB
Current children cumulated memory: 622984 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.14 4.05 6/259 894941
/proc/meminfo: memFree=121619420/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=741088 memory=656000 CPUtime=3329.35 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 164271 0 0 0 332796 139 0 0 20 0 1 0 171626813 758874112 164000 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 185272 164000 2666 2550 0 182227 0
Current children cumulated CPU time: 3329.35 s
Current children cumulated vsize: 741088 KiB
Current children cumulated memory: 656000 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.06 6/257 894952
/proc/meminfo: memFree=121614480/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=741088 memory=660096 CPUtime=3389.15 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 165153 0 0 0 338768 147 0 0 20 0 1 0 171626813 758874112 165024 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 185272 165024 2666 2550 0 182227 0
Current children cumulated CPU time: 3389.15 s
Current children cumulated vsize: 741088 KiB
Current children cumulated memory: 660096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.06 6/257 894963
/proc/meminfo: memFree=121615416/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=741088 memory=660096 CPUtime=3448.94 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 165970 0 0 0 344741 153 0 0 20 0 1 0 171626813 758874112 165024 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 185272 165024 2666 2550 0 182227 0
Current children cumulated CPU time: 3448.94 s
Current children cumulated vsize: 741088 KiB
Current children cumulated memory: 660096 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.06 6/254 894973
/proc/meminfo: memFree=121651344/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=741088 memory=653952 CPUtime=3508.73 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 166850 0 0 0 350714 159 0 0 20 0 1 0 171626813 758874112 163488 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 185272 163488 2666 2550 0 182227 0
Current children cumulated CPU time: 3508.73 s
Current children cumulated vsize: 741088 KiB
Current children cumulated memory: 653952 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.06 6/254 894983
/proc/meminfo: memFree=121615528/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=741088 memory=658048 CPUtime=3568.54 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 167655 0 0 0 356687 167 0 0 20 0 1 0 171626813 758874112 164512 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 185272 164512 2666 2550 0 182227 0
Current children cumulated CPU time: 3568.54 s
Current children cumulated vsize: 741088 KiB
Current children cumulated memory: 658048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.9 s]
/proc/loadavg: 4.13 4.12 4.06 5/254 895084
/proc/meminfo: memFree=124199148/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=741088 memory=660096 CPUtime=3600.02 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 168080 0 0 0 359832 170 0 0 20 0 1 0 171626813 758874112 165024 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 185272 165024 2666 2550 0 182227 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 741088 KiB
Current children cumulated memory: 660096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.9 s]
# the end of solver process 893085 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.33 s, system=1.71152 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.9 s]
/proc/loadavg: 4.13 4.12 4.06 5/254 895084
/proc/meminfo: memFree=124199148/131524600 swapFree=131071996/131071996
[pid=893085] ppid=893076 vsize=741088 memory=660096 CPUtime=3600.02 cores=0,2
/proc/893085/stat : 893085 (CASHWMaxSAT-Dis) R 893076 893085 893019 0 -1 4194304 168080 0 0 0 359832 170 0 0 20 0 1 0 171626813 758874112 165024 134679101440 4194304 14636349 140730318457424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25153536 140730318459874 140730318459990 140730318459990 140730318467006 0
/proc/893085/statm: 185272 165024 2666 2550 0 182227 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 741088 KiB
Current children cumulated memory: 660096 KiB
Child status: 10
Real time (s): 3613.9
CPU time (s): 3600.04
CPU user time (s): 3598.33
CPU system time (s): 1.71152
CPU usage (%): 99.6164
Max. virtual memory (cumulated for all children) (KiB): 795012
Max. memory (cumulated for all children) (KiB): 660096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.33
system time used= 1.71152
maximum resident set size= 660100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168081
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= 64
involuntary context switches= 24678
# summary of solver processes directly reported to runsolver:
# pid: 893085
# total CPU time (s): 3600.04
# total CPU user time (s): 3598.33
# total CPU system time (s): 1.71152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77385 second user time and 19.903 second system time
The end
Begin job on nodeC021 at 2024-07-17 07:37:22 IDJOB=4439560 IDBENCH=146650 IDSOLVER=3076 FILE ID=nodeC021/4439560-1721194629 RUNJOBID= nodeC021-1721194641-893029 SLURM_JOB_ID= 7508882 Free space on /tmp= 890080 MiB SOLVER NAME= CASHWMaxSAT-DisjCom-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-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439560-1721194629/watcher-4439560-1721194629 -o /tmp/evaluation-result-4439560-1721194629/solver-4439560-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721194641-893029 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439560-1721194629.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1 RANDOM SEED=346687897 nodeC021.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 : 3612.245 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.42 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 : 3675.034 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 : 7005.23 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 : 3747.566 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.42 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 : 3623.547 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 : 7005.23 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 : 3628.272 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.42 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 : 3658.789 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 : 7005.23 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 : 3715.986 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.42 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 : 3715.986 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 : 7005.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126215148 kB MemAvailable: 129686120 kB Buffers: 442324 kB Cached: 3828788 kB SwapCached: 0 kB Active: 807516 kB Inactive: 3822888 kB Active(anon): 1452 kB Inactive(anon): 395644 kB Active(file): 806064 kB Inactive(file): 3427244 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 56332 kB Writeback: 8 kB AnonPages: 358672 kB Mapped: 104348 kB Shmem: 37720 kB KReclaimable: 154972 kB Slab: 270648 kB SReclaimable: 154972 kB SUnreclaim: 115676 kB KernelStack: 3872 kB PageTables: 9480 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 682376 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 64672 kB HardwareCorrupted: 0 kB AnonHugePages: 233472 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: 256724 kB DirectMap2M: 23633920 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 890024 MiB End job on nodeC021 at 2024-07-17 08:37:36