Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCom-S 2024-07-10 | SAT (TO) | 2642 | 3600.08 | 3610.3 |
| 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.14 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.10/0.14 c Do: 140729383285848 140729383285856 0.10/0.22 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.10/0.22 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.32/0.35 c Starting SCIP solver (with time-limit = 1800s) ... 1797.60/1802.71 c SCIP timeout with lower and upper bounds: [299, 2758] 1797.60/1802.71 o 2758 1798.01/1803.19 o 2673 1922.04/1927.54 o 2671 2151.40/2157.51 o 2670 2186.70/2192.99 o 2663 2294.70/2301.29 o 2652 3358.46/3368.08 o 2646 3358.56/3368.11 o 2643 3358.85/3368.41 o 2642 3600.06/3610.30 3600.06/3610.30 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.06/3610.30 s SATISFIABLE
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 (61920 MiB free)
memory of node 1: 64510 MiB (60561 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439963-1721194629/watcher-4439963-1721194629 -o /tmp/evaluation-result-4439963-1721194629/solver-4439963-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721194640-886676 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439963-1721194629.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=886733, runsolver pid=886721
[startup+0.100116 s]*
/proc/loadavg: 0.09 0.09 0.09 8/243 886741
/proc/meminfo: memFree=125372820/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=36516 memory=19592 CPUtime=0.1 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 4397 0 0 0 9 1 0 0 20 0 1 0 171622231 37392384 4898 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 9129 4898 782 2417 0 6231 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36516 KiB
Current children cumulated memory: 19592 KiB
[startup+0.214994 s]*
/proc/loadavg: 0.09 0.09 0.09 8/243 886741
/proc/meminfo: memFree=125331948/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=33744 memory=22672 CPUtime=0.21 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 5389 0 0 0 20 1 0 0 20 0 1 0 171622231 34553856 5668 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 8436 5668 1806 2417 0 5538 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33744 KiB
Current children cumulated memory: 22672 KiB
[startup+0.314647 s]*
/proc/loadavg: 0.09 0.09 0.09 7/243 886741
/proc/meminfo: memFree=125289484/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=67080 memory=56404 CPUtime=0.32 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 13521 0 0 0 28 4 0 0 20 0 1 0 171622231 68689920 14101 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 16770 14101 2142 2417 0 13872 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 67080 KiB
Current children cumulated memory: 56404 KiB
[startup+0.700386 s]
/proc/loadavg: 0.09 0.09 0.09 8/243 886741
/proc/meminfo: memFree=125171368/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=135152 memory=122920 CPUtime=0.68 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 29943 0 0 0 60 8 0 0 20 0 1 0 171622231 138395648 30730 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 33788 30730 2350 2417 0 30890 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 135152 KiB
Current children cumulated memory: 122920 KiB
[startup+1.50035 s]
/proc/loadavg: 0.40 0.15 0.11 8/243 886741
/proc/meminfo: memFree=125027632/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=167172 memory=156100 CPUtime=1.49 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 38189 0 0 0 138 11 0 0 20 0 1 0 171622231 171184128 39025 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 41793 39025 2398 2417 0 38895 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 167172 KiB
Current children cumulated memory: 156100 KiB
[startup+3.11351 s]
/proc/loadavg: 0.40 0.15 0.11 8/243 886741
/proc/meminfo: memFree=124206324/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=239964 memory=208876 CPUtime=3.1 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 42445 0 0 0 297 13 0 0 20 0 1 0 171622231 245723136 52219 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 59991 52219 2414 2417 0 57093 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 239964 KiB
Current children cumulated memory: 208876 KiB
[startup+6.30033 s]
/proc/loadavg: 0.69 0.22 0.13 7/243 886787
/proc/meminfo: memFree=123720436/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=340876 memory=309204 CPUtime=6.27 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 65747 0 0 0 610 17 0 0 20 0 1 0 171622231 349057024 77301 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 85219 77301 2526 2417 0 82321 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 340876 KiB
Current children cumulated memory: 309204 KiB
[startup+12.7003 s]
/proc/loadavg: 0.95 0.28 0.15 7/243 886788
/proc/meminfo: memFree=123013600/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=341588 memory=309992 CPUtime=12.65 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 65936 0 0 0 1248 17 0 0 20 0 1 0 171622231 349786112 77498 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 85397 77498 2526 2417 0 82499 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 341588 KiB
Current children cumulated memory: 309992 KiB
[startup+25.5004 s]
/proc/loadavg: 1.42 0.40 0.19 7/243 886790
/proc/meminfo: memFree=122164508/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=341588 memory=309992 CPUtime=25.41 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 65938 0 0 0 2524 17 0 0 20 0 1 0 171622231 349786112 77498 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 85397 77498 2526 2417 0 82499 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 341588 KiB
Current children cumulated memory: 309992 KiB
[startup+51.1134 s]
/proc/loadavg: 2.51 0.76 0.32 7/243 886794
/proc/meminfo: memFree=122092940/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=343056 memory=311552 CPUtime=50.95 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 66316 0 0 0 5078 17 0 0 20 0 1 0 171622231 351289344 77888 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 85764 77888 2526 2417 0 82866 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 343056 KiB
Current children cumulated memory: 311552 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.28 0.52 7/243 886803
/proc/meminfo: memFree=122081468/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=344412 memory=312864 CPUtime=101.99 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 66658 0 0 0 10181 18 0 0 20 0 1 0 171622231 352677888 78216 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 86103 78216 2526 2417 0 83205 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 344412 KiB
Current children cumulated memory: 312864 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 1.79 0.75 7/243 886814
/proc/meminfo: memFree=122072384/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=344412 memory=312864 CPUtime=161.82 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 66661 0 0 0 16164 18 0 0 20 0 1 0 171622231 352677888 78216 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 86103 78216 2526 2417 0 83205 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 344412 KiB
Current children cumulated memory: 312864 KiB
[startup+222.3 s]
/proc/loadavg: 3.98 2.21 0.96 7/246 886829
/proc/meminfo: memFree=121952384/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=551952 memory=415288 CPUtime=221.65 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 85182 0 0 0 22144 21 0 0 20 0 1 0 171622231 565198848 103822 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 137988 103822 2542 2417 0 135090 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 551952 KiB
Current children cumulated memory: 415288 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.55 1.16 7/246 886839
/proc/meminfo: memFree=121904612/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=551952 memory=415288 CPUtime=281.48 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 85186 0 0 0 28127 21 0 0 20 0 1 0 171622231 565198848 103822 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 137988 103822 2542 2417 0 135090 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 551952 KiB
Current children cumulated memory: 415288 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 2.85 1.35 7/244 886851
/proc/meminfo: memFree=121887984/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=551952 memory=415288 CPUtime=341.32 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 85191 0 0 0 34111 21 0 0 20 0 1 0 171622231 565198848 103822 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 137988 103822 2542 2417 0 135090 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 551952 KiB
Current children cumulated memory: 415288 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.09 1.53 7/244 886862
/proc/meminfo: memFree=121884708/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=552960 memory=415764 CPUtime=401.16 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 85333 0 0 0 40094 22 0 0 20 0 1 0 171622231 566231040 103941 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 138240 103941 2542 2417 0 135342 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 552960 KiB
Current children cumulated memory: 415764 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 3.26 1.69 7/244 886873
/proc/meminfo: memFree=121799228/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=624812 memory=486988 CPUtime=460.98 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 103123 0 0 0 46074 24 0 0 20 0 1 0 171622231 639807488 121747 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 156203 121747 2542 2417 0 153305 0
################
# More data... #
################
Current children cumulated memory: 614080 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.00 7/241 888265
/proc/meminfo: memFree=122620756/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=723236 memory=647636 CPUtime=2914.01 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 166950 0 0 0 291311 90 0 0 20 0 1 0 171622231 740593664 161909 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 180809 161909 2542 2417 0 177911 0
Current children cumulated CPU time: 2914.01 s
Current children cumulated vsize: 723236 KiB
Current children cumulated memory: 647636 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.11 4.01 7/242 888276
/proc/meminfo: memFree=122714384/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=723236 memory=647636 CPUtime=2973.85 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 169630 0 0 0 297288 97 0 0 20 0 1 0 171622231 740593664 161909 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 180809 161909 2542 2417 0 177911 0
Current children cumulated CPU time: 2973.85 s
Current children cumulated vsize: 723236 KiB
Current children cumulated memory: 647636 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.01 7/242 888287
/proc/meminfo: memFree=122690000/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=723236 memory=645588 CPUtime=3033.67 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 172310 0 0 0 303264 103 0 0 20 0 1 0 171622231 740593664 161397 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 180809 161397 2542 2417 0 177911 0
Current children cumulated CPU time: 3033.67 s
Current children cumulated vsize: 723236 KiB
Current children cumulated memory: 645588 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.01 7/245 888468
/proc/meminfo: memFree=122647416/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=673916 memory=614080 CPUtime=3093.5 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 174736 0 0 0 309240 110 0 0 20 0 1 0 171622231 690089984 153520 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 168479 153520 2542 2417 0 165581 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 673916 KiB
Current children cumulated memory: 614080 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.01 7/245 888479
/proc/meminfo: memFree=122644744/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=673916 memory=614080 CPUtime=3153.33 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 177164 0 0 0 315216 117 0 0 20 0 1 0 171622231 690089984 153520 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 168479 153520 2542 2417 0 165581 0
Current children cumulated CPU time: 3153.33 s
Current children cumulated vsize: 673916 KiB
Current children cumulated memory: 614080 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.01 7/247 888547
/proc/meminfo: memFree=122678044/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=723236 memory=645588 CPUtime=3213.16 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 179850 0 0 0 321192 124 0 0 20 0 1 0 171622231 740593664 161397 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 180809 161397 2542 2417 0 177911 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 723236 KiB
Current children cumulated memory: 645588 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.01 7/247 888557
/proc/meminfo: memFree=122643932/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=723236 memory=647636 CPUtime=3272.99 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 182278 0 0 0 327168 131 0 0 20 0 1 0 171622231 740593664 161909 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 180809 161909 2542 2417 0 177911 0
Current children cumulated CPU time: 3272.99 s
Current children cumulated vsize: 723236 KiB
Current children cumulated memory: 647636 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.02 7/246 888568
/proc/meminfo: memFree=122587128/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=723236 memory=649684 CPUtime=3332.82 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 184692 0 0 0 333145 137 0 0 20 0 1 0 171622231 740593664 162421 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 180809 162421 2542 2417 0 177911 0
Current children cumulated CPU time: 3332.82 s
Current children cumulated vsize: 723236 KiB
Current children cumulated memory: 649684 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.02 7/243 888578
/proc/meminfo: memFree=122622528/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=723236 memory=645588 CPUtime=3392.65 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 187109 0 0 0 339121 144 0 0 20 0 1 0 171622231 740593664 161397 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 180809 161397 2542 2417 0 177911 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 723236 KiB
Current children cumulated memory: 645588 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.03 7/243 888589
/proc/meminfo: memFree=122639236/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=723236 memory=651732 CPUtime=3452.48 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 189273 0 0 0 345097 151 0 0 20 0 1 0 171622231 740593664 162933 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 180809 162933 2542 2417 0 177911 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 723236 KiB
Current children cumulated memory: 651732 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.02 7/241 888600
/proc/meminfo: memFree=122567700/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=723236 memory=651592 CPUtime=3512.31 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 191955 0 0 0 351073 158 0 0 20 0 1 0 171622231 740593664 162898 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 180809 162898 2542 2417 0 177911 0
Current children cumulated CPU time: 3512.31 s
Current children cumulated vsize: 723236 KiB
Current children cumulated memory: 651592 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.03 7/241 888610
/proc/meminfo: memFree=122569764/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=723236 memory=661316 CPUtime=3572.14 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 194136 0 0 0 357050 164 0 0 20 0 1 0 171622231 740593664 165329 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 180809 165329 2542 2417 0 177911 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 723236 KiB
Current children cumulated memory: 661316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.08 4.09 4.03 7/234 888656
/proc/meminfo: memFree=124024608/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=723236 memory=655312 CPUtime=3600.06 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 195506 0 0 0 359837 169 0 0 20 0 1 0 171622231 740593664 163828 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 180809 163828 2542 2417 0 177911 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 723236 KiB
Current children cumulated memory: 655312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 886733 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.38 s, system=1.69967 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.08 4.09 4.03 7/234 888656
/proc/meminfo: memFree=124024608/131655788 swapFree=131071996/131071996
[pid=886733] ppid=886721 vsize=723236 memory=655312 CPUtime=3600.06 cores=1,3
/proc/886733/stat : 886733 (CASHWMaxSAT-Dis) R 886721 886733 886664 0 -1 4194304 195506 0 0 0 359837 169 0 0 20 0 1 0 171622231 740593664 163828 134679101440 4194304 14093885 140729383288208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 34390016 140729383289828 140729383289943 140729383289943 140729383296959 0
/proc/886733/statm: 180809 163828 2542 2417 0 177911 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 723236 KiB
Current children cumulated memory: 655312 KiB
Child status: 10
Real time (s): 3610.3
CPU time (s): 3600.08
CPU user time (s): 3598.38
CPU system time (s): 1.69967
CPU usage (%): 99.7169
Max. virtual memory (cumulated for all children) (KiB): 781476
Max. memory (cumulated for all children) (KiB): 687284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.38
system time used= 1.69967
maximum resident set size= 688076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195508
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= 36
involuntary context switches= 2111
# summary of solver processes directly reported to runsolver:
# pid: 886733
# total CPU time (s): 3600.08
# total CPU user time (s): 3598.38
# total CPU system time (s): 1.69967
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2133 second user time and 35.7472 second system time
The end
Begin job on nodeC010 at 2024-07-17 07:37:21 IDJOB=4439963 IDBENCH=146650 IDSOLVER=3077 FILE ID=nodeC010/4439963-1721194629 RUNJOBID= nodeC010-1721194640-886676 SLURM_JOB_ID= 7508878 Free space on /tmp= 723784 MiB SOLVER NAME= CASHWMaxSAT-DisjCom-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-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439963-1721194629/watcher-4439963-1721194629 -o /tmp/evaluation-result-4439963-1721194629/solver-4439963-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721194640-886676 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439963-1721194629.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1 RANDOM SEED=346687897 nodeC010.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 : 1197.180 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.51 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 : 1197.211 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.188 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.181 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.31 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 : 1241.008 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.51 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 : 1207.594 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.31 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 : 1223.473 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.51 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 : 1257.520 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125423100 kB MemAvailable: 129878240 kB Buffers: 444076 kB Cached: 4797240 kB SwapCached: 0 kB Active: 823880 kB Inactive: 4755768 kB Active(anon): 1368 kB Inactive(anon): 374712 kB Active(file): 822512 kB Inactive(file): 4381056 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 52056 kB Writeback: 8 kB AnonPages: 338376 kB Mapped: 104664 kB Shmem: 37704 kB KReclaimable: 183208 kB Slab: 291856 kB SReclaimable: 183208 kB SUnreclaim: 108648 kB KernelStack: 3584 kB PageTables: 9476 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 700148 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 54688 kB HardwareCorrupted: 0 kB AnonHugePages: 223232 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: 234312 kB DirectMap2M: 29030400 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 723732 MiB End job on nodeC010 at 2024-07-17 08:37:32