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) | 19229 | 3600.08 | 3610.86 |
| Name | PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb |
| MD5SUM | 1376b7e36587a728493ace6af4c57a8e |
| 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 | 9 |
| Best CPU time to get the best result obtained on this benchmark | 231.564 |
| 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 | 7345 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 59444 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 7345 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 59444 |
| 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 |
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... 1.39/1.45 c Converting 1090 PB-constraints to clauses... 85.24/85.52 o 41027 85.76/86.03 c ============================[ Problem Statistics ]============================ 85.76/86.03 c | Number of variables: 6124308 | 85.76/86.03 c | Number of clauses: 17428566 (incl. 783 soft in queue) | 85.76/86.03 c =============================================================================== 1301.07/1304.83 o 23877 1941.19/1946.74 o 22934 2774.71/2782.90 o 19229 3600.01/3610.80 c *** TERMINATED by signal 15 *** 3600.01/3610.80 c _______________________________________________________________________________ 3600.01/3610.80 c 3600.01/3610.80 c _______________________________________________________________________________ 3600.01/3610.80 c 3600.01/3610.80 c =======================[ UWrMaxSat resources usage ]=========================== 3600.01/3610.80 c Memory used : 7909.00 MB 3600.01/3610.80 c CPU time : 3581.26 s 3600.01/3610.80 c Constr Enc: Srt/BDD/Add: 991 0 89 3600.01/3610.80 c _______________________________________________________________________________ 3600.01/3610.80 c _______________________________________________________________________________ 3600.01/3610.80 3600.01/3610.80 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.01/3610.80 s SATISFIABLE
OK 19229
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: 63837 MiB (57297 MiB free)
memory of node 1: 64465 MiB (58043 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523853-1751605130/watcher-4523853-1751605130 -o /tmp/evaluation-result-4523853-1751605130/solver-4523853-1751605130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751597903-85300 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4523853-1751605130.opb -mem-lim=31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86034, runsolver pid=86031
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 4.13 4.14 4.09 4/247 86035
/proc/meminfo: memFree=118102968/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=6836 memory=5760 CPUtime=0.1 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1082 0 0 0 10 0 0 0 20 0 1 0 76192089 7000064 1440 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1709 1440 448 484 0 1120 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 6836 KiB
Current children cumulated memory: 5760 KiB
[startup+0.213234 s]*
/proc/loadavg: 4.13 4.14 4.09 5/248 86047
/proc/meminfo: memFree=118096964/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=10068 memory=8960 CPUtime=0.21 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1901 0 0 0 21 0 0 0 20 0 1 0 76192089 10309632 2240 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 2517 2240 448 484 0 1928 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10068 KiB
Current children cumulated memory: 8960 KiB
[startup+0.313768 s]*
/proc/loadavg: 4.13 4.14 4.09 4/245 86052
/proc/meminfo: memFree=118097268/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=12908 memory=11776 CPUtime=0.32 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 2593 0 0 0 31 1 0 0 20 0 1 0 76192089 13217792 2944 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 3227 2944 448 484 0 2638 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 12908 KiB
Current children cumulated memory: 11776 KiB
[startup+0.700357 s]
/proc/loadavg: 4.13 4.14 4.09 5/248 86061
/proc/meminfo: memFree=118080512/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=26792 memory=25344 CPUtime=0.69 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 5998 0 0 0 67 2 0 0 20 0 1 0 76192089 27435008 6336 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 6698 6336 448 484 0 6109 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 25344 KiB
[startup+1.50032 s]
/proc/loadavg: 4.13 4.14 4.09 5/248 86061
/proc/meminfo: memFree=118036348/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=75016 memory=68812 CPUtime=1.49 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 17148 0 0 0 143 6 0 0 20 0 1 0 76192089 76816384 17203 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 18754 17203 480 484 0 18165 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75016 KiB
Current children cumulated memory: 68812 KiB
[startup+3.11261 s]
/proc/loadavg: 4.12 4.14 4.09 6/251 86071
/proc/meminfo: memFree=117162704/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=260216 memory=226980 CPUtime=3.09 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 36985 0 0 0 298 11 0 0 20 0 1 0 76192089 266461184 56745 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 65054 56745 480 484 0 64465 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 260216 KiB
Current children cumulated memory: 226980 KiB
[startup+6.30031 s]
/proc/loadavg: 4.12 4.14 4.09 5/251 86071
/proc/meminfo: memFree=116724796/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=571780 memory=519724 CPUtime=6.27 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 55995 0 0 0 604 23 0 0 20 0 1 0 76192089 585502720 129931 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 142945 129931 480 484 0 142356 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 571780 KiB
Current children cumulated memory: 519724 KiB
[startup+12.7003 s]
/proc/loadavg: 4.25 4.17 4.10 5/251 86071
/proc/meminfo: memFree=115438900/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=1125568 memory=986148 CPUtime=12.65 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 88650 0 0 0 1226 39 0 0 20 0 1 0 76192089 1152581632 246537 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 281392 246537 480 484 0 280803 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1125568 KiB
Current children cumulated memory: 986148 KiB
[startup+25.5003 s]
/proc/loadavg: 4.37 4.20 4.11 5/251 86072
/proc/meminfo: memFree=111766252/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=4669276 memory=4277344 CPUtime=25.42 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 512121 0 0 0 2384 158 0 0 20 0 1 0 76192089 4781338624 1069336 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1167319 1069336 480 484 0 1166730 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4669276 KiB
Current children cumulated memory: 4277344 KiB
[startup+51.1131 s]
/proc/loadavg: 4.64 4.28 4.14 5/251 86072
/proc/meminfo: memFree=111760912/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=4816816 memory=4409776 CPUtime=50.95 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 539720 0 0 0 4924 171 0 0 20 0 1 0 76192089 4932419584 1102444 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1204204 1102444 544 484 0 1203615 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 4816816 KiB
Current children cumulated memory: 4409776 KiB
[startup+102.3 s]
/proc/loadavg: 4.42 4.29 4.16 5/251 86075
/proc/meminfo: memFree=111894004/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=4874844 memory=4472728 CPUtime=102 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 544727 0 0 0 10026 174 0 0 20 0 1 0 76192089 4991840256 1118182 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1218711 1118182 544 484 0 1218122 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 4874844 KiB
Current children cumulated memory: 4472728 KiB
[startup+162.3 s]
/proc/loadavg: 4.31 4.28 4.16 5/251 86088
/proc/meminfo: memFree=110983800/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=5782216 memory=5363284 CPUtime=161.83 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 564159 0 0 0 15914 269 0 0 20 0 1 0 76192089 5920989184 1340821 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1445554 1340821 544 484 0 1444965 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 5782216 KiB
Current children cumulated memory: 5363284 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.24 4.16 5/251 86090
/proc/meminfo: memFree=111309012/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=5676304 memory=5066300 CPUtime=221.66 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 590192 0 0 0 21771 395 0 0 20 0 1 0 76192089 5812535296 1266575 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1419076 1266575 544 484 0 1418487 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 5676304 KiB
Current children cumulated memory: 5066300 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.21 4.15 5/251 86092
/proc/meminfo: memFree=111255040/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=5676372 memory=5131848 CPUtime=281.49 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 597893 0 0 0 27707 442 0 0 20 0 1 0 76192089 5812604928 1282962 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1419093 1282962 544 484 0 1418504 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 5676372 KiB
Current children cumulated memory: 5131848 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.18 4.14 5/250 86094
/proc/meminfo: memFree=111151856/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=5676372 memory=5131848 CPUtime=341.32 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 598935 0 0 0 33690 442 0 0 20 0 1 0 76192089 5812604928 1282962 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1419093 1282962 544 484 0 1418504 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 5676372 KiB
Current children cumulated memory: 5131848 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.16 4.14 5/249 86098
/proc/meminfo: memFree=110296296/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=5676604 memory=5067544 CPUtime=401.14 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 613924 0 0 0 39596 518 0 0 20 0 1 0 76192089 5812842496 1266886 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1419151 1266886 544 484 0 1418562 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 5676604 KiB
Current children cumulated memory: 5067544 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/249 86100
/proc/meminfo: memFree=110035292/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=6072600 memory=5539204 CPUtime=460.98 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 623597 0 0 0 45531 567 0 0 20 0 1 0 76192089 6218342400 1384801 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1518150 1384801 544 484 0 1517561 0
Current children cumulated CPU time: 460.98 s
################
# More data... #
################
Current children cumulated memory: 6503704 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/249 86301
/proc/meminfo: memFree=119934940/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=7154104 memory=6503704 CPUtime=2853.85 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1172708 0 0 0 283789 1596 0 0 20 0 1 0 76192089 7325802496 1625926 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1788526 1625926 544 484 0 1787937 0
Current children cumulated CPU time: 2853.85 s
Current children cumulated vsize: 7154104 KiB
Current children cumulated memory: 6503704 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/249 86303
/proc/meminfo: memFree=120100308/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=6896488 memory=6332532 CPUtime=2913.66 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1176290 0 0 0 289748 1618 0 0 20 0 1 0 76192089 7062003712 1583133 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1724122 1583133 544 484 0 1723533 0
Current children cumulated CPU time: 2913.66 s
Current children cumulated vsize: 6896488 KiB
Current children cumulated memory: 6332532 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/249 86305
/proc/meminfo: memFree=120110932/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=6896488 memory=6332532 CPUtime=2973.45 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1176914 0 0 0 295727 1618 0 0 20 0 1 0 76192089 7062003712 1583133 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1724122 1583133 544 484 0 1723533 0
Current children cumulated CPU time: 2973.45 s
Current children cumulated vsize: 6896488 KiB
Current children cumulated memory: 6332532 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/250 86312
/proc/meminfo: memFree=120116292/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=6896488 memory=6332532 CPUtime=3033.26 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1177719 0 0 0 301708 1618 0 0 20 0 1 0 76192089 7062003712 1583133 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1724122 1583133 544 484 0 1723533 0
Current children cumulated CPU time: 3033.26 s
Current children cumulated vsize: 6896488 KiB
Current children cumulated memory: 6332532 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/250 86314
/proc/meminfo: memFree=120119184/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=6896488 memory=6332532 CPUtime=3093.07 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1178311 0 0 0 307689 1618 0 0 20 0 1 0 76192089 7062003712 1583133 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1724122 1583133 544 484 0 1723533 0
Current children cumulated CPU time: 3093.07 s
Current children cumulated vsize: 6896488 KiB
Current children cumulated memory: 6332532 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/250 86316
/proc/meminfo: memFree=120118028/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=6896488 memory=6332532 CPUtime=3152.86 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1179117 0 0 0 313668 1618 0 0 20 0 1 0 76192089 7062003712 1583133 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1724122 1583133 544 484 0 1723533 0
Current children cumulated CPU time: 3152.86 s
Current children cumulated vsize: 6896488 KiB
Current children cumulated memory: 6332532 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/250 86318
/proc/meminfo: memFree=120125500/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=6893028 memory=6329584 CPUtime=3212.69 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1182278 0 0 0 319629 1640 0 0 20 0 1 0 76192089 7058460672 1582396 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1723257 1582396 544 484 0 1722668 0
Current children cumulated CPU time: 3212.69 s
Current children cumulated vsize: 6893028 KiB
Current children cumulated memory: 6329584 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/250 86320
/proc/meminfo: memFree=120028192/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=6893028 memory=6329584 CPUtime=3272.52 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1183640 0 0 0 325612 1640 0 0 20 0 1 0 76192089 7058460672 1582396 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1723257 1582396 544 484 0 1722668 0
Current children cumulated CPU time: 3272.52 s
Current children cumulated vsize: 6893028 KiB
Current children cumulated memory: 6329584 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/249 86322
/proc/meminfo: memFree=120073572/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=6734772 memory=6171840 CPUtime=3332.34 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1194198 0 0 0 331558 1676 0 0 20 0 1 0 76192089 6896406528 1542960 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1683693 1542960 544 484 0 1683104 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 6734772 KiB
Current children cumulated memory: 6171840 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/250 86327
/proc/meminfo: memFree=120020880/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=6893028 memory=6435560 CPUtime=3392.17 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1209536 0 0 0 337476 1741 0 0 20 0 1 0 76192089 7058460672 1608890 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1723257 1608890 544 484 0 1722668 0
Current children cumulated CPU time: 3392.17 s
Current children cumulated vsize: 6893028 KiB
Current children cumulated memory: 6435560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 86328
/proc/meminfo: memFree=119969864/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=7021392 memory=6457704 CPUtime=3451.97 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1242244 0 0 0 343411 1786 0 0 20 0 1 0 76192089 7189905408 1614426 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1755348 1614426 544 484 0 1754759 0
Current children cumulated CPU time: 3451.97 s
Current children cumulated vsize: 7021392 KiB
Current children cumulated memory: 6457704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 86330
/proc/meminfo: memFree=119853936/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=7014572 memory=6450884 CPUtime=3511.77 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1244610 0 0 0 349375 1802 0 0 20 0 1 0 76192089 7182921728 1612721 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1753643 1612721 544 484 0 1753054 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 7014572 KiB
Current children cumulated memory: 6450884 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 86332
/proc/meminfo: memFree=120010788/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=7024952 memory=6462908 CPUtime=3571.6 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1266353 0 0 0 355284 1876 0 0 20 0 1 0 76192089 7193550848 1615727 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1756238 1615727 544 484 0 1755649 0
Current children cumulated CPU time: 3571.6 s
Current children cumulated vsize: 7024952 KiB
Current children cumulated memory: 6462908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 86333
/proc/meminfo: memFree=119973720/131382120 swapFree=33010160/33010684
[pid=86034] ppid=86031 vsize=7024952 memory=6462908 CPUtime=3600.01 cores=1,3
/proc/86034/stat : 86034 (uwrmaxsat) R 86031 86034 85288 0 -1 4194304 1267185 0 0 0 358125 1876 0 0 20 0 1 0 76192089 7193550848 1615727 18446744073709551615 4198400 6176925 140729644803424 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 9977856 140729644812650 140729644812777 140729644812777 140729644818379 0
/proc/86034/statm: 1756238 1615727 544 484 0 1755649 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 7024952 KiB
Current children cumulated memory: 6462908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.86 s]
# the end of solver process 86034 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3581.26 s, system=18.8212 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.86
CPU time (s): 3600.08
CPU user time (s): 3581.26
CPU system time (s): 18.8212
CPU usage (%): 99.7015
Max. virtual memory (cumulated for all children) (KiB): 8099728
Max. memory (cumulated for all children) (KiB): 7358680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.26
system time used= 18.8212
maximum resident set size= 7480280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1267187
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= 669
involuntary context switches= 3223
# summary of solver processes directly reported to runsolver:
# pid: 86034
# total CPU time (s): 3600.08
# total CPU user time (s): 3581.26
# total CPU system time (s): 18.8212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8475 second user time and 34.7296 second system time
The end
Begin job on nodeC008 at 2025-07-04 06:58:50 IDJOB=4523853 IDBENCH=180376 IDSOLVER=3372 FILE ID=nodeC008/4523853-1751605130 RUNJOBID= nodeC008-1751597903-85300 SLURM_JOB_ID= 9598868 Free space on /tmp= 432796 MiB SOLVER NAME= UWrMaxSat 2025-06-04 BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523853-1751605130/watcher-4523853-1751605130 -o /tmp/evaluation-result-4523853-1751605130/solver-4523853-1751605130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751597903-85300 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4523853-1751605130.opb -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1376b7e36587a728493ace6af4c57a8e RANDOM SEED=2035623134 nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1795.812 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.184 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.419 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.194 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.879 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.859 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.586 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 118109168 kB MemAvailable: 118240288 kB Buffers: 2128 kB Cached: 925404 kB SwapCached: 16 kB Active: 12217708 kB Inactive: 404500 kB Active(anon): 11678248 kB Inactive(anon): 34348 kB Active(file): 539460 kB Inactive(file): 370152 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 5860 kB Writeback: 36 kB AnonPages: 11696824 kB Mapped: 108488 kB Shmem: 17920 kB KReclaimable: 122268 kB Slab: 207200 kB SReclaimable: 122268 kB SUnreclaim: 84932 kB KernelStack: 3984 kB PageTables: 25888 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 13218804 kB VmallocTotal: 34359738367 kB VmallocUsed: 149384 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 5419008 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: 181064 kB DirectMap2M: 9158656 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432736 MiB End job on nodeC008 at 2025-07-04 07:59:01