Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCad-S 2024-07-10 | SAT (TO) | 77 | 3600.06 | 3610.7 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_11.opb |
| MD5SUM | 89d4e33f1fc4516d7db076f434bf527f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 72 |
| Best CPU time to get the best result obtained on this benchmark | 3600.08 |
| 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 | 1288 |
| Total number of constraints | 2431 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2430 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 29 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 64 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 182 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 175 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 802 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.50/0.59 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.50/0.59 c Do: 140732852785144 140732852785152 2.58/2.67 o 118 2.58/2.67 c Do: 140732852785144 140732852785152 95.41/95.74 o 86 95.41/95.74 c Do: 140732852785144 140732852785152 2826.96/2835.02 o 82 3230.29/3239.61 o 77 3600.05/3610.70 3600.05/3610.70 v -x1 x2 x3 -x4 x5 -x6 -x7 x1288 -x64 x65 -x66 -x67 -x68 x69 -x70 x71 x72 x73 x74 x75 -x76 -x77 -x1287 x57 x58 x59 -x60 -x61 x62 -x63 -x1286 -x1285 -x1284 x1283 x1282 -x50 x51 x52 -x53 -x54 x55 -x56 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 x1270 x1269 -x1268 x43 x44 x45 -x46 -x47 x48 -x49 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 x1258 x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 x1250 x1249 -x1248 -x1247 x1246 x1245 x1244 x1243 -x1242 x1241 x1240 x1239 x1238 x36 x37 x38 -x39 x40 -x41 -x42 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 x1187 x1186 -x1185 -x1184 -x1183 x29 x30 x31 -x32 x33 -x34 -x35 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 x1136 x1135 x1134 x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 x1116 x1115 x1114 x1113 -x1112 x1111 x1110 x1109 x1108 -x1107 x1106 x1105 x1104 x1103 x1102 x1101 x1100 x1099 x1098 x1097 x1096 x1095 x1094 x1093 x1092 x22 x23 -x24 x25 -x26 -x27 -x28 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 x1035 x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 x1016 x1015 -x1014 -x1013 -x1012 x1011 x1010 x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 x996 x995 -x994 -x993 -x992 x991 x990 x989 x988 x987 x986 x985 x984 x983 x982 x981 x980 -x979 -x978 -x977 -x976 -x975 -x974 x973 x972 -x971 -x970 x969 x968 x967 -x966 -x965 x964 x963 x962 x961 x960 x959 x958 x957 x956 x955 x954 x953 -x952 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 x855 x854 x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 x835 x834 x833 -x832 -x831 x830 x829 x828 x827 -x826 -x825 x824 x823 x822 x821 x820 x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 x802 x801 x800 -x799 -x798 x797 x796 x795 x794 x793 -x792 -x791 x790 x789 x788 x787 x786 x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 x777 x776 -x775 -x774 x773 x772 x771 x770 -x769 x768 x767 x766 x765 x764 x763 x762 x761 x760 x759 x758 x757 -x756 x755 x754 x753 x752 x751 x750 x749 x748 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 x700 x699 x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 x675 x674 -x673 -x672 x671 x670 x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 x641 x640 -x639 -x638 x637 x636 x635 x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 x616 x615 x614 -x613 -x612 x611 x610 x609 x608 -x607 -x606 x605 x604 x603 x602 x601 x600 x599 x598 x597 x596 x595 x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 x578 x577 x576 x575 -x574 -x573 x572 x571 x570 x569 x568 -x567 -x566 x565 x564 x563 x562 x561 x560 -x559 x558 x557 x556 x555 x554 x553 x552 -x551 -x550 -x549 -x548 -x547 -x546 x545 x544 -x543 -x542 x541 x540 x539 -x538 -x537 x536 x535 x534 x533 x532 x531 x530 x529 x528 x527 x526 x525 -x524 x523 x522 x521 x520 x519 x518 x517 x516 x515 x514 x513 x512 x511 x510 x509 x508 -x507 x506 x505 x504 x503 x502 x501 x500 x499 x498 x497 x496 x495 x494 x493 x492 x491 x490 x489 x488 x487 x486 x485 x484 x483 x482 x481 x480 x479 x478 x477 x476 x475 x474 x473 x472 x471 x470 x469 x468 x467 x466 x465 x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 x436 x435 x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 x411 x410 x409 x408 x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 x383 -x382 -x381 x380 x379 x378 x377 x376 x375 x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 x346 x345 -x344 -x343 x342 x341 x340 x339 x338 x337 x336 x335 x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 x316 x315 x314 -x313 -x312 x311 x310 x309 x308 -x307 -x306 x305 x304 x303 x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 x290 x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 x271 x270 x269 -x268 -x267 x266 x265 x264 x263 x262 -x261 -x260 x259 x258 x257 x256 x255 x254 -x253 x252 x251 x250 x249 x248 x247 x246 x245 x244 x243 x242 x241 x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 x231 -x230 -x229 x228 x227 x226 -x225 -x224 x223 x222 x221 x220 x219 x218 x217 x216 x215 x214 x213 x212 -x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 x193 x192 x191 x190 x189 x188 x187 -x186 x185 x184 x183 x182 x181 x180 x179 x178 x177 x176 x175 x174 x173 x172 x171 x170 x169 x168 x167 x166 x165 x164 x163 x162 x161 x160 x159 x158 x157 x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78 3600.05/3610.70 s SATISFIABLE
OK 77
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: 63968 MiB (60894 MiB free)
memory of node 1: 64473 MiB (62628 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439105-1721222520/watcher-4439105-1721222520 -o /tmp/evaluation-result-4439105-1721222520/solver-4439105-1721222520 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721220980-904266 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439105-1721222520.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=904896, runsolver pid=904893
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.18 4.12 3.64 5/258 904897
/proc/meminfo: memFree=126475812/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=29584 memory=15500 CPUtime=0.1 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 3131 0 0 0 10 0 0 0 20 0 1 0 174418634 30294016 3875 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 7396 3875 910 2594 0 4289 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29584 KiB
Current children cumulated memory: 15500 KiB
[startup+0.205706 s]*
/proc/loadavg: 4.18 4.12 3.64 5/258 904897
/proc/meminfo: memFree=126463856/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=46988 memory=32032 CPUtime=0.2 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 6898 0 0 0 19 1 0 0 20 0 1 0 174418634 48115712 8008 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 11747 8008 926 2594 0 8640 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46988 KiB
Current children cumulated memory: 32032 KiB
[startup+0.305735 s]*
/proc/loadavg: 4.18 4.12 3.64 5/258 904897
/proc/meminfo: memFree=126439944/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=65688 memory=50296 CPUtime=0.3 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 9557 0 0 0 29 1 0 0 20 0 1 0 174418634 67264512 12574 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 16422 12574 926 2594 0 13315 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65688 KiB
Current children cumulated memory: 50296 KiB
[startup+0.700235 s]
/proc/loadavg: 4.18 4.12 3.64 5/258 904897
/proc/meminfo: memFree=126388992/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=136296 memory=114992 CPUtime=0.68 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 24543 0 0 0 65 3 0 0 20 0 1 0 174418634 139567104 28748 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 34074 28748 990 2594 0 30967 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 136296 KiB
Current children cumulated memory: 114992 KiB
[startup+1.50026 s]
/proc/loadavg: 4.18 4.12 3.64 5/258 904897
/proc/meminfo: memFree=126373988/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=147584 memory=124300 CPUtime=1.47 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 25336 0 0 0 144 3 0 0 20 0 1 0 174418634 151126016 31075 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 36896 31075 990 2594 0 33789 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 147584 KiB
Current children cumulated memory: 124300 KiB
[startup+3.10568 s]
/proc/loadavg: 4.16 4.12 3.64 5/258 904897
/proc/meminfo: memFree=126346072/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=166696 memory=144108 CPUtime=3.08 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 26683 0 0 0 304 4 0 0 20 0 1 0 174418634 170696704 36027 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 41674 36027 990 2594 0 38567 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 166696 KiB
Current children cumulated memory: 144108 KiB
[startup+6.30023 s]
/proc/loadavg: 4.16 4.12 3.64 5/258 904897
/proc/meminfo: memFree=126325472/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=184476 memory=164284 CPUtime=6.26 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 30931 0 0 0 621 5 0 0 20 0 1 0 174418634 188903424 41071 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 46119 41071 1006 2594 0 43012 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 184476 KiB
Current children cumulated memory: 164284 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.14 3.65 5/258 904899
/proc/meminfo: memFree=126325404/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=184476 memory=164284 CPUtime=12.64 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 30986 0 0 0 1259 5 0 0 20 0 1 0 174418634 188903424 41071 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 46119 41071 1006 2594 0 43012 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 184476 KiB
Current children cumulated memory: 164284 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.13 3.65 5/258 904900
/proc/meminfo: memFree=126279060/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=197640 memory=177476 CPUtime=25.41 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 31785 0 0 0 2535 6 0 0 20 0 1 0 174418634 202383360 44369 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 49410 44369 1006 2594 0 46303 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 197640 KiB
Current children cumulated memory: 177476 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.12 3.66 5/258 904905
/proc/meminfo: memFree=126341020/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=198148 memory=178032 CPUtime=50.95 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 31949 0 0 0 5089 6 0 0 20 0 1 0 174418634 202903552 44508 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 49537 44508 1006 2594 0 46430 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 198148 KiB
Current children cumulated memory: 178032 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 3.69 5/257 904914
/proc/meminfo: memFree=126325824/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=212748 memory=192388 CPUtime=101.99 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 33103 0 0 0 10193 6 0 0 20 0 1 0 174418634 217853952 48097 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 53187 48097 1006 2594 0 50080 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 212748 KiB
Current children cumulated memory: 192388 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 3.72 5/257 904925
/proc/meminfo: memFree=126272048/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=223120 memory=202920 CPUtime=161.82 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 35468 0 0 0 16175 7 0 0 20 0 1 0 174418634 228474880 50730 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 55780 50730 1006 2594 0 52673 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 223120 KiB
Current children cumulated memory: 202920 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 3.74 5/256 905319
/proc/meminfo: memFree=126250360/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=226304 memory=206188 CPUtime=221.65 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 36294 0 0 0 22158 7 0 0 20 0 1 0 174418634 231735296 51547 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 56576 51547 1006 2594 0 53469 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 226304 KiB
Current children cumulated memory: 206188 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 3.77 5/256 905329
/proc/meminfo: memFree=126305712/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=226304 memory=206188 CPUtime=281.49 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 36321 0 0 0 28142 7 0 0 20 0 1 0 174418634 231735296 51547 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 56576 51547 1006 2594 0 53469 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 226304 KiB
Current children cumulated memory: 206188 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.09 3.79 5/256 905340
/proc/meminfo: memFree=126258024/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=216892 memory=196768 CPUtime=341.29 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 38011 0 0 0 34120 9 0 0 20 0 1 0 174418634 222097408 49192 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 54223 49192 1006 2594 0 51116 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 216892 KiB
Current children cumulated memory: 196768 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 3.82 5/258 905520
/proc/meminfo: memFree=126253400/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=218792 memory=198848 CPUtime=401.11 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 43244 0 0 0 40101 10 0 0 20 0 1 0 174418634 224043008 49712 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 54698 49712 1006 2594 0 51591 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 218792 KiB
Current children cumulated memory: 198848 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.11 3.84 5/258 905530
/proc/meminfo: memFree=126332040/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=242772 memory=220496 CPUtime=460.95 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 45089 0 0 0 46084 11 0 0 20 0 1 0 174418634 248598528 55124 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 60693 55124 1006 2594 0 57586 0
################
# More data... #
################
Current children cumulated memory: 252520 KiB
[startup+2922.3 s]
/proc/loadavg: 4.50 4.21 4.12 5/258 906746
/proc/meminfo: memFree=126848916/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=277860 memory=252520 CPUtime=2914.01 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 96971 0 0 0 291362 39 0 0 20 0 1 0 174418634 284528640 63130 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 69465 63130 1006 2594 0 66358 0
Current children cumulated CPU time: 2914.01 s
Current children cumulated vsize: 277860 KiB
Current children cumulated memory: 252520 KiB
[startup+2982.3 s]
/proc/loadavg: 4.25 4.19 4.12 5/258 906756
/proc/meminfo: memFree=126857800/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=254812 memory=235024 CPUtime=2973.84 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 98534 0 0 0 297344 40 0 0 20 0 1 0 174418634 260927488 58756 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 63703 58756 1006 2594 0 60596 0
Current children cumulated CPU time: 2973.84 s
Current children cumulated vsize: 254812 KiB
Current children cumulated memory: 235024 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/257 906766
/proc/meminfo: memFree=126838920/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=279364 memory=258864 CPUtime=3033.69 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 100002 0 0 0 303328 41 0 0 20 0 1 0 174418634 286068736 64716 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 69841 64716 1006 2594 0 66734 0
Current children cumulated CPU time: 3033.69 s
Current children cumulated vsize: 279364 KiB
Current children cumulated memory: 258864 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/257 906777
/proc/meminfo: memFree=126765308/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=304936 memory=284972 CPUtime=3093.49 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 101548 0 0 0 309307 42 0 0 20 0 1 0 174418634 312254464 71243 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 76234 71243 1006 2594 0 73127 0
Current children cumulated CPU time: 3093.49 s
Current children cumulated vsize: 304936 KiB
Current children cumulated memory: 284972 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/257 906788
/proc/meminfo: memFree=126734100/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=304936 memory=285148 CPUtime=3153.27 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 101736 0 0 0 315285 42 0 0 20 0 1 0 174418634 312254464 71287 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 76234 71287 1006 2594 0 73127 0
Current children cumulated CPU time: 3153.27 s
Current children cumulated vsize: 304936 KiB
Current children cumulated memory: 285148 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/254 906798
/proc/meminfo: memFree=126555624/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=292124 memory=271232 CPUtime=3213.05 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 102836 0 0 0 321263 42 0 0 20 0 1 0 174418634 299134976 67808 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 73031 67808 1006 2594 0 69924 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 292124 KiB
Current children cumulated memory: 271232 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/254 906809
/proc/meminfo: memFree=126496480/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=310968 memory=291148 CPUtime=3272.84 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 104331 0 0 0 327241 43 0 0 20 0 1 0 174418634 318431232 72787 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 77742 72787 1006 2594 0 74635 0
Current children cumulated CPU time: 3272.84 s
Current children cumulated vsize: 310968 KiB
Current children cumulated memory: 291148 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/254 906820
/proc/meminfo: memFree=126431124/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=310968 memory=291180 CPUtime=3332.62 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 104437 0 0 0 333219 43 0 0 20 0 1 0 174418634 318431232 72795 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 77742 72795 1006 2594 0 74635 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 310968 KiB
Current children cumulated memory: 291180 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/254 906830
/proc/meminfo: memFree=126382348/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=330528 memory=310596 CPUtime=3392.4 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 104839 0 0 0 339197 43 0 0 20 0 1 0 174418634 338460672 77649 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 82632 77649 1006 2594 0 79525 0
Current children cumulated CPU time: 3392.4 s
Current children cumulated vsize: 330528 KiB
Current children cumulated memory: 310596 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 906840
/proc/meminfo: memFree=126390496/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=330528 memory=310740 CPUtime=3452.18 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 104942 0 0 0 345175 43 0 0 20 0 1 0 174418634 338460672 77685 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 82632 77685 1006 2594 0 79525 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 330528 KiB
Current children cumulated memory: 310740 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 906856
/proc/meminfo: memFree=126300632/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=330528 memory=310740 CPUtime=3511.97 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 105046 0 0 0 351154 43 0 0 20 0 1 0 174418634 338460672 77685 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 82632 77685 1006 2594 0 79525 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 330528 KiB
Current children cumulated memory: 310740 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 906866
/proc/meminfo: memFree=126365320/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=330528 memory=310740 CPUtime=3571.75 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 105153 0 0 0 357132 43 0 0 20 0 1 0 174418634 338460672 77685 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 82632 77685 1006 2594 0 79525 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 330528 KiB
Current children cumulated memory: 310740 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 906870
/proc/meminfo: memFree=126362664/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=330528 memory=310740 CPUtime=3600.05 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 105250 0 0 0 359962 43 0 0 20 0 1 0 174418634 338460672 77685 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 82632 77685 1006 2594 0 79525 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 330528 KiB
Current children cumulated memory: 310740 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 904896 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.62 s, system=0.439644 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 906870
/proc/meminfo: memFree=126362664/131524600 swapFree=131071996/131071996
[pid=904896] ppid=904893 vsize=330528 memory=310740 CPUtime=3600.05 cores=1,3
/proc/904896/stat : 904896 (CASHWMaxSAT-Dis) R 904893 904896 904254 0 -1 4194304 105250 0 0 0 359962 43 0 0 20 0 1 0 174418634 338460672 77685 134679101440 4194304 14817773 140732852787552 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23605248 140732852794340 140732852794455 140732852794455 140732852801471 0
/proc/904896/statm: 82632 77685 1006 2594 0 79525 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 330528 KiB
Current children cumulated memory: 310740 KiB
Child status: 10
Real time (s): 3610.7
CPU time (s): 3600.06
CPU user time (s): 3599.62
CPU system time (s): 0.439644
CPU usage (%): 99.7053
Max. virtual memory (cumulated for all children) (KiB): 330528
Max. memory (cumulated for all children) (KiB): 310740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.62
system time used= 0.439644
maximum resident set size= 310748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105252
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= 45
involuntary context switches= 3049
# summary of solver processes directly reported to runsolver:
# pid: 904896
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.62
# total CPU system time (s): 0.439644
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.75305 second user time and 14.8373 second system time
The end
Begin job on nodeC027 at 2024-07-17 15:22:12 IDJOB=4439105 IDBENCH=147695 IDSOLVER=3075 FILE ID=nodeC027/4439105-1721222520 RUNJOBID= nodeC027-1721220980-904266 SLURM_JOB_ID= 7508958 Free space on /tmp= 890036 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439105-1721222520/watcher-4439105-1721222520 -o /tmp/evaluation-result-4439105-1721222520/solver-4439105-1721222520 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721220980-904266 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439105-1721222520.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 89d4e33f1fc4516d7db076f434bf527f RANDOM SEED=139222637 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3660.571 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 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 : 3658.607 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 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 : 3600.442 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 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 : 3664.743 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 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 : 3660.560 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 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 : 3665.634 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 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 : 3600.491 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 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 : 3600.425 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126487520 kB MemAvailable: 127419476 kB Buffers: 444572 kB Cached: 1323052 kB SwapCached: 0 kB Active: 808364 kB Inactive: 3625560 kB Active(anon): 1560 kB Inactive(anon): 2702452 kB Active(file): 806804 kB Inactive(file): 923108 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 14040 kB Writeback: 0 kB AnonPages: 2661756 kB Mapped: 124104 kB Shmem: 37720 kB KReclaimable: 83732 kB Slab: 189552 kB SReclaimable: 83732 kB SUnreclaim: 105820 kB KernelStack: 4140 kB PageTables: 14072 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3169424 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 64608 kB HardwareCorrupted: 0 kB AnonHugePages: 2084864 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 193236 kB DirectMap2M: 15308800 kB DirectMap1G: 120586240 kB Free space on /tmp at the end= 890016 MiB End job on nodeC027 at 2024-07-17 16:22:23