Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| UWrMaxSat 2025-06-04 | OPT | 2642 | 2211.13 | 2218.27 |
| 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.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - ) 0.00/0.00 c Setting memory limit to 31000MB. 0.00/0.00 c Parsing PB file... 0.00/0.02 c Converting 661 PB-constraints to clauses... 0.08/0.15 o 6267 0.08/0.16 c ============================[ Problem Statistics ]============================ 0.08/0.16 c | Number of variables: 8457 | 0.08/0.16 c | Number of clauses: 59413 (incl. 415 soft in queue) | 0.08/0.16 c =============================================================================== 14.63/14.79 o 2671 16.72/16.84 o 2668 429.39/430.97 c Switching to binary search ... (after 429.247 s and 5000001 conflicts) with 380 goal literals and 0 assumptions 429.99/431.50 o 2646 430.09/431.64 o 2644 721.35/723.92 o 2642 2211.05/2218.27 c [1mOptimal solution: 2642[0m 2211.05/2218.27 c _______________________________________________________________________________ 2211.05/2218.27 c 2211.05/2218.27 c =======================[ UWrMaxSat resources usage ]=========================== 2211.05/2218.27 c Memory used : 178.00 MB 2211.05/2218.27 c CPU time : 2210.72 s 2211.05/2218.27 c Constr Enc: Srt/BDD/Add: 272 0 0 2211.05/2218.27 c OptExp Enc: Srt/BDD/Add: 236 0 0 2211.05/2218.27 c _______________________________________________________________________________ 2211.05/2218.27 s OPTIMUM FOUND 2211.05/2218.27 v x2 -x128 -x506 -x641 x775 -x5 x257 x509 -x6 -x132 -x258 x384 x510 -x7 -x133 x259 x511 -x8 x134 x513 -x9 x135 x514 x389 -x517 x12 -x138 -x518 -x13 x139 x519 -x15 x393 x521 -x16 -x142 x268 -x522 -x17 x395 x523 x18 -x144 -x524 x19 -x397 -x525 x20 -x526 x660 -x21 x147 x527 -x22 x274 x528 x23 -x529 x663 -x24 x150 x530 -x25 x151 x531 -x26 x152 -x404 x532 -x27 x153 -x533 -x28 x154 -x534 -x29 x407 -x535 -x30 x408 x536 x31 -x157 -x537 x32 -x158 -x538 x33 -x159 x673 -x807 x34 -x160 -x286 -x540 x35 -x161 -x541 -x288 x414 -x37 x163 -x543 -x38 x164 x544 -x39 x165 x545 x40 -x546 x680 -x814 -x41 x167 x547 -x42 x420 -x548 -x43 x169 x549 -x44 x422 x550 -x45 x171 x551 -x552 x46 -x172 -x553 x687 -x47 x173 -x554 -x48 x174 -x426 -x555 -x49 x175 -x427 -x556 x50 -x176 -x557 x429 -x52 x178 x559 x53 -x179 -x560 x432 -x695 x829 -x55 -x181 x433 x562 -x56 x434 -x563 -x57 x309 -x564 -x698 x832 -x58 x436 -x565 -x59 x437 -x566 x567 -x60 x186 x568 x569 x61 -x570 -x704 x838 -x62 x188 x571 -x63 -x315 x441 -x572 -x706 x840 -x64 x190 x573 -x65 x317 x574 -x66 x318 -x575 -x67 x319 x576 x68 -x194 -x577 x711 -x69 -x195 x321 -x578 -x712 x846 -x70 -x196 x448 -x579 -x71 x197 x580 x72 -x581 x715 -x73 x199 x582 x74 -x583 -x75 x201 x584 -x76 x202 x585 -x77 x203 x586 -x79 -x205 x331 -x457 x588 -x80 x458 -x589 x723 -x590 -x82 -x208 -x334 x460 -x591 -x83 x335 -x592 -x84 -x336 x462 -x593 x727 -x728 x862 x86 -x212 -x595 -x729 x863 -x87 -x213 x465 x596 x88 -x214 -x597 x731 -x865 x89 -x215 -x598 -x90 x468 -x599 x733 -x91 -x217 x469 x600 -x601 x93 -x219 -x603 x94 -x220 -x604 x95 -x221 -x605 -x739 x873 -x97 x223 x607 -x350 x476 x742 -x99 x225 x609 -x100 -x352 x478 -x610 -x744 x878 x227 -x745 x879 x228 -x746 x880 -x103 -x229 -x355 x481 x613 -x104 -x230 -x356 x482 x614 x105 -x615 x749 -x106 -x232 x358 -x484 x616 x107 -x617 x108 -x234 -x486 -x618 -x109 x235 x619 x110 -x236 -x620 x754 -x111 -x237 -x363 x489 -x621 -x755 x889 -x757 x891 -x114 x366 x624 x241 -x116 -x242 x494 -x626 x760 -x117 x243 x627 -x628 -x762 x896 -x118 x496 x629 -x119 x371 -x631 -x765 x899 x120 -x632 x766 -x900 x121 -x247 -x633 -x767 x901 -x122 x374 x634 -x123 x375 -x501 -x635 x124 -x636 x904 -x125 -x377 x503 -x637 x771 -x905 -x772 x906 x127 -x639 x773 -x3 -x129 -x507 -x4 -x508 -x642 -x131 -x643 -x777 -x644 -x778 -x385 -x645 -x779 x646 -x780 -x260 -x647 -x781 -x261 -x387 -x648 -x782 -x262 -x388 -x137 -x390 -x265 -x391 -x653 -x787 -x655 -x789 -x656 x790 -x143 -x657 -x791 -x270 x658 -x792 -x271 x659 -x793 -x146 -x272 -x273 -x399 -x661 -x795 -x148 -x400 -x662 -x796 -x149 -x401 -x276 -x664 -x798 -x277 -x403 -x665 -x799 -x278 -x666 -x800 -x279 -x405 -x667 x801 -x280 -x406 -x668 x802 -x155 -x281 -x669 x803 -x156 -x282 -x670 -x804 -x284 -x410 -x672 x806 -x412 -x287 -x413 -x675 x809 -x676 x810 -x290 -x416 -x678 -x812 -x291 -x417 -x679 -x813 -x166 -x292 -x418 -x293 -x681 -x815 -x295 -x421 -x683 -x817 -x170 -x684 -x818 -x297 -x423 -x685 -x819 -x686 x820 -x298 -x424 -x821 -x300 -x689 x823 -x301 -x690 x824 -x302 -x428 -x691 x825 -x51 -x177 -x303 -x558 x692 -x826 -x304 -x430 -x693 -x827 -x305 -x431 x694 -x828 -x54 -x180 -x306 -x561 -x307 -x696 -x830 -x182 x697 -x831 -x183 -x435 -x184 -x310 -x699 x833 -x185 -x311 -x701 -x835 -x312 -x438 -x702 -x836 -x703 -x837 -x187 -x313 -x439 -x314 -x440 -x705 -x839 -x189 -x316 -x707 -x841 -x191 -x443 -x708 -x842 -x192 -x444 -x193 -x445 -x710 -x844 -x320 -x446 -x845 -x447 -x322 -x847 -x323 -x449 -x714 -x848 -x198 -x324 -x450 -x325 -x451 -x716 -x850 -x326 x717 -x851 -x327 -x453 -x718 -x852 -x328 -x454 -x719 -x853 -x329 -x455 -x720 -x854 -x722 -x856 -x206 -x332 -x857 -x207 x725 -x859 -x209 -x461 -x338 -x464 -x339 -x730 -x864 -x340 -x466 -x341 -x467 x732 -x866 -x216 -x342 -x867 -x343 -x734 -x868 -x218 -x345 x737 -x871 -x346 -x472 -x738 x872 -x347 -x473 -x348 x740 -x874 -x349 -x741 -x875 -x351 -x477 -x743 -x877 -x226 -x353 -x479 -x354 -x480 -x747 -x881 -x748 -x882 -x750 -x884 -x485 -x751 x885 -x360 -x361 -x487 -x753 -x887 -x362 -x488 -x888 -x756 x890 -x239 -x491 -x492 -x758 -x892 -x115 -x367 -x493 -x625 -x368 -x894 -x369 -x495 -x761 -x895 -x244 -x370 -x763 -x897 -x246 -x498 -x373 -x499 -x248 -x500 -x768 -x902 -x376 -x502 -x126 -x638 -x253 -x379 -x505 -x907 x1 x10 -x11 -x14 -x36 -x78 -x81 -x85 -x92 -x96 -x98 -x101 -x102 -x112 -x113 -x130 -x136 -x140 -x141 -x145 -x162 -x168 -x200 -x204 -x210 -x211 -x222 -x224 -x231 -x233 -x238 -x240 -x245 -x249 -x250 -x251 -x252 -x254 x255 x256 -x263 -x264 x266 -x267 -x269 -x275 -x283 -x285 -x289 -x294 -x296 -x299 -x308 -x330 x333 x337 -x344 -x357 -x359 x364 x365 -x372 x378 -x380 -x381 -x382 -x383 -x386 -x392 -x394 -x396 -x398 -x402 -x409 -x411 -x415 -x419 -x425 -x442 -x452 x456 -x459 -x463 x470 -x471 x474 -x475 -x483 -x490 -x497 -x504 -x512 -x515 -x516 -x520 -x539 -x542 x587 -x594 -x602 -x606 -x608 -x611 -x612 -x622 -x623 -x630 -x640 -x649 -x650 -x651 -x652 -x654 -x671 x674 -x677 x682 -x688 x700 x709 x713 -x721 x724 x726 -x735 x736 -x752 x759 -x764 -x769 -x770 x774 x776 x783 x784 x785 x786 x788 -x794 -x797 x805 -x808 x811 -x816 x822 -x834 -x843 -x849 -x855 -x858 -x860 -x861 x869 -x870 -x876 -x883 x886 -x893 x898 x903
OK 2642
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63276 MiB free)
memory of node 1: 64465 MiB (63905 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484139-1751281373/watcher-4484139-1751281373 -o /tmp/evaluation-result-4484139-1751281373/solver-4484139-1751281373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751281373-36766 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4484139-1751281373.opb -mem-lim=31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=36813, runsolver pid=36805
[startup+0.100073 s]*
/proc/loadavg: 0.99 1.70 1.94 6/252 36823
/proc/meminfo: memFree=130217352/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=19276 memory=16688 CPUtime=0.08 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 3925 0 0 0 8 0 0 0 20 0 1 0 43816483 19738624 4172 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 27682 0 0 0 17 3 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 4819 4172 480 484 0 4230 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 19276 KiB
Current children cumulated memory: 16688 KiB
[startup+0.213108 s]*
/proc/loadavg: 0.99 1.70 1.94 6/252 36823
/proc/meminfo: memFree=130201992/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=22828 memory=20644 CPUtime=0.2 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 5514 0 0 0 19 1 0 0 20 0 1 0 43816483 23375872 5161 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 5707 5161 544 484 0 5118 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 22828 KiB
Current children cumulated memory: 20644 KiB
[startup+0.31318 s]*
/proc/loadavg: 0.99 1.70 1.94 5/252 36823
/proc/meminfo: memFree=130177976/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=22828 memory=20644 CPUtime=0.3 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 5514 0 0 0 29 1 0 0 20 0 1 0 43816483 23375872 5161 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 5707 5161 544 484 0 5118 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 22828 KiB
Current children cumulated memory: 20644 KiB
[startup+0.700297 s]
/proc/loadavg: 0.99 1.70 1.94 5/252 36823
/proc/meminfo: memFree=130161848/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=30096 memory=27940 CPUtime=0.67 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 7354 0 0 0 65 2 0 0 20 0 1 0 43816483 30818304 6985 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 7524 6985 544 484 0 6935 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 27940 KiB
[startup+1.5003 s]
/proc/loadavg: 0.99 1.70 1.94 6/252 36823
/proc/meminfo: memFree=130058344/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=34020 memory=32292 CPUtime=1.47 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 8439 0 0 0 145 2 0 0 20 0 1 0 43816483 34836480 8073 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 8505 8073 544 484 0 7916 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 34020 KiB
Current children cumulated memory: 32292 KiB
[startup+3.11297 s]
/proc/loadavg: 1.23 1.73 1.95 5/252 36823
/proc/meminfo: memFree=129703768/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=31016 memory=29356 CPUtime=3.08 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 9662 0 0 0 305 3 0 0 20 0 1 0 43816483 31760384 7339 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 7754 7339 544 484 0 7165 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 31016 KiB
Current children cumulated memory: 29356 KiB
[startup+6.30027 s]
/proc/loadavg: 1.23 1.73 1.95 5/252 36823
/proc/meminfo: memFree=129643120/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=30028 memory=28524 CPUtime=6.25 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 13346 0 0 0 621 4 0 0 20 0 1 0 43816483 30748672 7131 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 7507 7131 544 484 0 6918 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 28524 KiB
[startup+12.7003 s]
/proc/loadavg: 1.45 1.77 1.96 5/252 36823
/proc/meminfo: memFree=129561996/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=33636 memory=32132 CPUtime=12.63 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 18783 0 0 0 1258 5 0 0 20 0 1 0 43816483 34443264 8033 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 8409 8033 544 484 0 7820 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 33636 KiB
Current children cumulated memory: 32132 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 1.88 2.00 5/250 36823
/proc/meminfo: memFree=129537664/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=38396 memory=35972 CPUtime=25.39 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 25785 0 0 0 2532 7 0 0 20 0 1 0 43816483 39317504 8993 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 9599 8993 544 484 0 9010 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 38396 KiB
Current children cumulated memory: 35972 KiB
[startup+51.1134 s]
/proc/loadavg: 2.69 2.05 2.05 5/250 36824
/proc/meminfo: memFree=129421664/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=47432 memory=45792 CPUtime=50.92 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 37885 0 0 0 5081 11 0 0 20 0 1 0 43816483 48570368 11448 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 11858 11448 544 484 0 11269 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 47432 KiB
Current children cumulated memory: 45792 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 2.37 2.16 5/250 36825
/proc/meminfo: memFree=129462576/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=56300 memory=54704 CPUtime=101.94 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 47056 0 0 0 10180 14 0 0 20 0 1 0 43816483 57651200 13676 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 14075 13676 544 484 0 13486 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 56300 KiB
Current children cumulated memory: 54704 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.69 2.28 5/251 36828
/proc/meminfo: memFree=129375328/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=81296 memory=80312 CPUtime=161.73 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 53961 0 0 0 16156 17 0 0 20 0 1 0 43816483 83247104 20078 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 20324 20078 544 484 0 19735 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 81296 KiB
Current children cumulated memory: 80312 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 2.97 2.41 5/251 36830
/proc/meminfo: memFree=129395860/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=92228 memory=91320 CPUtime=221.52 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 56165 0 0 0 22134 18 0 0 20 0 1 0 43816483 94441472 22830 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 23057 22830 544 484 0 22468 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 92228 KiB
Current children cumulated memory: 91320 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.16 2.51 5/250 36834
/proc/meminfo: memFree=129362072/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=87904 memory=86968 CPUtime=281.31 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 60435 0 0 0 28111 20 0 0 20 0 1 0 43816483 90013696 21742 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 21976 21742 544 484 0 21387 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 87904 KiB
Current children cumulated memory: 86968 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.35 2.62 5/251 36841
/proc/meminfo: memFree=129311296/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=87904 memory=87028 CPUtime=341.1 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 62115 0 0 0 34089 21 0 0 20 0 1 0 43816483 90013696 21757 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 21976 21757 544 484 0 21387 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 87904 KiB
Current children cumulated memory: 87028 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.49 2.71 5/251 36843
/proc/meminfo: memFree=129272992/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=96336 memory=95416 CPUtime=400.89 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 62217 0 0 0 40068 21 0 0 20 0 1 0 43816483 98648064 23854 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 24084 23854 544 484 0 23495 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 96336 KiB
Current children cumulated memory: 95416 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.60 2.80 5/250 36845
/proc/meminfo: memFree=129287860/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=96868 memory=95928 CPUtime=460.69 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 65983 0 0 0 46045 24 0 0 20 0 1 0 43816483 99192832 23982 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 24217 23982 544 484 0 23628 0
################
# More data... #
################
/proc/loadavg: 4.22 4.15 3.91 5/250 36904
/proc/meminfo: memFree=128904528/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=158484 memory=157496 CPUtime=1716.63 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 85838 0 0 0 171624 39 0 0 20 0 1 0 43816483 162287616 39374 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 39621 39374 544 484 0 39032 0
Current children cumulated CPU time: 1716.63 s
Current children cumulated vsize: 158484 KiB
Current children cumulated memory: 157496 KiB
[startup+1782.3 s]
/proc/loadavg: 4.08 4.12 3.92 5/250 36906
/proc/meminfo: memFree=128947232/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=158904 memory=158008 CPUtime=1776.45 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 85947 0 0 0 177606 39 0 0 20 0 1 0 43816483 162717696 39502 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 39726 39502 544 484 0 39137 0
Current children cumulated CPU time: 1776.45 s
Current children cumulated vsize: 158904 KiB
Current children cumulated memory: 158008 KiB
[startup+1842.3 s]
/proc/loadavg: 4.12 4.13 3.94 5/250 36908
/proc/meminfo: memFree=128907912/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=158904 memory=158008 CPUtime=1836.26 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 85952 0 0 0 183587 39 0 0 20 0 1 0 43816483 162717696 39502 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 39726 39502 544 484 0 39137 0
Current children cumulated CPU time: 1836.26 s
Current children cumulated vsize: 158904 KiB
Current children cumulated memory: 158008 KiB
[startup+1902.3 s]
/proc/loadavg: 4.14 4.13 3.95 6/250 36910
/proc/meminfo: memFree=128975924/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=158904 memory=158008 CPUtime=1896.08 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 86012 0 0 0 189569 39 0 0 20 0 1 0 43816483 162717696 39502 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 39726 39502 544 484 0 39137 0
Current children cumulated CPU time: 1896.08 s
Current children cumulated vsize: 158904 KiB
Current children cumulated memory: 158008 KiB
[startup+1962.3 s]
/proc/loadavg: 4.10 4.12 3.96 5/250 36912
/proc/meminfo: memFree=128866220/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=158904 memory=158008 CPUtime=1955.9 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 86012 0 0 0 195551 39 0 0 20 0 1 0 43816483 162717696 39502 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 39726 39502 544 484 0 39137 0
Current children cumulated CPU time: 1955.9 s
Current children cumulated vsize: 158904 KiB
Current children cumulated memory: 158008 KiB
[startup+2022.3 s]
/proc/loadavg: 4.15 4.13 3.98 5/250 36914
/proc/meminfo: memFree=128712456/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=158904 memory=158008 CPUtime=2015.72 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 86023 0 0 0 201533 39 0 0 20 0 1 0 43816483 162717696 39502 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 39726 39502 544 484 0 39137 0
Current children cumulated CPU time: 2015.72 s
Current children cumulated vsize: 158904 KiB
Current children cumulated memory: 158008 KiB
[startup+2082.3 s]
/proc/loadavg: 4.11 4.12 3.99 5/250 36919
/proc/meminfo: memFree=128837612/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=158904 memory=158008 CPUtime=2075.54 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 86023 0 0 0 207515 39 0 0 20 0 1 0 43816483 162717696 39502 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 39726 39502 544 484 0 39137 0
Current children cumulated CPU time: 2075.54 s
Current children cumulated vsize: 158904 KiB
Current children cumulated memory: 158008 KiB
[startup+2142.3 s]
/proc/loadavg: 4.08 4.11 4.00 5/251 36926
/proc/meminfo: memFree=128682572/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=158904 memory=158008 CPUtime=2135.37 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 86082 0 0 0 213498 39 0 0 20 0 1 0 43816483 162717696 39502 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 39726 39502 544 484 0 39137 0
Current children cumulated CPU time: 2135.37 s
Current children cumulated vsize: 158904 KiB
Current children cumulated memory: 158008 KiB
[startup+2202.3 s]
/proc/loadavg: 4.14 4.12 4.01 5/251 36928
/proc/meminfo: memFree=128723640/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=158904 memory=158008 CPUtime=2195.19 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 86096 0 0 0 219480 39 0 0 20 0 1 0 43816483 162717696 39502 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 39726 39502 544 484 0 39137 0
Current children cumulated CPU time: 2195.19 s
Current children cumulated vsize: 158904 KiB
Current children cumulated memory: 158008 KiB
[startup+2218.27 s]
# the end of solver process 36813 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2210.72 s, system=0.40482 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2208 s]*
/proc/loadavg: 4.13 4.12 4.01 5/251 36928
/proc/meminfo: memFree=128724192/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=158904 memory=158008 CPUtime=2200.88 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 86096 0 0 0 220049 39 0 0 20 0 1 0 43816483 162717696 39502 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 39726 39502 544 484 0 39137 0
Current children cumulated CPU time: 2200.88 s
Current children cumulated vsize: 158904 KiB
Current children cumulated memory: 158008 KiB
[startup+2214.4 s]
/proc/loadavg: 4.19 4.13 4.01 5/251 36928
/proc/meminfo: memFree=128699624/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=183288 memory=182328 CPUtime=2207.26 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 86571 0 0 0 220686 40 0 0 20 0 1 0 43816483 187686912 45582 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 45822 45582 544 484 0 45233 0
Current children cumulated CPU time: 2207.26 s
Current children cumulated vsize: 183288 KiB
Current children cumulated memory: 182328 KiB
[startup+2216 s]*
/proc/loadavg: 4.19 4.13 4.01 5/251 36928
/proc/meminfo: memFree=128699624/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=183288 memory=182328 CPUtime=2208.87 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 86571 0 0 0 220847 40 0 0 20 0 1 0 43816483 187686912 45582 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 45822 45582 544 484 0 45233 0
Current children cumulated CPU time: 2208.87 s
Current children cumulated vsize: 183288 KiB
Current children cumulated memory: 182328 KiB
[startup+2217.6 s]
/proc/loadavg: 4.19 4.13 4.01 5/251 36928
/proc/meminfo: memFree=128699876/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=183288 memory=182328 CPUtime=2210.45 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 86571 0 0 0 221005 40 0 0 20 0 1 0 43816483 187686912 45582 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 45822 45582 544 484 0 45233 0
Current children cumulated CPU time: 2210.45 s
Current children cumulated vsize: 183288 KiB
Current children cumulated memory: 182328 KiB
[startup+2218 s]*
/proc/loadavg: 4.19 4.13 4.01 5/251 36928
/proc/meminfo: memFree=128699876/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=183288 memory=182328 CPUtime=2210.86 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 86571 0 0 0 221046 40 0 0 20 0 1 0 43816483 187686912 45582 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 45822 45582 544 484 0 45233 0
Current children cumulated CPU time: 2210.86 s
Current children cumulated vsize: 183288 KiB
Current children cumulated memory: 182328 KiB
[startup+2218.2 s]
/proc/loadavg: 4.19 4.13 4.01 5/251 36928
/proc/meminfo: memFree=128699876/131382120 swapFree=33010160/33010684
[pid=36813] ppid=36805 vsize=183288 memory=182328 CPUtime=2211.05 cores=1,3
/proc/36813/stat : 36813 (uwrmaxsat) R 36805 36813 36754 0 -1 4194304 86571 0 0 0 221065 40 0 0 20 0 1 0 43816483 187686912 45582 18446744073709551615 4198400 6176925 140733000902192 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 24002560 140733000907114 140733000907241 140733000907241 140733000912843 0
/proc/36813/statm: 45822 45582 544 484 0 45233 0
Current children cumulated CPU time: 2211.05 s
Current children cumulated vsize: 183288 KiB
Current children cumulated memory: 182328 KiB
Child status: 30
Real time (s): 2218.27
CPU time (s): 2211.13
CPU user time (s): 2210.72
CPU system time (s): 0.40482
CPU usage (%): 99.6779
Max. virtual memory (cumulated for all children) (KiB): 183288
Max. memory (cumulated for all children) (KiB): 182328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2210.72
system time used= 0.40482
maximum resident set size= 182328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86571
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= 32
involuntary context switches= 1513
# summary of solver processes directly reported to runsolver:
# pid: 36813
# total CPU time (s): 2211.13
# total CPU user time (s): 2210.72
# total CPU system time (s): 0.40482
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9748 second user time and 20.0107 second system time
The end
Begin job on nodeC008 at 2025-06-30 13:02:54 IDJOB=4484139 IDBENCH=146650 IDSOLVER=3372 FILE ID=nodeC008/4484139-1751281373 RUNJOBID= nodeC008-1751281373-36766 SLURM_JOB_ID= 9594235 Free space on /tmp= 433056 MiB SOLVER NAME= UWrMaxSat 2025-06-04 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484139-1751281373/watcher-4484139-1751281373 -o /tmp/evaluation-result-4484139-1751281373/solver-4484139-1751281373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751281373-36766 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4484139-1751281373.opb -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1 RANDOM SEED=1727263294 nodeC008 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 : 1197.352 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 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 : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.210 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 : 6983.72 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.204 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 : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.164 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 : 6983.72 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 : 1197.196 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 : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.681 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 : 6983.72 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.681 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 : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.211 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 : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 130229540 kB MemAvailable: 129909872 kB Buffers: 2144 kB Cached: 490672 kB SwapCached: 16 kB Active: 288800 kB Inactive: 274840 kB Active(anon): 51752 kB Inactive(anon): 36720 kB Active(file): 237048 kB Inactive(file): 238120 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16328 kB Writeback: 0 kB AnonPages: 73648 kB Mapped: 102708 kB Shmem: 17920 kB KReclaimable: 89584 kB Slab: 170812 kB SReclaimable: 89584 kB SUnreclaim: 81228 kB KernelStack: 3856 kB PageTables: 2728 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 329732 kB VmallocTotal: 34359738367 kB VmallocUsed: 149272 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 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: 181064 kB DirectMap2M: 9158656 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433040 MiB End job on nodeC008 at 2025-06-30 13:39:52