Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSATDisjCom-S 2025-06-01 | SAT (TO) | 2642 | 3600.05 | 3612.4 |
| 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.045582 |
| 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: 140731779472904 140731779472912 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.31/0.34 c Starting SCIP solver (with time-limit = 1800s) ... 1795.49/1801.02 c SCIP timeout with lower and upper bounds: [299, 2758] 1795.49/1801.02 o 2758 1795.97/1801.51 o 2673 1925.00/1931.07 o 2671 2160.22/2167.11 o 2670 2197.37/2204.44 o 2663 2307.26/2314.71 o 2652 3403.89/3415.57 o 2646 3403.89/3415.60 o 2643 3404.29/3415.92 o 2642 3600.03/3612.40 3600.03/3612.40 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.03/3612.40 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: 63794 MiB (62469 MiB free)
memory of node 1: 64507 MiB (62821 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484100-1751286551/watcher-4484100-1751286551 -o /tmp/evaluation-result-4484100-1751286551/solver-4484100-1751286551 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751281134-40793 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4484100-1751286551.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=41353, runsolver pid=41350
[startup+0.10007 s]*
/proc/loadavg: 4.17 4.27 4.19 5/250 41354
/proc/meminfo: memFree=128286016/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=36512 memory=18472 CPUtime=0.1 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 4112 0 0 0 9 1 0 0 20 0 1 0 44334874 37388288 4618 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 9128 4618 768 2416 0 6230 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36512 KiB
Current children cumulated memory: 18472 KiB
[startup+0.213007 s]*
/proc/loadavg: 4.17 4.27 4.19 5/250 41354
/proc/meminfo: memFree=128286016/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=34696 memory=24744 CPUtime=0.21 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 5507 0 0 0 20 1 0 0 20 0 1 0 44334874 35528704 6154 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 8674 6186 2112 2416 0 5776 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34696 KiB
Current children cumulated memory: 24744 KiB
[startup+0.313054 s]*
/proc/loadavg: 4.17 4.27 4.19 5/250 41354
/proc/meminfo: memFree=128254012/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=67080 memory=56616 CPUtime=0.31 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 13503 0 0 0 27 4 0 0 20 0 1 0 44334874 68689920 14154 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 16770 14154 2112 2416 0 13872 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 67080 KiB
Current children cumulated memory: 56616 KiB
[startup+0.700313 s]
/proc/loadavg: 4.17 4.27 4.19 5/250 41354
/proc/meminfo: memFree=128197564/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=134576 memory=122152 CPUtime=0.68 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 29666 0 0 0 59 9 0 0 20 0 1 0 44334874 137805824 30538 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 33644 30538 2336 2416 0 30746 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 134576 KiB
Current children cumulated memory: 122152 KiB
[startup+1.50032 s]
/proc/loadavg: 4.17 4.27 4.19 5/250 41354
/proc/meminfo: memFree=128157244/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=167100 memory=155816 CPUtime=1.48 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 38038 0 0 0 137 11 0 0 20 0 1 0 44334874 171110400 38954 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 41775 38954 2400 2416 0 38877 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 167100 KiB
Current children cumulated memory: 155816 KiB
[startup+3.11264 s]
/proc/loadavg: 4.17 4.27 4.19 5/250 41354
/proc/meminfo: memFree=128104260/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=257084 memory=227904 CPUtime=3.09 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 45495 0 0 0 296 13 0 0 20 0 1 0 44334874 263254016 56976 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 64271 56976 2400 2416 0 61373 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 257084 KiB
Current children cumulated memory: 227904 KiB
[startup+6.30033 s]
/proc/loadavg: 4.15 4.27 4.19 5/250 41354
/proc/meminfo: memFree=128000380/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=340868 memory=309676 CPUtime=6.27 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 65707 0 0 0 611 16 0 0 20 0 1 0 44334874 349048832 77419 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 85217 77419 2496 2416 0 82319 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 340868 KiB
Current children cumulated memory: 309676 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.26 4.19 5/250 41354
/proc/meminfo: memFree=127996348/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=341580 memory=310444 CPUtime=12.64 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 65895 0 0 0 1248 16 0 0 20 0 1 0 44334874 349777920 77611 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 85395 77611 2496 2416 0 82497 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 341580 KiB
Current children cumulated memory: 310444 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.25 4.18 5/250 41354
/proc/meminfo: memFree=127992196/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=341580 memory=311084 CPUtime=25.4 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 65898 0 0 0 2524 16 0 0 20 0 1 0 44334874 349777920 77771 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 85395 77771 2496 2416 0 82497 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 341580 KiB
Current children cumulated memory: 311084 KiB
[startup+51.113 s]
/proc/loadavg: 4.13 4.24 4.18 4/246 41408
/proc/meminfo: memFree=128283120/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=343052 memory=312492 CPUtime=50.91 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 66284 0 0 0 5072 19 0 0 20 0 1 0 44334874 351285248 78123 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 85763 78123 2496 2416 0 82865 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 343052 KiB
Current children cumulated memory: 312492 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.22 4.18 5/251 41447
/proc/meminfo: memFree=128040192/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=344404 memory=315564 CPUtime=101.91 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 66648 0 0 0 10171 20 0 0 20 0 1 0 44334874 352669696 78891 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 86101 78891 2496 2416 0 83203 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 344404 KiB
Current children cumulated memory: 315564 KiB
[startup+162.3 s]
/proc/loadavg: 4.69 4.37 4.23 5/251 41449
/proc/meminfo: memFree=128044780/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=406960 memory=363004 CPUtime=161.71 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 74219 0 0 0 16148 23 0 0 20 0 1 0 44334874 416727040 90751 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 101740 90751 2528 2416 0 98842 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 406960 KiB
Current children cumulated memory: 363004 KiB
[startup+222.3 s]
/proc/loadavg: 4.39 4.34 4.23 5/251 41451
/proc/meminfo: memFree=127942152/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=551368 memory=433756 CPUtime=221.52 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 86104 0 0 0 22126 26 0 0 20 0 1 0 44334874 564600832 108439 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 137842 108439 2528 2416 0 134944 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 551368 KiB
Current children cumulated memory: 433756 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.29 4.22 5/251 41453
/proc/meminfo: memFree=127907200/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=551368 memory=463068 CPUtime=281.34 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 86230 0 0 0 28108 26 0 0 20 0 1 0 44334874 564600832 115767 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 137842 115767 2528 2416 0 134944 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 551368 KiB
Current children cumulated memory: 463068 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.27 4.21 5/250 41454
/proc/meminfo: memFree=127895356/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=552268 memory=466140 CPUtime=341.17 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 86422 0 0 0 34090 27 0 0 20 0 1 0 44334874 565522432 116535 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 138067 116535 2528 2416 0 135169 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 552268 KiB
Current children cumulated memory: 466140 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.23 4.20 5/249 41456
/proc/meminfo: memFree=127873144/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=553276 memory=467164 CPUtime=400.99 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 86849 0 0 0 40072 27 0 0 20 0 1 0 44334874 566554624 116791 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 138319 116791 2528 2416 0 135421 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 553276 KiB
Current children cumulated memory: 467164 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.20 4.19 5/249 41458
/proc/meminfo: memFree=127803008/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=624828 memory=537564 CPUtime=460.81 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 104463 0 0 0 46050 31 0 0 20 0 1 0 44334874 639823872 134391 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 156207 134391 2528 2416 0 153309 0
################
# More data... #
################
Current children cumulated memory: 634520 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 41674
/proc/meminfo: memFree=128072984/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=691772 memory=634520 CPUtime=2852.79 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 141790 0 0 0 285226 53 0 0 20 0 1 0 44334874 708374528 158630 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 172943 158630 2528 2416 0 170045 0
Current children cumulated CPU time: 2852.79 s
Current children cumulated vsize: 691772 KiB
Current children cumulated memory: 634520 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/250 41676
/proc/meminfo: memFree=128046516/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=691772 memory=634520 CPUtime=2912.57 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 141879 0 0 0 291203 54 0 0 20 0 1 0 44334874 708374528 158630 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 172943 158630 2528 2416 0 170045 0
Current children cumulated CPU time: 2912.57 s
Current children cumulated vsize: 691772 KiB
Current children cumulated memory: 634520 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/250 41678
/proc/meminfo: memFree=128050348/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=691772 memory=634520 CPUtime=2972.34 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 141893 0 0 0 297180 54 0 0 20 0 1 0 44334874 708374528 158630 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 172943 158630 2528 2416 0 170045 0
Current children cumulated CPU time: 2972.34 s
Current children cumulated vsize: 691772 KiB
Current children cumulated memory: 634520 KiB
[startup+3042.3 s]
/proc/loadavg: 4.76 4.30 4.16 5/250 41680
/proc/meminfo: memFree=128040284/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=691772 memory=634520 CPUtime=3032.11 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 141982 0 0 0 303156 55 0 0 20 0 1 0 44334874 708374528 158630 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 172943 158630 2528 2416 0 170045 0
Current children cumulated CPU time: 3032.11 s
Current children cumulated vsize: 691772 KiB
Current children cumulated memory: 634520 KiB
[startup+3102.3 s]
/proc/loadavg: 4.38 4.27 4.16 5/251 41689
/proc/meminfo: memFree=128025472/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=691772 memory=634520 CPUtime=3091.87 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 141996 0 0 0 309132 55 0 0 20 0 1 0 44334874 708374528 158630 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 172943 158630 2528 2416 0 170045 0
Current children cumulated CPU time: 3091.87 s
Current children cumulated vsize: 691772 KiB
Current children cumulated memory: 634520 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.24 4.15 5/251 41691
/proc/meminfo: memFree=127958428/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=691772 memory=634520 CPUtime=3151.65 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 142085 0 0 0 315109 56 0 0 20 0 1 0 44334874 708374528 158630 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 172943 158630 2528 2416 0 170045 0
Current children cumulated CPU time: 3151.65 s
Current children cumulated vsize: 691772 KiB
Current children cumulated memory: 634520 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.21 4.15 5/251 41693
/proc/meminfo: memFree=127961152/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=691772 memory=634520 CPUtime=3211.42 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 142100 0 0 0 321086 56 0 0 20 0 1 0 44334874 708374528 158630 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 172943 158630 2528 2416 0 170045 0
Current children cumulated CPU time: 3211.42 s
Current children cumulated vsize: 691772 KiB
Current children cumulated memory: 634520 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.20 4.15 5/251 41695
/proc/meminfo: memFree=127952084/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=691772 memory=634520 CPUtime=3271.2 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 142190 0 0 0 327063 57 0 0 20 0 1 0 44334874 708374528 158630 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 172943 158630 2528 2416 0 170045 0
Current children cumulated CPU time: 3271.2 s
Current children cumulated vsize: 691772 KiB
Current children cumulated memory: 634520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.17 4.14 5/251 41697
/proc/meminfo: memFree=127945856/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=691772 memory=634520 CPUtime=3330.97 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 142205 0 0 0 333040 57 0 0 20 0 1 0 44334874 708374528 158630 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 172943 158630 2528 2416 0 170045 0
Current children cumulated CPU time: 3330.97 s
Current children cumulated vsize: 691772 KiB
Current children cumulated memory: 634520 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.17 4.14 5/250 41699
/proc/meminfo: memFree=127944936/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=691772 memory=634520 CPUtime=3390.74 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 142296 0 0 0 339016 58 0 0 20 0 1 0 44334874 708374528 158630 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 172943 158630 2528 2416 0 170045 0
Current children cumulated CPU time: 3390.74 s
Current children cumulated vsize: 691772 KiB
Current children cumulated memory: 634520 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/249 41701
/proc/meminfo: memFree=127937084/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=691772 memory=634520 CPUtime=3450.51 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 142312 0 0 0 344992 59 0 0 20 0 1 0 44334874 708374528 158630 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 172943 158630 2528 2416 0 170045 0
Current children cumulated CPU time: 3450.51 s
Current children cumulated vsize: 691772 KiB
Current children cumulated memory: 634520 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.17 4.14 5/250 41704
/proc/meminfo: memFree=127909100/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=691772 memory=634520 CPUtime=3510.29 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 142405 0 0 0 350969 60 0 0 20 0 1 0 44334874 708374528 158630 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 172943 158630 2528 2416 0 170045 0
Current children cumulated CPU time: 3510.29 s
Current children cumulated vsize: 691772 KiB
Current children cumulated memory: 634520 KiB
[startup+3582.3 s]
/proc/loadavg: 4.30 4.19 4.15 5/250 41706
/proc/meminfo: memFree=127889888/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=691772 memory=634520 CPUtime=3570.05 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 142419 0 0 0 356945 60 0 0 20 0 1 0 44334874 708374528 158630 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 172943 158630 2528 2416 0 170045 0
Current children cumulated CPU time: 3570.05 s
Current children cumulated vsize: 691772 KiB
Current children cumulated memory: 634520 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.66 4.28 4.18 5/250 41707
/proc/meminfo: memFree=128290948/131382116 swapFree=33010684/33010684
[pid=41353] ppid=41350 vsize=691772 memory=634520 CPUtime=3600.03 cores=5,7
/proc/41353/stat : 41353 (CASHWMaxSAT-Dis) R 41350 41353 40780 0 -1 4194304 142420 0 0 0 359943 60 0 0 20 0 1 0 44334874 708374528 158630 18446744073709551615 4198400 14093885 140731779475264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29839360 140731779484010 140731779484125 140731779484125 140731779489727 0
/proc/41353/statm: 172943 158630 2528 2416 0 170045 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 691772 KiB
Current children cumulated memory: 634520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.4 s]
# the end of solver process 41353 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.44 s, system=0.61158 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3612.4
CPU time (s): 3600.05
CPU user time (s): 3599.44
CPU system time (s): 0.61158
CPU usage (%): 99.658
Max. virtual memory (cumulated for all children) (KiB): 782968
Max. memory (cumulated for all children) (KiB): 684508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.44
system time used= 0.61158
maximum resident set size= 684508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142422
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= 39
involuntary context switches= 19797
# summary of solver processes directly reported to runsolver:
# pid: 41353
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.44
# total CPU system time (s): 0.61158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9034 second user time and 34.0015 second system time
The end
Begin job on nodeC011 at 2025-06-30 14:29:11 IDJOB=4484100 IDBENCH=146650 IDSOLVER=3323 FILE ID=nodeC011/4484100-1751286551 RUNJOBID= nodeC011-1751281134-40793 SLURM_JOB_ID= 9594233 Free space on /tmp= 433008 MiB SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01 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 -w /tmp/evaluation-result-4484100-1751286551/watcher-4484100-1751286551 -o /tmp/evaluation-result-4484100-1751286551/solver-4484100-1751286551 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751281134-40793 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4484100-1751286551.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1 RANDOM SEED=2087550572 nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3492.103 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 3663.026 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 1198.002 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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.739 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 3526.641 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 1197.288 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.455 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.710 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 128289000 kB MemAvailable: 128182524 kB Buffers: 3280 kB Cached: 701952 kB SwapCached: 0 kB Active: 2052460 kB Inactive: 403080 kB Active(anon): 1768268 kB Inactive(anon): 0 kB Active(file): 284192 kB Inactive(file): 403080 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 12956 kB Writeback: 0 kB AnonPages: 1750484 kB Mapped: 119068 kB Shmem: 17960 kB KReclaimable: 91376 kB Slab: 171908 kB SReclaimable: 91376 kB SUnreclaim: 80532 kB KernelStack: 4032 kB PageTables: 6512 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 2190172 kB VmallocTotal: 34359738367 kB VmallocUsed: 149464 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1531904 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433004 MiB End job on nodeC011 at 2025-06-30 15:29:24