Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11 | SAT | 5117163 | 3583.43 | 3596.08 |
| 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 |
3583.32/3596.08 o 37803347 3583.32/3596.08 o 26609555 3583.32/3596.08 o 26493285 3583.32/3596.08 o 26419811 3583.32/3596.08 o 26410795 3583.32/3596.08 o 26397977 3583.32/3596.08 o 26315325 3583.32/3596.08 o 23176093 3583.32/3596.08 o 23159373 3583.32/3596.08 o 23147853 3583.32/3596.08 o 23142243 3583.32/3596.08 o 15720501 3583.32/3596.08 o 15717979 3583.32/3596.08 o 15683453 3583.32/3596.08 o 15648957 3583.32/3596.08 o 15647101 3583.32/3596.08 o 15532891 3583.32/3596.08 o 14768135 3583.32/3596.08 o 14764567 3583.32/3596.08 o 14757849 3583.32/3596.08 o 14756957 3583.32/3596.08 o 14731117 3583.32/3596.08 o 9335523 3583.32/3596.08 o 9323721 3583.32/3596.08 o 9314303 3583.32/3596.08 o 9239169 3583.32/3596.08 o 9187455 3583.32/3596.08 o 8504461 3583.32/3596.08 o 8364061 3583.32/3596.08 o 8354101 3583.32/3596.08 o 8331731 3583.32/3596.08 o 8255791 3583.32/3596.08 o 7734251 3583.32/3596.08 o 7719659 3583.32/3596.08 o 7663865 3583.32/3596.08 o 7657881 3583.32/3596.08 o 7652971 3583.32/3596.08 o 7588757 3583.32/3596.08 o 7586261 3583.32/3596.08 o 7541459 3583.32/3596.08 o 7536597 3583.32/3596.08 o 7533109 3583.32/3596.08 o 7526869 3583.32/3596.08 o 7514901 3583.32/3596.08 o 7504773 3583.32/3596.08 o 7480583 3583.32/3596.08 o 7447319 3583.32/3596.08 o 7392647 3583.32/3596.08 o 7383981 3583.32/3596.08 o 7373887 3583.32/3596.08 o 7360865 3583.32/3596.08 o 7351651 3583.32/3596.08 o 7340113 3583.32/3596.08 o 7321089 3583.32/3596.08 o 7320193 3583.32/3596.08 o 7309473 3583.32/3596.08 o 7249305 3583.32/3596.08 o 7248315 3583.32/3596.08 o 7237905 3583.32/3596.08 o 7182257 3583.32/3596.08 o 7181267 3583.32/3596.08 o 7174883 3583.32/3596.08 o 7158533 3583.32/3596.08 o 7144991 3583.32/3596.08 o 7075623 3583.32/3596.08 o 7015325 3583.32/3596.08 o 6940329 3583.32/3596.08 o 6923655 3583.32/3596.08 o 6919965 3583.32/3596.08 o 6899549 3583.32/3596.08 o 6893789 3583.32/3596.08 o 6860381 3583.32/3596.08 o 6841229 3583.32/3596.08 o 6834469 3583.32/3596.08 o 6832141 3583.32/3596.08 o 6829943 3583.32/3596.08 o 6814361 3583.32/3596.08 o 6793625 3583.32/3596.08 o 6790617 3583.32/3596.08 o 6773657 3583.32/3596.08 o 6772133 3583.32/3596.08 o 6764333 3583.32/3596.08 o 6763767 3583.32/3596.08 o 6761157 3583.32/3596.08 o 6587099 3583.32/3596.08 o 6586617 3583.32/3596.08 o 6582327 3583.32/3596.08 o 6554811 3583.32/3596.08 o 6538081 3583.32/3596.08 o 6537831 3583.32/3596.08 o 6510315 3583.32/3596.08 o 6494061 3583.32/3596.08 o 6493739 3583.32/3596.08 o 6489539 3583.32/3596.08 o 6486861 3583.32/3596.08 o 6478003 3583.32/3596.08 o 6447053 3583.32/3596.08 o 6431035 3583.32/3596.08 o 6426193 3583.32/3596.08 o 6421435 3583.32/3596.08 o 6417829 3583.32/3596.08 o 6389915 3583.32/3596.08 o 6380449 3583.32/3596.08 o 6379355 3583.32/3596.08 o 6377163 3583.32/3596.08 o 6372913 3583.32/3596.08 o 6364291 3583.32/3596.08 o 6356961 3583.32/3596.08 o 6269273 3583.32/3596.08 o 6238473 3583.32/3596.08 o 6225031 3583.32/3596.08 o 6211591 3583.32/3596.08 o 6190697 3583.32/3596.08 o 6153761 3583.32/3596.08 o 6149423 3583.32/3596.08 o 6122873 3583.32/3596.08 o 6111497 3583.32/3596.08 o 6106097 3583.32/3596.08 o 6096489 3583.32/3596.08 o 6092877 3583.32/3596.08 o 6075889 3583.32/3596.08 o 6067139 3583.32/3596.08 o 6064513 3583.32/3596.08 o 6064501 3583.32/3596.08 o 6022307 3583.32/3596.08 o 6013557 3583.32/3596.08 o 6010931 3583.32/3596.08 o 6004387 3583.32/3596.08 o 6001761 3583.32/3596.08 o 5999251 3583.32/3596.08 o 5996625 3583.32/3596.08 o 5989563 3583.32/3596.08 o 5977113 3583.32/3596.08 o 5968123 3583.32/3596.08 o 5965497 3583.32/3596.08 o 5965485 3583.32/3596.08 o 5950489 3583.32/3596.08 o 5950477 3583.32/3596.08 o 5947851 3583.32/3596.08 o 5944073 3583.32/3596.08 o 5944061 3583.32/3596.08 o 5941435 3583.32/3596.08 o 5879889 3583.32/3596.08 o 5871139 3583.32/3596.08 o 5859763 3583.32/3596.08 o 5851737 3583.32/3596.08 o 5851725 3583.32/3596.08 o 5850943 3583.32/3596.08 o 5822605 3583.32/3596.08 o 5788859 3583.32/3596.08 o 5787229 3583.32/3596.08 o 5778491 3583.32/3596.08 o 5772569 3583.32/3596.08 o 5767521 3583.32/3596.08 o 5746327 3583.32/3596.08 o 5730025 3583.32/3596.08 o 5729305 3583.32/3596.08 o 5644515 3583.32/3596.08 o 5628073 3583.32/3596.08 o 5626443 3583.32/3596.08 o 5623033 3583.32/3596.08 o 5601541 3583.32/3596.08 o 5590165 3583.32/3596.08 o 5557333 3583.32/3596.08 o 5556419 3583.32/3596.08 o 5546633 3583.32/3596.08 o 5533235 3583.32/3596.08 o 5525221 3583.32/3596.08 o 5524307 3583.32/3596.08 o 5516291 3583.32/3596.08 o 5509361 3583.32/3596.08 o 5493059 3583.32/3596.08 o 5472203 3583.32/3596.08 o 5469013 3583.32/3596.08 o 5468099 3583.32/3596.08 o 5449027 3583.32/3596.08 o 5443551 3583.32/3596.08 o 5432369 3583.32/3596.08 o 5424385 3583.32/3596.08 o 5406723 3583.32/3596.08 o 5403893 3583.32/3596.08 o 5401883 3583.32/3596.08 o 5401119 3583.32/3596.08 o 5388009 3583.32/3596.08 o 5371567 3583.32/3596.08 o 5356889 3583.32/3596.08 o 5356121 3583.32/3596.08 o 5348849 3583.32/3596.08 o 5347913 3583.32/3596.08 o 5345147 3583.32/3596.08 o 5344811 3583.32/3596.08 o 5343611 3583.32/3596.08 o 5338337 3583.32/3596.08 o 5333171 3583.32/3596.08 o 5315269 3583.32/3596.08 o 5312491 3583.32/3596.08 o 5309579 3583.32/3596.08 o 5308427 3583.32/3596.08 o 5307983 3583.32/3596.08 o 5305205 3583.32/3596.08 o 5303459 3583.32/3596.08 o 5300243 3583.32/3596.08 o 5296627 3583.32/3596.08 o 5295295 3583.32/3596.08 o 5281117 3583.32/3596.08 o 5280171 3583.32/3596.08 o 5271181 3583.32/3596.08 o 5268349 3583.32/3596.08 o 5267271 3583.32/3596.08 o 5251895 3583.32/3596.08 o 5250659 3583.32/3596.08 o 5250549 3583.32/3596.08 o 5247505 3583.32/3596.08 o 5242929 3583.32/3596.08 o 5239019 3583.32/3596.08 o 5238127 3583.32/3596.08 o 5233129 3583.32/3596.08 o 5200323 3583.32/3596.08 o 5192457 3583.32/3596.08 o 5191945 3583.32/3596.08 o 5189763 3583.32/3596.08 o 5189463 3583.32/3596.08 o 5182993 3583.32/3596.08 o 5179975 3583.32/3596.08 o 5166403 3583.32/3596.08 o 5155397 3583.32/3596.08 o 5150797 3583.32/3596.08 o 5146909 3583.32/3596.08 o 5145275 3583.32/3596.08 o 5143035 3583.32/3596.08 o 5136587 3583.32/3596.08 o 5130875 3583.32/3596.08 o 5122785 3583.32/3596.08 o 5119507 3583.32/3596.08 o 5117163 3583.32/3596.08 c Program interrupted by user. 3583.32/3596.08 s SATISFIABLE 3583.32/3596.08 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 5117163
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: 64059 MiB (62080 MiB free)
memory of node 1: 64510 MiB (62285 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438508-1722966262/watcher-4438508-1722966262 -o /tmp/evaluation-result-4438508-1722966262/solver-4438508-1722966262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722959025-329288 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438508-1722966262.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
Current StackSize limit: 8192 KiB
solver pid=333784, runsolver pid=333781
[startup+0.101058 s]*
/proc/loadavg: 4.20 4.30 4.24 6/250 333788
/proc/meminfo: memFree=127316248/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62996900 10170368 690 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 690 612 264 0 134 0
[pid=333787] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333787/stat : 333787 (timeout) S 333784 333787 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62996901 8867840 245 134679101440 93899111899136 93899111934152 140722702852016 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93899114031568 93899114033700 93899116179456 140722702861328 140722702861473 140722702861473 140722702868455 0
/proc/333787/statm: 2165 245 220 9 0 87 0
[pid=333788] ppid=333787 vsize=28432 memory=9660 CPUtime=0.09 cores=0,2
/proc/333788/stat : 333788 (CASHWMaxSAT-Dis) R 333787 333787 329278 0 -1 4194304 1787 0 0 0 9 0 0 0 20 0 1 0 62996901 29114368 2415 134679101440 4194304 14093885 140723470144832 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36114432 140723470148630 140723470148762 140723470148762 140723470155744 0
/proc/333788/statm: 7108 2415 750 2417 0 4210 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47024 KiB
Current children cumulated memory: 13400 KiB
[startup+0.21393 s]*
/proc/loadavg: 4.20 4.30 4.24 6/250 333788
/proc/meminfo: memFree=127273212/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62996900 10170368 690 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 690 612 264 0 134 0
[pid=333787] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333787/stat : 333787 (timeout) S 333784 333787 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62996901 8867840 245 134679101440 93899111899136 93899111934152 140722702852016 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93899114031568 93899114033700 93899116179456 140722702861328 140722702861473 140722702861473 140722702868455 0
/proc/333787/statm: 2165 245 220 9 0 87 0
[pid=333788] ppid=333787 vsize=44128 memory=24588 CPUtime=0.21 cores=0,2
/proc/333788/stat : 333788 (CASHWMaxSAT-Dis) R 333787 333787 329278 0 -1 4194304 5633 0 0 0 20 1 0 0 20 0 1 0 62996901 45187072 6147 134679101440 4194304 14093885 140723470144832 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36114432 140723470148630 140723470148762 140723470148762 140723470155744 0
/proc/333788/statm: 11032 6147 782 2417 0 8134 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 62720 KiB
Current children cumulated memory: 28328 KiB
[startup+0.313959 s]*
/proc/loadavg: 4.20 4.30 4.24 5/250 333788
/proc/meminfo: memFree=127223408/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62996900 10170368 690 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 690 612 264 0 134 0
[pid=333787] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333787/stat : 333787 (timeout) S 333784 333787 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62996901 8867840 245 134679101440 93899111899136 93899111934152 140722702852016 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93899114031568 93899114033700 93899116179456 140722702861328 140722702861473 140722702861473 140722702868455 0
/proc/333787/statm: 2165 245 220 9 0 87 0
[pid=333788] ppid=333787 vsize=67264 memory=46228 CPUtime=0.31 cores=0,2
/proc/333788/stat : 333788 (CASHWMaxSAT-Dis) R 333787 333787 329278 0 -1 4194304 8686 0 0 0 29 2 0 0 20 0 1 0 62996901 68878336 11557 134679101440 4194304 14093885 140723470144832 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36114432 140723470148630 140723470148762 140723470148762 140723470155744 0
/proc/333788/statm: 16816 11557 1038 2417 0 13918 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 85856 KiB
Current children cumulated memory: 49968 KiB
[startup+0.700476 s]
/proc/loadavg: 4.20 4.30 4.24 5/250 333788
/proc/meminfo: memFree=127166276/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62996900 10170368 690 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 690 612 264 0 134 0
[pid=333787] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333787/stat : 333787 (timeout) S 333784 333787 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62996901 8867840 245 134679101440 93899111899136 93899111934152 140722702852016 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93899114031568 93899114033700 93899116179456 140722702861328 140722702861473 140722702861473 140722702868455 0
/proc/333787/statm: 2165 245 220 9 0 87 0
[pid=333788] ppid=333787 vsize=84644 memory=64124 CPUtime=0.68 cores=0,2
/proc/333788/stat : 333788 (CASHWMaxSAT-Dis) R 333787 333787 329278 0 -1 4194304 13501 0 0 0 65 3 0 0 20 0 1 0 62996901 86675456 16031 134679101440 4194304 14093885 140723470144832 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36114432 140723470148630 140723470148762 140723470148762 140723470155744 0
/proc/333788/statm: 21161 16031 1038 2417 0 18263 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 103236 KiB
Current children cumulated memory: 67864 KiB
[startup+1.50047 s]
/proc/loadavg: 4.20 4.30 4.24 5/250 333788
/proc/meminfo: memFree=127077736/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62996900 10170368 690 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 690 612 264 0 134 0
[pid=333787] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333787/stat : 333787 (timeout) S 333784 333787 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62996901 8867840 245 134679101440 93899111899136 93899111934152 140722702852016 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93899114031568 93899114033700 93899116179456 140722702861328 140722702861473 140722702861473 140722702868455 0
/proc/333787/statm: 2165 245 220 9 0 87 0
[pid=333788] ppid=333787 vsize=378064 memory=361460 CPUtime=1.48 cores=0,2
/proc/333788/stat : 333788 (CASHWMaxSAT-Dis) R 333787 333787 329278 0 -1 4194304 84863 0 0 0 135 13 0 0 20 0 1 0 62996901 387137536 90365 134679101440 4194304 14093885 140723470144832 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36114432 140723470148630 140723470148762 140723470148762 140723470155744 0
/proc/333788/statm: 94516 90365 2590 2417 0 91618 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 396656 KiB
Current children cumulated memory: 365200 KiB
[startup+3.11361 s]
/proc/loadavg: 4.18 4.29 4.23 5/250 333788
/proc/meminfo: memFree=126754136/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62996900 10170368 690 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 690 612 264 0 134 0
[pid=333787] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333787/stat : 333787 (timeout) S 333784 333787 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62996901 8867840 245 134679101440 93899111899136 93899111934152 140722702852016 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93899114031568 93899114033700 93899116179456 140722702861328 140722702861473 140722702861473 140722702868455 0
/proc/333787/statm: 2165 245 220 9 0 87 0
[pid=333788] ppid=333787 vsize=479460 memory=462864 CPUtime=3.08 cores=0,2
/proc/333788/stat : 333788 (CASHWMaxSAT-Dis) R 333787 333787 329278 0 -1 4194304 109707 0 0 0 292 16 0 0 20 0 1 0 62996901 490967040 115716 134679101440 4194304 14093885 140723470144832 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36114432 140723470148630 140723470148762 140723470148762 140723470155744 0
/proc/333788/statm: 119865 115716 2622 2417 0 116967 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 498052 KiB
Current children cumulated memory: 466604 KiB
[startup+6.30044 s]
/proc/loadavg: 4.18 4.29 4.23 5/250 333788
/proc/meminfo: memFree=126753872/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62996900 10170368 690 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 690 612 264 0 134 0
[pid=333787] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333787/stat : 333787 (timeout) S 333784 333787 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62996901 8867840 245 134679101440 93899111899136 93899111934152 140722702852016 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93899114031568 93899114033700 93899116179456 140722702861328 140722702861473 140722702861473 140722702868455 0
/proc/333787/statm: 2165 245 220 9 0 87 0
[pid=333788] ppid=333787 vsize=479460 memory=463364 CPUtime=6.25 cores=0,2
/proc/333788/stat : 333788 (CASHWMaxSAT-Dis) R 333787 333787 329278 0 -1 4194304 109812 0 0 0 609 16 0 0 20 0 1 0 62996901 490967040 115841 134679101440 4194304 14093885 140723470144832 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36114432 140723470148630 140723470148762 140723470148762 140723470155744 0
/proc/333788/statm: 119865 115841 2654 2417 0 116967 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 498052 KiB
Current children cumulated memory: 467104 KiB
[startup+12.7004 s]
/proc/loadavg: 4.15 4.28 4.23 5/250 333790
/proc/meminfo: memFree=126220748/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62996900 10170368 690 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 690 612 264 0 134 0
[pid=333787] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333787/stat : 333787 (timeout) S 333784 333787 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62996901 8867840 245 134679101440 93899111899136 93899111934152 140722702852016 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93899114031568 93899114033700 93899116179456 140722702861328 140722702861473 140722702861473 140722702868455 0
/proc/333787/statm: 2165 245 220 9 0 87 0
[pid=333788] ppid=333787 vsize=678472 memory=658976 CPUtime=12.63 cores=0,2
/proc/333788/stat : 333788 (CASHWMaxSAT-Dis) R 333787 333787 329278 0 -1 4194304 149222 0 0 0 1240 23 0 0 20 0 1 0 62996901 694755328 164744 134679101440 4194304 14093885 140723470144832 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36114432 140723470148630 140723470148762 140723470148762 140723470155744 0
/proc/333788/statm: 169618 164744 2766 2417 0 166720 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 697064 KiB
Current children cumulated memory: 662716 KiB
[startup+25.5005 s]
/proc/loadavg: 4.20 4.29 4.23 5/250 333791
/proc/meminfo: memFree=125806824/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62996900 10170368 690 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 690 612 264 0 134 0
[pid=333787] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333787/stat : 333787 (timeout) S 333784 333787 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62996901 8867840 245 134679101440 93899111899136 93899111934152 140722702852016 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93899114031568 93899114033700 93899116179456 140722702861328 140722702861473 140722702861473 140722702868455 0
/proc/333787/statm: 2165 245 220 9 0 87 0
[pid=333788] ppid=333787 vsize=681760 memory=662572 CPUtime=25.39 cores=0,2
/proc/333788/stat : 333788 (CASHWMaxSAT-Dis) R 333787 333787 329278 0 -1 4194304 150168 0 0 0 2515 24 0 0 20 0 1 0 62996901 698122240 165643 134679101440 4194304 14093885 140723470144832 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36114432 140723470148630 140723470148762 140723470148762 140723470155744 0
/proc/333788/statm: 170440 165643 2766 2417 0 167542 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 700352 KiB
Current children cumulated memory: 666312 KiB
[startup+51.1135 s]
/proc/loadavg: 4.13 4.26 4.23 5/250 333796
/proc/meminfo: memFree=125793028/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62996900 10170368 690 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 690 612 264 0 134 0
[pid=333787] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/333787/stat : 333787 (timeout) S 333784 333787 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62996901 8867840 245 134679101440 93899111899136 93899111934152 140722702852016 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93899114031568 93899114033700 93899116179456 140722702861328 140722702861473 140722702861473 140722702868455 0
/proc/333787/statm: 2165 245 220 9 0 87 0
[pid=333788] ppid=333787 vsize=685676 memory=665872 CPUtime=50.91 cores=0,2
/proc/333788/stat : 333788 (CASHWMaxSAT-Dis) R 333787 333787 329278 0 -1 4194304 151008 0 0 0 5067 24 0 0 20 0 1 0 62996901 702132224 166468 134679101440 4194304 14093885 140723470144832 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36114432 140723470148630 140723470148762 140723470148762 140723470155744 0
/proc/333788/statm: 171419 166468 2766 2417 0 168521 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 704268 KiB
Current children cumulated memory: 669612 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.23 4.22 5/248 333805
/proc/meminfo: memFree=125765988/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 62996900 10170368 690 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
################
# More data... #
################
/proc/334757/statm: 68983 61538 764 737 0 68071 0
Current children cumulated CPU time: 3390.27 s
Current children cumulated vsize: 294524 KiB
Current children cumulated memory: 249956 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/249 335669
/proc/meminfo: memFree=125867236/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2824 CPUtime=1791.43 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 278 213989 0 0 0 0 179076 67 20 0 1 0 62996900 10170368 706 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 706 612 264 0 134 0
[pid=334756] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334756/stat : 334756 (timeout) S 333784 334756 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63176704 8867840 245 134679101440 94570156216320 94570156251336 140724933096784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94570158348752 94570158350884 94570187874304 140724933104632 140724933104801 140724933104801 140724933111783 0
/proc/334756/statm: 2165 245 221 9 0 87 0
[pid=334757] ppid=334756 vsize=276892 memory=248012 CPUtime=1658.64 cores=0,2
/proc/334757/stat : 334757 (Exact) R 334756 334756 329278 0 -1 4194304 41233 0 0 0 165849 15 0 0 20 0 1 0 63176704 283537408 62003 134679101440 4194304 7210733 140735550064992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 15204352 140735550067732 140735550067882 140735550067882 140735550074864 0
/proc/334757/statm: 69223 62003 764 737 0 68311 0
Current children cumulated CPU time: 3450.07 s
Current children cumulated vsize: 295484 KiB
Current children cumulated memory: 251816 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.16 5/249 335680
/proc/meminfo: memFree=125860352/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2824 CPUtime=1791.43 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 278 213989 0 0 0 0 179076 67 20 0 1 0 62996900 10170368 706 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 706 612 264 0 134 0
[pid=334756] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334756/stat : 334756 (timeout) S 333784 334756 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63176704 8867840 245 134679101440 94570156216320 94570156251336 140724933096784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94570158348752 94570158350884 94570187874304 140724933104632 140724933104801 140724933104801 140724933111783 0
/proc/334756/statm: 2165 245 221 9 0 87 0
[pid=334757] ppid=334756 vsize=278748 memory=249448 CPUtime=1718.44 cores=0,2
/proc/334757/stat : 334757 (Exact) R 334756 334756 329278 0 -1 4194304 41655 0 0 0 171828 16 0 0 20 0 1 0 63176704 285437952 62362 134679101440 4194304 7210733 140735550064992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 15204352 140735550067732 140735550067882 140735550067882 140735550074864 0
/proc/334757/statm: 69687 62362 764 737 0 68775 0
Current children cumulated CPU time: 3509.87 s
Current children cumulated vsize: 297340 KiB
Current children cumulated memory: 253252 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/249 335690
/proc/meminfo: memFree=125828676/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2824 CPUtime=1791.43 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 278 213989 0 0 0 0 179076 67 20 0 1 0 62996900 10170368 706 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 706 612 264 0 134 0
[pid=334756] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334756/stat : 334756 (timeout) S 333784 334756 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63176704 8867840 245 134679101440 94570156216320 94570156251336 140724933096784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94570158348752 94570158350884 94570187874304 140724933104632 140724933104801 140724933104801 140724933111783 0
/proc/334756/statm: 2165 245 221 9 0 87 0
[pid=334757] ppid=334756 vsize=281244 memory=251488 CPUtime=1778.23 cores=0,2
/proc/334757/stat : 334757 (Exact) R 334756 334756 329278 0 -1 4194304 42130 0 0 0 177807 16 0 0 20 0 1 0 63176704 287993856 62872 134679101440 4194304 7210733 140735550064992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 15204352 140735550067732 140735550067882 140735550067882 140735550074864 0
/proc/334757/statm: 70311 62872 764 737 0 69399 0
Current children cumulated CPU time: 3569.66 s
Current children cumulated vsize: 299836 KiB
Current children cumulated memory: 255292 KiB
[startup+3596.08 s]
# the end of solver process 333784 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.56 s, system=0.864049 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.15 5/249 335690
/proc/meminfo: memFree=125828676/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2824 CPUtime=1791.43 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 278 213989 0 0 0 0 179076 67 20 0 1 0 62996900 10170368 706 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 706 612 264 0 134 0
[pid=334756] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334756/stat : 334756 (timeout) S 333784 334756 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63176704 8867840 245 134679101440 94570156216320 94570156251336 140724933096784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94570158348752 94570158350884 94570187874304 140724933104632 140724933104801 140724933104801 140724933111783 0
/proc/334756/statm: 2165 245 221 9 0 87 0
[pid=334757] ppid=334756 vsize=281244 memory=251488 CPUtime=1779.94 cores=0,2
/proc/334757/stat : 334757 (Exact) R 334756 334756 329278 0 -1 4194304 42131 0 0 0 177978 16 0 0 20 0 1 0 63176704 287993856 62872 134679101440 4194304 7210733 140735550064992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 15204352 140735550067732 140735550067882 140735550067882 140735550074864 0
/proc/334757/statm: 70311 62872 764 737 0 69399 0
Current children cumulated CPU time: 3571.37 s
Current children cumulated vsize: 299836 KiB
Current children cumulated memory: 255292 KiB
[startup+3590.4 s]
/proc/loadavg: 4.00 4.09 4.14 4/241 335746
/proc/meminfo: memFree=126267084/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2824 CPUtime=1791.43 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 278 213989 0 0 0 0 179076 67 20 0 1 0 62996900 10170368 706 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 706 612 264 0 134 0
[pid=334756] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334756/stat : 334756 (timeout) S 333784 334756 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63176704 8867840 245 134679101440 94570156216320 94570156251336 140724933096784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94570158348752 94570158350884 94570187874304 140724933104632 140724933104801 140724933104801 140724933111783 0
/proc/334756/statm: 2165 245 221 9 0 87 0
[pid=334757] ppid=334756 vsize=281244 memory=251488 CPUtime=1786.3 cores=0,2
/proc/334757/stat : 334757 (Exact) R 334756 334756 329278 0 -1 4194304 42160 0 0 0 178614 16 0 0 20 0 1 0 63176704 287993856 62872 134679101440 4194304 7210733 140735550064992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 15204352 140735550067732 140735550067882 140735550067882 140735550074864 0
/proc/334757/statm: 70311 62872 764 737 0 69399 0
Current children cumulated CPU time: 3577.73 s
Current children cumulated vsize: 299836 KiB
Current children cumulated memory: 255292 KiB
[startup+3593.6 s]
/proc/loadavg: 3.92 4.07 4.14 3/233 335800
/proc/meminfo: memFree=126810956/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2824 CPUtime=1791.43 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 278 213989 0 0 0 0 179076 67 20 0 1 0 62996900 10170368 706 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 706 612 264 0 134 0
[pid=334756] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334756/stat : 334756 (timeout) S 333784 334756 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63176704 8867840 245 134679101440 94570156216320 94570156251336 140724933096784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94570158348752 94570158350884 94570187874304 140724933104632 140724933104801 140724933104801 140724933111783 0
/proc/334756/statm: 2165 245 221 9 0 87 0
[pid=334757] ppid=334756 vsize=285980 memory=254592 CPUtime=1789.49 cores=0,2
/proc/334757/stat : 334757 (Exact) R 334756 334756 329278 0 -1 4194304 42920 0 0 0 178933 16 0 0 20 0 1 0 63176704 292843520 63648 134679101440 4194304 7210733 140735550064992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 15204352 140735550067732 140735550067882 140735550067882 140735550074864 0
/proc/334757/statm: 71495 63648 764 737 0 70583 0
Current children cumulated CPU time: 3580.92 s
Current children cumulated vsize: 304572 KiB
Current children cumulated memory: 258396 KiB
[startup+3595.2 s]
/proc/loadavg: 3.92 4.07 4.14 3/233 335800
/proc/meminfo: memFree=126810884/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2824 CPUtime=1791.43 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 278 213989 0 0 0 0 179076 67 20 0 1 0 62996900 10170368 706 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 706 612 264 0 134 0
[pid=334756] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334756/stat : 334756 (timeout) S 333784 334756 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63176704 8867840 245 134679101440 94570156216320 94570156251336 140724933096784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94570158348752 94570158350884 94570187874304 140724933104632 140724933104801 140724933104801 140724933111783 0
/proc/334756/statm: 2165 245 221 9 0 87 0
[pid=334757] ppid=334756 vsize=285980 memory=254592 CPUtime=1791.08 cores=0,2
/proc/334757/stat : 334757 (Exact) R 334756 334756 329278 0 -1 4194304 42920 0 0 0 179092 16 0 0 20 0 1 0 63176704 292843520 63648 134679101440 4194304 7210733 140735550064992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 15204352 140735550067732 140735550067882 140735550067882 140735550074864 0
/proc/334757/statm: 71495 63648 764 737 0 70583 0
Current children cumulated CPU time: 3582.51 s
Current children cumulated vsize: 304572 KiB
Current children cumulated memory: 258396 KiB
[startup+3595.6 s]
/proc/loadavg: 3.92 4.07 4.14 3/233 335800
/proc/meminfo: memFree=126810884/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2824 CPUtime=1791.43 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 278 213989 0 0 0 0 179076 67 20 0 1 0 62996900 10170368 706 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 706 612 264 0 134 0
[pid=334756] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334756/stat : 334756 (timeout) S 333784 334756 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63176704 8867840 245 134679101440 94570156216320 94570156251336 140724933096784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94570158348752 94570158350884 94570187874304 140724933104632 140724933104801 140724933104801 140724933111783 0
/proc/334756/statm: 2165 245 221 9 0 87 0
[pid=334757] ppid=334756 vsize=285980 memory=254592 CPUtime=1791.48 cores=0,2
/proc/334757/stat : 334757 (Exact) R 334756 334756 329278 0 -1 4194304 42920 0 0 0 179132 16 0 0 20 0 1 0 63176704 292843520 63648 134679101440 4194304 7210733 140735550064992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 15204352 140735550067732 140735550067882 140735550067882 140735550074864 0
/proc/334757/statm: 71495 63648 764 737 0 70583 0
Current children cumulated CPU time: 3582.91 s
Current children cumulated vsize: 304572 KiB
Current children cumulated memory: 258396 KiB
[startup+3596 s]*
/proc/loadavg: 3.92 4.07 4.14 3/233 335800
/proc/meminfo: memFree=126810884/131655788 swapFree=131071472/131071996
[pid=333784] ppid=333781 vsize=9932 memory=2824 CPUtime=1791.43 cores=0,2
/proc/333784/stat : 333784 (Hybrid-CASHWMax) S 333781 333784 329278 0 -1 4194304 278 213989 0 0 0 0 179076 67 20 0 1 0 62996900 10170368 706 134679101440 94652024795136 94652025874456 140725902766064 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94652027972912 94652028020100 94652057378816 140725902771156 140725902771314 140725902771314 140725902778325 0
/proc/333784/statm: 2483 706 612 264 0 134 0
[pid=334756] ppid=333784 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/334756/stat : 334756 (timeout) S 333784 334756 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63176704 8867840 245 134679101440 94570156216320 94570156251336 140724933096784 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94570158348752 94570158350884 94570187874304 140724933104632 140724933104801 140724933104801 140724933111783 0
/proc/334756/statm: 2165 245 221 9 0 87 0
[pid=334757] ppid=334756 vsize=285980 memory=254592 CPUtime=1791.89 cores=0,2
/proc/334757/stat : 334757 (Exact) R 334756 334756 329278 0 -1 4194304 42920 0 0 0 179173 16 0 0 20 0 1 0 63176704 292843520 63648 134679101440 4194304 7210733 140735550064992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 15204352 140735550067732 140735550067882 140735550067882 140735550074864 0
/proc/334757/statm: 71495 63648 764 737 0 70583 0
Current children cumulated CPU time: 3583.32 s
Current children cumulated vsize: 304572 KiB
Current children cumulated memory: 258396 KiB
Child status: 0
Real time (s): 3596.08
CPU time (s): 3583.43
CPU user time (s): 3582.56
CPU system time (s): 0.864049
CPU usage (%): 99.648
Max. virtual memory (cumulated for all children) (KiB): 1267472
Max. memory (cumulated for all children) (KiB): 978120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.56
system time used= 0.864049
maximum resident set size= 974380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260264
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70
involuntary context switches= 25076
# summary of solver processes directly reported to runsolver:
# pid: 333784
# total CPU time (s): 3583.43
# total CPU user time (s): 3582.56
# total CPU system time (s): 0.864049
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9783 second user time and 39.0435 second system time
The end
Begin job on nodeC008 at 2024-08-06 19:44:22 IDJOB=4438508 IDBENCH=155620 IDSOLVER=3073 FILE ID=nodeC008/4438508-1722966262 RUNJOBID= nodeC008-1722959025-329288 SLURM_JOB_ID= 8259027 Free space on /tmp= 723728 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_5.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438508-1722966262/watcher-4438508-1722966262 -o /tmp/evaluation-result-4438508-1722966262/solver-4438508-1722966262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722959025-329288 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438508-1722966262.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4bce0178dd52d2d263abed98aae07653 RANDOM SEED=1583829317 nodeC008.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 : 0xb00001f cpu MHz : 3492.324 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3497.068 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.371 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.496 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3515.197 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3575.674 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.557 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.562 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127361328 kB MemAvailable: 128093804 kB Buffers: 339132 kB Cached: 1242996 kB SwapCached: 72 kB Active: 619320 kB Inactive: 3204736 kB Active(anon): 1528 kB Inactive(anon): 2277896 kB Active(file): 617792 kB Inactive(file): 926840 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 54556 kB Writeback: 4 kB AnonPages: 2241864 kB Mapped: 123440 kB Shmem: 37488 kB KReclaimable: 55748 kB Slab: 141324 kB SReclaimable: 55748 kB SUnreclaim: 85576 kB KernelStack: 3952 kB PageTables: 14000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2490756 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 23168 kB HardwareCorrupted: 0 kB AnonHugePages: 555008 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: 269128 kB DirectMap2M: 22704128 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 723640 MiB End job on nodeC008 at 2024-08-06 20:44:18