Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSATDisjCad-S 2025-06-01 | SAT (TO) | 19870 | 3600.22 | 3612.23 |
| Name | PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb |
| MD5SUM | f833be1967b503cfce1013007946cb2b |
| 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 | 4 |
| Best CPU time to get the best result obtained on this benchmark | 5.27099 |
| 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 | 1294 |
| Total number of constraints | 1091 |
| Number of constraints which are clauses | 2 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1088 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 785 |
| Number of terms in the objective function | 785 |
| Biggest coefficient in the objective function | 12628 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 55047 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 12628 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 55047 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
23.03/23.17 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 23.03/23.17 c Do: 140731375284776 140731375284784 345.29/346.32 o 19879 2049.16/2055.91 o 19870 3600.09/3612.10 3600.09/3612.10 v -x1 -x2 x3 x4 -x5 -x6 -x7 x8 -x9 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 -x47 -x48 x49 x50 x51 x52 x53 -x54 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 -x92 -x93 x94 x95 -x96 -x97 -x98 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 -x136 -x137 -x138 x139 x140 x141 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 x179 x180 -x181 -x182 -x183 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 -x221 x222 -x223 -x224 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 -x262 -x263 x264 -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 x302 x303 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 x341 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 -x416 -x417 -x418 -x419 x420 x421 x422 -x423 x424 -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 x452 x453 x454 -x455 -x456 -x457 -x458 -x459 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 -x487 x488 x489 x490 -x491 x492 -x493 -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 -x521 -x522 x523 -x524 x525 -x526 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 x554 -x555 x556 -x557 x558 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 -x586 -x587 -x588 -x589 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 -x617 x618 x619 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 -x647 x648 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 x676 -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 -x731 -x732 x733 -x734 -x735 x736 x737 -x738 x739 x740 x741 x742 -x743 x744 -x745 -x746 -x747 x748 -x749 x750 x751 -x752 -x753 x754 -x755 x756 x757 x758 -x759 -x760 x761 -x762 -x763 -x764 x765 x766 x767 x768 x769 x770 x771 -x772 x773 x774 -x775 x776 x777 -x778 -x779 -x780 -x781 x782 x783 -x784 x1294 -x795 -x796 -x797 x798 -x799 -x800 x801 x802 -x803 x804 x805 -x806 -x807 -x808 x809 x810 x811 -x812 x813 x814 x815 x816 x817 x818 -x819 x820 -x821 x822 -x823 -x824 x825 -x826 x827 -x828 x829 x830 -x831 x832 -x833 x834 x835 x836 x837 -x838 x839 x840 x841 -x842 x843 -x844 -x845 -x846 x847 x848 -x849 x850 -x851 -x852 x853 x854 x855 -x856 -x857 -x858 x859 -x860 x861 x862 x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 x872 x873 -x874 x875 -x876 -x877 -x878 x879 x880 x881 -x882 -x883 -x884 x885 x886 x887 x888 x889 -x890 -x891 -x892 x893 x894 x895 x896 -x897 x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 x906 x907 -x908 -x909 -x910 x911 x912 x913 -x914 x915 x916 -x917 x918 x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 x927 x928 x929 -x930 x931 x932 x933 x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 x942 x943 -x944 -x945 x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 x959 x960 -x961 x962 -x963 -x964 -x965 -x966 x967 x968 -x969 -x970 x971 x972 x973 -x974 -x975 -x976 -x977 x978 -x979 x980 x981 x982 -x983 -x984 x985 x986 x987 -x988 -x989 -x990 -x991 x992 x993 x994 -x995 -x996 x997 x998 -x999 x1000 x1001 x1002 x1003 x1004 x1005 -x1006 x1007 x1008 -x1009 x1010 x1011 -x1012 -x1013 x1014 x1015 x1016 -x1017 -x1018 x1019 x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 x1027 x1028 -x1029 -x1030 x1031 x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 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 x1082 -x1083 -x1084 x1085 -x1086 x1087 x1088 -x1089 -x1090 x1091 x1092 -x1093 x1094 -x1095 x1096 x1097 x1098 x1099 x1100 -x1101 -x1102 x1103 x1104 -x1105 x1106 x1107 -x1108 x1109 x1110 -x1111 x1112 -x1113 x1114 x1115 -x1116 -x1117 -x1118 x1119 x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 x1131 -x1132 x1133 -x1134 x1135 x1136 x1137 x1138 -x1139 x1140 -x1141 x1142 x1143 x1144 -x1145 x1146 -x1147 x1148 x1149 -x1150 x1151 x1152 -x1153 x1154 -x1155 x1156 x1157 -x1158 x1159 -x1160 x1161 x1162 -x1163 -x1164 x1165 -x1166 -x1167 x1168 -x1169 x1170 x1171 -x1172 -x1173 x1174 -x1175 -x1176 x1177 -x1178 x1179 x1180 x1181 -x1182 x1183 x1184 x1185 -x1186 -x1187 x1188 -x1189 x1190 -x1191 x1192 x1193 x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 x1201 x1202 x1203 -x1204 x1205 -x1206 -x1207 x1208 x1209 -x1210 -x1211 -x1212 x1213 x1214 -x1215 x1216 x1217 x1218 -x1219 -x1220 x1221 -x1222 x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 x1230 x1231 -x1232 x1233 x1234 -x1235 x1236 x1237 x1238 -x1239 x1240 x1241 x1242 -x1243 x1244 -x1245 x1246 -x1247 -x1248 x1249 x1250 x1251 x1252 -x1253 x1254 -x1255 x1256 x1257 -x1258 x1259 -x1260 x1261 x1262 x1263 x1264 -x1265 x1266 x1267 -x1268 x1269 x1270 x1271 x1272 x1273 -x1274 x1275 x1276 -x1277 -x1278 x1279 x1280 -x1281 -x1282 -x1283 x1284 x1285 -x1286 -x1287 x1288 -x1289 x1290 x1291 -x1292 x1293 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 3600.09/3612.10 s SATISFIABLE
OK 19870
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 (61216 MiB free)
memory of node 1: 64465 MiB (62767 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523491-1751600076/watcher-4523491-1751600076 -o /tmp/evaluation-result-4523491-1751600076/solver-4523491-1751600076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751596463-85391 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4523491-1751600076.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=85825, runsolver pid=85822
[startup+0.100066 s]*
/proc/loadavg: 4.00 4.07 4.08 5/262 85826
/proc/meminfo: memFree=126935464/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=27192 memory=12544 CPUtime=0.09 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 2414 0 0 0 9 0 0 0 20 0 1 0 75630154 27844608 3136 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 19490 0 0 0 17 3 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 6798 3136 864 2593 0 3691 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27192 KiB
Current children cumulated memory: 12544 KiB
[startup+0.205521 s]*
/proc/loadavg: 4.00 4.07 4.08 5/262 85826
/proc/meminfo: memFree=126902888/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=35560 memory=20736 CPUtime=0.19 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 4465 0 0 0 19 0 0 0 20 0 1 0 75630154 36413440 5184 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 8890 5184 864 2593 0 5783 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 20736 KiB
[startup+0.305477 s]*
/proc/loadavg: 4.00 4.07 4.08 4/261 85826
/proc/meminfo: memFree=126887848/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=43676 memory=28800 CPUtime=0.29 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 6454 0 0 0 29 0 0 0 20 0 1 0 75630154 44724224 7200 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 10919 7200 864 2593 0 7812 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43676 KiB
Current children cumulated memory: 28800 KiB
[startup+0.700167 s]
/proc/loadavg: 4.00 4.07 4.08 5/259 85836
/proc/meminfo: memFree=126824520/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=75724 memory=59392 CPUtime=0.68 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 14119 0 0 0 66 2 0 0 20 0 1 0 75630154 77541376 14848 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 18931 14848 864 2593 0 15824 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 75724 KiB
Current children cumulated memory: 59392 KiB
[startup+1.50018 s]
/proc/loadavg: 4.00 4.07 4.08 5/263 85857
/proc/meminfo: memFree=126718948/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=231784 memory=202172 CPUtime=1.47 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 33938 0 0 0 141 6 0 0 20 0 1 0 75630154 237346816 50543 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 57946 50543 896 2593 0 54839 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 231784 KiB
Current children cumulated memory: 202172 KiB
[startup+3.10528 s]
/proc/loadavg: 4.00 4.07 4.08 5/263 85857
/proc/meminfo: memFree=126147828/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=332996 memory=312076 CPUtime=3.07 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 42115 0 0 0 298 9 0 0 20 0 1 0 75630154 340987904 78019 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 83249 78019 1152 2593 0 80142 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 332996 KiB
Current children cumulated memory: 312076 KiB
[startup+6.30017 s]
/proc/loadavg: 4.00 4.06 4.08 5/263 85857
/proc/meminfo: memFree=125215200/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=726732 memory=611048 CPUtime=6.27 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 65910 0 0 0 606 21 0 0 20 0 1 0 75630154 744173568 152762 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 181683 152762 1152 2593 0 178576 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 726732 KiB
Current children cumulated memory: 611048 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 85857
/proc/meminfo: memFree=123617192/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=1168756 memory=1060424 CPUtime=12.65 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 96360 0 0 0 1230 35 0 0 20 0 1 0 75630154 1196806144 265106 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 292189 265106 1152 2593 0 289082 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1168756 KiB
Current children cumulated memory: 1060424 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 85858
/proc/meminfo: memFree=112658944/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=4838752 memory=4434864 CPUtime=25.42 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 519735 0 0 0 2385 157 0 0 20 0 1 0 75630154 4954882048 1108716 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1209688 1108716 1216 2593 0 1206581 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4838752 KiB
Current children cumulated memory: 4434864 KiB
[startup+51.1055 s]
/proc/loadavg: 4.04 4.07 4.08 5/263 85858
/proc/meminfo: memFree=112611556/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=5524592 memory=4994796 CPUtime=50.95 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 530685 0 0 0 4907 188 0 0 20 0 1 0 75630154 5657182208 1248699 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1381148 1248699 1216 2593 0 1378041 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 5524592 KiB
Current children cumulated memory: 4994796 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.07 4.08 5/263 85860
/proc/meminfo: memFree=110702376/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=6839248 memory=6211060 CPUtime=101.99 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 541982 0 0 0 9925 274 0 0 20 0 1 0 75630154 7003389952 1552765 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1709812 1552765 1248 2593 0 1706705 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 6839248 KiB
Current children cumulated memory: 6211060 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.07 4.08 5/263 85862
/proc/meminfo: memFree=110133348/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=5594820 memory=5027876 CPUtime=161.83 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 561907 0 0 0 15803 380 0 0 20 0 1 0 75630154 5729095680 1256969 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1398705 1256969 1248 2593 0 1395598 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 5594820 KiB
Current children cumulated memory: 5027876 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.07 4.08 5/263 85864
/proc/meminfo: memFree=112102812/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=5595320 memory=5028312 CPUtime=221.65 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 574246 0 0 0 21697 468 0 0 20 0 1 0 75630154 5729607680 1257078 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1398830 1257078 1248 2593 0 1395723 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 5595320 KiB
Current children cumulated memory: 5028312 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.07 4.08 5/264 85867
/proc/meminfo: memFree=112130704/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=5597924 memory=5030916 CPUtime=281.48 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 582506 0 0 0 27621 527 0 0 20 0 1 0 75630154 5732274176 1257729 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1399481 1257729 1248 2593 0 1396374 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 5597924 KiB
Current children cumulated memory: 5030916 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.07 4.08 5/265 85870
/proc/meminfo: memFree=112135264/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=5595172 memory=5028252 CPUtime=341.3 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 584509 0 0 0 33590 540 0 0 20 0 1 0 75630154 5729456128 1257063 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1398793 1257063 1248 2593 0 1395686 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 5595172 KiB
Current children cumulated memory: 5028252 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 85872
/proc/meminfo: memFree=111080768/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=6510176 memory=5941096 CPUtime=401.11 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 641148 0 0 0 39436 675 0 0 20 0 1 0 75630154 6666420224 1485274 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1627544 1485274 1248 2593 0 1624437 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 6510176 KiB
Current children cumulated memory: 5941096 KiB
[startup+462.3 s]
/proc/loadavg: 4.33 4.13 4.11 5/265 85874
/proc/meminfo: memFree=111342144/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=6327664 memory=5759672 CPUtime=460.94 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 725921 0 0 0 45313 781 0 0 20 0 1 0 75630154 6479527936 1439918 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1581916 1439918 1248 2593 0 1578809 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
/proc/85825/statm: 1647545 1489772 1248 2593 0 1644438 0
Current children cumulated CPU time: 2852.82 s
Current children cumulated vsize: 6590180 KiB
Current children cumulated memory: 5959088 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.11 4.12 5/264 86091
/proc/meminfo: memFree=104720196/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=6597732 memory=5966596 CPUtime=2912.61 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 1235264 0 0 0 287537 3724 0 0 20 0 1 0 75630154 6756077568 1491649 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1649433 1491649 1248 2593 0 1646326 0
Current children cumulated CPU time: 2912.61 s
Current children cumulated vsize: 6597732 KiB
Current children cumulated memory: 5966596 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/264 86097
/proc/meminfo: memFree=104776668/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=6597732 memory=5966596 CPUtime=2972.41 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 1244066 0 0 0 293448 3793 0 0 20 0 1 0 75630154 6756077568 1491649 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1649433 1491649 1248 2593 0 1646326 0
Current children cumulated CPU time: 2972.41 s
Current children cumulated vsize: 6597732 KiB
Current children cumulated memory: 5966596 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/264 86103
/proc/meminfo: memFree=104759976/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=6597732 memory=5966596 CPUtime=3032.21 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 1244765 0 0 0 299428 3793 0 0 20 0 1 0 75630154 6756077568 1491649 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1649433 1491649 1248 2593 0 1646326 0
Current children cumulated CPU time: 3032.21 s
Current children cumulated vsize: 6597732 KiB
Current children cumulated memory: 5966596 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/264 86105
/proc/meminfo: memFree=104710384/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=6632168 memory=6001144 CPUtime=3092 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 1247521 0 0 0 305391 3809 0 0 20 0 1 0 75630154 6791340032 1500286 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1658042 1500286 1248 2593 0 1654935 0
Current children cumulated CPU time: 3092 s
Current children cumulated vsize: 6632168 KiB
Current children cumulated memory: 6001144 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/264 86107
/proc/meminfo: memFree=104603416/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=6632168 memory=6001144 CPUtime=3151.8 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 1248662 0 0 0 311371 3809 0 0 20 0 1 0 75630154 6791340032 1500286 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1658042 1500286 1248 2593 0 1654935 0
Current children cumulated CPU time: 3151.8 s
Current children cumulated vsize: 6632168 KiB
Current children cumulated memory: 6001144 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 86109
/proc/meminfo: memFree=104425016/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=6865836 memory=6274372 CPUtime=3211.61 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 1318078 0 0 0 317220 3941 0 0 20 0 1 0 75630154 7030616064 1568593 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1716459 1568593 1248 2593 0 1713352 0
Current children cumulated CPU time: 3211.61 s
Current children cumulated vsize: 6865836 KiB
Current children cumulated memory: 6274372 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 86111
/proc/meminfo: memFree=104391568/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=6837164 memory=6246748 CPUtime=3271.41 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 1396582 0 0 0 323092 4049 0 0 20 0 1 0 75630154 7001255936 1561687 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1709291 1561687 1248 2593 0 1706184 0
Current children cumulated CPU time: 3271.41 s
Current children cumulated vsize: 6837164 KiB
Current children cumulated memory: 6246748 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 86113
/proc/meminfo: memFree=104186584/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=7121944 memory=6525540 CPUtime=3331.2 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 1455543 0 0 0 329044 4076 0 0 20 0 1 0 75630154 7292870656 1631385 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1780486 1631385 1248 2593 0 1777379 0
Current children cumulated CPU time: 3331.2 s
Current children cumulated vsize: 7121944 KiB
Current children cumulated memory: 6525540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 86117
/proc/meminfo: memFree=103894740/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=7065412 memory=6469268 CPUtime=3391 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 1458677 0 0 0 335007 4093 0 0 20 0 1 0 75630154 7234981888 1617317 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1766353 1617317 1248 2593 0 1763246 0
Current children cumulated CPU time: 3391 s
Current children cumulated vsize: 7065412 KiB
Current children cumulated memory: 6469268 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 86120
/proc/meminfo: memFree=104300036/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=7223664 memory=6412588 CPUtime=3450.79 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 1469961 0 0 0 340895 4184 0 0 20 0 1 0 75630154 7397031936 1603147 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1805916 1603147 1248 2593 0 1802809 0
Current children cumulated CPU time: 3450.79 s
Current children cumulated vsize: 7223664 KiB
Current children cumulated memory: 6412588 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 86122
/proc/meminfo: memFree=104234752/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=7065412 memory=6471948 CPUtime=3510.59 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 1472172 0 0 0 346862 4197 0 0 20 0 1 0 75630154 7234981888 1617987 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1766353 1617987 1248 2593 0 1763246 0
Current children cumulated CPU time: 3510.59 s
Current children cumulated vsize: 7065412 KiB
Current children cumulated memory: 6471948 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 86126
/proc/meminfo: memFree=104107188/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=7030816 memory=6437928 CPUtime=3570.38 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 1484043 0 0 0 352759 4279 0 0 20 0 1 0 75630154 7199555584 1609482 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1757704 1609482 1248 2593 0 1754597 0
Current children cumulated CPU time: 3570.38 s
Current children cumulated vsize: 7030816 KiB
Current children cumulated memory: 6437928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.06 4.08 4.09 4/263 86152
/proc/meminfo: memFree=111384012/131250000 swapFree=33010684/33010684
[pid=85825] ppid=85822 vsize=7030816 memory=6439244 CPUtime=3600.09 cores=1,3
/proc/85825/stat : 85825 (CASHWMaxSAT-Dis) R 85822 85825 85379 0 -1 4194304 1489758 0 0 0 355687 4322 0 0 20 0 1 0 75630154 7199555584 1609811 18446744073709551615 4198400 14817773 140731375287184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49946624 140731375294826 140731375294941 140731375294941 140731375300543 0
/proc/85825/statm: 1757704 1609811 1248 2593 0 1754597 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 7030816 KiB
Current children cumulated memory: 6439244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.23 s]
# the end of solver process 85825 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3556.88 s, system=43.3467 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.2 s]*
/proc/loadavg: 4.06 4.08 4.09 3/258 86175
/proc/meminfo: memFree=119083652/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 10
Real time (s): 3612.23
CPU time (s): 3600.22
CPU user time (s): 3556.88
CPU system time (s): 43.3467
CPU usage (%): 99.6677
Max. virtual memory (cumulated for all children) (KiB): 7970880
Max. memory (cumulated for all children) (KiB): 7375500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.88
system time used= 43.3467
maximum resident set size= 7375500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1489760
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 6534
# summary of solver processes directly reported to runsolver:
# pid: 85825
# total CPU time (s): 3600.22
# total CPU user time (s): 3556.88
# total CPU system time (s): 43.3467
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.44055 second user time and 13.1688 second system time
The end
Begin job on nodeC028 at 2025-07-04 05:34:36 IDJOB=4523491 IDBENCH=180364 IDSOLVER=3322 FILE ID=nodeC028/4523491-1751600076 RUNJOBID= nodeC028-1751596463-85391 SLURM_JOB_ID= 9598863 Free space on /tmp= 431412 MiB SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01 BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523491-1751600076/watcher-4523491-1751600076 -o /tmp/evaluation-result-4523491-1751600076/solver-4523491-1751600076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751596463-85391 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4523491-1751600076.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f833be1967b503cfce1013007946cb2b RANDOM SEED=1106067066 nodeC028 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 : 3600.087 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 : 7000.16 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.663 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 : 7000.16 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 : 3598.714 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 : 7000.16 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 : 3600.108 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 : 7000.16 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.862 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 : 7000.16 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 : 3600.098 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 : 7000.16 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 : 3700.000 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 : 7000.16 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 : 3607.055 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 : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 126959568 kB MemAvailable: 128947924 kB Buffers: 3280 kB Cached: 2789424 kB SwapCached: 0 kB Active: 1137292 kB Inactive: 2480164 kB Active(anon): 842824 kB Inactive(anon): 0 kB Active(file): 294468 kB Inactive(file): 2480164 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 35380 kB Writeback: 244 kB AnonPages: 824784 kB Mapped: 112184 kB Shmem: 18068 kB KReclaimable: 105928 kB Slab: 195904 kB SReclaimable: 105928 kB SUnreclaim: 89976 kB KernelStack: 4272 kB PageTables: 4528 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1187188 kB VmallocTotal: 34359738367 kB VmallocUsed: 150472 kB VmallocChunk: 0 kB Percpu: 3904 kB HardwareCorrupted: 0 kB AnonHugePages: 692224 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431416 MiB End job on nodeC028 at 2025-07-04 06:34:49