Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2_no_SoPlex 2024-07-05 | OPT cert. | -110625 | 11.5485 | 14.0111 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/ normalized-knapPI_1_2000_1000_1_-110625.opb |
| MD5SUM | 4e250cdab7b4044f2b74367cd304c22b |
| 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 | -110625 |
| Best CPU time to get the best result obtained on this benchmark | 0.045906 |
| 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 | 2000 |
| Total number of constraints | 1 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2000 |
| Maximum length of a constraint | 2000 |
| Number of terms in the objective function | 2000 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 977737 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 10011 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 1021141 |
| Number of bits of the biggest sum of numbers | 20 |
| 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.01 o 0 0.00/0.01 o -258 0.00/0.01 o -338 0.00/0.02 o -534 0.00/0.02 o -705 0.00/0.02 o -984 0.00/0.02 o -1000 0.00/0.02 o -1561 0.00/0.02 o -1822 0.00/0.02 o -2275 0.00/0.02 o -2466 0.00/0.02 o -2748 0.00/0.03 o -3095 0.00/0.03 o -3259 0.00/0.03 o -3339 0.00/0.03 o -3641 0.00/0.03 o -3839 0.00/0.03 o -4023 0.00/0.04 o -4326 0.00/0.04 o -4471 0.00/0.04 o -4481 0.00/0.05 o -4531 0.00/0.05 o -4559 0.00/0.05 o -4684 0.00/0.06 o -4722 0.00/0.06 o -4774 0.00/0.07 o -4782 0.00/0.08 o -4785 0.00/0.09 o -4793 0.00/0.10 o -4800 0.08/0.11 o -4809 0.08/0.11 o -4810 0.08/0.12 o -4819 0.08/0.12 o -4823 0.08/0.13 o -4827 0.08/0.15 o -4921 0.08/0.16 o -5052 0.08/0.16 o -5105 0.08/0.17 o -5114 0.08/0.20 o -5172 0.18/0.21 o -5209 0.18/0.23 o -5244 0.18/0.25 o -5271 0.18/0.26 o -5280 0.18/0.28 o -5295 0.28/0.31 o -5887 0.28/0.32 o -5914 0.28/0.33 o -5950 0.28/0.34 o -5959 0.28/0.35 o -5971 0.28/0.36 o -5984 0.28/0.39 o -6115 0.28/0.40 o -6150 0.38/0.42 o -6343 0.38/0.43 o -6360 0.38/0.44 o -6387 0.38/0.46 o -6541 0.38/0.47 o -6550 0.38/0.48 o -6830 0.38/0.50 o -6840 0.49/0.51 o -6849 0.49/0.55 o -6894 0.49/0.55 o -6945 0.49/0.57 o -6952 0.49/0.58 o -6955 0.49/0.58 o -7076 0.58/0.61 o -7081 0.58/0.61 o -7312 0.58/0.63 o -7355 0.58/0.63 o -7364 0.58/0.65 o -7382 0.58/0.66 o -7446 0.58/0.67 o -7457 0.58/0.68 o -7484 0.68/0.71 o -7560 0.68/0.75 o -7569 0.68/0.76 o -7631 0.68/0.77 o -7646 0.78/0.80 o -7727 0.78/0.81 o -7732 0.78/0.83 o -7766 0.88/0.92 o -7775 0.88/0.93 o -7949 0.88/0.94 o -7993 0.88/0.96 o -8501 0.88/0.98 o -8795 0.88/0.99 o -9484 0.98/1.00 o -9831 0.98/1.04 o -10270 1.08/1.11 o -10271 1.08/1.14 o -10511 1.08/1.16 o -10645 1.17/1.21 o -10729 1.17/1.21 o -10869 1.17/1.21 o -10968 1.17/1.27 o -11048 1.27/1.32 o -11153 1.37/1.44 o -11386 1.37/1.44 o -11526 1.37/1.45 o -11531 1.47/1.55 o -11637 1.58/1.66 o -11646 1.58/1.67 o -11664 1.58/1.67 o -11728 1.68/1.70 o -11922 1.68/1.70 o -12289 1.68/1.79 o -12440 1.68/1.79 o -12452 1.78/1.80 o -12654 1.78/1.80 o -12679 1.78/1.81 o -12723 1.78/1.81 o -12862 1.78/1.82 o -12918 1.78/1.84 o -12989 1.78/1.86 o -13357 1.88/1.97 o -13529 1.88/1.98 o -13590 1.88/1.99 o -13604 1.98/2.01 o -13820 1.98/2.01 o -14071 1.98/2.02 o -14107 1.98/2.04 o -14205 1.98/2.10 o -14463 2.08/2.11 o -14569 2.08/2.14 o -14893 2.08/2.15 o -14933 2.17/2.20 o -15183 2.27/2.34 o -15357 2.27/2.38 o -15463 2.37/2.41 o -15470 2.37/2.45 o -15494 2.57/2.62 o -15496 2.57/2.62 o -15499 2.57/2.63 o -15503 2.57/2.64 o -15506 2.57/2.65 o -15512 2.57/2.68 o -15553 2.57/2.69 o -15562 2.57/2.69 o -15574 2.67/2.70 o -15590 2.67/2.70 o -15957 2.67/2.71 o -15986 2.67/2.76 o -16167 2.77/2.83 o -16339 2.77/2.84 o -16591 2.98/3.07 o -16600 2.98/3.07 o -16704 2.98/3.09 o -16766 2.98/3.09 o -16775 2.98/3.10 o -16990 3.08/3.11 o -17073 3.08/3.12 o -17207 3.08/3.18 o -17506 3.08/3.18 o -17613 3.17/3.23 o -17925 3.17/3.24 o -17930 3.17/3.25 o -18015 3.27/3.32 o -18172 3.27/3.37 o -18238 3.47/3.54 o -18247 3.47/3.55 o -18302 3.47/3.56 o -18305 3.57/3.60 o -18348 3.57/3.60 o -18357 3.57/3.67 o -18459 3.77/3.86 o -18534 3.77/3.86 o -18561 3.77/3.87 o -18583 3.77/3.88 o -18618 3.87/3.90 o -18622 3.87/3.91 o -18899 3.87/3.94 o -18904 3.97/4.02 o -18961 3.97/4.03 o -19076 4.17/4.20 o -19167 4.17/4.21 o -19176 4.17/4.23 o -19209 4.17/4.25 o -19258 4.17/4.29 o -19292 4.27/4.37 o -19297 4.37/4.42 o -19414 4.47/4.50 o -19565 4.67/4.74 o -19649 4.67/4.74 o -19844 4.67/4.75 o -19850 4.67/4.76 o -19857 4.67/4.77 o -19875 4.67/4.78 o -19942 4.97/5.03 o -19976 5.26/5.36 o -20007 5.26/5.37 o -20016 5.26/5.38 o -20043 5.26/5.39 o -20059 5.26/5.39 o -20078 5.36/5.41 o -20269 5.36/5.45 o -20304 5.36/5.45 o -20354 5.36/5.46 o -20403 5.36/5.49 o -20545 5.46/5.50 o -20628 5.46/5.53 o -20735 5.46/5.54 o -20976 5.46/5.55 o -20981 5.67/5.71 o -21158 6.56/6.67 o -21242 6.56/6.68 o -21280 6.56/6.69 o -21473 6.66/6.71 o -21542 6.76/6.82 o -21684 6.86/6.98 o -21703 6.86/7.00 o -21708 6.96/7.01 o -21714 7.06/7.12 o -21800 7.06/7.18 o -21809 7.36/7.42 o -21818 7.36/7.43 o -21853 7.36/7.46 o -21917 7.36/7.46 o -21920 7.36/7.47 o -22156 7.46/7.59 o -22217 7.56/7.60 o -22226 7.56/7.61 o -22270 7.56/7.62 o -22338 7.86/7.97 o -22525 8.56/8.64 o -108975 8.96/9.04 o -108980 8.96/9.08 o -108999 9.15/9.21 o -109020 9.15/9.26 o -109023 9.46/9.58 o -109032 9.56/9.64 o -109041 9.66/9.73 o -109279 10.85/10.99 o -109280 11.25/11.36 o -110625 11.45/11.55 s OPTIMUM FOUND 11.45/11.55 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 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -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 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 x1546 -x1547 -x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 x1667 x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000
OK -110625
Running VeriPB version 2.2.1 s VERIFIED BOUNDS -110625 <= obj <= -110625 Verification succeeded.
-- veripb -- Running VeriPB version 2.2.1 s VERIFIED BOUNDS -110625 <= obj <= -110625 Verification succeeded. -- cakepb -- s VERIFIED BOUNDS ~110625 <= obj <= ~110625 --summary-- ALL OK
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: 63931 MiB (61542 MiB free)
memory of node 1: 64510 MiB (61376 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4457773-1723986299/watcher-4457773-1723986299 -o /tmp/evaluation-result-4457773-1723986299/solver-4457773-1723986299 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1723986291-900517 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4457773-1723986299 --seed=588616342 HOME/instance-4457773-1723986299.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 419430400 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
Current StackSize limit: 8192 KiB
solver pid=900781, runsolver pid=900778
[startup+0.100164 s]*
/proc/loadavg: 2.16 0.80 0.34 4/252 900809
/proc/meminfo: memFree=125853972/131524592 swapFree=131070192/131071996
[pid=900781] ppid=900778 vsize=29140 memory=7956 CPUtime=0.08 cores=4,6
/proc/900781/stat : 900781 (Exact_veripb2_n) R 900778 900781 899971 0 -1 4194304 1334 0 0 0 8 0 0 0 20 0 1 0 165226976 29839360 1989 134679101440 4194304 7250417 140735283790272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 29712384 140735283798837 140735283799125 140735283799125 140735283806142 0
/proc/900781/statm: 7285 1989 834 747 0 6348 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 29140 KiB
Current children cumulated memory: 7956 KiB
[startup+0.205525 s]*
/proc/loadavg: 2.16 0.80 0.34 4/250 900822
/proc/meminfo: memFree=125844344/131524592 swapFree=131070192/131071996
[pid=900781] ppid=900778 vsize=30028 memory=11320 CPUtime=0.18 cores=4,6
/proc/900781/stat : 900781 (Exact_veripb2_n) R 900778 900781 899971 0 -1 4194304 1641 0 0 0 18 0 0 0 20 0 1 0 165226976 30748672 2830 134679101440 4194304 7250417 140735283790272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 29712384 140735283798837 140735283799125 140735283799125 140735283806142 0
/proc/900781/statm: 7507 2830 834 747 0 6570 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 11320 KiB
[startup+0.304854 s]*
/proc/loadavg: 2.16 0.80 0.34 4/250 900822
/proc/meminfo: memFree=125840588/131524592 swapFree=131070192/131071996
[pid=900781] ppid=900778 vsize=30628 memory=11848 CPUtime=0.28 cores=4,6
/proc/900781/stat : 900781 (Exact_veripb2_n) R 900778 900781 899971 0 -1 4194304 1749 0 0 0 28 0 0 0 20 0 1 0 165226976 31363072 2896 134679101440 4194304 7250417 140735283790272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 29712384 140735283798837 140735283799125 140735283799125 140735283806142 0
/proc/900781/statm: 7657 2962 834 747 0 6720 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 30628 KiB
Current children cumulated memory: 11848 KiB
[startup+0.700153 s]
/proc/loadavg: 2.16 0.80 0.34 4/247 900836
/proc/meminfo: memFree=125838056/131524592 swapFree=131070192/131071996
[pid=900781] ppid=900778 vsize=33004 memory=16152 CPUtime=0.68 cores=4,6
/proc/900781/stat : 900781 (Exact_veripb2_n) R 900778 900781 899971 0 -1 4194304 2469 0 0 0 67 1 0 0 20 0 1 0 165226976 33796096 4038 134679101440 4194304 7250417 140735283790272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 29712384 140735283798837 140735283799125 140735283799125 140735283806142 0
/proc/900781/statm: 8251 4038 834 747 0 7314 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33004 KiB
Current children cumulated memory: 16152 KiB
[startup+1.50019 s]
/proc/loadavg: 2.31 0.86 0.36 5/250 900869
/proc/meminfo: memFree=125802940/131524592 swapFree=131070192/131071996
[pid=900781] ppid=900778 vsize=36484 memory=21360 CPUtime=1.47 cores=4,6
/proc/900781/stat : 900781 (Exact_veripb2_n) R 900778 900781 899971 0 -1 4194304 3299 0 0 0 146 1 0 0 20 0 1 0 165226976 37359616 5340 134679101440 4194304 7250417 140735283790272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 29712384 140735283798837 140735283799125 140735283799125 140735283806142 0
/proc/900781/statm: 9121 5340 834 747 0 8184 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 36484 KiB
Current children cumulated memory: 21360 KiB
[startup+3.10529 s]
/proc/loadavg: 2.31 0.86 0.36 2/241 900906
/proc/meminfo: memFree=125807048/131524592 swapFree=131070192/131071996
[pid=900781] ppid=900778 vsize=43208 memory=34340 CPUtime=3.08 cores=4,6
/proc/900781/stat : 900781 (Exact_veripb2_n) R 900778 900781 899971 0 -1 4194304 4972 0 0 0 305 3 0 0 20 0 1 0 165226976 44244992 8585 134679101440 4194304 7250417 140735283790272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 29712384 140735283798837 140735283799125 140735283799125 140735283806142 0
/proc/900781/statm: 10802 8585 834 747 0 9865 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43208 KiB
Current children cumulated memory: 34340 KiB
[startup+6.30019 s]
/proc/loadavg: 2.20 0.86 0.37 2/239 900911
/proc/meminfo: memFree=125785340/131524592 swapFree=131070192/131071996
[pid=900781] ppid=900778 vsize=77268 memory=68760 CPUtime=6.26 cores=4,6
/proc/900781/stat : 900781 (Exact_veripb2_n) R 900778 900781 899971 0 -1 4194304 10890 0 0 0 621 5 0 0 20 0 1 0 165226976 79122432 17190 134679101440 4194304 7250417 140735283790272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 29712384 140735283798837 140735283799125 140735283799125 140735283806142 0
/proc/900781/statm: 19317 17190 834 747 0 18380 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 77268 KiB
Current children cumulated memory: 68760 KiB
[startup+12.7003 s]
/proc/loadavg: 2.10 0.86 0.37 1/239 900912
/proc/meminfo: memFree=125694360/131524592 swapFree=131070192/131071996
[pid=900781] ppid=900778 vsize=66724 memory=57044 CPUtime=11.52 cores=4,6
/proc/900781/stat : 900781 (Exact_veripb2_n) D 900778 900781 899971 0 -1 4194304 16544 0 0 0 1140 12 0 0 20 0 1 0 165226976 68325376 14261 134679101440 4194304 7250417 140735283790272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 221 0 0 7950792 8015128 29712384 140735283798837 140735283799125 140735283799125 140735283806142 0
/proc/900781/statm: 16681 14261 850 747 0 15744 0
Current children cumulated CPU time: 11.52 s
Current children cumulated vsize: 66724 KiB
Current children cumulated memory: 57044 KiB
[startup+14.0111 s]
# the end of solver process 900781 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=11.4111 s, system=0.137404 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 2.10 0.86 0.37 1/239 900912
/proc/meminfo: memFree=125694360/131524592 swapFree=131070192/131071996
[pid=900781] ppid=900778 vsize=66724 memory=57044 CPUtime=11.52 cores=4,6
/proc/900781/stat : 900781 (Exact_veripb2_n) D 900778 900781 899971 0 -1 4194304 16544 0 0 0 1140 12 0 0 20 0 1 0 165226976 68325376 14261 134679101440 4194304 7250417 140735283790272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 240 0 0 7950792 8015128 29712384 140735283798837 140735283799125 140735283799125 140735283806142 0
/proc/900781/statm: 16681 14261 850 747 0 15744 0
Current children cumulated CPU time: 11.52 s
Current children cumulated vsize: 66724 KiB
Current children cumulated memory: 57044 KiB
[startup+13.6002 s]
/proc/loadavg: 2.10 0.86 0.37 1/239 900912
/proc/meminfo: memFree=125694832/131524592 swapFree=131070192/131071996
[pid=900781] ppid=900778 vsize=66724 memory=57044 CPUtime=11.54 cores=4,6
/proc/900781/stat : 900781 (Exact_veripb2_n) D 900778 900781 899971 0 -1 4194304 16544 0 0 0 1141 13 0 0 20 0 1 0 165226976 68325376 14261 134679101440 4194304 7250417 140735283790272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 401 0 0 7950792 8015128 29712384 140735283798837 140735283799125 140735283799125 140735283806142 0
/proc/900781/statm: 16681 14261 850 747 0 15744 0
Current children cumulated CPU time: 11.54 s
Current children cumulated vsize: 66724 KiB
Current children cumulated memory: 57044 KiB
[startup+14.0002 s]*
/proc/loadavg: 2.10 0.86 0.37 2/239 900912
/proc/meminfo: memFree=125700748/131524592 swapFree=131070192/131071996
[pid=900781] ppid=900778 vsize=66724 memory=57044 CPUtime=11.54 cores=4,6
/proc/900781/stat : 900781 (Exact_veripb2_n) D 900778 900781 899971 0 -1 1077936128 16544 0 0 0 1141 13 0 0 20 0 1 0 165226976 68325376 14261 134679101440 4194304 7250417 140735283790272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 477 0 0 7950792 8015128 29712384 140735283798837 140735283799125 140735283799125 140735283806142 0
/proc/900781/statm: 16681 14261 850 747 0 15744 0
Current children cumulated CPU time: 11.54 s
Current children cumulated vsize: 66724 KiB
Current children cumulated memory: 57044 KiB
Child status: 30
Real time (s): 14.0111
CPU time (s): 11.5485
CPU user time (s): 11.4111
CPU system time (s): 0.137404
CPU usage (%): 82.4238
Max. virtual memory (cumulated for all children) (KiB): 122044
Max. memory (cumulated for all children) (KiB): 99664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.4111
system time used= 0.137404
maximum resident set size= 108576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16545
page faults= 0
swaps= 0
block input operations= 0
block output operations= 311240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4469
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 900781
# total CPU time (s): 11.5485
# total CPU user time (s): 11.4111
# total CPU system time (s): 0.137404
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046234 second user time and 0.081355 second system time
The end
Begin job on nodeC016 at 2024-08-18 15:04:59 IDJOB=4457773 IDBENCH=176755 IDSOLVER=3080 FILE ID=nodeC016/4457773-1723986299 RUNJOBID= nodeC016-1723986291-900517 SLURM_JOB_ID= 8268130 Free space on /tmp= 890072 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/normalized-knapPI_1_2000_1000_1_-110625.opb COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4457773-1723986299/watcher-4457773-1723986299 -o /tmp/evaluation-result-4457773-1723986299/solver-4457773-1723986299 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1723986291-900517 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4457773-1723986299 --seed=588616342 HOME/instance-4457773-1723986299.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4e250cdab7b4044f2b74367cd304c22b RANDOM SEED=588616342 nodeC016.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 : 3267.070 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 : 6999.92 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 : 3656.738 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.47 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 : 3550.454 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 : 6999.92 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 : 3609.850 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.47 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 : 3661.951 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 : 6999.92 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 : 3669.118 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.47 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 : 3647.637 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 : 6999.92 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 : 3605.359 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.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524592 kB MemFree: 125868716 kB MemAvailable: 129704980 kB Buffers: 401408 kB Cached: 4276412 kB SwapCached: 148 kB Active: 993172 kB Inactive: 4096424 kB Active(anon): 1600 kB Inactive(anon): 455992 kB Active(file): 991572 kB Inactive(file): 3640432 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070192 kB Dirty: 7236 kB Writeback: 216 kB AnonPages: 411276 kB Mapped: 88272 kB Shmem: 45764 kB KReclaimable: 88128 kB Slab: 190524 kB SReclaimable: 88128 kB SUnreclaim: 102396 kB KernelStack: 4016 kB PageTables: 9868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834292 kB Committed_AS: 873160 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 37536 kB HardwareCorrupted: 0 kB AnonHugePages: 280576 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: 318164 kB DirectMap2M: 9940992 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890080 MiB End job on nodeC016 at 2024-08-18 15:05:13