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 | SAT (TO) | -154 | 3600.07 | 3611.11 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament26.lin.opb |
| MD5SUM | 21e597bc04bc5fa012b59bdeb9fb9987 |
| 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 | -167 |
| Best CPU time to get the best result obtained on this benchmark | 455.13 |
| 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 | 949 |
| Total number of constraints | 1248 |
| Number of constraints which are clauses | 624 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 624 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 852 |
| Biggest coefficient in the objective function | 2 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 920 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 920 |
| Number of bits of the biggest sum of numbers | 10 |
| 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 1248 PB-constraints to clauses... 0.00/0.03 o 0 0.00/0.04 c ============================[ Problem Statistics ]============================ 0.00/0.04 c | Number of variables: 1606 | 0.00/0.04 c | Number of clauses: 2529 | 0.00/0.04 c =============================================================================== 1703.62/1709.01 c Switching to binary search ... (after 1703.35 s and 10725002 conflicts) with 824 goal literals and 0 assumptions 1705.92/1711.27 o -113 1706.12/1711.47 o -154 3600.05/3611.11 c *** TERMINATED by signal 15 *** 3600.05/3611.11 c _______________________________________________________________________________ 3600.05/3611.11 c 3600.05/3611.11 c _______________________________________________________________________________ 3600.05/3611.11 c 3600.05/3611.11 c =======================[ UWrMaxSat resources usage ]=========================== 3600.05/3611.11 c Memory used : 304.00 MB 3600.05/3611.11 c CPU time : 3599.17 s 3600.05/3611.11 c Constr Enc: Srt/BDD/Add: 624 0 0 3600.05/3611.11 c OptExp Enc: Srt/BDD/Add: 671 0 0 3600.05/3611.11 c _______________________________________________________________________________ 3600.05/3611.11 c _______________________________________________________________________________ 3600.05/3611.11 3600.05/3611.11 v -x326 x1 -x2 x327 x136 -x328 x329 -x330 x89 -x331 -x133 -x332 -x333 -x3 x14 -x334 x59 -x335 -x336 -x337 x4 -x78 x338 x201 -x339 -x340 -x341 -x5 -x34 -x342 x35 -x343 x76 -x344 -x345 -x6 -x346 -x347 -x348 -x349 -x7 -x62 -x350 -x169 -x351 -x352 x353 x8 x11 -x354 -x15 -x355 -x356 -x357 -x9 -x63 -x358 x79 -x359 -x199 -x360 -x361 -x10 -x145 -x362 -x149 -x363 x172 -x364 -x365 x366 x97 -x367 -x368 -x12 x122 -x369 -x171 -x370 x204 -x371 -x372 -x13 x17 -x373 x228 -x374 x375 x60 x376 -x377 -x378 -x379 -x16 -x83 -x380 x106 -x381 -x180 -x382 -x383 -x18 x384 x42 -x385 -x56 -x386 -x22 x387 x19 x197 -x388 x389 -x390 -x391 x20 -x107 -x392 -x127 x393 x211 x394 -x395 x21 -x30 -x396 -x40 x397 x68 -x398 -x399 x23 -x400 -x31 -x401 x73 x402 x26 -x403 -x24 -x404 -x128 -x405 x155 -x406 -x407 x25 -x408 -x53 -x409 x410 -x411 -x27 -x412 -x92 -x413 -x414 x32 -x415 x28 x416 x156 -x417 -x181 x418 -x419 x29 -x420 -x70 x421 x422 -x423 x216 -x424 -x220 -x425 -x426 x43 -x427 x55 -x428 -x429 -x33 -x430 -x113 -x431 -x432 -x433 -x434 -x96 x435 x142 -x436 x36 -x37 -x437 -x47 -x438 -x101 x439 -x440 x48 -x441 -x66 -x442 -x123 -x443 x38 -x444 -x182 -x445 -x212 x446 -x447 x39 -x448 -x85 -x449 x450 -x451 -x86 -x452 x453 x41 -x454 -x455 x456 x457 x57 -x458 -x72 -x459 -x44 -x460 -x137 -x461 -x462 -x45 x95 -x463 -x464 -x46 -x465 -x466 -x467 -x468 x49 -x469 -x470 -x152 -x471 -x50 -x472 x473 -x474 -x475 x476 -x477 x154 -x478 -x479 x51 -x480 -x214 -x481 -x482 -x483 x52 -x484 -x109 -x485 x486 -x487 -x488 x489 x54 -x490 -x223 -x491 x492 -x493 -x494 -x90 -x495 x74 -x496 x91 -x497 -x58 -x498 -x226 -x499 -x500 -x116 x501 x140 x502 x166 -x503 -x504 x61 -x505 -x506 x507 -x508 x80 -x509 -x510 -x511 x512 x64 -x513 -x100 -x514 -x515 x516 x65 x67 -x517 -x102 x518 x178 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 x69 x527 -x528 -x529 -x131 -x530 -x215 -x531 -x532 -x533 x71 -x534 x535 x536 -x537 -x538 -x111 -x539 -x540 -x93 x541 x112 -x542 -x75 -x543 -x193 -x544 -x545 -x141 x546 x77 x547 -x548 x549 -x550 -x551 -x98 -x552 -x553 x554 x168 -x555 -x81 x556 -x557 -x558 x120 -x559 x560 x82 x561 -x562 x563 -x564 x84 -x565 -x566 -x567 -x158 x568 x183 -x569 x87 -x570 -x571 -x572 -x219 x573 -x574 x575 x222 -x576 -x88 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x134 -x584 x114 -x585 x135 -x586 x94 -x587 x227 x588 -x589 -x196 -x590 x591 -x592 -x593 -x594 -x118 -x595 -x198 -x596 x99 -x597 x598 x203 x599 -x600 -x601 x144 -x602 x173 -x603 x103 -x604 -x605 -x147 -x606 -x177 -x607 -x608 -x174 -x609 x610 -x611 -x104 -x105 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 x108 -x621 -x622 -x185 x623 -x624 -x110 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x162 -x634 x138 -x635 x163 -x636 -x115 x637 -x638 -x639 x117 -x640 -x641 -x642 -x194 -x643 x644 -x645 x119 -x646 x647 x121 x648 -x649 x650 x651 -x652 x653 -x654 -x655 x656 x151 x657 -x658 -x659 x206 -x660 x661 x124 x125 x662 x663 x664 -x665 x666 x667 x668 x126 x213 x669 x670 -x671 -x672 -x673 -x674 x130 -x675 -x129 -x676 -x677 -x678 -x679 -x680 -x218 -x681 x132 -x682 -x683 -x188 -x684 x685 -x686 -x687 -x187 -x688 -x689 -x690 -x691 -x692 -x190 x693 x164 -x694 -x191 -x695 -x696 x192 -x697 -x139 -x698 -x699 x700 -x701 x143 -x702 -x703 x704 -x705 x706 x707 -x708 -x146 -x709 x710 -x711 x148 -x712 -x713 -x714 -x715 -x150 -x716 -x717 -x718 -x719 -x720 x205 -x721 -x722 -x723 -x724 x725 x726 -x727 -x153 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x157 x739 -x740 x159 -x741 -x742 -x743 -x160 -x744 -x745 -x184 -x746 -x747 x161 -x748 -x749 x750 x751 -x752 -x753 x754 x224 -x755 -x756 -x757 x165 -x167 x758 -x759 -x760 x761 -x762 -x763 -x764 x765 x766 -x767 -x200 -x768 -x769 -x170 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 x176 x778 -x779 -x780 x175 x781 x782 x783 x784 -x785 -x786 x787 x179 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 x186 -x803 -x804 x805 x217 -x806 -x807 x189 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x195 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x202 -x836 x837 x838 x839 -x840 x841 x842 x843 -x844 -x207 x845 x846 -x847 -x848 x208 -x849 -x850 -x209 x851 x852 -x853 -x210 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x221 -x870 -x871 -x872 -x873 x874 x875 -x876 -x877 -x225 -x878 -x879 -x880 -x881 x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 x890 -x891 x892 x893 -x894 -x895 x896 -x897 x898 x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 x920 -x921 x922 -x923 x924 -x925 x926 -x927 x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 x941 -x942 x943 x944 -x945 -x946 x947 -x948 -x949 -x232 x236 x233 -x243 x260 -x255 -x256 x248 x240 -x261 x262 x235 -x249 -x275 -x252 -x241 x245 x283 x273 x277 -x281 -x288 x284 x282 -x291 -x295 x257 x278 -x294 x299 x237 -x285 -x230 x272 -x267 x292 -x229 x274 x303 -x254 x289 x305 x234 x251 x264 -x296 -x290 x268 x270 -x231 x247 -x250 x259 -x269 x310 -x242 x300 x266 x271 -x244 x253 -x314 -x315 x316 x307 -x246 -x304 x286 -x318 -x309 -x263 x287 x320 x265 -x308 x279 x321 x239 -x306 -x276 -x258 -x302 x293 x298 -x323 -x317 x311 x322 -x297 x312 x313 -x301 x319 -x280 -x324 x325 x238 3600.05/3611.11 s SATISFIABLE
OK -154
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 (61440 MiB free)
memory of node 1: 64507 MiB (52386 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508887-1751506017/watcher-4508887-1751506017 -o /tmp/evaluation-result-4508887-1751506017/solver-4508887-1751506017 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751501342-73195 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4508887-1751506017.opb -mem-lim=31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=74916, runsolver pid=74913
[startup+0.100076 s]*
/proc/loadavg: 4.10 4.12 4.12 5/250 74917
/proc/meminfo: memFree=116559384/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=4872 memory=4096 CPUtime=0.1 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 635 0 0 0 10 0 0 0 20 0 1 0 66281467 4988928 1024 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 1218 1024 512 484 0 629 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 4872 KiB
Current children cumulated memory: 4096 KiB
[startup+0.213685 s]*
/proc/loadavg: 4.10 4.12 4.12 5/250 74917
/proc/meminfo: memFree=116559396/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=5332 memory=4480 CPUtime=0.22 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 729 0 0 0 22 0 0 0 20 0 1 0 66281467 5459968 1120 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 1333 1120 512 484 0 744 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 5332 KiB
Current children cumulated memory: 4480 KiB
[startup+0.313444 s]*
/proc/loadavg: 4.10 4.12 4.12 5/250 74917
/proc/meminfo: memFree=116559396/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=5660 memory=4736 CPUtime=0.31 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 808 0 0 0 31 0 0 0 20 0 1 0 66281467 5795840 1184 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 1415 1184 512 484 0 826 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 5660 KiB
Current children cumulated memory: 4736 KiB
[startup+0.700293 s]
/proc/loadavg: 4.10 4.12 4.12 5/250 74917
/proc/meminfo: memFree=116559396/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=6828 memory=6136 CPUtime=0.68 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 1640 0 0 0 68 0 0 0 20 0 1 0 66281467 6991872 1534 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 1707 1534 512 484 0 1118 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 6828 KiB
Current children cumulated memory: 6136 KiB
[startup+1.50029 s]
/proc/loadavg: 4.10 4.12 4.12 5/250 74917
/proc/meminfo: memFree=116559396/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=8852 memory=7848 CPUtime=1.49 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 3084 0 0 0 148 1 0 0 20 0 1 0 66281467 9064448 1962 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 2213 1962 512 484 0 1624 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 8852 KiB
Current children cumulated memory: 7848 KiB
[startup+3.11335 s]
/proc/loadavg: 4.09 4.12 4.12 5/250 74917
/proc/meminfo: memFree=116555868/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=11324 memory=10428 CPUtime=3.09 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 5827 0 0 0 308 1 0 0 20 0 1 0 66281467 11595776 2607 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 2831 2607 512 484 0 2242 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 11324 KiB
Current children cumulated memory: 10428 KiB
[startup+6.30027 s]
/proc/loadavg: 4.09 4.12 4.12 5/250 74917
/proc/meminfo: memFree=116550076/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=17564 memory=16600 CPUtime=6.27 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 10566 0 0 0 625 2 0 0 20 0 1 0 66281467 17985536 4150 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 4391 4150 512 484 0 3802 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 17564 KiB
Current children cumulated memory: 16600 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.12 4.12 5/250 74917
/proc/meminfo: memFree=116536172/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=16476 memory=15592 CPUtime=12.64 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 11824 0 0 0 1262 2 0 0 20 0 1 0 66281467 16871424 3898 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 4119 3898 512 484 0 3530 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 16476 KiB
Current children cumulated memory: 15592 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.13 4.12 5/250 74917
/proc/meminfo: memFree=116527288/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=19132 memory=18436 CPUtime=25.4 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 15905 0 0 0 2537 3 0 0 20 0 1 0 66281467 19591168 4609 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 4783 4609 512 484 0 4194 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 19132 KiB
Current children cumulated memory: 18436 KiB
[startup+51.1132 s]
/proc/loadavg: 4.09 4.12 4.12 5/250 74918
/proc/meminfo: memFree=116561068/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=33260 memory=32448 CPUtime=50.93 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 23523 0 0 0 5087 6 0 0 20 0 1 0 66281467 34058240 8112 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 8315 8112 512 484 0 7726 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 33260 KiB
Current children cumulated memory: 32448 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/250 74920
/proc/meminfo: memFree=116539996/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=41364 memory=40512 CPUtime=101.97 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 29223 0 0 0 10189 8 0 0 20 0 1 0 66281467 42356736 10128 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 10341 10128 512 484 0 9752 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 41364 KiB
Current children cumulated memory: 40512 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/250 74922
/proc/meminfo: memFree=116489496/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=44348 memory=43648 CPUtime=161.8 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 33102 0 0 0 16171 9 0 0 20 0 1 0 66281467 45412352 10912 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 11087 10912 512 484 0 10498 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 44348 KiB
Current children cumulated memory: 43648 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/250 74924
/proc/meminfo: memFree=116452984/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=59720 memory=58928 CPUtime=221.62 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 38643 0 0 0 22151 11 0 0 20 0 1 0 66281467 61153280 14732 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 14930 14732 512 484 0 14341 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 59720 KiB
Current children cumulated memory: 58928 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/250 74926
/proc/meminfo: memFree=116479316/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=51892 memory=51080 CPUtime=281.44 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 42497 0 0 0 28130 14 0 0 20 0 1 0 66281467 53137408 12770 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 12973 12770 512 484 0 12384 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 51892 KiB
Current children cumulated memory: 51080 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/251 74933
/proc/meminfo: memFree=116465532/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=75336 memory=74432 CPUtime=341.26 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 43248 0 0 0 34112 14 0 0 20 0 1 0 66281467 77144064 18608 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 18834 18608 512 484 0 18245 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 75336 KiB
Current children cumulated memory: 74432 KiB
[startup+402.3 s]
/proc/loadavg: 4.69 4.28 4.16 5/251 74934
/proc/meminfo: memFree=116478260/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=53264 memory=52452 CPUtime=401.07 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 47635 0 0 0 40091 16 0 0 20 0 1 0 66281467 54542336 13113 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 13316 13113 512 484 0 12727 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 53264 KiB
Current children cumulated memory: 52452 KiB
[startup+462.3 s]
/proc/loadavg: 4.45 4.30 4.18 5/251 74936
/proc/meminfo: memFree=116375376/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=56232 memory=55636 CPUtime=460.89 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 49592 0 0 0 46072 17 0 0 20 0 1 0 66281467 57581568 13909 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 14058 13909 512 484 0 13469 0
################
# More data... #
################
Current children cumulated memory: 222016 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.18 4.16 5/252 75332
/proc/meminfo: memFree=116709360/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=222892 memory=222016 CPUtime=2913.24 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 105288 0 0 0 291245 79 0 0 20 0 1 0 66281467 228241408 55504 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 55723 55504 512 484 0 55134 0
Current children cumulated CPU time: 2913.24 s
Current children cumulated vsize: 222892 KiB
Current children cumulated memory: 222016 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/252 75333
/proc/meminfo: memFree=116736536/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=169672 memory=167992 CPUtime=2973.07 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 106460 0 0 0 297226 81 0 0 20 0 1 0 66281467 173744128 41998 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 42418 41998 512 484 0 41829 0
Current children cumulated CPU time: 2973.07 s
Current children cumulated vsize: 169672 KiB
Current children cumulated memory: 167992 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/252 75335
/proc/meminfo: memFree=116694000/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=168508 memory=166828 CPUtime=3032.9 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 106695 0 0 0 303208 82 0 0 20 0 1 0 66281467 172552192 41707 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 42127 41707 512 484 0 41538 0
Current children cumulated CPU time: 3032.9 s
Current children cumulated vsize: 168508 KiB
Current children cumulated memory: 166828 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/250 75340
/proc/meminfo: memFree=116646900/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=203444 memory=200400 CPUtime=3092.72 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 108173 0 0 0 309189 83 0 0 20 0 1 0 66281467 208326656 50100 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 50861 50100 512 484 0 50272 0
Current children cumulated CPU time: 3092.72 s
Current children cumulated vsize: 203444 KiB
Current children cumulated memory: 200400 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/250 75342
/proc/meminfo: memFree=116643656/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=171448 memory=170048 CPUtime=3152.55 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 108687 0 0 0 315172 83 0 0 20 0 1 0 66281467 175562752 42512 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 42862 42512 512 484 0 42273 0
Current children cumulated CPU time: 3152.55 s
Current children cumulated vsize: 171448 KiB
Current children cumulated memory: 170048 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/250 75344
/proc/meminfo: memFree=116653388/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=151184 memory=150500 CPUtime=3212.37 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 109964 0 0 0 321153 84 0 0 20 0 1 0 66281467 154812416 37625 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 37796 37625 512 484 0 37207 0
Current children cumulated CPU time: 3212.37 s
Current children cumulated vsize: 151184 KiB
Current children cumulated memory: 150500 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/250 75346
/proc/meminfo: memFree=116620972/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=156032 memory=153664 CPUtime=3272.2 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 110881 0 0 0 327134 86 0 0 20 0 1 0 66281467 159776768 38416 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 39008 38416 512 484 0 38419 0
Current children cumulated CPU time: 3272.2 s
Current children cumulated vsize: 156032 KiB
Current children cumulated memory: 153664 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/250 75348
/proc/meminfo: memFree=116576228/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=191352 memory=188968 CPUtime=3332.03 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 111027 0 0 0 333116 87 0 0 20 0 1 0 66281467 195944448 47242 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 47838 47242 512 484 0 47249 0
Current children cumulated CPU time: 3332.03 s
Current children cumulated vsize: 191352 KiB
Current children cumulated memory: 188968 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/249 75354
/proc/meminfo: memFree=116579384/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=156032 memory=153664 CPUtime=3391.85 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 111792 0 0 0 339098 87 0 0 20 0 1 0 66281467 159776768 38416 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 39008 38416 512 484 0 38419 0
Current children cumulated CPU time: 3391.85 s
Current children cumulated vsize: 156032 KiB
Current children cumulated memory: 153664 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/249 75356
/proc/meminfo: memFree=116548308/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=192644 memory=190260 CPUtime=3451.68 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 112315 0 0 0 345080 88 0 0 20 0 1 0 66281467 197267456 47565 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 48161 47565 512 484 0 47572 0
Current children cumulated CPU time: 3451.68 s
Current children cumulated vsize: 192644 KiB
Current children cumulated memory: 190260 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/249 75358
/proc/meminfo: memFree=116533888/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=190664 memory=188280 CPUtime=3511.51 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 112810 0 0 0 351062 89 0 0 20 0 1 0 66281467 195239936 47070 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 47666 47070 512 484 0 47077 0
Current children cumulated CPU time: 3511.51 s
Current children cumulated vsize: 190664 KiB
Current children cumulated memory: 188280 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/249 75360
/proc/meminfo: memFree=116575536/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=178712 memory=177856 CPUtime=3571.33 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 114271 0 0 0 357044 89 0 0 20 0 1 0 66281467 183001088 44464 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 44678 44464 512 484 0 44089 0
Current children cumulated CPU time: 3571.33 s
Current children cumulated vsize: 178712 KiB
Current children cumulated memory: 177856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.11 4.11 4.11 5/249 75361
/proc/meminfo: memFree=116576736/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=178712 memory=177856 CPUtime=3600.05 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 114271 0 0 0 359916 89 0 0 20 0 1 0 66281467 183001088 44464 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 44678 44464 512 484 0 44089 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 178712 KiB
Current children cumulated memory: 177856 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.11 s]
# the end of solver process 74916 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.17 s, system=0.899969 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.11 4.11 4.11 5/249 75361
/proc/meminfo: memFree=116576736/131382112 swapFree=33010160/33010684
[pid=74916] ppid=74913 vsize=178712 memory=177856 CPUtime=3600.05 cores=0,2
/proc/74916/stat : 74916 (uwrmaxsat) R 74913 74916 73185 0 -1 4194304 114271 0 0 0 359916 89 0 0 20 0 1 0 66281467 183001088 44464 18446744073709551615 4198400 6176925 140724516596928 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22855680 140724516604266 140724516604393 140724516604393 140724516609995 0
/proc/74916/statm: 44678 44464 512 484 0 44089 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 178712 KiB
Current children cumulated memory: 177856 KiB
Child status: 10
Real time (s): 3611.11
CPU time (s): 3600.07
CPU user time (s): 3599.17
CPU system time (s): 0.899969
CPU usage (%): 99.6941
Max. virtual memory (cumulated for all children) (KiB): 312064
Max. memory (cumulated for all children) (KiB): 311244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.17
system time used= 0.899969
maximum resident set size= 311244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114272
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= 38
involuntary context switches= 8015
# summary of solver processes directly reported to runsolver:
# pid: 74916
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.17
# total CPU system time (s): 0.899969
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1276 second user time and 34.7664 second system time
The end
Begin job on nodeC009 at 2025-07-03 03:26:57 IDJOB=4508887 IDBENCH=158516 IDSOLVER=3372 FILE ID=nodeC009/4508887-1751506017 RUNJOBID= nodeC009-1751501342-73195 SLURM_JOB_ID= 9598585 Free space on /tmp= 431192 MiB SOLVER NAME= UWrMaxSat 2025-06-04 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament26.lin.opb COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508887-1751506017/watcher-4508887-1751506017 -o /tmp/evaluation-result-4508887-1751506017/solver-4508887-1751506017 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751501342-73195 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4508887-1751506017.opb -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 21e597bc04bc5fa012b59bdeb9fb9987 RANDOM SEED=942197522 nodeC009 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.344 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.85 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 : 3589.166 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.85 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.399 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.85 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.501 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.85 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 : 3591.693 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.85 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 : 3662.344 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.85 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.580 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.85 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.011 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.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 116559576 kB MemAvailable: 128349620 kB Buffers: 2144 kB Cached: 12541396 kB SwapCached: 24 kB Active: 1909076 kB Inactive: 12191068 kB Active(anon): 1569484 kB Inactive(anon): 5056 kB Active(file): 339592 kB Inactive(file): 12186012 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 2712 kB Writeback: 0 kB AnonPages: 1555236 kB Mapped: 110104 kB Shmem: 17936 kB KReclaimable: 207752 kB Slab: 292560 kB SReclaimable: 207752 kB SUnreclaim: 84808 kB KernelStack: 4048 kB PageTables: 6048 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 1925896 kB VmallocTotal: 34359738367 kB VmallocUsed: 149384 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1456128 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: 172872 kB DirectMap2M: 9166848 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431212 MiB End job on nodeC009 at 2025-07-03 04:27:08