Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 | OPT | 5114519 | 3202.51 | 3212.92 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_5.opb |
| MD5SUM | 4bce0178dd52d2d263abed98aae07653 |
| 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 | 5114519 |
| Best CPU time to get the best result obtained on this benchmark | 353.176 |
| 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 | 5100 |
| Total number of constraints | 7606 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 4950 |
| Biggest coefficient in the objective function | 145531576 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 56160700102 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 145531576 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 56160700102 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3202.47/3212.91 c Exit code from Second Program: 30 3202.47/3212.91 o 37803347 3202.47/3212.91 o 26609555 3202.47/3212.91 o 26493285 3202.47/3212.91 o 26419811 3202.47/3212.91 o 26410795 3202.47/3212.91 o 26397977 3202.47/3212.91 o 26315325 3202.47/3212.91 o 16566321 3202.47/3212.91 o 14915487 3202.47/3212.91 o 14455405 3202.47/3212.91 o 14431375 3202.47/3212.91 o 14420655 3202.47/3212.91 o 14361805 3202.47/3212.91 o 14360125 3202.47/3212.91 o 14348115 3202.47/3212.91 o 14344911 3202.47/3212.91 o 14337775 3202.47/3212.91 o 14217941 3202.47/3212.91 o 14207181 3202.47/3212.91 o 14206509 3202.47/3212.91 o 14181139 3202.47/3212.91 o 14169335 3202.47/3212.91 o 14136463 3202.47/3212.91 o 13071317 3202.47/3212.91 o 13017307 3202.47/3212.91 o 13012501 3202.47/3212.91 o 12975629 3202.47/3212.91 o 12885341 3202.47/3212.91 o 8303567 3202.47/3212.91 o 8290207 3202.47/3212.91 o 8268967 3202.47/3212.91 o 8263753 3202.47/3212.91 o 8239937 3202.47/3212.91 o 8234221 3202.47/3212.91 o 8226381 3202.47/3212.91 o 8224085 3202.47/3212.91 o 8200523 3202.47/3212.91 o 8169831 3202.47/3212.91 o 8150807 3202.47/3212.91 o 8134477 3202.47/3212.91 o 8123113 3202.47/3212.91 o 8117105 3202.47/3212.91 o 8097915 3202.47/3212.91 o 8096877 3202.47/3212.91 o 8076789 3202.47/3212.91 o 8073821 3202.47/3212.91 o 8072783 3202.47/3212.91 o 8061915 3202.47/3212.91 o 8036891 3202.47/3212.91 o 8031575 3202.47/3212.91 o 8024765 3202.47/3212.91 o 8020707 3202.47/3212.91 o 6442007 3202.47/3212.91 o 6411559 3202.47/3212.91 o 6408403 3202.47/3212.91 o 6383031 3202.47/3212.91 o 6362257 3202.47/3212.91 o 6354417 3202.47/3212.91 o 6344519 3202.47/3212.91 o 6341481 3202.47/3212.91 o 6322291 3202.47/3212.91 o 6310321 3202.47/3212.91 o 6290233 3202.47/3212.91 o 6279145 3202.47/3212.91 o 6271487 3202.47/3212.91 o 6237615 3202.47/3212.91 o 6229775 3202.47/3212.91 o 6225489 3202.47/3212.91 o 6216815 3202.47/3212.91 o 6214621 3202.47/3212.91 o 6213583 3202.47/3212.91 o 6205861 3202.47/3212.91 o 6195339 3202.47/3212.91 o 6190049 3202.47/3212.91 o 6174107 3202.47/3212.91 o 6171069 3202.47/3212.91 o 6170951 3202.47/3212.91 o 6167703 3202.47/3212.91 o 6160551 3202.47/3212.91 o 6152829 3202.47/3212.91 o 6151911 3202.47/3212.91 o 6147375 3202.47/3212.91 o 6122637 3202.47/3212.91 o 6098963 3202.47/3212.91 o 6098371 3202.47/3212.91 o 6082429 3202.47/3212.91 o 6073957 3202.47/3212.91 o 6070801 3202.47/3212.91 o 6067615 3202.47/3212.91 o 6063079 3202.47/3212.91 o 6053189 3202.47/3212.91 o 6045497 3202.47/3212.91 o 6029697 3202.47/3212.91 o 6025809 3202.47/3212.91 o 5995681 3202.47/3212.91 o 5992489 3202.47/3212.91 o 5983107 3202.47/3212.91 o 5979671 3202.47/3212.91 o 5945721 3202.47/3212.91 o 5942891 3202.47/3212.91 o 5941291 3202.47/3212.91 o 5910885 3202.47/3212.91 o 5892859 3202.47/3212.91 o 5876139 3202.47/3212.91 o 5869931 3202.47/3212.91 o 5850305 3202.47/3212.91 o 5847475 3202.47/3212.91 o 5823653 3202.47/3212.91 o 5781099 3202.47/3212.91 o 5777845 3202.47/3212.91 o 5718453 3202.47/3212.91 o 5713053 3202.47/3212.91 o 5701677 3202.47/3212.91 o 5700653 3202.47/3212.91 o 5691903 3202.47/3212.91 o 5683877 3202.47/3212.91 o 5675127 3202.47/3212.91 o 5669719 3202.47/3212.91 o 5649029 3202.47/3212.91 o 5647763 3202.47/3212.91 o 5639013 3202.47/3212.91 o 5636387 3202.47/3212.91 o 5621469 3202.47/3212.91 o 5604693 3202.47/3212.91 o 5599285 3202.47/3212.91 o 5569845 3202.47/3212.91 o 5560709 3202.47/3212.91 o 5551959 3202.47/3212.91 o 5508751 3202.47/3212.91 o 5481155 3202.47/3212.91 o 5468291 3202.47/3212.91 o 5464627 3202.47/3212.91 o 5451693 3202.47/3212.91 o 5448861 3202.47/3212.91 o 5440111 3202.47/3212.91 o 5436495 3202.47/3212.91 o 5432831 3202.47/3212.91 o 5368501 3202.47/3212.91 o 5355567 3202.47/3212.91 o 5352735 3202.47/3212.91 o 5348175 3202.47/3212.91 o 5347693 3202.47/3212.91 o 5343277 3202.47/3212.91 o 5328263 3202.47/3212.91 o 5310623 3202.47/3212.91 o 5306959 3202.47/3212.91 o 5286607 3202.47/3212.91 o 5285713 3202.47/3212.91 o 5285255 3202.47/3212.91 o 5268657 3202.47/3212.91 o 5263135 3202.47/3212.91 o 5254657 3202.47/3212.91 o 5233195 3202.47/3212.91 o 5224049 3202.47/3212.91 o 5221433 3202.47/3212.91 o 5220539 3202.47/3212.91 o 5218823 3202.47/3212.91 o 5218441 3202.47/3212.91 o 5217929 3202.47/3212.91 o 5217625 3202.47/3212.91 o 5215109 3202.47/3212.91 o 5210687 3202.47/3212.91 o 5209399 3202.47/3212.91 o 5208505 3202.47/3212.91 o 5205199 3202.47/3212.91 o 5202505 3202.47/3212.91 o 5199735 3202.47/3212.91 o 5198841 3202.47/3212.91 o 5185977 3202.47/3212.91 o 5182959 3202.47/3212.91 o 5170701 3202.47/3212.91 o 5168725 3202.47/3212.91 o 5162573 3202.47/3212.91 o 5162227 3202.47/3212.91 o 5159883 3202.47/3212.91 o 5156219 3202.47/3212.91 o 5152331 3202.47/3212.91 o 5149685 3202.47/3212.91 o 5145149 3202.47/3212.91 o 5141957 3202.47/3212.91 o 5140697 3202.47/3212.91 o 5138457 3202.47/3212.91 o 5134841 3202.47/3212.91 o 5132009 3202.47/3212.91 o 5131497 3202.47/3212.91 o 5124279 3202.47/3212.91 o 5118495 3202.47/3212.91 o 5117163 3202.47/3212.91 o 5114519 3202.47/3212.91 o 5114519 3202.47/3212.91 o 5114519 3202.47/3212.91 s OPTIMUM FOUND 3202.47/3212.91 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 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 -x2099 -x2100 x2101 x2102 x2103 -x2104 -x2105 -x2106 x2107 -x2108 x2109 x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 x2133 -x2134 x2135 -x2136 -x2137 -x2138 x2139 -x2140 x2141 -x2142 -x2143 x2144 -x2145 -x2146 x2147 -x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 x3562 -x3563 -x3564 -x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 x4662 -x4663 -x4664 -x4665 x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100
OK 5114519
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 (63072 MiB free)
memory of node 1: 64473 MiB (62648 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438105-1722966251/watcher-4438105-1722966251 -o /tmp/evaluation-result-4438105-1722966251/solver-4438105-1722966251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722959055-344513 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4438105-1722966251.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=348863, runsolver pid=348860
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.16 4.14 4.10 5/266 348867
/proc/meminfo: memFree=128699616/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63227388 10170368 698 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 698 620 264 0 134 0
[pid=348866] ppid=348863 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/348866/stat : 348866 (timeout) S 348863 348866 344503 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63227389 8867840 228 134679101440 94101825662976 94101825697992 140729325507296 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94101827795408 94101827797540 94101830725632 140729325515774 140729325515933 140729325515933 140729325522919 0
/proc/348866/statm: 2165 228 204 9 0 87 0
[pid=348867] ppid=348866 vsize=42628 memory=26896 CPUtime=0.09 cores=0,2
/proc/348867/stat : 348867 (CASHWMaxSAT-Dis) R 348866 348866 344503 0 -1 4194304 7427 0 0 0 9 0 0 0 20 0 1 0 63227389 43651072 6724 134679101440 4194304 15356333 140731506063008 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 39608320 140731506066435 140731506066581 140731506066581 140731506073567 0
/proc/348867/statm: 10657 6724 1066 2726 0 7405 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61220 KiB
Current children cumulated memory: 30600 KiB
[startup+0.205937 s]*
/proc/loadavg: 4.16 4.14 4.10 5/266 348867
/proc/meminfo: memFree=128664580/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63227388 10170368 698 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 698 620 264 0 134 0
[pid=348866] ppid=348863 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/348866/stat : 348866 (timeout) S 348863 348866 344503 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63227389 8867840 228 134679101440 94101825662976 94101825697992 140729325507296 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94101827795408 94101827797540 94101830725632 140729325515774 140729325515933 140729325515933 140729325522919 0
/proc/348866/statm: 2165 228 204 9 0 87 0
[pid=348867] ppid=348866 vsize=64016 memory=46860 CPUtime=0.2 cores=0,2
/proc/348867/stat : 348867 (CASHWMaxSAT-Dis) R 348866 348866 344503 0 -1 4194304 11592 0 0 0 19 1 0 0 20 0 1 0 63227389 65552384 11715 134679101440 4194304 15356333 140731506063008 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 39608320 140731506066435 140731506066581 140731506066581 140731506073567 0
/proc/348867/statm: 16004 11715 1338 2726 0 12752 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 82608 KiB
Current children cumulated memory: 50564 KiB
[startup+0.305903 s]*
/proc/loadavg: 4.16 4.14 4.10 5/266 348867
/proc/meminfo: memFree=128626896/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63227388 10170368 698 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 698 620 264 0 134 0
[pid=348866] ppid=348863 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/348866/stat : 348866 (timeout) S 348863 348866 344503 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63227389 8867840 228 134679101440 94101825662976 94101825697992 140729325507296 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94101827795408 94101827797540 94101830725632 140729325515774 140729325515933 140729325515933 140729325522919 0
/proc/348866/statm: 2165 228 204 9 0 87 0
[pid=348867] ppid=348866 vsize=91256 memory=77432 CPUtime=0.3 cores=0,2
/proc/348867/stat : 348867 (CASHWMaxSAT-Dis) R 348866 348866 344503 0 -1 4194304 19616 0 0 0 28 2 0 0 20 0 1 0 63227389 93446144 19358 134679101440 4194304 15356333 140731506063008 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 39608320 140731506066435 140731506066581 140731506066581 140731506073567 0
/proc/348867/statm: 22814 19358 2650 2726 0 19562 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 109848 KiB
Current children cumulated memory: 81136 KiB
[startup+0.700303 s]
/proc/loadavg: 4.16 4.14 4.10 5/266 348867
/proc/meminfo: memFree=128442776/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63227388 10170368 698 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 698 620 264 0 134 0
[pid=348866] ppid=348863 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/348866/stat : 348866 (timeout) S 348863 348866 344503 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63227389 8867840 228 134679101440 94101825662976 94101825697992 140729325507296 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94101827795408 94101827797540 94101830725632 140729325515774 140729325515933 140729325515933 140729325522919 0
/proc/348866/statm: 2165 228 204 9 0 87 0
[pid=348867] ppid=348866 vsize=348540 memory=331976 CPUtime=0.69 cores=0,2
/proc/348867/stat : 348867 (CASHWMaxSAT-Dis) R 348866 348866 344503 0 -1 4194304 83029 0 0 0 59 10 0 0 20 0 1 0 63227389 356904960 82994 134679101440 4194304 15356333 140731506063008 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 39608320 140731506066435 140731506066581 140731506066581 140731506073567 0
/proc/348867/statm: 87135 82994 2874 2726 0 83883 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 367132 KiB
Current children cumulated memory: 335680 KiB
[startup+1.5003 s]
/proc/loadavg: 4.16 4.14 4.10 5/266 348867
/proc/meminfo: memFree=128217668/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63227388 10170368 698 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 698 620 264 0 134 0
[pid=348866] ppid=348863 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/348866/stat : 348866 (timeout) S 348863 348866 344503 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63227389 8867840 228 134679101440 94101825662976 94101825697992 140729325507296 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94101827795408 94101827797540 94101830725632 140729325515774 140729325515933 140729325515933 140729325522919 0
/proc/348866/statm: 2165 228 204 9 0 87 0
[pid=348867] ppid=348866 vsize=423468 memory=405136 CPUtime=1.48 cores=0,2
/proc/348867/stat : 348867 (CASHWMaxSAT-Dis) R 348866 348866 344503 0 -1 4194304 101330 0 0 0 135 13 0 0 20 0 1 0 63227389 433631232 101284 134679101440 4194304 15356333 140731506063008 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 39608320 140731506066435 140731506066581 140731506066581 140731506073567 0
/proc/348867/statm: 105867 101284 2906 2726 0 102615 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 442060 KiB
Current children cumulated memory: 408840 KiB
[startup+3.10594 s]
/proc/loadavg: 4.14 4.14 4.10 5/266 348869
/proc/meminfo: memFree=128023624/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63227388 10170368 698 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 698 620 264 0 134 0
[pid=348866] ppid=348863 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/348866/stat : 348866 (timeout) S 348863 348866 344503 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63227389 8867840 228 134679101440 94101825662976 94101825697992 140729325507296 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94101827795408 94101827797540 94101830725632 140729325515774 140729325515933 140729325515933 140729325522919 0
/proc/348866/statm: 2165 228 204 9 0 87 0
[pid=348867] ppid=348866 vsize=423468 memory=406544 CPUtime=3.08 cores=0,2
/proc/348867/stat : 348867 (CASHWMaxSAT-Dis) R 348866 348866 344503 0 -1 4194304 101754 0 0 0 295 13 0 0 20 0 1 0 63227389 433631232 101636 134679101440 4194304 15356333 140731506063008 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 39608320 140731506066435 140731506066581 140731506066581 140731506073567 0
/proc/348867/statm: 105867 101636 2922 2726 0 102615 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 442060 KiB
Current children cumulated memory: 410248 KiB
[startup+6.3003 s]
/proc/loadavg: 4.14 4.14 4.10 5/266 348869
/proc/meminfo: memFree=127985312/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63227388 10170368 698 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 698 620 264 0 134 0
[pid=348866] ppid=348863 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/348866/stat : 348866 (timeout) S 348863 348866 344503 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63227389 8867840 228 134679101440 94101825662976 94101825697992 140729325507296 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94101827795408 94101827797540 94101830725632 140729325515774 140729325515933 140729325515933 140729325522919 0
/proc/348866/statm: 2165 228 204 9 0 87 0
[pid=348867] ppid=348866 vsize=424492 memory=407064 CPUtime=6.27 cores=0,2
/proc/348867/stat : 348867 (CASHWMaxSAT-Dis) R 348866 348866 344503 0 -1 4194304 101891 0 0 0 613 14 0 0 20 0 1 0 63227389 434679808 101766 134679101440 4194304 15356333 140731506063008 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 39608320 140731506066435 140731506066581 140731506066581 140731506073567 0
/proc/348867/statm: 106123 101766 2922 2726 0 102871 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 443084 KiB
Current children cumulated memory: 410768 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.15 4.11 5/266 348869
/proc/meminfo: memFree=127770816/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63227388 10170368 698 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 698 620 264 0 134 0
[pid=348866] ppid=348863 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/348866/stat : 348866 (timeout) S 348863 348866 344503 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63227389 8867840 228 134679101440 94101825662976 94101825697992 140729325507296 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94101827795408 94101827797540 94101830725632 140729325515774 140729325515933 140729325515933 140729325522919 0
/proc/348866/statm: 2165 228 204 9 0 87 0
[pid=348867] ppid=348866 vsize=601220 memory=580964 CPUtime=12.64 cores=0,2
/proc/348867/stat : 348867 (CASHWMaxSAT-Dis) R 348866 348866 344503 0 -1 4194304 139417 0 0 0 1245 19 0 0 20 0 1 0 63227389 615649280 145241 134679101440 4194304 15356333 140731506063008 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 39608320 140731506066435 140731506066581 140731506066581 140731506073567 0
/proc/348867/statm: 150305 145241 3034 2726 0 147053 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 619812 KiB
Current children cumulated memory: 584668 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.10 5/266 348875
/proc/meminfo: memFree=128301132/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63227388 10170368 698 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 698 620 264 0 134 0
[pid=348866] ppid=348863 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/348866/stat : 348866 (timeout) S 348863 348866 344503 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63227389 8867840 228 134679101440 94101825662976 94101825697992 140729325507296 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94101827795408 94101827797540 94101830725632 140729325515774 140729325515933 140729325515933 140729325522919 0
/proc/348866/statm: 2165 228 204 9 0 87 0
[pid=348867] ppid=348866 vsize=605980 memory=586360 CPUtime=25.4 cores=0,2
/proc/348867/stat : 348867 (CASHWMaxSAT-Dis) R 348866 348866 344503 0 -1 4194304 140299 0 0 0 2520 20 0 0 20 0 1 0 63227389 620523520 146590 134679101440 4194304 15356333 140731506063008 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 39608320 140731506066435 140731506066581 140731506066581 140731506073567 0
/proc/348867/statm: 151495 146590 3034 2726 0 148243 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 624572 KiB
Current children cumulated memory: 590064 KiB
[startup+51.1059 s]
/proc/loadavg: 4.11 4.13 4.10 5/266 348878
/proc/meminfo: memFree=128216436/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63227388 10170368 698 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 698 620 264 0 134 0
[pid=348866] ppid=348863 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/348866/stat : 348866 (timeout) S 348863 348866 344503 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63227389 8867840 228 134679101440 94101825662976 94101825697992 140729325507296 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94101827795408 94101827797540 94101830725632 140729325515774 140729325515933 140729325515933 140729325522919 0
/proc/348866/statm: 2165 228 204 9 0 87 0
[pid=348867] ppid=348866 vsize=611352 memory=590988 CPUtime=50.93 cores=0,2
/proc/348867/stat : 348867 (CASHWMaxSAT-Dis) R 348866 348866 344503 0 -1 4194304 141450 0 0 0 5072 21 0 0 20 0 1 0 63227389 626024448 147747 134679101440 4194304 15356333 140731506063008 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 39608320 140731506066435 140731506066581 140731506066581 140731506073567 0
/proc/348867/statm: 152838 147747 3034 2726 0 149586 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 629944 KiB
Current children cumulated memory: 594692 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/263 348887
/proc/meminfo: memFree=127988012/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63227388 10170368 698 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
################
# More data... #
################
/proc/349844/statm: 67884 60790 852 745 0 66949 0
Current children cumulated CPU time: 3152.05 s
Current children cumulated vsize: 290128 KiB
Current children cumulated memory: 246980 KiB
[startup+3212.92 s]
# the end of solver process 348863 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3201.5 s, system=1.01218 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3174.4 s]
/proc/loadavg: 4.15 4.18 4.18 5/262 350776
/proc/meminfo: memFree=123675800/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2848 CPUtime=1792.37 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 273 234843 0 0 0 0 179155 82 20 0 1 0 63227388 10170368 712 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 712 620 264 0 134 0
[pid=349843] ppid=348863 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/349843/stat : 349843 (timeout) S 348863 349843 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63407189 8867840 243 134679101440 94702110420992 94702110456008 140725284897552 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94702112553424 94702112555556 94702114983936 140725284905972 140725284906141 140725284906141 140725284913127 0
/proc/349843/statm: 2165 243 219 9 0 87 0
[pid=349844] ppid=349843 vsize=271536 memory=243160 CPUtime=1371.74 cores=0,2
/proc/349844/stat : 349844 (Exact) R 349843 349843 344503 0 -1 4194304 40771 0 0 0 137157 17 0 0 20 0 1 0 63407189 278052864 60790 134679101440 4194304 7243121 140732004116464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 15908864 140732004119568 140732004119718 140732004119718 140732004126704 0
/proc/349844/statm: 67884 60790 852 745 0 66949 0
Current children cumulated CPU time: 3164.11 s
Current children cumulated vsize: 290128 KiB
Current children cumulated memory: 246980 KiB
[startup+3200 s]*
/proc/loadavg: 4.10 4.16 4.17 5/262 350779
/proc/meminfo: memFree=123433936/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2848 CPUtime=1792.37 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 273 234843 0 0 0 0 179155 82 20 0 1 0 63227388 10170368 712 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 712 620 264 0 134 0
[pid=349843] ppid=348863 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/349843/stat : 349843 (timeout) S 348863 349843 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63407189 8867840 243 134679101440 94702110420992 94702110456008 140725284897552 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94702112553424 94702112555556 94702114983936 140725284905972 140725284906141 140725284906141 140725284913127 0
/proc/349843/statm: 2165 243 219 9 0 87 0
[pid=349844] ppid=349843 vsize=272988 memory=244360 CPUtime=1397.25 cores=0,2
/proc/349844/stat : 349844 (Exact) R 349843 349843 344503 0 -1 4194304 41123 0 0 0 139708 17 0 0 20 0 1 0 63407189 279539712 61090 134679101440 4194304 7243121 140732004116464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 15908864 140732004119568 140732004119718 140732004119718 140732004126704 0
/proc/349844/statm: 68247 61090 852 745 0 67312 0
Current children cumulated CPU time: 3189.62 s
Current children cumulated vsize: 291580 KiB
Current children cumulated memory: 248180 KiB
[startup+3206.4 s]
/proc/loadavg: 4.09 4.16 4.17 5/262 350781
/proc/meminfo: memFree=123666968/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2848 CPUtime=1792.37 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 273 234843 0 0 0 0 179155 82 20 0 1 0 63227388 10170368 712 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 712 620 264 0 134 0
[pid=349843] ppid=348863 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/349843/stat : 349843 (timeout) S 348863 349843 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63407189 8867840 243 134679101440 94702110420992 94702110456008 140725284897552 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94702112553424 94702112555556 94702114983936 140725284905972 140725284906141 140725284906141 140725284913127 0
/proc/349843/statm: 2165 243 219 9 0 87 0
[pid=349844] ppid=349843 vsize=272988 memory=244360 CPUtime=1403.63 cores=0,2
/proc/349844/stat : 349844 (Exact) R 349843 349843 344503 0 -1 4194304 41130 0 0 0 140346 17 0 0 20 0 1 0 63407189 279539712 61090 134679101440 4194304 7243121 140732004116464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 15908864 140732004119568 140732004119718 140732004119718 140732004126704 0
/proc/349844/statm: 68247 61090 852 745 0 67312 0
Current children cumulated CPU time: 3196 s
Current children cumulated vsize: 291580 KiB
Current children cumulated memory: 248180 KiB
[startup+3209.6 s]
/proc/loadavg: 4.08 4.16 4.17 5/262 350781
/proc/meminfo: memFree=123666960/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2848 CPUtime=1792.37 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 273 234843 0 0 0 0 179155 82 20 0 1 0 63227388 10170368 712 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 712 620 264 0 134 0
[pid=349843] ppid=348863 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/349843/stat : 349843 (timeout) S 348863 349843 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63407189 8867840 243 134679101440 94702110420992 94702110456008 140725284897552 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94702112553424 94702112555556 94702114983936 140725284905972 140725284906141 140725284906141 140725284913127 0
/proc/349843/statm: 2165 243 219 9 0 87 0
[pid=349844] ppid=349843 vsize=272988 memory=244360 CPUtime=1406.82 cores=0,2
/proc/349844/stat : 349844 (Exact) R 349843 349843 344503 0 -1 4194304 41134 0 0 0 140665 17 0 0 20 0 1 0 63407189 279539712 61090 134679101440 4194304 7243121 140732004116464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 15908864 140732004119568 140732004119718 140732004119718 140732004126704 0
/proc/349844/statm: 68247 61090 852 745 0 67312 0
Current children cumulated CPU time: 3199.19 s
Current children cumulated vsize: 291580 KiB
Current children cumulated memory: 248180 KiB
[startup+3211.2 s]
/proc/loadavg: 4.08 4.16 4.17 5/262 350781
/proc/meminfo: memFree=123666976/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2848 CPUtime=1792.37 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 273 234843 0 0 0 0 179155 82 20 0 1 0 63227388 10170368 712 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 712 620 264 0 134 0
[pid=349843] ppid=348863 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/349843/stat : 349843 (timeout) S 348863 349843 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63407189 8867840 243 134679101440 94702110420992 94702110456008 140725284897552 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94702112553424 94702112555556 94702114983936 140725284905972 140725284906141 140725284906141 140725284913127 0
/proc/349843/statm: 2165 243 219 9 0 87 0
[pid=349844] ppid=349843 vsize=272988 memory=244360 CPUtime=1408.41 cores=0,2
/proc/349844/stat : 349844 (Exact) R 349843 349843 344503 0 -1 4194304 41135 0 0 0 140824 17 0 0 20 0 1 0 63407189 279539712 61090 134679101440 4194304 7243121 140732004116464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 15908864 140732004119568 140732004119718 140732004119718 140732004126704 0
/proc/349844/statm: 68247 61090 852 745 0 67312 0
Current children cumulated CPU time: 3200.78 s
Current children cumulated vsize: 291580 KiB
Current children cumulated memory: 248180 KiB
[startup+3212 s]*
/proc/loadavg: 4.08 4.16 4.17 5/262 350781
/proc/meminfo: memFree=123666992/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2848 CPUtime=1792.37 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 273 234843 0 0 0 0 179155 82 20 0 1 0 63227388 10170368 712 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 712 620 264 0 134 0
[pid=349843] ppid=348863 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/349843/stat : 349843 (timeout) S 348863 349843 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63407189 8867840 243 134679101440 94702110420992 94702110456008 140725284897552 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94702112553424 94702112555556 94702114983936 140725284905972 140725284906141 140725284906141 140725284913127 0
/proc/349843/statm: 2165 243 219 9 0 87 0
[pid=349844] ppid=349843 vsize=272988 memory=244576 CPUtime=1409.21 cores=0,2
/proc/349844/stat : 349844 (Exact) R 349843 349843 344503 0 -1 4194304 41136 0 0 0 140904 17 0 0 20 0 1 0 63407189 279539712 61144 134679101440 4194304 7243121 140732004116464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 15908864 140732004119568 140732004119718 140732004119718 140732004126704 0
/proc/349844/statm: 68247 61144 852 745 0 67312 0
Current children cumulated CPU time: 3201.58 s
Current children cumulated vsize: 291580 KiB
Current children cumulated memory: 248396 KiB
[startup+3212.4 s]
/proc/loadavg: 4.08 4.16 4.17 5/262 350781
/proc/meminfo: memFree=123666992/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2848 CPUtime=1792.37 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 273 234843 0 0 0 0 179155 82 20 0 1 0 63227388 10170368 712 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 712 620 264 0 134 0
[pid=349843] ppid=348863 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/349843/stat : 349843 (timeout) S 348863 349843 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63407189 8867840 243 134679101440 94702110420992 94702110456008 140725284897552 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94702112553424 94702112555556 94702114983936 140725284905972 140725284906141 140725284906141 140725284913127 0
/proc/349843/statm: 2165 243 219 9 0 87 0
[pid=349844] ppid=349843 vsize=272988 memory=244576 CPUtime=1409.61 cores=0,2
/proc/349844/stat : 349844 (Exact) R 349843 349843 344503 0 -1 4194304 41136 0 0 0 140944 17 0 0 20 0 1 0 63407189 279539712 61144 134679101440 4194304 7243121 140732004116464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 15908864 140732004119568 140732004119718 140732004119718 140732004126704 0
/proc/349844/statm: 68247 61144 852 745 0 67312 0
Current children cumulated CPU time: 3201.98 s
Current children cumulated vsize: 291580 KiB
Current children cumulated memory: 248396 KiB
[startup+3212.8 s]
/proc/loadavg: 4.08 4.16 4.17 5/262 350781
/proc/meminfo: memFree=123666992/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2848 CPUtime=1792.37 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 273 234843 0 0 0 0 179155 82 20 0 1 0 63227388 10170368 712 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 712 620 264 0 134 0
[pid=349843] ppid=348863 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/349843/stat : 349843 (timeout) S 348863 349843 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63407189 8867840 243 134679101440 94702110420992 94702110456008 140725284897552 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94702112553424 94702112555556 94702114983936 140725284905972 140725284906141 140725284906141 140725284913127 0
/proc/349843/statm: 2165 243 219 9 0 87 0
[pid=349844] ppid=349843 vsize=272988 memory=244576 CPUtime=1410.01 cores=0,2
/proc/349844/stat : 349844 (Exact) R 349843 349843 344503 0 -1 4194304 41136 0 0 0 140984 17 0 0 20 0 1 0 63407189 279539712 61144 134679101440 4194304 7243121 140732004116464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 15908864 140732004119568 140732004119718 140732004119718 140732004126704 0
/proc/349844/statm: 68247 61144 852 745 0 67312 0
Current children cumulated CPU time: 3202.38 s
Current children cumulated vsize: 291580 KiB
Current children cumulated memory: 248396 KiB
[startup+3212.9 s]
/proc/loadavg: 4.08 4.16 4.17 5/262 350781
/proc/meminfo: memFree=123666992/131524600 swapFree=131071996/131071996
[pid=348863] ppid=348860 vsize=9932 memory=2848 CPUtime=1792.37 cores=0,2
/proc/348863/stat : 348863 (Hybrid-CASHWMax) S 348860 348863 344503 0 -1 4194304 273 234843 0 0 0 0 179155 82 20 0 1 0 63227388 10170368 712 134679101440 94390429655040 94390430734360 140721682693680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94390432832816 94390432880004 94390438686720 140721682695118 140721682695277 140721682695277 140721682702292 0
/proc/348863/statm: 2483 712 620 264 0 134 0
[pid=349843] ppid=348863 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/349843/stat : 349843 (timeout) S 348863 349843 344503 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63407189 8867840 243 134679101440 94702110420992 94702110456008 140725284897552 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94702112553424 94702112555556 94702114983936 140725284905972 140725284906141 140725284906141 140725284913127 0
/proc/349843/statm: 2165 243 219 9 0 87 0
[pid=349844] ppid=349843 vsize=273920 memory=244752 CPUtime=1410.1 cores=0,2
/proc/349844/stat : 349844 (Exact) R 349843 349843 344503 0 -1 4194304 41300 0 0 0 140993 17 0 0 20 0 1 0 63407189 280494080 61188 134679101440 4194304 7243121 140732004116464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 15908864 140732004119568 140732004119718 140732004119718 140732004126704 0
/proc/349844/statm: 68480 61188 852 745 0 67545 0
Current children cumulated CPU time: 3202.47 s
Current children cumulated vsize: 292512 KiB
Current children cumulated memory: 248572 KiB
Child status: 0
Real time (s): 3212.92
CPU time (s): 3202.51
CPU user time (s): 3201.5
CPU system time (s): 1.01218
CPU usage (%): 99.6762
Max. virtual memory (cumulated for all children) (KiB): 1185916
Max. memory (cumulated for all children) (KiB): 925116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3201.5
system time used= 1.01218
maximum resident set size= 921412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277221
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51
involuntary context switches= 21950
# summary of solver processes directly reported to runsolver:
# pid: 348863
# total CPU time (s): 3202.51
# total CPU user time (s): 3201.5
# total CPU system time (s): 1.01218
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07423 second user time and 16.257 second system time
The end
Begin job on nodeC033 at 2024-08-06 19:44:11 IDJOB=4438105 IDBENCH=155620 IDSOLVER=3072 FILE ID=nodeC033/4438105-1722966251 RUNJOBID= nodeC033-1722959055-344513 SLURM_JOB_ID= 8259032 Free space on /tmp= 890012 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_5.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438105-1722966251/watcher-4438105-1722966251 -o /tmp/evaluation-result-4438105-1722966251/solver-4438105-1722966251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722959055-344513 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4438105-1722966251.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4bce0178dd52d2d263abed98aae07653 RANDOM SEED=2047394365 nodeC033.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 : 3669.013 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.99 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 : 3637.592 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 : 7005.79 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 : 3665.376 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.99 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 : 3675.875 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 : 7005.79 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 : 3674.095 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.99 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 : 3674.376 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 : 7005.79 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 : 3610.356 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.99 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.281 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 : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128739860 kB MemAvailable: 129050012 kB Buffers: 335692 kB Cached: 820656 kB SwapCached: 0 kB Active: 635044 kB Inactive: 1626888 kB Active(anon): 1568 kB Inactive(anon): 1141760 kB Active(file): 633476 kB Inactive(file): 485128 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 40676 kB Writeback: 0 kB AnonPages: 1105672 kB Mapped: 111620 kB Shmem: 37720 kB KReclaimable: 62740 kB Slab: 156360 kB SReclaimable: 62740 kB SUnreclaim: 93620 kB KernelStack: 4208 kB PageTables: 11660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1464740 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 29472 kB HardwareCorrupted: 0 kB AnonHugePages: 878592 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: 320212 kB DirectMap2M: 9938944 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 889964 MiB End job on nodeC033 at 2024-08-06 20:37:44