Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-LSMabSP+Exact 2024-07-11 | SAT | 5114519 | 3584.2 | 3596.05 |
| 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 |
3584.12/3596.05 o 37803347 3584.12/3596.05 o 26609555 3584.12/3596.05 o 26493285 3584.12/3596.05 o 26419811 3584.12/3596.05 o 26410795 3584.12/3596.05 o 26397977 3584.12/3596.05 o 26315325 3584.12/3596.05 o 23176093 3584.12/3596.05 o 23159373 3584.12/3596.05 o 23147853 3584.12/3596.05 o 23142243 3584.12/3596.05 o 15720501 3584.12/3596.05 o 15717979 3584.12/3596.05 o 15683453 3584.12/3596.05 o 15648957 3584.12/3596.05 o 15647101 3584.12/3596.05 o 15532891 3584.12/3596.05 o 14768135 3584.12/3596.05 o 14764567 3584.12/3596.05 o 14757849 3584.12/3596.05 o 14756957 3584.12/3596.05 o 14731117 3584.12/3596.05 o 9335523 3584.12/3596.05 o 9323721 3584.12/3596.05 o 9314303 3584.12/3596.05 o 9239169 3584.12/3596.05 o 9187455 3584.12/3596.05 o 8504461 3584.12/3596.05 o 8364061 3584.12/3596.05 o 8354101 3584.12/3596.05 o 8331731 3584.12/3596.05 o 8255791 3584.12/3596.05 o 7734251 3584.12/3596.05 o 7719659 3584.12/3596.05 o 7663865 3584.12/3596.05 o 7657881 3584.12/3596.05 o 7652971 3584.12/3596.05 o 7588757 3584.12/3596.05 o 7586261 3584.12/3596.05 o 7541459 3584.12/3596.05 o 7536597 3584.12/3596.05 o 7533109 3584.12/3596.05 o 7526869 3584.12/3596.05 o 7514901 3584.12/3596.05 o 7504773 3584.12/3596.05 o 7480583 3584.12/3596.05 o 7447319 3584.12/3596.05 o 7392647 3584.12/3596.05 o 7383981 3584.12/3596.05 o 7373887 3584.12/3596.05 o 7360865 3584.12/3596.05 o 7351651 3584.12/3596.05 o 7340113 3584.12/3596.05 o 7321089 3584.12/3596.05 o 7320193 3584.12/3596.05 o 7309473 3584.12/3596.05 o 7249305 3584.12/3596.05 o 7248315 3584.12/3596.05 o 7237905 3584.12/3596.05 o 7182257 3584.12/3596.05 o 7181267 3584.12/3596.05 o 7174883 3584.12/3596.05 o 7158533 3584.12/3596.05 o 7144991 3584.12/3596.05 o 7075623 3584.12/3596.05 o 7015325 3584.12/3596.05 o 6940329 3584.12/3596.05 o 6923655 3584.12/3596.05 o 6919965 3584.12/3596.05 o 6899549 3584.12/3596.05 o 6893789 3584.12/3596.05 o 6860381 3584.12/3596.05 o 6841229 3584.12/3596.05 o 6834469 3584.12/3596.05 o 6832141 3584.12/3596.05 o 6829943 3584.12/3596.05 o 6814361 3584.12/3596.05 o 6793625 3584.12/3596.05 o 6790617 3584.12/3596.05 o 6773657 3584.12/3596.05 o 6772133 3584.12/3596.05 o 6764333 3584.12/3596.05 o 6763767 3584.12/3596.05 o 6761157 3584.12/3596.05 o 6587099 3584.12/3596.05 o 6586617 3584.12/3596.05 o 6582327 3584.12/3596.05 o 6554811 3584.12/3596.05 o 6538081 3584.12/3596.05 o 6537831 3584.12/3596.05 o 6510315 3584.12/3596.05 o 6494061 3584.12/3596.05 o 6493739 3584.12/3596.05 o 6489539 3584.12/3596.05 o 6486861 3584.12/3596.05 o 6478003 3584.12/3596.05 o 6447053 3584.12/3596.05 o 6431035 3584.12/3596.05 o 6426193 3584.12/3596.05 o 6421435 3584.12/3596.05 o 6417829 3584.12/3596.05 o 6389915 3584.12/3596.05 o 6380449 3584.12/3596.05 o 6379355 3584.12/3596.05 o 6377163 3584.12/3596.05 o 6372913 3584.12/3596.05 o 6364291 3584.12/3596.05 o 6356961 3584.12/3596.05 o 6269273 3584.12/3596.05 o 6238473 3584.12/3596.05 o 6225031 3584.12/3596.05 o 6211591 3584.12/3596.05 o 6190697 3584.12/3596.05 o 6153761 3584.12/3596.05 o 6149423 3584.12/3596.05 o 6122873 3584.12/3596.05 o 6111497 3584.12/3596.05 o 6106097 3584.12/3596.05 o 6096489 3584.12/3596.05 o 6092877 3584.12/3596.05 o 6075889 3584.12/3596.05 o 6067139 3584.12/3596.05 o 6064513 3584.12/3596.05 o 6064501 3584.12/3596.05 o 6022307 3584.12/3596.05 o 6013557 3584.12/3596.05 o 6010931 3584.12/3596.05 o 6004387 3584.12/3596.05 o 6001761 3584.12/3596.05 o 5999251 3584.12/3596.05 o 5996625 3584.12/3596.05 o 5989563 3584.12/3596.05 o 5977113 3584.12/3596.05 o 5968123 3584.12/3596.05 o 5965497 3584.12/3596.05 o 5965485 3584.12/3596.05 o 5950489 3584.12/3596.05 o 5950477 3584.12/3596.05 o 5947851 3584.12/3596.05 o 5944073 3584.12/3596.05 o 5944061 3584.12/3596.05 o 5941435 3584.12/3596.05 o 5879889 3584.12/3596.05 o 5871139 3584.12/3596.05 o 5859763 3584.12/3596.05 o 5851737 3584.12/3596.05 o 5851725 3584.12/3596.05 o 5850943 3584.12/3596.05 o 5822605 3584.12/3596.05 o 5788859 3584.12/3596.05 o 5787229 3584.12/3596.05 o 5778491 3584.12/3596.05 o 5772569 3584.12/3596.05 o 5767521 3584.12/3596.05 o 5746327 3584.12/3596.05 o 5730025 3584.12/3596.05 o 5729305 3584.12/3596.05 o 5644515 3584.12/3596.05 o 5628073 3584.12/3596.05 o 5626443 3584.12/3596.05 o 5623033 3584.12/3596.05 o 5601541 3584.12/3596.05 o 5590165 3584.12/3596.05 o 5557333 3584.12/3596.05 o 5556419 3584.12/3596.05 o 5546633 3584.12/3596.05 o 5533235 3584.12/3596.05 o 5525221 3584.12/3596.05 o 5524307 3584.12/3596.05 o 5516291 3584.12/3596.05 o 5509361 3584.12/3596.05 o 5493059 3584.12/3596.05 o 5472203 3584.12/3596.05 o 5469013 3584.12/3596.05 o 5468099 3584.12/3596.05 o 5449027 3584.12/3596.05 o 5443551 3584.12/3596.05 o 5432369 3584.12/3596.05 o 5424385 3584.12/3596.05 o 5406723 3584.12/3596.05 o 5403893 3584.12/3596.05 o 5401883 3584.12/3596.05 o 5401119 3584.12/3596.05 o 5388009 3584.12/3596.05 o 5371567 3584.12/3596.05 o 5356889 3584.12/3596.05 o 5356121 3584.12/3596.05 o 5348849 3584.12/3596.05 o 5347913 3584.12/3596.05 o 5345147 3584.12/3596.05 o 5344811 3584.12/3596.05 o 5343611 3584.12/3596.05 o 5338337 3584.12/3596.05 o 5333171 3584.12/3596.05 o 5315269 3584.12/3596.05 o 5312491 3584.12/3596.05 o 5309579 3584.12/3596.05 o 5308427 3584.12/3596.05 o 5307983 3584.12/3596.05 o 5305205 3584.12/3596.05 o 5303459 3584.12/3596.05 o 5300243 3584.12/3596.05 o 5296627 3584.12/3596.05 o 5295295 3584.12/3596.05 o 5281117 3584.12/3596.05 o 5280171 3584.12/3596.05 o 5271181 3584.12/3596.05 o 5268349 3584.12/3596.05 o 5267271 3584.12/3596.05 o 5251895 3584.12/3596.05 o 5250659 3584.12/3596.05 o 5250549 3584.12/3596.05 o 5247505 3584.12/3596.05 o 5242929 3584.12/3596.05 o 5239019 3584.12/3596.05 o 5238127 3584.12/3596.05 o 5233129 3584.12/3596.05 o 5200323 3584.12/3596.05 o 5192457 3584.12/3596.05 o 5191945 3584.12/3596.05 o 5189763 3584.12/3596.05 o 5189463 3584.12/3596.05 o 5182993 3584.12/3596.05 o 5179975 3584.12/3596.05 o 5166403 3584.12/3596.05 o 5155397 3584.12/3596.05 o 5150797 3584.12/3596.05 o 5146909 3584.12/3596.05 o 5145275 3584.12/3596.05 o 5143035 3584.12/3596.05 o 5136587 3584.12/3596.05 o 5130875 3584.12/3596.05 o 5122785 3584.12/3596.05 o 5119507 3584.12/3596.05 o 5117163 3584.12/3596.05 o 5114519 3584.12/3596.05 c Program interrupted by user. 3584.12/3596.05 s SATISFIABLE 3584.12/3596.05 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: 63931 MiB (57255 MiB free)
memory of node 1: 64510 MiB (59350 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437299-1722977111/watcher-4437299-1722977111 -o /tmp/evaluation-result-4437299-1722977111/solver-4437299-1722977111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722971653-349578 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437299-1722977111.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=352955, runsolver pid=352952
[startup+0.100476 s]*
/proc/loadavg: 4.18 4.19 4.17 5/265 352959
/proc/meminfo: memFree=119381796/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 64308239 10170368 674 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 674 596 264 0 134 0
[pid=352958] ppid=352955 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/352958/stat : 352958 (timeout) S 352955 352958 349568 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 64308240 8867840 263 134679101440 94283467644928 94283467679944 140728841248736 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94283469777360 94283469779492 94283475083264 140728841258025 140728841258141 140728841258141 140728841265127 0
/proc/352958/statm: 2165 263 238 9 0 87 0
[pid=352959] ppid=352958 vsize=38948 memory=25568 CPUtime=0.08 cores=0,2
/proc/352959/stat : 352959 (LS-MabSP) R 352958 352958 349568 0 -1 4194304 4924 0 0 0 8 0 0 0 20 0 1 0 64308240 39882752 6392 134679101440 4194304 15467897 140721269264976 0 0 0 0 0 17410 0 0 0 17 2 0 0 0 0 0 17807032 17896208 52273152 140721269273660 140721269273763 140721269273763 140721269280749 0
/proc/352959/statm: 9737 6392 1073 2753 0 6390 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29316 KiB
[startup+0.206463 s]*
/proc/loadavg: 4.18 4.19 4.17 5/265 352959
/proc/meminfo: memFree=119381804/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 64308239 10170368 674 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 674 596 264 0 134 0
[pid=352958] ppid=352955 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/352958/stat : 352958 (timeout) S 352955 352958 349568 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 64308240 8867840 263 134679101440 94283467644928 94283467679944 140728841248736 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94283469777360 94283469779492 94283475083264 140728841258025 140728841258141 140728841258141 140728841265127 0
/proc/352958/statm: 2165 263 238 9 0 87 0
[pid=352959] ppid=352958 vsize=38948 memory=25568 CPUtime=0.19 cores=0,2
/proc/352959/stat : 352959 (LS-MabSP) R 352958 352958 349568 0 -1 4194304 4924 0 0 0 18 1 0 0 20 0 1 0 64308240 39882752 6392 134679101440 4194304 15467897 140721269264976 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52273152 140721269273660 140721269273763 140721269273763 140721269280749 0
/proc/352959/statm: 9737 6392 1073 2753 0 6390 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29316 KiB
[startup+0.305765 s]*
/proc/loadavg: 4.18 4.19 4.17 5/265 352959
/proc/meminfo: memFree=119381328/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 64308239 10170368 674 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 674 596 264 0 134 0
[pid=352958] ppid=352955 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/352958/stat : 352958 (timeout) S 352955 352958 349568 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 64308240 8867840 263 134679101440 94283467644928 94283467679944 140728841248736 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94283469777360 94283469779492 94283475083264 140728841258025 140728841258141 140728841258141 140728841265127 0
/proc/352958/statm: 2165 263 238 9 0 87 0
[pid=352959] ppid=352958 vsize=38948 memory=25568 CPUtime=0.29 cores=0,2
/proc/352959/stat : 352959 (LS-MabSP) R 352958 352958 349568 0 -1 4194304 4924 0 0 0 28 1 0 0 20 0 1 0 64308240 39882752 6392 134679101440 4194304 15467897 140721269264976 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52273152 140721269273660 140721269273763 140721269273763 140721269280749 0
/proc/352959/statm: 9737 6392 1073 2753 0 6390 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29316 KiB
[startup+0.700292 s]
/proc/loadavg: 4.18 4.19 4.17 5/265 352959
/proc/meminfo: memFree=119381188/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 64308239 10170368 674 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 674 596 264 0 134 0
[pid=352958] ppid=352955 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/352958/stat : 352958 (timeout) S 352955 352958 349568 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 64308240 8867840 263 134679101440 94283467644928 94283467679944 140728841248736 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94283469777360 94283469779492 94283475083264 140728841258025 140728841258141 140728841258141 140728841265127 0
/proc/352958/statm: 2165 263 238 9 0 87 0
[pid=352959] ppid=352958 vsize=38948 memory=25568 CPUtime=0.68 cores=0,2
/proc/352959/stat : 352959 (LS-MabSP) R 352958 352958 349568 0 -1 4194304 4929 0 0 0 66 2 0 0 20 0 1 0 64308240 39882752 6392 134679101440 4194304 15467897 140721269264976 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52273152 140721269273660 140721269273763 140721269273763 140721269280749 0
/proc/352959/statm: 9737 6392 1073 2753 0 6390 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29316 KiB
[startup+1.50024 s]
/proc/loadavg: 4.18 4.19 4.17 5/265 352959
/proc/meminfo: memFree=119381160/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 64308239 10170368 674 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 674 596 264 0 134 0
[pid=352958] ppid=352955 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/352958/stat : 352958 (timeout) S 352955 352958 349568 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 64308240 8867840 263 134679101440 94283467644928 94283467679944 140728841248736 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94283469777360 94283469779492 94283475083264 140728841258025 140728841258141 140728841258141 140728841265127 0
/proc/352958/statm: 2165 263 238 9 0 87 0
[pid=352959] ppid=352958 vsize=38948 memory=25568 CPUtime=1.47 cores=0,2
/proc/352959/stat : 352959 (LS-MabSP) R 352958 352958 349568 0 -1 4194304 4929 0 0 0 144 3 0 0 20 0 1 0 64308240 39882752 6392 134679101440 4194304 15467897 140721269264976 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52273152 140721269273660 140721269273763 140721269273763 140721269280749 0
/proc/352959/statm: 9737 6392 1073 2753 0 6390 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29316 KiB
[startup+3.10548 s]
/proc/loadavg: 4.17 4.19 4.17 5/265 352959
/proc/meminfo: memFree=119381188/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 64308239 10170368 674 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 674 596 264 0 134 0
[pid=352958] ppid=352955 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/352958/stat : 352958 (timeout) S 352955 352958 349568 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 64308240 8867840 263 134679101440 94283467644928 94283467679944 140728841248736 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94283469777360 94283469779492 94283475083264 140728841258025 140728841258141 140728841258141 140728841265127 0
/proc/352958/statm: 2165 263 238 9 0 87 0
[pid=352959] ppid=352958 vsize=38948 memory=25568 CPUtime=3.07 cores=0,2
/proc/352959/stat : 352959 (LS-MabSP) R 352958 352958 349568 0 -1 4194304 4930 0 0 0 302 5 0 0 20 0 1 0 64308240 39882752 6392 134679101440 4194304 15467897 140721269264976 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52273152 140721269273660 140721269273763 140721269273763 140721269280749 0
/proc/352959/statm: 9737 6392 1073 2753 0 6390 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29316 KiB
[startup+6.30024 s]
/proc/loadavg: 4.17 4.19 4.17 5/265 352961
/proc/meminfo: memFree=119380868/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 64308239 10170368 674 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 674 596 264 0 134 0
[pid=352958] ppid=352955 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/352958/stat : 352958 (timeout) S 352955 352958 349568 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 64308240 8867840 263 134679101440 94283467644928 94283467679944 140728841248736 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94283469777360 94283469779492 94283475083264 140728841258025 140728841258141 140728841258141 140728841265127 0
/proc/352958/statm: 2165 263 238 9 0 87 0
[pid=352959] ppid=352958 vsize=38948 memory=25568 CPUtime=6.26 cores=0,2
/proc/352959/stat : 352959 (LS-MabSP) R 352958 352958 349568 0 -1 4194304 4931 0 0 0 617 9 0 0 20 0 1 0 64308240 39882752 6392 134679101440 4194304 15467897 140721269264976 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52273152 140721269273660 140721269273763 140721269273763 140721269280749 0
/proc/352959/statm: 9737 6392 1073 2753 0 6390 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29316 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.18 4.17 5/265 352961
/proc/meminfo: memFree=119380644/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 64308239 10170368 674 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 674 596 264 0 134 0
[pid=352958] ppid=352955 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/352958/stat : 352958 (timeout) S 352955 352958 349568 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 64308240 8867840 263 134679101440 94283467644928 94283467679944 140728841248736 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94283469777360 94283469779492 94283475083264 140728841258025 140728841258141 140728841258141 140728841265127 0
/proc/352958/statm: 2165 263 238 9 0 87 0
[pid=352959] ppid=352958 vsize=38948 memory=25568 CPUtime=12.64 cores=0,2
/proc/352959/stat : 352959 (LS-MabSP) R 352958 352958 349568 0 -1 4194304 4932 0 0 0 1246 18 0 0 20 0 1 0 64308240 39882752 6392 134679101440 4194304 15467897 140721269264976 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52273152 140721269273660 140721269273763 140721269273763 140721269280749 0
/proc/352959/statm: 9737 6392 1073 2753 0 6390 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29316 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.17 4.17 5/265 352962
/proc/meminfo: memFree=119377668/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 64308239 10170368 674 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 674 596 264 0 134 0
[pid=352958] ppid=352955 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/352958/stat : 352958 (timeout) S 352955 352958 349568 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 64308240 8867840 263 134679101440 94283467644928 94283467679944 140728841248736 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94283469777360 94283469779492 94283475083264 140728841258025 140728841258141 140728841258141 140728841265127 0
/proc/352958/statm: 2165 263 238 9 0 87 0
[pid=352959] ppid=352958 vsize=38948 memory=25880 CPUtime=25.41 cores=0,2
/proc/352959/stat : 352959 (LS-MabSP) R 352958 352958 349568 0 -1 4194304 4975 0 0 0 2510 31 0 0 20 0 1 0 64308240 39882752 6470 134679101440 4194304 15467897 140721269264976 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52273152 140721269273660 140721269273763 140721269273763 140721269280749 0
/proc/352959/statm: 9737 6470 1089 2753 0 6390 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29628 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.17 4.17 5/263 352967
/proc/meminfo: memFree=119376128/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 64308239 10170368 674 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 674 596 264 0 134 0
[pid=352958] ppid=352955 vsize=8660 memory=1052 CPUtime=0 cores=0,2
/proc/352958/stat : 352958 (timeout) S 352955 352958 349568 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 64308240 8867840 263 134679101440 94283467644928 94283467679944 140728841248736 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94283469777360 94283469779492 94283475083264 140728841258025 140728841258141 140728841258141 140728841265127 0
/proc/352958/statm: 2165 263 238 9 0 87 0
[pid=352959] ppid=352958 vsize=38948 memory=25880 CPUtime=50.94 cores=0,2
/proc/352959/stat : 352959 (LS-MabSP) R 352958 352958 349568 0 -1 4194304 4975 0 0 0 5030 64 0 0 20 0 1 0 64308240 39882752 6470 134679101440 4194304 15467897 140721269264976 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52273152 140721269273660 140721269273763 140721269273763 140721269280749 0
/proc/352959/statm: 9737 6470 1089 2753 0 6390 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 29628 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/263 352975
/proc/meminfo: memFree=119373376/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 64308239 10170368 674 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
################
# More data... #
################
/proc/353935/statm: 69687 68348 764 737 0 68775 0
Current children cumulated CPU time: 3391.03 s
Current children cumulated vsize: 297340 KiB
Current children cumulated memory: 277164 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 354910
/proc/meminfo: memFree=120769176/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2740 CPUtime=1792.88 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 269 5243 0 0 0 0 177110 2178 20 0 1 0 64308239 10170368 685 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 685 596 264 0 134 0
[pid=353934] ppid=352955 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/353934/stat : 353934 (timeout) S 352955 353934 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64488040 8867840 258 134679101440 94489453858816 94489453893832 140728759408736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94489455991248 94489455993380 94489467375616 140728759415796 140728759415965 140728759415965 140728759422951 0
/proc/353934/statm: 2165 258 234 9 0 87 0
[pid=353935] ppid=353934 vsize=281244 memory=275048 CPUtime=1657.96 cores=0,2
/proc/353935/stat : 353935 (Exact) R 353934 353934 349568 0 -1 4194304 43017 0 0 0 165772 24 0 0 20 0 1 0 64488040 287993856 68762 134679101440 4194304 7210733 140720842195632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 14131200 140720842204176 140720842204326 140720842204326 140720842211312 0
/proc/353935/statm: 70311 68762 764 737 0 69399 0
Current children cumulated CPU time: 3450.84 s
Current children cumulated vsize: 299836 KiB
Current children cumulated memory: 278820 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/265 354921
/proc/meminfo: memFree=120758320/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2740 CPUtime=1792.88 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 269 5243 0 0 0 0 177110 2178 20 0 1 0 64308239 10170368 685 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 685 596 264 0 134 0
[pid=353934] ppid=352955 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/353934/stat : 353934 (timeout) S 352955 353934 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64488040 8867840 258 134679101440 94489453858816 94489453893832 140728759408736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94489455991248 94489455993380 94489467375616 140728759415796 140728759415965 140728759415965 140728759422951 0
/proc/353934/statm: 2165 258 234 9 0 87 0
[pid=353935] ppid=353934 vsize=285980 memory=277928 CPUtime=1717.78 cores=0,2
/proc/353935/stat : 353935 (Exact) R 353934 353934 349568 0 -1 4194304 43764 0 0 0 171753 25 0 0 20 0 1 0 64488040 292843520 69482 134679101440 4194304 7210733 140720842195632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 14131200 140720842204176 140720842204326 140720842204326 140720842211312 0
/proc/353935/statm: 71495 69482 764 737 0 70583 0
Current children cumulated CPU time: 3510.66 s
Current children cumulated vsize: 304572 KiB
Current children cumulated memory: 281700 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 355003
/proc/meminfo: memFree=117934180/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2740 CPUtime=1792.88 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 269 5243 0 0 0 0 177110 2178 20 0 1 0 64308239 10170368 685 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 685 596 264 0 134 0
[pid=353934] ppid=352955 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/353934/stat : 353934 (timeout) S 352955 353934 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64488040 8867840 258 134679101440 94489453858816 94489453893832 140728759408736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94489455991248 94489455993380 94489467375616 140728759415796 140728759415965 140728759415965 140728759422951 0
/proc/353934/statm: 2165 258 234 9 0 87 0
[pid=353935] ppid=353934 vsize=286236 memory=278000 CPUtime=1777.58 cores=0,2
/proc/353935/stat : 353935 (Exact) R 353934 353934 349568 0 -1 4194304 43914 0 0 0 177733 25 0 0 20 0 1 0 64488040 293105664 69500 134679101440 4194304 7210733 140720842195632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 14131200 140720842204176 140720842204326 140720842204326 140720842211312 0
/proc/353935/statm: 71559 69500 764 737 0 70647 0
Current children cumulated CPU time: 3570.46 s
Current children cumulated vsize: 304828 KiB
Current children cumulated memory: 281772 KiB
[startup+3596.05 s]
# the end of solver process 352955 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3562.14 s, system=22.0548 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.12 4.09 5/265 355003
/proc/meminfo: memFree=117920664/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2740 CPUtime=1792.88 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 269 5243 0 0 0 0 177110 2178 20 0 1 0 64308239 10170368 685 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 685 596 264 0 134 0
[pid=353934] ppid=352955 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/353934/stat : 353934 (timeout) S 352955 353934 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64488040 8867840 258 134679101440 94489453858816 94489453893832 140728759408736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94489455991248 94489455993380 94489467375616 140728759415796 140728759415965 140728759415965 140728759422951 0
/proc/353934/statm: 2165 258 234 9 0 87 0
[pid=353935] ppid=353934 vsize=286236 memory=278000 CPUtime=1779.28 cores=0,2
/proc/353935/stat : 353935 (Exact) R 353934 353934 349568 0 -1 4194304 43914 0 0 0 177903 25 0 0 20 0 1 0 64488040 293105664 69500 134679101440 4194304 7210733 140720842195632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 14131200 140720842204176 140720842204326 140720842204326 140720842211312 0
/proc/353935/statm: 71559 69500 764 737 0 70647 0
Current children cumulated CPU time: 3572.16 s
Current children cumulated vsize: 304828 KiB
Current children cumulated memory: 281772 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 355005
/proc/meminfo: memFree=117890416/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2740 CPUtime=1792.88 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 269 5243 0 0 0 0 177110 2178 20 0 1 0 64308239 10170368 685 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 685 596 264 0 134 0
[pid=353934] ppid=352955 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/353934/stat : 353934 (timeout) S 352955 353934 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64488040 8867840 258 134679101440 94489453858816 94489453893832 140728759408736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94489455991248 94489455993380 94489467375616 140728759415796 140728759415965 140728759415965 140728759422951 0
/proc/353934/statm: 2165 258 234 9 0 87 0
[pid=353935] ppid=353934 vsize=286236 memory=278000 CPUtime=1785.66 cores=0,2
/proc/353935/stat : 353935 (Exact) R 353934 353934 349568 0 -1 4194304 43916 0 0 0 178541 25 0 0 20 0 1 0 64488040 293105664 69500 134679101440 4194304 7210733 140720842195632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 14131200 140720842204176 140720842204326 140720842204326 140720842211312 0
/proc/353935/statm: 71559 69500 764 737 0 70647 0
Current children cumulated CPU time: 3578.54 s
Current children cumulated vsize: 304828 KiB
Current children cumulated memory: 281772 KiB
[startup+3593.6 s]
/proc/loadavg: 4.20 4.13 4.10 5/265 355005
/proc/meminfo: memFree=117864264/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2740 CPUtime=1792.88 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 269 5243 0 0 0 0 177110 2178 20 0 1 0 64308239 10170368 685 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 685 596 264 0 134 0
[pid=353934] ppid=352955 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/353934/stat : 353934 (timeout) S 352955 353934 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64488040 8867840 258 134679101440 94489453858816 94489453893832 140728759408736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94489455991248 94489455993380 94489467375616 140728759415796 140728759415965 140728759415965 140728759422951 0
/proc/353934/statm: 2165 258 234 9 0 87 0
[pid=353935] ppid=353934 vsize=286236 memory=278140 CPUtime=1788.85 cores=0,2
/proc/353935/stat : 353935 (Exact) R 353934 353934 349568 0 -1 4194304 44008 0 0 0 178860 25 0 0 20 0 1 0 64488040 293105664 69535 134679101440 4194304 7210733 140720842195632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 14131200 140720842204176 140720842204326 140720842204326 140720842211312 0
/proc/353935/statm: 71559 69535 764 737 0 70647 0
Current children cumulated CPU time: 3581.73 s
Current children cumulated vsize: 304828 KiB
Current children cumulated memory: 281912 KiB
[startup+3595.2 s]
/proc/loadavg: 4.20 4.13 4.10 5/265 355005
/proc/meminfo: memFree=117817776/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2740 CPUtime=1792.88 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 269 5243 0 0 0 0 177110 2178 20 0 1 0 64308239 10170368 685 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 685 596 264 0 134 0
[pid=353934] ppid=352955 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/353934/stat : 353934 (timeout) S 352955 353934 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64488040 8867840 258 134679101440 94489453858816 94489453893832 140728759408736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94489455991248 94489455993380 94489467375616 140728759415796 140728759415965 140728759415965 140728759422951 0
/proc/353934/statm: 2165 258 234 9 0 87 0
[pid=353935] ppid=353934 vsize=286236 memory=278140 CPUtime=1790.44 cores=0,2
/proc/353935/stat : 353935 (Exact) R 353934 353934 349568 0 -1 4194304 44009 0 0 0 179019 25 0 0 20 0 1 0 64488040 293105664 69535 134679101440 4194304 7210733 140720842195632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 14131200 140720842204176 140720842204326 140720842204326 140720842211312 0
/proc/353935/statm: 71559 69535 764 737 0 70647 0
Current children cumulated CPU time: 3583.32 s
Current children cumulated vsize: 304828 KiB
Current children cumulated memory: 281912 KiB
[startup+3595.6 s]
/proc/loadavg: 4.20 4.13 4.10 5/265 355005
/proc/meminfo: memFree=117817776/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2740 CPUtime=1792.88 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 269 5243 0 0 0 0 177110 2178 20 0 1 0 64308239 10170368 685 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 685 596 264 0 134 0
[pid=353934] ppid=352955 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/353934/stat : 353934 (timeout) S 352955 353934 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64488040 8867840 258 134679101440 94489453858816 94489453893832 140728759408736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94489455991248 94489455993380 94489467375616 140728759415796 140728759415965 140728759415965 140728759422951 0
/proc/353934/statm: 2165 258 234 9 0 87 0
[pid=353935] ppid=353934 vsize=286236 memory=278140 CPUtime=1790.84 cores=0,2
/proc/353935/stat : 353935 (Exact) R 353934 353934 349568 0 -1 4194304 44009 0 0 0 179059 25 0 0 20 0 1 0 64488040 293105664 69535 134679101440 4194304 7210733 140720842195632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 14131200 140720842204176 140720842204326 140720842204326 140720842211312 0
/proc/353935/statm: 71559 69535 764 737 0 70647 0
Current children cumulated CPU time: 3583.72 s
Current children cumulated vsize: 304828 KiB
Current children cumulated memory: 281912 KiB
[startup+3596 s]*
/proc/loadavg: 4.20 4.13 4.10 5/265 355006
/proc/meminfo: memFree=117815892/131524592 swapFree=131071996/131071996
[pid=352955] ppid=352952 vsize=9932 memory=2740 CPUtime=1792.88 cores=0,2
/proc/352955/stat : 352955 (Hybrid-LSMabSP+) S 352952 352955 349568 0 -1 4194304 269 5243 0 0 0 0 177110 2178 20 0 1 0 64308239 10170368 685 134679101440 94629970685952 94629971765272 140723062360032 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94629973863728 94629973910916 94630002282496 140723062367208 140723062367354 140723062367354 140723062374369 0
/proc/352955/statm: 2483 685 596 264 0 134 0
[pid=353934] ppid=352955 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/353934/stat : 353934 (timeout) S 352955 353934 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64488040 8867840 258 134679101440 94489453858816 94489453893832 140728759408736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94489455991248 94489455993380 94489467375616 140728759415796 140728759415965 140728759415965 140728759422951 0
/proc/353934/statm: 2165 258 234 9 0 87 0
[pid=353935] ppid=353934 vsize=286236 memory=278140 CPUtime=1791.24 cores=0,2
/proc/353935/stat : 353935 (Exact) R 353934 353934 349568 0 -1 4194304 44010 0 0 0 179099 25 0 0 20 0 1 0 64488040 293105664 69535 134679101440 4194304 7210733 140720842195632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 14131200 140720842204176 140720842204326 140720842204326 140720842211312 0
/proc/353935/statm: 71559 69535 764 737 0 70647 0
Current children cumulated CPU time: 3584.12 s
Current children cumulated vsize: 304828 KiB
Current children cumulated memory: 281912 KiB
Child status: 0
Real time (s): 3596.05
CPU time (s): 3584.2
CPU user time (s): 3562.14
CPU system time (s): 22.0548
CPU usage (%): 99.6703
Max. virtual memory (cumulated for all children) (KiB): 304828
Max. memory (cumulated for all children) (KiB): 281912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.14
system time used= 22.0548
maximum resident set size= 278312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52628
page faults= 0
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 25100
# summary of solver processes directly reported to runsolver:
# pid: 352955
# total CPU time (s): 3584.2
# total CPU user time (s): 3562.14
# total CPU system time (s): 22.0548
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98282 second user time and 18.4886 second system time
The end
Begin job on nodeC016 at 2024-08-06 22:45:11 IDJOB=4437299 IDBENCH=155620 IDSOLVER=3070 FILE ID=nodeC016/4437299-1722977111 RUNJOBID= nodeC016-1722971653-349578 SLURM_JOB_ID= 8259069 Free space on /tmp= 889968 MiB SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_5.opb COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437299-1722977111/watcher-4437299-1722977111 -o /tmp/evaluation-result-4437299-1722977111/solver-4437299-1722977111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722971653-349578 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437299-1722977111.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4bce0178dd52d2d263abed98aae07653 RANDOM SEED=126932438 nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.320 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.732 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.672 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.202 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.991 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.768 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.954 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.252 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524592 kB MemFree: 119404424 kB MemAvailable: 124959720 kB Buffers: 351516 kB Cached: 6038708 kB SwapCached: 0 kB Active: 871232 kB Inactive: 10690568 kB Active(anon): 1608 kB Inactive(anon): 5207684 kB Active(file): 869624 kB Inactive(file): 5482884 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21028 kB Writeback: 8 kB AnonPages: 5169612 kB Mapped: 118124 kB Shmem: 37720 kB KReclaimable: 85184 kB Slab: 179812 kB SReclaimable: 85184 kB SUnreclaim: 94628 kB KernelStack: 4192 kB PageTables: 19736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834292 kB Committed_AS: 5983488 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 30496 kB HardwareCorrupted: 0 kB AnonHugePages: 2576384 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: 314068 kB DirectMap2M: 9945088 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 889996 MiB End job on nodeC016 at 2024-08-06 23:45:08