Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSATDisjCom-S 2025-06-01 | SAT (TO) | -538 | 3600.05 | 3611.91 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_47.opb |
| MD5SUM | 84fd44c84eee80e386362762f3a8050d |
| 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 | -540 |
| Best CPU time to get the best result obtained on this benchmark | 36.5516 |
| 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 | 1081 |
| Total number of constraints | 64860 |
| Number of constraints which are clauses | 64860 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 883 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 883 |
| 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 | 883 |
| 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.82/0.95 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.82/0.95 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.82/0.95 o 0 0.82/0.95 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.92/1.05 c Starting SCIP solver (with time-limit = 1800s) ... 1795.49/1801.05 c SCIP timeout with lower and upper bounds: [-582, -530] 1795.49/1801.05 o -530 1795.49/1801.05 c Restarting SCIP solver (with time-limit = 2400s) ... 2393.33/2401.05 c SCIP timeout with lower and upper bounds: [-576, -530] 2393.33/2401.05 c Restarting SCIP solver (with time-limit = 3000s) ... 2991.24/3001.06 c SCIP timeout with lower and upper bounds: [-576, -538] 2991.24/3001.06 o -538 2991.24/3001.06 c Restarting SCIP solver (with time-limit = 3600s) ... 3589.18/3601.05 c SCIP timeout with lower and upper bounds: [-575, -538] 3600.03/3611.90 3600.03/3611.90 v -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 x21 x22 x23 x24 x25 x26 -x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 x67 x68 x69 x70 x71 -x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 x111 x112 x113 x114 x115 -x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 x153 x154 x155 x156 x157 x158 -x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 x195 x196 x197 x198 x199 x200 -x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 x236 x237 x238 x239 x240 x241 -x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 x276 x277 x278 x279 x280 x281 -x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 x315 x316 x317 x318 x319 x320 -x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 x353 x354 x355 x356 x357 x358 -x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 x390 x391 x392 x393 x394 x395 -x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x425 x426 x427 x428 x429 x430 x431 -x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x460 x461 x462 x463 x464 x465 x466 -x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x494 x495 x496 x497 x498 x499 x500 -x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x527 x528 x529 x530 x531 x532 x533 -x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x559 x560 x561 x562 x563 x564 x565 -x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x590 x591 x592 x593 x594 x595 x596 -x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x620 x621 x622 x623 x624 x625 x626 -x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x649 x650 x651 x652 x653 x654 x655 -x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x677 x678 x679 x680 x681 x682 x683 -x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 x707 x708 x709 x710 -x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 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 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1 -x47 -x2 -x48 -x3 -x49 -x4 -x50 -x5 -x51 -x6 -x52 -x7 -x53 -x8 -x54 -x9 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x136 -x137 -x138 -x139 -x140 -x141 -x179 -x180 -x181 -x182 -x183 -x221 -x222 -x223 -x224 -x262 -x263 -x264 -x302 -x303 -x341 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x521 -x522 -x523 -x524 -x525 -x526 -x554 -x555 -x556 -x557 -x558 -x586 -x587 -x588 -x589 -x617 -x618 -x619 -x647 -x648 -x676 -x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x782 -x783 -x784 -x785 x786 -x787 -x806 -x807 -x808 x809 -x810 -x829 -x830 x831 -x832 -x851 x852 -x853 x872 -x873 x892 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x962 -x963 -x964 -x965 -x966 -x967 -x977 -x978 -x979 -x980 -x981 -x991 -x992 -x993 -x994 -x1004 -x1005 -x1006 -x1016 -x1017 -x1027 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 3600.03/3611.90 s SATISFIABLE
OK -538
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 (62920 MiB free)
memory of node 1: 64507 MiB (63380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520916-1751568653/watcher-4520916-1751568653 -o /tmp/evaluation-result-4520916-1751568653/solver-4520916-1751568653 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751566511-80446 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4520916-1751568653.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=81100, runsolver pid=81097
[startup+0.100067 s]*
/proc/loadavg: 4.15 4.10 3.91 5/251 81101
/proc/meminfo: memFree=129332724/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=27924 memory=9600 CPUtime=0.09 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 1773 0 0 0 9 0 0 0 20 0 1 0 72545050 28594176 2400 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 6981 2400 736 2416 0 4083 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27924 KiB
Current children cumulated memory: 9600 KiB
[startup+0.213094 s]*
/proc/loadavg: 4.15 4.10 3.91 5/251 81101
/proc/meminfo: memFree=129332724/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=33900 memory=15360 CPUtime=0.19 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 3239 0 0 0 19 0 0 0 20 0 1 0 72545050 34713600 3840 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 8475 3840 736 2416 0 5577 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 33900 KiB
Current children cumulated memory: 15360 KiB
[startup+0.312948 s]*
/proc/loadavg: 4.15 4.10 3.91 5/251 81101
/proc/meminfo: memFree=129331968/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=38900 memory=20352 CPUtime=0.27 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 4481 0 0 0 27 0 0 0 20 0 1 0 72545050 39833600 5088 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 9725 5088 736 2416 0 6827 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 38900 KiB
Current children cumulated memory: 20352 KiB
[startup+0.700188 s]
/proc/loadavg: 4.15 4.10 3.91 5/251 81101
/proc/meminfo: memFree=129316848/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=61824 memory=43392 CPUtime=0.63 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 10224 0 0 0 60 3 0 0 20 0 1 0 72545050 63307776 10848 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 15456 10848 736 2416 0 12558 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 61824 KiB
Current children cumulated memory: 43392 KiB
[startup+1.5002 s]
/proc/loadavg: 4.15 4.10 3.91 5/251 81101
/proc/meminfo: memFree=129267960/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=209380 memory=198944 CPUtime=1.41 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 48340 0 0 0 129 12 0 0 20 0 1 0 72545050 214405120 49736 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 52345 49736 2336 2416 0 49447 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 209380 KiB
Current children cumulated memory: 198944 KiB
[startup+3.10567 s]
/proc/loadavg: 4.15 4.10 3.91 5/251 81101
/proc/meminfo: memFree=128922356/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=466236 memory=426596 CPUtime=3 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 69434 0 0 0 281 19 0 0 20 0 1 0 72545050 477425664 106649 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 116559 106649 2464 2416 0 113661 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 466236 KiB
Current children cumulated memory: 426596 KiB
[startup+6.30011 s]
/proc/loadavg: 4.14 4.10 3.91 6/251 81102
/proc/meminfo: memFree=128923200/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=466236 memory=426852 CPUtime=6.16 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 69503 0 0 0 597 19 0 0 20 0 1 0 72545050 477425664 106713 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 116559 106713 2464 2416 0 113661 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 466236 KiB
Current children cumulated memory: 426852 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.09 3.91 5/251 81102
/proc/meminfo: memFree=128923704/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=467808 memory=428516 CPUtime=12.54 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 69962 0 0 0 1234 20 0 0 20 0 1 0 72545050 479035392 107129 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 116952 107129 2464 2416 0 114054 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 467808 KiB
Current children cumulated memory: 428516 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.09 3.91 5/251 81102
/proc/meminfo: memFree=128727204/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=714588 memory=610380 CPUtime=25.3 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 114386 0 0 0 2504 26 0 0 20 0 1 0 72545050 731738112 152595 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 178647 152595 2496 2416 0 175749 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 714588 KiB
Current children cumulated memory: 610380 KiB
[startup+51.1126 s]
/proc/loadavg: 4.12 4.10 3.92 5/251 81102
/proc/meminfo: memFree=128637752/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=733764 memory=629948 CPUtime=50.85 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 131451 0 0 0 5055 30 0 0 20 0 1 0 72545050 751374336 157487 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 183441 157487 2496 2416 0 180543 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 733764 KiB
Current children cumulated memory: 629948 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 3.93 5/252 81105
/proc/meminfo: memFree=128610940/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=733764 memory=629948 CPUtime=101.89 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 131486 0 0 0 10159 30 0 0 20 0 1 0 72545050 751374336 157487 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 183441 157487 2496 2416 0 180543 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 733764 KiB
Current children cumulated memory: 629948 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 3.94 5/252 81107
/proc/meminfo: memFree=128608176/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=733764 memory=629948 CPUtime=161.73 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 131492 0 0 0 16143 30 0 0 20 0 1 0 72545050 751374336 157487 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 183441 157487 2496 2416 0 180543 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 733764 KiB
Current children cumulated memory: 629948 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 3.96 5/252 81109
/proc/meminfo: memFree=128598332/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=733764 memory=630204 CPUtime=221.56 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 131840 0 0 0 22126 30 0 0 20 0 1 0 72545050 751374336 157551 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 183441 157551 2496 2416 0 180543 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 733764 KiB
Current children cumulated memory: 630204 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 3.97 5/252 81155
/proc/meminfo: memFree=126479732/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=733764 memory=631612 CPUtime=281.38 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 131851 0 0 0 28107 31 0 0 20 0 1 0 72545050 751374336 157903 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 183441 157903 2496 2416 0 180543 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 733764 KiB
Current children cumulated memory: 631612 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.10 3.99 5/251 81157
/proc/meminfo: memFree=126476308/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=736472 memory=633276 CPUtime=341.19 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 132385 0 0 0 34088 31 0 0 20 0 1 0 72545050 754147328 158319 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 184118 158319 2496 2416 0 181220 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 736472 KiB
Current children cumulated memory: 633276 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.00 5/250 81159
/proc/meminfo: memFree=126495228/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=753016 memory=657724 CPUtime=401 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 136214 0 0 0 40069 31 0 0 20 0 1 0 72545050 771088384 164431 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 188254 164431 2496 2416 0 185356 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 753016 KiB
Current children cumulated memory: 657724 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.08 4.00 5/250 81161
/proc/meminfo: memFree=126456472/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=753016 memory=670268 CPUtime=460.83 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 136249 0 0 0 46052 31 0 0 20 0 1 0 72545050 771088384 167567 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 188254 167567 2496 2416 0 185356 0
Current children cumulated CPU time: 460.83 s
################
# More data... #
################
Current children cumulated memory: 884668 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/250 81382
/proc/meminfo: memFree=125309376/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=975696 memory=889020 CPUtime=2912.79 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 193198 0 0 0 291237 42 0 0 20 0 1 0 72545050 999112704 222255 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 243924 222255 2496 2416 0 241026 0
Current children cumulated CPU time: 2912.79 s
Current children cumulated vsize: 975696 KiB
Current children cumulated memory: 889020 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/251 81385
/proc/meminfo: memFree=125282812/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=991844 memory=905276 CPUtime=2972.59 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 197477 0 0 0 297216 43 0 0 20 0 1 0 72545050 1015648256 226319 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 247961 226319 2496 2416 0 245063 0
Current children cumulated CPU time: 2972.59 s
Current children cumulated vsize: 991844 KiB
Current children cumulated memory: 905276 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/252 81392
/proc/meminfo: memFree=125281132/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=993864 memory=906556 CPUtime=3032.39 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 197794 0 0 0 303196 43 0 0 20 0 1 0 72545050 1017716736 226639 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 248466 226639 2496 2416 0 245568 0
Current children cumulated CPU time: 3032.39 s
Current children cumulated vsize: 993864 KiB
Current children cumulated memory: 906556 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/252 81396
/proc/meminfo: memFree=125288216/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=995908 memory=909756 CPUtime=3092.18 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 198802 0 0 0 309175 43 0 0 20 0 1 0 72545050 1019809792 227439 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 248977 227439 2496 2416 0 246079 0
Current children cumulated CPU time: 3092.18 s
Current children cumulated vsize: 995908 KiB
Current children cumulated memory: 909756 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 81398
/proc/meminfo: memFree=125283036/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=996944 memory=910780 CPUtime=3151.98 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 199064 0 0 0 315154 44 0 0 20 0 1 0 72545050 1020870656 227695 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 249236 227695 2496 2416 0 246338 0
Current children cumulated CPU time: 3151.98 s
Current children cumulated vsize: 996944 KiB
Current children cumulated memory: 910780 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 81400
/proc/meminfo: memFree=125286728/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=996944 memory=910908 CPUtime=3211.77 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 199265 0 0 0 321133 44 0 0 20 0 1 0 72545050 1020870656 227727 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 249236 227727 2496 2416 0 246338 0
Current children cumulated CPU time: 3211.77 s
Current children cumulated vsize: 996944 KiB
Current children cumulated memory: 910908 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 81402
/proc/meminfo: memFree=125274832/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=997964 memory=911932 CPUtime=3271.56 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 199549 0 0 0 327112 44 0 0 20 0 1 0 72545050 1021915136 227983 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 249491 227983 2496 2416 0 246593 0
Current children cumulated CPU time: 3271.56 s
Current children cumulated vsize: 997964 KiB
Current children cumulated memory: 911932 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 81404
/proc/meminfo: memFree=125256092/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=997964 memory=911932 CPUtime=3331.36 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 199735 0 0 0 333092 44 0 0 20 0 1 0 72545050 1021915136 227983 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 249491 227983 2496 2416 0 246593 0
Current children cumulated CPU time: 3331.36 s
Current children cumulated vsize: 997964 KiB
Current children cumulated memory: 911932 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/250 81406
/proc/meminfo: memFree=125259040/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=997964 memory=911932 CPUtime=3391.15 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 199766 0 0 0 339071 44 0 0 20 0 1 0 72545050 1021915136 227983 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 249491 227983 2496 2416 0 246593 0
Current children cumulated CPU time: 3391.15 s
Current children cumulated vsize: 997964 KiB
Current children cumulated memory: 911932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 81452
/proc/meminfo: memFree=124408716/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=997964 memory=912188 CPUtime=3450.95 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 199978 0 0 0 345051 44 0 0 20 0 1 0 72545050 1021915136 228047 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 249491 228047 2496 2416 0 246593 0
Current children cumulated CPU time: 3450.95 s
Current children cumulated vsize: 997964 KiB
Current children cumulated memory: 912188 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 81454
/proc/meminfo: memFree=124408872/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=1001036 memory=915260 CPUtime=3510.74 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 200776 0 0 0 351030 44 0 0 20 0 1 0 72545050 1025060864 228815 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 250259 228815 2496 2416 0 247361 0
Current children cumulated CPU time: 3510.74 s
Current children cumulated vsize: 1001036 KiB
Current children cumulated memory: 915260 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 81456
/proc/meminfo: memFree=124406032/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=1003080 memory=917308 CPUtime=3570.53 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 201460 0 0 0 357009 44 0 0 20 0 1 0 72545050 1027153920 229327 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 250770 229327 2496 2416 0 247872 0
Current children cumulated CPU time: 3570.53 s
Current children cumulated vsize: 1003080 KiB
Current children cumulated memory: 917308 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.14 4.09 4.09 5/250 81457
/proc/meminfo: memFree=124641476/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=733284 memory=680128 CPUtime=3600.03 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 202589 0 0 0 359957 46 0 0 20 0 1 0 72545050 750882816 170032 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 183321 170032 2496 2416 0 180423 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 733284 KiB
Current children cumulated memory: 680128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.91 s]
# the end of solver process 81100 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.58 s, system=0.475281 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 4.14 4.09 4.09 5/250 81457
/proc/meminfo: memFree=124641476/131382112 swapFree=33010416/33010684
[pid=81100] ppid=81097 vsize=733284 memory=680128 CPUtime=3600.03 cores=4,6
/proc/81100/stat : 81100 (CASHWMaxSAT-Dis) R 81097 81100 80435 0 -1 4194304 202589 0 0 0 359957 46 0 0 20 0 1 0 72545050 750882816 170032 18446744073709551615 4198400 14093885 140737460034352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 48971776 140737460037994 140737460038109 140737460038109 140737460043711 0
/proc/81100/statm: 183321 170032 2496 2416 0 180423 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 733284 KiB
Current children cumulated memory: 680128 KiB
Child status: 10
Real time (s): 3611.91
CPU time (s): 3600.05
CPU user time (s): 3599.58
CPU system time (s): 0.475281
CPU usage (%): 99.6717
Max. virtual memory (cumulated for all children) (KiB): 1003080
Max. memory (cumulated for all children) (KiB): 917308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.58
system time used= 0.475281
maximum resident set size= 917308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202591
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= 31
involuntary context switches= 1661
# summary of solver processes directly reported to runsolver:
# pid: 81100
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.58
# total CPU system time (s): 0.475281
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7174 second user time and 34.4022 second system time
The end
Begin job on nodeC012 at 2025-07-03 20:50:53 IDJOB=4520916 IDBENCH=178158 IDSOLVER=3323 FILE ID=nodeC012/4520916-1751568653 RUNJOBID= nodeC012-1751566511-80446 SLURM_JOB_ID= 9598779 Free space on /tmp= 431824 MiB SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/normalized-maxcut_opt_complete_5-partite_block_nvert_47.opb COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520916-1751568653/watcher-4520916-1751568653 -o /tmp/evaluation-result-4520916-1751568653/solver-4520916-1751568653 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751566511-80446 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4520916-1751568653.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 84fd44c84eee80e386362762f3a8050d RANDOM SEED=2033288215 nodeC012 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 : 3660.669 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.39 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 : 3662.395 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.39 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.236 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.39 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 : 3700.000 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.39 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 : 3700.000 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.39 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.434 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.39 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.158 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.39 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.956 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.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 129333168 kB MemAvailable: 129563348 kB Buffers: 2136 kB Cached: 1030672 kB SwapCached: 16 kB Active: 1036400 kB Inactive: 412492 kB Active(anon): 427032 kB Inactive(anon): 6996 kB Active(file): 609368 kB Inactive(file): 405496 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 14844 kB Writeback: 0 kB AnonPages: 419140 kB Mapped: 133720 kB Shmem: 17944 kB KReclaimable: 109500 kB Slab: 194932 kB SReclaimable: 109500 kB SUnreclaim: 85432 kB KernelStack: 4048 kB PageTables: 3860 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 779404 kB VmallocTotal: 34359738367 kB VmallocUsed: 149336 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 172032 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431776 MiB End job on nodeC012 at 2025-07-03 21:51:06