Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| UWrMaxSat 2025-06-04 | SAT (TO) | -590 | 3600.02 | 3609.4 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb |
| MD5SUM | 68c73bc206439bbe0d5a467b2a25edac |
| 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 | -600 |
| Best CPU time to get the best result obtained on this benchmark | 87.3964 |
| 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 | 1225 |
| Total number of constraints | 78400 |
| Number of constraints which are clauses | 78400 |
| 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 | 1000 |
| 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 | 1000 |
| 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 | 1000 |
| 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.30/0.36 c Converting 78400 PB-constraints to clauses... 0.30/0.40 o 0 0.40/0.41 c ============================[ Problem Statistics ]============================ 0.40/0.41 c | Number of variables: 1225 | 0.40/0.41 c | Number of clauses: 78400 | 0.40/0.41 c =============================================================================== 1629.00/1633.62 c Switching to binary search ... (after 1628.78 s and 6497577 conflicts) with 1000 goal literals and 0 assumptions 1629.00/1633.68 o -584 1639.87/1644.53 o -590 3600.00/3609.40 c *** TERMINATED by signal 15 *** 3600.00/3609.40 c _______________________________________________________________________________ 3600.00/3609.40 c 3600.00/3609.40 c _______________________________________________________________________________ 3600.00/3609.40 c 3600.00/3609.40 c =======================[ UWrMaxSat resources usage ]=========================== 3600.00/3609.40 c Memory used : 313.00 MB 3600.00/3609.40 c CPU time : 3599.19 s 3600.00/3609.40 c OptExp Enc: Srt/BDD/Add: 1057 0 0 3600.00/3609.40 c _______________________________________________________________________________ 3600.00/3609.40 c _______________________________________________________________________________ 3600.00/3609.40 3600.00/3609.40 v x1 x6 x11 -x16 -x21 -x26 -x31 -x36 x41 x46 -x2 -x7 -x12 -x17 -x22 -x27 -x32 -x37 -x42 -x47 x3 x8 x13 -x18 x23 x28 x33 x38 x43 x48 x4 x9 x14 x19 x24 x29 x34 x39 x44 x49 x53 x58 x63 x68 x73 x78 x83 x88 x93 x50 x55 x60 x65 x70 x75 x80 x85 x90 x95 -x51 -x56 -x61 x66 -x71 -x76 -x81 -x86 -x91 -x96 -x52 -x57 -x62 -x67 -x72 -x77 -x82 -x87 -x92 -x97 -x100 -x105 -x110 -x115 -x120 -x125 -x130 -x135 -x140 x101 x106 -x111 -x116 -x121 -x126 -x131 x136 x141 x98 x103 x108 -x113 x118 x123 x128 x133 x138 x143 x99 x104 x109 x114 x119 x124 x129 x134 x139 x144 x146 x151 x156 x161 x166 x171 x176 x181 x186 -x147 -x152 x157 x162 x167 x172 x177 -x182 -x187 x148 x153 x158 x163 x168 x173 x178 x183 x188 -x145 -x150 -x155 -x160 -x165 -x170 -x175 -x180 -x185 -x190 x191 x196 x201 x206 x211 x216 x221 x226 x231 -x192 -x197 x202 x207 x212 x217 x222 -x227 -x232 x193 x198 x203 x208 x213 x218 x223 x228 x233 -x194 -x199 x204 -x209 -x214 -x219 -x224 -x229 -x234 x236 x241 -x246 -x251 -x256 -x261 -x266 x271 x276 -x237 -x242 -x247 -x252 -x257 -x262 -x267 -x272 -x277 x238 x243 -x248 x253 x258 x263 x268 x273 x278 x239 x244 x249 x254 x259 x264 x269 x274 x279 x283 x288 x293 x298 x303 x308 x313 x318 x280 x285 x290 x295 x300 x305 x310 x315 x320 -x281 -x286 x291 -x296 -x301 -x306 -x311 -x316 -x321 -x282 -x287 -x292 -x297 -x302 -x307 -x312 -x317 -x322 -x325 -x330 -x335 -x340 -x345 -x350 -x355 -x360 x326 -x331 -x336 -x341 -x346 -x351 x356 x361 x323 x328 -x333 x338 x343 x348 x353 x358 x363 x324 x329 x334 x339 x344 x349 x354 x359 x364 x366 x371 x376 x381 x386 x391 x396 x401 -x367 x372 x377 x382 x387 x392 -x397 -x402 x368 x373 x378 x383 x388 x393 x398 x403 -x365 -x370 -x375 -x380 -x385 -x390 -x395 -x400 -x405 x406 x411 x416 x421 x426 x431 x436 x441 -x407 x412 x417 x422 x427 x432 -x437 -x442 x408 x413 x418 x423 x428 x433 x438 x443 -x409 x414 -x419 -x424 -x429 -x434 -x439 -x444 x446 -x451 -x456 -x461 -x466 -x471 x476 x481 -x447 -x452 -x457 -x462 -x467 -x472 -x477 -x482 x448 -x453 x458 x463 x468 x473 x478 x483 x449 x454 x459 x464 x469 x474 x479 x484 x488 x493 x498 x503 x508 x513 x518 x485 x490 x495 x500 x505 x510 x515 x520 -x486 x491 -x496 -x501 -x506 -x511 -x516 -x521 -x487 -x492 -x497 -x502 -x507 -x512 -x517 -x522 -x525 -x530 -x535 -x540 -x545 -x550 -x555 -x526 -x531 -x536 -x541 -x546 x551 x556 x523 -x528 x533 x538 x543 x548 x553 x558 x524 x529 x534 x539 x544 x549 x554 x559 x561 x566 x571 x576 x581 x586 x591 x562 x567 x572 x577 x582 -x587 -x592 x563 x568 x573 x578 x583 x588 x593 -x560 -x565 -x570 -x575 -x580 -x585 -x590 -x595 x596 x601 x606 x611 x616 x621 x626 x597 x602 x607 x612 x617 -x622 -x627 x598 x603 x608 x613 x618 x623 x628 x599 -x604 -x609 -x614 -x619 -x624 -x629 -x631 -x636 -x641 -x646 -x651 x656 x661 -x632 -x637 -x642 -x647 -x652 -x657 -x662 -x633 x638 x643 x648 x653 x658 x663 x634 x639 x644 x649 x654 x659 x664 -x668 -x673 -x678 -x683 -x688 -x693 -x665 -x670 -x675 -x680 -x685 -x690 -x695 -x666 x671 x676 x681 x686 x691 x696 x667 x672 x677 x682 x687 x692 x697 -x700 -x705 -x710 -x715 -x720 -x725 -x701 -x706 -x711 -x716 x721 x726 -x698 x703 x708 x713 x718 x723 x728 x699 x704 x709 x714 x719 x724 x729 -x731 -x736 -x741 -x746 -x751 -x756 -x732 -x737 -x742 -x747 x752 x757 -x733 -x738 -x743 -x748 -x753 -x758 x730 x735 x740 x745 x750 x755 x760 x761 x766 x771 x776 x781 x786 x762 x767 x772 x777 -x782 -x787 x763 x768 x773 x778 x783 x788 -x764 -x769 -x774 -x779 -x784 -x789 -x791 -x796 -x801 -x806 x811 x816 -x792 -x797 -x802 -x807 -x812 -x817 x793 x798 x803 x808 x813 x818 x794 x799 x804 x809 x814 x819 -x823 -x828 -x833 -x838 -x843 -x820 -x825 -x830 -x835 -x840 -x845 x821 x826 x831 x836 x841 x846 x822 x827 x832 x837 x842 x847 -x850 -x855 -x860 -x865 -x870 -x851 -x856 -x861 x866 x871 x848 x853 x858 x863 x868 x873 x849 x854 x859 x864 x869 x874 x876 x881 x886 x891 x896 x877 x882 x887 -x892 -x897 x878 x883 x888 x893 x898 -x875 -x880 -x885 -x890 -x895 -x900 x901 x906 x911 x916 x921 x902 x907 x912 -x917 -x922 x903 x908 x913 x918 x923 -x904 -x909 -x914 -x919 -x924 -x926 -x931 -x936 x941 x946 -x927 -x932 -x937 -x942 -x947 x928 x933 x938 x943 x948 x929 x934 x939 x944 x949 -x953 -x958 -x963 -x968 -x950 -x955 -x960 -x965 -x970 x951 x956 x961 x966 x971 x952 x957 x962 x967 x972 -x975 -x980 -x985 -x990 -x976 -x981 x986 x991 x973 x978 x983 x988 x993 x974 x979 x984 x989 x994 x996 x1001 x1006 x1011 x997 x1002 -x1007 -x1012 x998 x1003 x1008 x1013 -x995 -x1000 -x1005 -x1010 -x1015 x1016 x1021 x1026 x1031 x1017 x1022 -x1027 -x1032 x1018 x1023 x1028 x1033 -x1019 -x1024 -x1029 -x1034 -x1036 -x1041 x1046 x1051 -x1037 -x1042 -x1047 -x1052 x1038 x1043 x1048 x1053 x1039 x1044 x1049 x1054 -x1058 -x1063 -x1068 -x1055 -x1060 -x1065 -x1070 x1056 x1061 x1066 x1071 x1057 x1062 x1067 x1072 -x1075 -x1080 -x1085 -x1076 x1081 x1086 x1073 x1078 x1083 x1088 x1074 x1079 x1084 x1089 x1091 x1096 x1101 x1092 -x1097 -x1102 x1093 x1098 x1103 -x1090 -x1095 -x1100 -x1105 x1106 x1111 x1116 x1107 -x1112 -x1117 x1108 x1113 x1118 -x1109 -x1114 -x1119 -x1121 x1126 x1131 -x1122 -x1127 -x1132 x1123 x1128 x1133 x1124 x1129 x1134 -x1138 -x1143 -x1135 -x1140 -x1145 x1136 x1141 x1146 x1137 x1142 x1147 -x1150 -x1155 x1151 x1156 x1148 x1153 x1158 x1149 x1154 x1159 x1161 x1166 -x1162 -x1167 x1163 x1168 -x1160 -x1165 -x1170 x1171 x1176 -x1172 -x1177 x1173 x1178 -x1174 -x1179 x1181 x1186 -x1182 -x1187 x1183 x1188 x1184 x1189 x1193 x1190 x1195 -x1191 -x1196 -x1192 -x1197 -x1200 x1201 x1198 x1203 x1199 x1204 x1206 -x1207 x1208 -x1205 -x1210 x1211 -x1212 x1213 -x1214 x1216 -x1217 x1218 x1219 x1220 -x1221 -x1222 x1223 x1224 -x1225 -x5 -x54 -x10 -x59 -x15 x64 -x20 x69 -x25 x74 -x30 x79 -x35 x84 -x40 -x89 -x45 -x94 -x102 -x107 -x112 -x117 -x122 -x127 -x132 -x137 -x142 -x149 -x154 x159 -x164 -x169 -x174 -x179 -x184 -x189 -x195 -x200 -x205 -x210 -x215 -x220 -x225 -x230 -x235 -x240 -x245 -x250 -x255 -x260 -x265 -x270 -x275 -x284 x289 x294 x299 x304 x309 -x314 -x319 -x327 -x332 -x337 -x342 -x347 -x352 -x357 -x362 -x369 x374 -x379 -x384 -x389 -x394 -x399 -x404 -x410 -x415 -x420 -x425 -x430 -x435 -x440 -x445 -x450 -x455 -x460 -x465 -x470 -x475 -x480 x489 x494 x499 x504 x509 -x514 -x519 -x527 -x532 -x537 -x542 -x547 -x552 -x557 x564 -x569 -x574 -x579 -x584 -x589 -x594 -x600 -x605 -x610 -x615 -x620 -x625 -x630 -x635 -x640 -x645 -x650 -x655 -x660 -x669 -x674 -x679 -x684 x689 x694 -x702 -x707 -x712 -x717 -x722 -x727 x734 x739 x744 x749 x754 x759 -x765 -x770 -x775 -x780 -x785 -x790 -x795 -x800 -x805 -x810 -x815 -x824 -x829 -x834 x839 x844 -x852 -x857 -x862 -x867 -x872 -x879 -x884 -x889 -x894 -x899 -x905 -x910 -x915 -x920 -x925 -x930 -x935 -x940 -x945 -x954 -x959 x964 x969 -x977 -x982 -x987 -x992 -x999 -x1004 -x1009 -x1014 -x1020 -x1025 -x1030 -x1035 -x1040 -x1045 -x1050 -x1059 x1064 x1069 -x1077 -x1082 -x1087 -x1094 -x1099 -x1104 -x1110 -x1115 -x1120 -x1125 -x1130 x1139 x1144 -x1152 -x1157 -x1164 -x1169 -x1175 -x1180 -x1185 -x1194 -x1202 -x1209 -x1215 3600.00/3609.40 s SATISFIABLE
OK -590
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: 63708 MiB (60935 MiB free)
memory of node 1: 64465 MiB (62901 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521277-1751574509/watcher-4521277-1751574509 -o /tmp/evaluation-result-4521277-1751574509/solver-4521277-1751574509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751565131-76802 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4521277-1751574509.opb -mem-lim=31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=78618, runsolver pid=78615
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.04 4.09 4.08 5/263 78619
/proc/meminfo: memFree=126785100/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=21500 memory=20608 CPUtime=0.1 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 4789 0 0 0 9 1 0 0 20 0 1 0 73128398 22016000 5152 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 5375 5152 448 484 0 4786 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21500 KiB
Current children cumulated memory: 20608 KiB
[startup+0.20563 s]*
/proc/loadavg: 4.04 4.09 4.08 5/263 78619
/proc/meminfo: memFree=126768972/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=39436 memory=38272 CPUtime=0.2 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 9232 0 0 0 19 1 0 0 20 0 1 0 73128398 40382464 9568 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 9859 9568 448 484 0 9270 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39436 KiB
Current children cumulated memory: 38272 KiB
[startup+0.305542 s]*
/proc/loadavg: 4.04 4.09 4.08 5/263 78619
/proc/meminfo: memFree=126752844/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=56356 memory=55168 CPUtime=0.3 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 13443 0 0 0 28 2 0 0 20 0 1 0 73128398 57708544 13792 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 14089 13792 448 484 0 13500 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 56356 KiB
Current children cumulated memory: 55168 KiB
[startup+0.700186 s]
/proc/loadavg: 4.04 4.09 4.08 5/263 78619
/proc/meminfo: memFree=126738480/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=74384 memory=73080 CPUtime=0.69 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 18301 0 0 0 66 3 0 0 20 0 1 0 73128398 76169216 18270 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 18596 18270 512 484 0 18007 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 74384 KiB
Current children cumulated memory: 73080 KiB
[startup+1.50018 s]
/proc/loadavg: 4.04 4.09 4.08 5/263 78620
/proc/meminfo: memFree=126729660/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=78716 memory=77532 CPUtime=1.49 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 20655 0 0 0 145 4 0 0 20 0 1 0 73128398 80605184 19383 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 19679 19383 544 484 0 19090 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 78716 KiB
Current children cumulated memory: 77532 KiB
[startup+3.10549 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 78620
/proc/meminfo: memFree=126729912/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=84180 memory=83468 CPUtime=3.09 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 24852 0 0 0 304 5 0 0 20 0 1 0 73128398 86200320 20867 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 21045 20867 544 484 0 20456 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 84180 KiB
Current children cumulated memory: 83468 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 78620
/proc/meminfo: memFree=126726132/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=81620 memory=80972 CPUtime=6.27 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 26873 0 0 0 622 5 0 0 20 0 1 0 73128398 83578880 20243 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 20405 20243 544 484 0 19816 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 81620 KiB
Current children cumulated memory: 80972 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 78620
/proc/meminfo: memFree=126724368/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=90740 memory=90092 CPUtime=12.65 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 31079 0 0 0 1259 6 0 0 20 0 1 0 73128398 92917760 22523 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 22685 22523 544 484 0 22096 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 90740 KiB
Current children cumulated memory: 90092 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 78623
/proc/meminfo: memFree=126749012/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=92704 memory=92056 CPUtime=25.42 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 35569 0 0 0 2534 8 0 0 20 0 1 0 73128398 94928896 23014 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 23176 23014 544 484 0 22587 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 92704 KiB
Current children cumulated memory: 92056 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 78624
/proc/meminfo: memFree=126720968/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=100604 memory=99908 CPUtime=50.95 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 38776 0 0 0 5086 9 0 0 20 0 1 0 73128398 103018496 24977 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 25151 24977 544 484 0 24562 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 100604 KiB
Current children cumulated memory: 99908 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/267 78631
/proc/meminfo: memFree=126730956/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=95888 memory=95356 CPUtime=101.99 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 42606 0 0 0 10189 10 0 0 20 0 1 0 73128398 98189312 23839 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 23972 23839 544 484 0 23383 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 95888 KiB
Current children cumulated memory: 95356 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 78636
/proc/meminfo: memFree=126730136/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=110316 memory=109636 CPUtime=161.82 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 46214 0 0 0 16170 12 0 0 20 0 1 0 73128398 112963584 27409 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 27579 27409 544 484 0 26990 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 110316 KiB
Current children cumulated memory: 109636 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 78638
/proc/meminfo: memFree=126664880/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=94332 memory=93616 CPUtime=221.64 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 48581 0 0 0 22151 13 0 0 20 0 1 0 73128398 96595968 23404 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 23583 23404 544 484 0 22994 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 94332 KiB
Current children cumulated memory: 93616 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 78642
/proc/meminfo: memFree=126692332/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=110220 memory=109508 CPUtime=281.47 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 52071 0 0 0 28132 15 0 0 20 0 1 0 73128398 112865280 27377 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 27555 27377 544 484 0 26966 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 110220 KiB
Current children cumulated memory: 109508 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 78644
/proc/meminfo: memFree=126685760/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=100400 memory=99456 CPUtime=341.28 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 54869 0 0 0 34113 15 0 0 20 0 1 0 73128398 102809600 24864 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 25100 24864 544 484 0 24511 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 100400 KiB
Current children cumulated memory: 99456 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 78646
/proc/meminfo: memFree=126689468/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=90240 memory=89720 CPUtime=401.11 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 58246 0 0 0 40094 17 0 0 20 0 1 0 73128398 92405760 22430 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 22560 22430 544 484 0 21971 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 90240 KiB
Current children cumulated memory: 89720 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 78648
/proc/meminfo: memFree=126547460/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=117516 memory=116804 CPUtime=460.94 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 61867 0 0 0 46075 19 0 0 20 0 1 0 73128398 120336384 29201 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 29379 29201 544 484 0 28790 0
################
# More data... #
################
Current children cumulated memory: 236420 KiB
[startup+2862.3 s]
/proc/loadavg: 1.09 1.12 1.75 2/247 78870
/proc/meminfo: memFree=127835236/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=245612 memory=242912 CPUtime=2854.7 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 98027 0 0 0 285409 61 0 0 20 0 1 0 73128398 251506688 60728 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 61403 60728 544 484 0 60814 0
Current children cumulated CPU time: 2854.7 s
Current children cumulated vsize: 245612 KiB
Current children cumulated memory: 242912 KiB
[startup+2922.3 s]
/proc/loadavg: 1.08 1.11 1.70 2/247 78872
/proc/meminfo: memFree=127867836/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=231592 memory=230580 CPUtime=2914.55 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 99710 0 0 0 291391 64 0 0 20 0 1 0 73128398 237150208 57645 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 57898 57645 544 484 0 57309 0
Current children cumulated CPU time: 2914.55 s
Current children cumulated vsize: 231592 KiB
Current children cumulated memory: 230580 KiB
[startup+2982.3 s]
/proc/loadavg: 1.15 1.12 1.67 2/247 78874
/proc/meminfo: memFree=127829032/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=245744 memory=244844 CPUtime=2974.41 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 101068 0 0 0 297375 66 0 0 20 0 1 0 73128398 251641856 61211 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 61436 61211 544 484 0 60847 0
Current children cumulated CPU time: 2974.41 s
Current children cumulated vsize: 245744 KiB
Current children cumulated memory: 244844 KiB
[startup+3042.3 s]
/proc/loadavg: 1.05 1.09 1.62 2/246 78876
/proc/meminfo: memFree=127892340/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=189492 memory=188592 CPUtime=3034.26 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 101608 0 0 0 303359 67 0 0 20 0 1 0 73128398 194039808 47148 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 47373 47148 544 484 0 46784 0
Current children cumulated CPU time: 3034.26 s
Current children cumulated vsize: 189492 KiB
Current children cumulated memory: 188592 KiB
[startup+3102.3 s]
/proc/loadavg: 1.06 1.09 1.59 2/246 78883
/proc/meminfo: memFree=127825532/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=249472 memory=248572 CPUtime=3094.12 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 102522 0 0 0 309342 70 0 0 20 0 1 0 73128398 255459328 62143 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 62368 62143 544 484 0 61779 0
Current children cumulated CPU time: 3094.12 s
Current children cumulated vsize: 249472 KiB
Current children cumulated memory: 248572 KiB
[startup+3162.3 s]
/proc/loadavg: 1.12 1.10 1.56 2/246 78898
/proc/meminfo: memFree=127823632/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=255140 memory=254240 CPUtime=3153.98 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 103724 0 0 0 315325 73 0 0 20 0 1 0 73128398 261263360 63560 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 63785 63560 544 484 0 63196 0
Current children cumulated CPU time: 3153.98 s
Current children cumulated vsize: 255140 KiB
Current children cumulated memory: 254240 KiB
[startup+3222.3 s]
/proc/loadavg: 1.10 1.09 1.53 2/246 78900
/proc/meminfo: memFree=127825996/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=250244 memory=249344 CPUtime=3213.83 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 104170 0 0 0 321309 74 0 0 20 0 1 0 73128398 256249856 62336 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 62561 62336 544 484 0 61972 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 250244 KiB
Current children cumulated memory: 249344 KiB
[startup+3282.3 s]
/proc/loadavg: 1.11 1.09 1.50 2/248 78906
/proc/meminfo: memFree=127839228/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=240512 memory=239612 CPUtime=3273.69 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 104696 0 0 0 327294 75 0 0 20 0 1 0 73128398 246284288 59903 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 60128 59903 544 484 0 59539 0
Current children cumulated CPU time: 3273.69 s
Current children cumulated vsize: 240512 KiB
Current children cumulated memory: 239612 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.09 1.47 2/248 78908
/proc/meminfo: memFree=127833916/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=244556 memory=243656 CPUtime=3333.55 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 105561 0 0 0 333277 78 0 0 20 0 1 0 73128398 250425344 60914 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 61139 60914 544 484 0 60550 0
Current children cumulated CPU time: 3333.55 s
Current children cumulated vsize: 244556 KiB
Current children cumulated memory: 243656 KiB
[startup+3402.3 s]
/proc/loadavg: 1.08 1.08 1.44 2/248 78910
/proc/meminfo: memFree=127832696/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=237552 memory=236652 CPUtime=3393.41 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 105849 0 0 0 339262 79 0 0 20 0 1 0 73128398 243253248 59163 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 59388 59163 544 484 0 58799 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 237552 KiB
Current children cumulated memory: 236652 KiB
[startup+3462.3 s]
/proc/loadavg: 1.33 1.16 1.45 2/247 78913
/proc/meminfo: memFree=127824056/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=245968 memory=245068 CPUtime=3453.25 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 106708 0 0 0 345246 79 0 0 20 0 1 0 73128398 251871232 61267 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 61492 61267 544 484 0 60903 0
Current children cumulated CPU time: 3453.25 s
Current children cumulated vsize: 245968 KiB
Current children cumulated memory: 245068 KiB
[startup+3522.3 s]
/proc/loadavg: 1.17 1.14 1.42 2/248 78916
/proc/meminfo: memFree=127834608/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=244228 memory=243328 CPUtime=3513.12 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 107106 0 0 0 351231 81 0 0 20 0 1 0 73128398 250089472 60832 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 61057 60832 544 484 0 60468 0
Current children cumulated CPU time: 3513.12 s
Current children cumulated vsize: 244228 KiB
Current children cumulated memory: 243328 KiB
[startup+3582.3 s]
/proc/loadavg: 1.18 1.15 1.41 2/246 78918
/proc/meminfo: memFree=127822396/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=248640 memory=247740 CPUtime=3572.97 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 107585 0 0 0 357215 82 0 0 20 0 1 0 73128398 254607360 61935 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 62160 61935 544 484 0 61571 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 248640 KiB
Current children cumulated memory: 247740 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 1.11 1.13 1.39 2/246 78918
/proc/meminfo: memFree=127825056/131250000 swapFree=33007332/33010684
[pid=78618] ppid=78615 vsize=244856 memory=243956 CPUtime=3600 cores=5,7
/proc/78618/stat : 78618 (uwrmaxsat) R 78615 78618 76789 0 -1 4194304 108140 0 0 0 359918 82 0 0 20 0 1 0 73128398 250732544 60989 18446744073709551615 4198400 6176925 140735834312512 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 20090880 140735834315114 140735834315241 140735834315241 140735834320843 0
/proc/78618/statm: 61214 60989 544 484 0 60625 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 244856 KiB
Current children cumulated memory: 243956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 78618 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.19 s, system=0.829451 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.4
CPU time (s): 3600.02
CPU user time (s): 3599.19
CPU system time (s): 0.829451
CPU usage (%): 99.74
Max. virtual memory (cumulated for all children) (KiB): 321268
Max. memory (cumulated for all children) (KiB): 314992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.19
system time used= 0.829451
maximum resident set size= 318528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108142
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= 46
involuntary context switches= 3652
# summary of solver processes directly reported to runsolver:
# pid: 78618
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.19
# total CPU system time (s): 0.829451
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75462 second user time and 15.2876 second system time
The end
Begin job on nodeC019 at 2025-07-03 22:28:29 IDJOB=4521277 IDBENCH=178251 IDSOLVER=3372 FILE ID=nodeC019/4521277-1751574509 RUNJOBID= nodeC019-1751565131-76802 SLURM_JOB_ID= 9598771 Free space on /tmp= 431548 MiB SOLVER NAME= UWrMaxSat 2025-06-04 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521277-1751574509/watcher-4521277-1751574509 -o /tmp/evaluation-result-4521277-1751574509/solver-4521277-1751574509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751565131-76802 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4521277-1751574509.opb -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 68c73bc206439bbe0d5a467b2a25edac RANDOM SEED=1527939068 nodeC019 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.646 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.37 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 : 3599.685 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.37 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 : 3607.582 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.37 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 : 3594.913 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.37 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.676 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.37 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.696 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.37 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 : 3597.407 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.37 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 : 3583.090 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 126809284 kB MemAvailable: 128517060 kB Buffers: 904 kB Cached: 2509848 kB SwapCached: 440 kB Active: 1453304 kB Inactive: 2364220 kB Active(anon): 1294228 kB Inactive(anon): 27736 kB Active(file): 159076 kB Inactive(file): 2336484 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33007332 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 4864 kB Writeback: 0 kB AnonPages: 1308068 kB Mapped: 110488 kB Shmem: 15192 kB KReclaimable: 102908 kB Slab: 191756 kB SReclaimable: 102908 kB SUnreclaim: 88848 kB KernelStack: 4240 kB PageTables: 5564 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1641532 kB VmallocTotal: 34359738367 kB VmallocUsed: 150504 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1218560 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: 176852 kB DirectMap2M: 9031680 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431584 MiB End job on nodeC019 at 2025-07-03 23:28:39