Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| UWrMaxSat-SCIP 2025-06-04 | OPT | -167 | 921.608 | 924.253 |
| 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.00 c Converting 1248 PB-constraints to clauses... 0.00/0.00 c Using SCIP solver, version 9.02.2, https://www.scipopt.org 0.00/0.01 o 0 0.00/0.02 c ============================[ Problem Statistics ]============================ 0.00/0.02 c | Number of variables: 1606 | 0.00/0.02 c | Number of clauses: 2529 | 0.00/0.02 c =============================================================================== 0.00/0.02 c Starting SCIP solver (with time-limit: 900s) ... 0.00/0.02 c SCIP start delayed for at least 300s 300.17/301.02 c SCIP started with lower and upper bounds: [-178, 0] 921.56/924.22 c SCIP optimum (rounded): -167 921.56/924.22 c _______________________________________________________________________________ 921.56/924.22 c 921.56/924.22 c SCIP: SCIP Status : problem is solved [optimal solution found] 921.56/924.22 c SCIP: Original Problem : 921.56/924.22 c SCIP: Problem name : instance-4508888-1751499415.opb 921.56/924.22 c SCIP: Variables : 949 (949 binary, 0 integer, 0 implicit integer, 0 continuous) 921.56/924.22 c SCIP: Constraints : 2496 initial, 2496 maximal 921.56/924.22 c SCIP: Objective : minimize, 852 non-zeros (abs.min = 1, abs.max = 2) 921.56/924.22 c SCIP: Total Time : 623.20 921.56/924.22 c SCIP: solving : 623.20 921.56/924.22 c SCIP: presolving : 0.03 (included in solving) 921.56/924.22 c SCIP: reading : 0.00 921.56/924.22 c SCIP: copying : 0.07 (25 #copies) (minimal 0.00, maximal 0.01, average 0.00) 921.56/924.22 c =======================[ UWrMaxSat resources usage ]=========================== 921.56/924.22 c Memory used : 472.00 MB 921.56/924.22 c CPU time : 921.31 s 921.56/924.22 c Constr Enc: Srt/BDD/Add: 624 0 0 921.56/924.22 c OptExp Enc: Srt/BDD/Add: 649 0 0 921.56/924.22 c _______________________________________________________________________________ 921.56/924.22 o -167 921.56/924.22 s OPTIMUM FOUND 921.56/924.22 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
OK -167
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: 63665 MiB (61290 MiB free)
memory of node 1: 64507 MiB (62831 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508888-1751499415/watcher-4508888-1751499415 -o /tmp/evaluation-result-4508888-1751499415/solver-4508888-1751499415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751491800-70239 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4508888-1751499415.opb -no-par -scip-delay=300 -scip-cpu=900 -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
Starting watchdog thread
solver pid=72310, runsolver pid=72307
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.19 4.14 4.10 5/264 72311
/proc/meminfo: memFree=127092988/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=26500 memory=17152 CPUtime=0.09 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 1797 0 0 0 9 0 0 0 20 0 1 0 65619244 27136000 4288 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 6625 4288 2720 3139 0 2913 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26500 KiB
Current children cumulated memory: 17152 KiB
[startup+0.205683 s]*
/proc/loadavg: 4.19 4.14 4.10 5/264 72311
/proc/meminfo: memFree=127092988/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=28388 memory=18788 CPUtime=0.2 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 2522 0 0 0 20 0 0 0 20 0 1 0 65619244 29069312 4697 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 7097 4697 2720 3139 0 3385 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28388 KiB
Current children cumulated memory: 18788 KiB
[startup+0.305639 s]*
/proc/loadavg: 4.19 4.14 4.10 5/264 72311
/proc/meminfo: memFree=127092988/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=28032 memory=18620 CPUtime=0.3 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 2678 0 0 0 30 0 0 0 20 0 1 0 65619244 28704768 4655 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 7008 4655 2720 3139 0 3296 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28032 KiB
Current children cumulated memory: 18620 KiB
[startup+0.700199 s]
/proc/loadavg: 4.19 4.14 4.10 5/264 72311
/proc/meminfo: memFree=127093240/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=30216 memory=20656 CPUtime=0.69 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 4215 0 0 0 69 0 0 0 20 0 1 0 65619244 30941184 5164 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 7554 5164 2720 3139 0 3842 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30216 KiB
Current children cumulated memory: 20656 KiB
[startup+1.50019 s]
/proc/loadavg: 4.19 4.14 4.10 5/264 72311
/proc/meminfo: memFree=127066900/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=30980 memory=21692 CPUtime=1.48 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 5056 0 0 0 148 0 0 0 20 0 1 0 65619244 31723520 5423 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 7745 5423 2720 3139 0 4033 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30980 KiB
Current children cumulated memory: 21692 KiB
[startup+3.10546 s]
/proc/loadavg: 4.19 4.14 4.10 5/264 72311
/proc/meminfo: memFree=127096164/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=34256 memory=24796 CPUtime=3.08 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 6514 0 0 0 308 0 0 0 20 0 1 0 65619244 35078144 6199 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 8564 6199 2720 3139 0 4852 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 34256 KiB
Current children cumulated memory: 24796 KiB
[startup+6.30017 s]
/proc/loadavg: 4.17 4.14 4.10 5/264 72311
/proc/meminfo: memFree=127023512/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=37684 memory=28256 CPUtime=6.28 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 8376 0 0 0 627 1 0 0 20 0 1 0 65619244 38588416 7064 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 9421 7064 2720 3139 0 5709 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 37684 KiB
Current children cumulated memory: 28256 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 72312
/proc/meminfo: memFree=127016600/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=41428 memory=31924 CPUtime=12.66 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 15084 0 0 0 1264 2 0 0 20 0 1 0 65619244 42422272 7981 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 10357 7981 2720 3139 0 6645 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41428 KiB
Current children cumulated memory: 31924 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 72313
/proc/meminfo: memFree=127009272/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=47568 memory=38028 CPUtime=25.43 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 19647 0 0 0 2540 3 0 0 20 0 1 0 65619244 48709632 9507 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 11892 9507 2720 3139 0 8180 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 47568 KiB
Current children cumulated memory: 38028 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.14 4.09 5/265 72313
/proc/meminfo: memFree=126432248/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=52272 memory=42856 CPUtime=50.96 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 22397 0 0 0 5092 4 0 0 20 0 1 0 65619244 53526528 10714 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 13068 10714 2720 3139 0 9356 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 52272 KiB
Current children cumulated memory: 42856 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 72315
/proc/meminfo: memFree=125887976/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=61792 memory=52432 CPUtime=102.01 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 29113 0 0 0 10195 6 0 0 20 0 1 0 65619244 63275008 13108 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 15448 13108 2720 3139 0 11736 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 61792 KiB
Current children cumulated memory: 52432 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 72317
/proc/meminfo: memFree=125833964/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=70012 memory=60596 CPUtime=161.85 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 33294 0 0 0 16177 8 0 0 20 0 1 0 65619244 71692288 15149 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 17503 15149 2720 3139 0 13791 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 70012 KiB
Current children cumulated memory: 60596 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 72319
/proc/meminfo: memFree=125822992/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=81768 memory=72452 CPUtime=221.69 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 38152 0 0 0 22159 10 0 0 20 0 1 0 65619244 83730432 18113 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 20442 18113 2720 3139 0 16730 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 81768 KiB
Current children cumulated memory: 72452 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 72321
/proc/meminfo: memFree=124899312/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=82384 memory=73080 CPUtime=281.52 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 42808 0 0 0 28140 12 0 0 20 0 1 0 65619244 84361216 18270 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 20596 18270 2720 3139 0 16884 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 82384 KiB
Current children cumulated memory: 73080 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 72323
/proc/meminfo: memFree=124713508/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=190804 memory=175736 CPUtime=341.34 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 67986 0 0 0 34118 16 0 0 20 0 1 0 65619244 195383296 43934 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 47701 43934 3296 3139 0 43989 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 190804 KiB
Current children cumulated memory: 175736 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 72325
/proc/meminfo: memFree=123939424/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=282680 memory=266360 CPUtime=401.18 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 90641 0 0 0 40099 19 0 0 20 0 1 0 65619244 289464320 66590 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 70670 66590 3296 3139 0 66958 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 282680 KiB
Current children cumulated memory: 266360 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 72327
/proc/meminfo: memFree=123764400/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=407456 memory=388472 CPUtime=461.01 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 121187 0 0 0 46077 24 0 0 20 0 1 0 65619244 417234944 97118 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 101864 97118 3296 3139 0 98152 0
Current children cumulated CPU time: 461.01 s
################
# More data... #
################
/proc/loadavg: 4.16 4.12 4.09 5/262 72329
/proc/meminfo: memFree=123731304/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=452300 memory=432376 CPUtime=520.83 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 132142 0 0 0 52057 26 0 0 20 0 1 0 65619244 463155200 108094 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 113075 108094 3296 3139 0 109363 0
Current children cumulated CPU time: 520.83 s
Current children cumulated vsize: 452300 KiB
Current children cumulated memory: 432376 KiB
[startup+582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 72331
/proc/meminfo: memFree=123692252/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=467604 memory=449016 CPUtime=580.66 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 136334 0 0 0 58039 27 0 0 20 0 1 0 65619244 478826496 112254 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 116901 112254 3296 3139 0 113189 0
Current children cumulated CPU time: 580.66 s
Current children cumulated vsize: 467604 KiB
Current children cumulated memory: 449016 KiB
[startup+642.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 72340
/proc/meminfo: memFree=123707000/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=468628 memory=450552 CPUtime=640.48 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 136715 0 0 0 64021 27 0 0 20 0 1 0 65619244 479875072 112638 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 117157 112638 3296 3139 0 113445 0
Current children cumulated CPU time: 640.48 s
Current children cumulated vsize: 468628 KiB
Current children cumulated memory: 450552 KiB
[startup+702.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 72342
/proc/meminfo: memFree=123676088/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=476788 memory=458360 CPUtime=700.3 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 138669 0 0 0 70003 27 0 0 20 0 1 0 65619244 488230912 114590 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 119197 114590 3296 3139 0 115485 0
Current children cumulated CPU time: 700.3 s
Current children cumulated vsize: 476788 KiB
Current children cumulated memory: 458360 KiB
[startup+762.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 72345
/proc/meminfo: memFree=123676644/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=476788 memory=458488 CPUtime=760.13 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 138703 0 0 0 75986 27 0 0 20 0 1 0 65619244 488230912 114622 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 119197 114622 3296 3139 0 115485 0
Current children cumulated CPU time: 760.13 s
Current children cumulated vsize: 476788 KiB
Current children cumulated memory: 458488 KiB
[startup+822.3 s]
/proc/loadavg: 4.27 4.15 4.10 5/264 72347
/proc/meminfo: memFree=123669188/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=476788 memory=458488 CPUtime=819.95 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 138714 0 0 0 81968 27 0 0 20 0 1 0 65619244 488230912 114622 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 119197 114622 3296 3139 0 115485 0
Current children cumulated CPU time: 819.95 s
Current children cumulated vsize: 476788 KiB
Current children cumulated memory: 458488 KiB
[startup+882.3 s]
/proc/loadavg: 4.25 4.18 4.11 5/264 72351
/proc/meminfo: memFree=123654580/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=483024 memory=463992 CPUtime=879.77 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 140100 0 0 0 87950 27 0 0 20 0 1 0 65619244 494616576 115998 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 120756 115998 3296 3139 0 117044 0
Current children cumulated CPU time: 879.77 s
Current children cumulated vsize: 483024 KiB
Current children cumulated memory: 463992 KiB
[startup+924.253 s]
# the end of solver process 72310 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=921.31 s, system=0.298327 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+896 s]*
/proc/loadavg: 4.27 4.18 4.12 5/264 72351
/proc/meminfo: memFree=123657412/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=483580 memory=464632 CPUtime=893.44 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 140270 0 0 0 89317 27 0 0 20 0 1 0 65619244 495185920 116158 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 120895 116158 3296 3139 0 117183 0
Current children cumulated CPU time: 893.44 s
Current children cumulated vsize: 483580 KiB
Current children cumulated memory: 464632 KiB
[startup+908.8 s]
/proc/loadavg: 4.22 4.18 4.11 5/264 72352
/proc/meminfo: memFree=123655700/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=483580 memory=464632 CPUtime=906.19 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 140274 0 0 0 90592 27 0 0 20 0 1 0 65619244 495185920 116158 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 120895 116158 3296 3139 0 117183 0
Current children cumulated CPU time: 906.19 s
Current children cumulated vsize: 483580 KiB
Current children cumulated memory: 464632 KiB
[startup+915.2 s]
/proc/loadavg: 4.19 4.17 4.11 5/263 72352
/proc/meminfo: memFree=123657296/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=483580 memory=464632 CPUtime=912.58 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 140274 0 0 0 91231 27 0 0 20 0 1 0 65619244 495185920 116158 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 120895 116158 3296 3139 0 117183 0
Current children cumulated CPU time: 912.58 s
Current children cumulated vsize: 483580 KiB
Current children cumulated memory: 464632 KiB
[startup+918.4 s]
/proc/loadavg: 4.19 4.17 4.11 5/263 72352
/proc/meminfo: memFree=123657548/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=483580 memory=464632 CPUtime=915.77 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 140274 0 0 0 91550 27 0 0 20 0 1 0 65619244 495185920 116158 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 120895 116158 3296 3139 0 117183 0
Current children cumulated CPU time: 915.77 s
Current children cumulated vsize: 483580 KiB
Current children cumulated memory: 464632 KiB
[startup+921.6 s]
/proc/loadavg: 4.17 4.17 4.11 5/263 72352
/proc/meminfo: memFree=123658052/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=483580 memory=464632 CPUtime=918.96 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 140274 0 0 0 91869 27 0 0 20 0 1 0 65619244 495185920 116158 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 120895 116158 3296 3139 0 117183 0
Current children cumulated CPU time: 918.96 s
Current children cumulated vsize: 483580 KiB
Current children cumulated memory: 464632 KiB
[startup+923.2 s]
/proc/loadavg: 4.17 4.17 4.11 5/263 72352
/proc/meminfo: memFree=123655908/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=483580 memory=464632 CPUtime=920.55 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 140274 0 0 0 92028 27 0 0 20 0 1 0 65619244 495185920 116158 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 120895 116158 3296 3139 0 117183 0
Current children cumulated CPU time: 920.55 s
Current children cumulated vsize: 483580 KiB
Current children cumulated memory: 464632 KiB
[startup+924 s]*
/proc/loadavg: 4.17 4.17 4.11 5/263 72352
/proc/meminfo: memFree=123647844/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=483740 memory=464888 CPUtime=921.37 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 140312 0 0 0 92109 28 0 0 20 0 1 0 65619244 495349760 116222 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 120935 116222 3296 3139 0 117223 0
Current children cumulated CPU time: 921.37 s
Current children cumulated vsize: 483740 KiB
Current children cumulated memory: 464888 KiB
[startup+924.2 s]
/proc/loadavg: 4.17 4.17 4.11 5/263 72352
/proc/meminfo: memFree=123647844/131249996 swapFree=33010416/33010684
[pid=72310] ppid=72307 vsize=483740 memory=464888 CPUtime=921.56 cores=1,3
/proc/72310/stat : 72310 (uwrmaxsat-scip) R 72307 72310 70227 0 -1 4194304 140312 0 0 0 92128 28 0 0 20 0 1 0 65619244 495349760 116222 18446744073709551615 4198400 17051741 140721742567904 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33583104 140721742571834 140721742572004 140721742572004 140721742577606 0
/proc/72310/statm: 120935 116222 3296 3139 0 117223 0
Current children cumulated CPU time: 921.56 s
Current children cumulated vsize: 483740 KiB
Current children cumulated memory: 464888 KiB
Child status: 30
Real time (s): 924.253
CPU time (s): 921.608
CPU user time (s): 921.31
CPU system time (s): 0.298327
CPU usage (%): 99.7139
Max. virtual memory (cumulated for all children) (KiB): 483740
Max. memory (cumulated for all children) (KiB): 464888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 921.31
system time used= 0.298327
maximum resident set size= 464888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140312
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= 3
involuntary context switches= 690
# summary of solver processes directly reported to runsolver:
# pid: 72310
# total CPU time (s): 921.608
# total CPU user time (s): 921.31
# total CPU system time (s): 0.298327
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.72686 second user time and 4.17541 second system time
The end
Begin job on nodeC022 at 2025-07-03 01:36:55 IDJOB=4508888 IDBENCH=158516 IDSOLVER=3373 FILE ID=nodeC022/4508888-1751499415 RUNJOBID= nodeC022-1751491800-70239 SLURM_JOB_ID= 9598557 Free space on /tmp= 432312 MiB SOLVER NAME= UWrMaxSat-SCIP 2025-06-04 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament26.lin.opb COMMAND LINE= HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508888-1751499415/watcher-4508888-1751499415 -o /tmp/evaluation-result-4508888-1751499415/solver-4508888-1751499415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751491800-70239 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4508888-1751499415.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 21e597bc04bc5fa012b59bdeb9fb9987 RANDOM SEED=101362293 nodeC022 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 : 0xb00002a cpu MHz : 3599.717 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3675.692 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3595.581 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.708 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.810 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.686 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3583.637 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3604.486 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 127101244 kB MemAvailable: 127462120 kB Buffers: 2128 kB Cached: 1145024 kB SwapCached: 32 kB Active: 2825568 kB Inactive: 602696 kB Active(anon): 2294964 kB Inactive(anon): 4176 kB Active(file): 530604 kB Inactive(file): 598520 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16640 kB Writeback: 0 kB AnonPages: 2284156 kB Mapped: 138532 kB Shmem: 18028 kB KReclaimable: 141584 kB Slab: 231844 kB SReclaimable: 141584 kB SUnreclaim: 90260 kB KernelStack: 4256 kB PageTables: 7516 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 2657324 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 638976 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432296 MiB End job on nodeC022 at 2025-07-03 01:52:19