Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02 | OPT | 3367493 | 2104.04 | 2110.42 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_2.opb |
| MD5SUM | 768a18ffa3b1a9fc42159a5899fb070e |
| 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 | 3367493 |
| Best CPU time to get the best result obtained on this benchmark | 88.7011 |
| 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 | 147197952 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 48050028218 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 147197952 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 48050028218 |
| 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 |
2103.92/2110.37 c Exit code from Second Program: 30 2103.92/2110.39 c 12510 constraints 2103.92/2110.39 c after presolve 12512 2103.92/2110.39 c Finish cloning data from SAT to LS 2103.92/2110.39 c intsize: 36 2103.92/2110.39 c Use LS-small 2103.92/2110.39 o 104879903 2103.92/2110.39 o 103302009 2103.92/2110.39 o 102120493 2103.92/2110.39 o 38930575 2103.92/2110.39 o 31072603 2103.92/2110.39 o 23821215 2103.92/2110.39 o 23808345 2103.92/2110.39 o 23741789 2103.92/2110.39 o 23728091 2103.92/2110.39 o 21668409 2103.92/2110.39 o 21654711 2103.92/2110.39 o 21641013 2103.92/2110.39 o 21639535 2103.92/2110.39 o 21131031 2103.92/2110.39 o 21038557 2103.92/2110.39 o 18107931 2103.92/2110.39 o 18067131 2103.92/2110.39 o 17984481 2103.92/2110.39 o 8559555 2103.92/2110.39 o 8483485 2103.92/2110.39 o 8407699 2103.92/2110.39 o 8340057 2103.92/2110.39 o 8322193 2103.92/2110.39 o 8303899 2103.92/2110.39 o 8302059 2103.92/2110.39 o 8300261 2103.92/2110.39 o 8182343 2103.92/2110.39 o 8144003 2103.92/2110.39 o 8110525 2103.92/2110.39 o 8096301 2103.92/2110.39 o 7613273 2103.92/2110.39 o 7589941 2103.92/2110.39 o 7569235 2103.92/2110.39 o 7459387 2103.92/2110.39 o 7405635 2103.92/2110.39 o 7339733 2103.92/2110.39 o 7323125 2103.92/2110.39 o 7323093 2103.92/2110.39 o 7313947 2103.92/2110.39 o 7277277 2103.92/2110.39 o 7246209 2103.92/2110.39 o 7201329 2103.92/2110.39 o 7132057 2103.92/2110.39 o 7126899 2103.92/2110.39 o 6607167 2103.92/2110.39 o 6596729 2103.92/2110.39 o 6356339 2103.92/2110.39 o 6301389 2103.92/2110.39 o 6291813 2103.92/2110.39 o 6279397 2103.92/2110.39 o 6277881 2103.92/2110.39 o 6260827 2103.92/2110.39 o 6238023 2103.92/2110.39 o 6222841 2103.92/2110.39 o 6215397 2103.92/2110.39 o 6199799 2103.92/2110.39 o 6153353 2103.92/2110.39 o 6148761 2103.92/2110.39 o 6116113 2103.92/2110.39 o 6106225 2103.92/2110.39 o 6046673 2103.92/2110.39 o 6044425 2103.92/2110.39 o 6018145 2103.92/2110.39 o 6010785 2103.92/2110.39 o 6009233 2103.92/2110.39 o 6000293 2103.92/2110.39 o 5997407 2103.92/2110.39 o 5971557 2103.92/2110.39 o 5950775 2103.92/2110.39 o 5944325 2103.92/2110.39 o 5937851 2103.92/2110.39 o 5921109 2103.92/2110.39 o 5918785 2103.92/2110.39 o 5917219 2103.92/2110.39 o 5902675 2103.92/2110.39 o 5899219 2103.92/2110.39 o 5898473 2103.92/2110.39 o 5894525 2103.92/2110.39 o 5893777 2103.92/2110.39 o 4829507 2103.92/2110.39 o 4767341 2103.92/2110.39 o 4722933 2103.92/2110.39 o 4679463 2103.92/2110.39 o 4659183 2103.92/2110.39 o 4636811 2103.92/2110.39 o 4633509 2103.92/2110.39 o 4629143 2103.92/2110.39 o 4598039 2103.92/2110.39 o 4574695 2103.92/2110.39 o 4566623 2103.92/2110.40 o 4565353 2103.92/2110.40 o 4565103 2103.92/2110.40 o 4554543 2103.92/2110.40 o 4554339 2103.92/2110.40 o 4550795 2103.92/2110.40 o 4548915 2103.92/2110.40 o 4522377 2103.92/2110.40 o 4487651 2103.92/2110.40 o 4486127 2103.92/2110.40 o 4482161 2103.92/2110.40 o 4479305 2103.92/2110.40 o 4474929 2103.92/2110.40 o 4473315 2103.92/2110.40 o 4465999 2103.92/2110.40 o 4460777 2103.92/2110.40 o 4458393 2103.92/2110.40 o 4433323 2103.92/2110.40 o 4430657 2103.92/2110.40 o 4428491 2103.92/2110.40 o 4364815 2103.92/2110.40 o 4339283 2103.92/2110.40 o 4335865 2103.92/2110.40 o 4326685 2103.92/2110.40 o 4322215 2103.92/2110.40 o 4319991 2103.92/2110.40 o 4319065 2103.92/2110.40 o 4308423 2103.92/2110.40 o 4290031 2103.92/2110.40 o 4286103 2103.92/2110.40 o 4244093 2103.92/2110.40 o 4217187 2103.92/2110.40 o 4215573 2103.92/2110.40 o 4214607 2103.92/2110.40 o 4213383 2103.92/2110.40 o 4211521 2103.92/2110.40 o 4206633 2103.92/2110.40 o 4203485 2103.92/2110.40 o 4200959 2103.92/2110.40 o 4200751 2103.92/2110.40 o 4199287 2103.92/2110.40 o 4198799 2103.92/2110.40 o 4197745 2103.92/2110.40 o 4197541 2103.92/2110.40 o 4193913 2103.92/2110.40 o 4192737 2103.92/2110.40 o 4190529 2103.92/2110.40 o 4184921 2103.92/2110.40 o 4170149 2103.92/2110.40 o 4163097 2103.92/2110.40 o 4158751 2103.92/2110.40 o 4157707 2103.92/2110.40 o 4154003 2103.92/2110.40 o 4146877 2103.92/2110.40 o 4140001 2103.92/2110.40 o 4129457 2103.92/2110.40 o 4120593 2103.92/2110.40 o 4118829 2103.92/2110.40 o 4104841 2103.92/2110.40 o 4084737 2103.92/2110.40 o 4077075 2103.92/2110.40 o 4063005 2103.92/2110.40 o 4059737 2103.92/2110.40 o 4045347 2103.92/2110.40 o 4030549 2103.92/2110.40 o 4025309 2103.92/2110.40 o 4022479 2103.92/2110.40 o 4008169 2103.92/2110.40 o 3999843 2103.92/2110.40 o 3999163 2103.92/2110.40 o 3994469 2103.92/2110.40 o 3992697 2103.92/2110.40 o 3982395 2103.92/2110.40 o 3977591 2103.92/2110.40 o 3953299 2103.92/2110.40 o 3953069 2103.92/2110.40 o 3915311 2103.92/2110.40 o 3905375 2103.92/2110.40 o 3896231 2103.92/2110.40 o 3889617 2103.92/2110.40 o 3887969 2103.92/2110.40 o 3884601 2103.92/2110.40 o 3873769 2103.92/2110.40 o 3848925 2103.92/2110.40 o 3830961 2103.92/2110.40 o 3824665 2103.92/2110.40 o 3809627 2103.92/2110.40 o 3795277 2103.92/2110.40 o 3785421 2103.92/2110.40 o 3780127 2103.92/2110.40 o 3767973 2103.92/2110.40 o 3764365 2103.92/2110.40 o 3760455 2103.92/2110.40 o 3711527 2103.92/2110.40 o 3705361 2103.92/2110.40 o 3702013 2103.92/2110.40 o 3680027 2103.92/2110.40 o 3666217 2103.92/2110.40 o 3661955 2103.92/2110.40 o 3658017 2103.92/2110.40 o 3656391 2103.92/2110.40 o 3656307 2103.92/2110.40 o 3655693 2103.92/2110.40 o 3646625 2103.92/2110.40 o 3645673 2103.92/2110.40 o 3638585 2103.92/2110.40 o 3629979 2103.92/2110.40 o 3629207 2103.92/2110.40 o 3624815 2103.92/2110.40 o 3621621 2103.92/2110.40 o 3618543 2103.92/2110.40 o 3612631 2103.92/2110.40 o 3607495 2103.92/2110.40 o 3606529 2103.92/2110.40 o 3603801 2103.92/2110.40 c SAT by LS-small 2103.92/2110.40 o 3603801 2103.92/2110.40 o 3603471 2103.92/2110.40 o 3601455 2103.92/2110.40 o 3601265 2103.92/2110.40 o 3598289 2103.92/2110.40 o 3596379 2103.92/2110.40 o 3595889 2103.92/2110.40 o 3594195 2103.92/2110.40 o 3594011 2103.92/2110.40 o 3591055 2103.92/2110.40 o 3590441 2103.92/2110.40 o 3589713 2103.92/2110.40 o 3588727 2103.92/2110.40 o 3585175 2103.92/2110.40 o 3584447 2103.92/2110.40 o 3568273 2103.92/2110.40 o 3563999 2103.92/2110.40 o 3560137 2103.92/2110.40 o 3559929 2103.92/2110.40 o 3559415 2103.92/2110.40 o 3553605 2103.92/2110.40 o 3551877 2103.92/2110.40 o 3549279 2103.92/2110.40 o 3547111 2103.92/2110.40 o 3544453 2103.92/2110.40 o 3519031 2103.92/2110.40 o 3518919 2103.92/2110.40 o 3516553 2103.92/2110.40 o 3507609 2103.92/2110.40 o 3507561 2103.92/2110.40 o 3488745 2103.92/2110.40 o 3485593 2103.92/2110.40 o 3473827 2103.92/2110.40 o 3473041 2103.92/2110.40 o 3470997 2103.92/2110.40 o 3450969 2103.92/2110.40 o 3450183 2103.92/2110.40 o 3440871 2103.92/2110.40 o 3440771 2103.92/2110.40 o 3439565 2103.92/2110.40 o 3438195 2103.92/2110.40 o 3431281 2103.92/2110.40 o 3430495 2103.92/2110.40 o 3428129 2103.92/2110.40 o 3428017 2103.92/2110.40 o 3425973 2103.92/2110.40 o 3425391 2103.92/2110.40 o 3424605 2103.92/2110.40 o 3424213 2103.92/2110.40 o 3422169 2103.92/2110.40 o 3421847 2103.92/2110.40 o 3411309 2103.92/2110.40 o 3401211 2103.92/2110.40 o 3399055 2103.92/2110.40 o 3398733 2103.92/2110.40 o 3398151 2103.92/2110.40 o 3397365 2103.92/2110.40 o 3395321 2103.92/2110.40 o 3370233 2103.92/2110.40 o 3368861 2103.92/2110.40 o 3368279 2103.92/2110.40 o 3367605 2103.92/2110.40 o 3367493 2103.92/2110.40 s OPTIMUM FOUND 2103.92/2110.40 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 3367493
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: 63794 MiB (54140 MiB free)
memory of node 1: 64507 MiB (62857 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503772-1751446593/watcher-4503772-1751446593 -o /tmp/evaluation-result-4503772-1751446593/solver-4503772-1751446593 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751442346-62197 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4503772-1751446593.opb 3600 HOME
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=63026, runsolver pid=63023
[startup+0.100101 s]*
/proc/loadavg: 4.09 4.15 4.13 7/258 63030
/proc/meminfo: memFree=119802468/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63029] ppid=63026 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63029/stat : 63029 (timeout) S 63026 63029 62184 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60338657 2723840 320 18446744073709551615 94285604524032 94285604540545 140737080490928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94285604555312 94285604557400 94285628301312 140737080498584 140737080498722 140737080498722 140737080504295 0
/proc/63029/statm: 665 320 320 5 0 90 0
[pid=63030] ppid=63029 vsize=27400 memory=8832 CPUtime=0.07 cores=5,7
/proc/63030/stat : 63030 (CASHWMaxSAT-Dis) R 63029 63029 62184 0 -1 4194304 1548 0 0 0 7 0 0 0 20 0 1 0 60338658 28057600 2208 18446744073709551615 4198400 14093885 140723290430192 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25272320 140723290438045 140723290438171 140723290438171 140723290443744 0
/proc/63030/statm: 6850 2208 736 2416 0 3952 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 34384 KiB
Current children cumulated memory: 13184 KiB
[startup+0.21434 s]*
/proc/loadavg: 4.09 4.15 4.13 5/258 63030
/proc/meminfo: memFree=119802468/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63029] ppid=63026 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63029/stat : 63029 (timeout) S 63026 63029 62184 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60338657 2723840 320 18446744073709551615 94285604524032 94285604540545 140737080490928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94285604555312 94285604557400 94285628301312 140737080498584 140737080498722 140737080498722 140737080504295 0
/proc/63029/statm: 665 320 320 5 0 90 0
[pid=63030] ppid=63029 vsize=35868 memory=17408 CPUtime=0.19 cores=5,7
/proc/63030/stat : 63030 (CASHWMaxSAT-Dis) R 63029 63029 62184 0 -1 4194304 3657 0 0 0 18 1 0 0 20 0 1 0 60338658 36728832 4352 18446744073709551615 4198400 14093885 140723290430192 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25272320 140723290438045 140723290438171 140723290438171 140723290443744 0
/proc/63030/statm: 8967 4352 768 2416 0 6069 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42852 KiB
Current children cumulated memory: 21760 KiB
[startup+0.31484 s]*
/proc/loadavg: 4.09 4.15 4.13 5/258 63030
/proc/meminfo: memFree=119802656/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63029] ppid=63026 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63029/stat : 63029 (timeout) S 63026 63029 62184 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60338657 2723840 320 18446744073709551615 94285604524032 94285604540545 140737080490928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94285604555312 94285604557400 94285628301312 140737080498584 140737080498722 140737080498722 140737080504295 0
/proc/63029/statm: 665 320 320 5 0 90 0
[pid=63030] ppid=63029 vsize=47536 memory=27724 CPUtime=0.28 cores=5,7
/proc/63030/stat : 63030 (CASHWMaxSAT-Dis) R 63029 63029 62184 0 -1 4194304 6943 0 0 0 26 2 0 0 20 0 1 0 60338658 48676864 6931 18446744073709551615 4198400 14093885 140723290430192 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25272320 140723290438045 140723290438171 140723290438171 140723290443744 0
/proc/63030/statm: 11884 6931 768 2416 0 8986 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 54520 KiB
Current children cumulated memory: 32076 KiB
[startup+0.700474 s]
/proc/loadavg: 4.09 4.15 4.13 5/258 63030
/proc/meminfo: memFree=119781044/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63029] ppid=63026 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63029/stat : 63029 (timeout) S 63026 63029 62184 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60338657 2723840 320 18446744073709551615 94285604524032 94285604540545 140737080490928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94285604555312 94285604557400 94285628301312 140737080498584 140737080498722 140737080498722 140737080504295 0
/proc/63029/statm: 665 320 320 5 0 90 0
[pid=63030] ppid=63029 vsize=78796 memory=59352 CPUtime=0.65 cores=5,7
/proc/63030/stat : 63030 (CASHWMaxSAT-Dis) R 63029 63029 62184 0 -1 4194304 14099 0 0 0 60 5 0 0 20 0 1 0 60338658 80687104 14838 18446744073709551615 4198400 14093885 140723290430192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25272320 140723290438045 140723290438171 140723290438171 140723290443744 0
/proc/63030/statm: 19699 14838 1024 2416 0 16801 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 85780 KiB
Current children cumulated memory: 63704 KiB
[startup+1.50051 s]
/proc/loadavg: 4.09 4.15 4.13 5/258 63030
/proc/meminfo: memFree=119756976/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63029] ppid=63026 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63029/stat : 63029 (timeout) S 63026 63029 62184 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60338657 2723840 320 18446744073709551615 94285604524032 94285604540545 140737080490928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94285604555312 94285604557400 94285628301312 140737080498584 140737080498722 140737080498722 140737080504295 0
/proc/63029/statm: 665 320 320 5 0 90 0
[pid=63030] ppid=63029 vsize=89404 memory=71624 CPUtime=1.46 cores=5,7
/proc/63030/stat : 63030 (CASHWMaxSAT-Dis) R 63029 63029 62184 0 -1 4194304 15860 0 0 0 140 6 0 0 20 0 1 0 60338658 91549696 17906 18446744073709551615 4198400 14093885 140723290430192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25272320 140723290438045 140723290438171 140723290438171 140723290443744 0
/proc/63030/statm: 22351 17906 1056 2416 0 19453 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 96388 KiB
Current children cumulated memory: 75976 KiB
[startup+3.11387 s]
/proc/loadavg: 4.09 4.15 4.13 5/258 63030
/proc/meminfo: memFree=119726388/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63029] ppid=63026 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63029/stat : 63029 (timeout) S 63026 63029 62184 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60338657 2723840 320 18446744073709551615 94285604524032 94285604540545 140737080490928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94285604555312 94285604557400 94285628301312 140737080498584 140737080498722 140737080498722 140737080504295 0
/proc/63029/statm: 665 320 320 5 0 90 0
[pid=63030] ppid=63029 vsize=118480 memory=97848 CPUtime=3.06 cores=5,7
/proc/63030/stat : 63030 (CASHWMaxSAT-Dis) R 63029 63029 62184 0 -1 4194304 18865 0 0 0 299 7 0 0 20 0 1 0 60338658 121323520 24462 18446744073709551615 4198400 14093885 140723290430192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25272320 140723290438045 140723290438171 140723290438171 140723290443744 0
/proc/63030/statm: 29620 24462 1056 2416 0 26722 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 125464 KiB
Current children cumulated memory: 102200 KiB
[startup+6.3005 s]
/proc/loadavg: 4.08 4.14 4.13 5/258 63030
/proc/meminfo: memFree=119685744/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63029] ppid=63026 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63029/stat : 63029 (timeout) S 63026 63029 62184 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60338657 2723840 320 18446744073709551615 94285604524032 94285604540545 140737080490928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94285604555312 94285604557400 94285628301312 140737080498584 140737080498722 140737080498722 140737080504295 0
/proc/63029/statm: 665 320 320 5 0 90 0
[pid=63030] ppid=63029 vsize=153816 memory=121204 CPUtime=6.24 cores=5,7
/proc/63030/stat : 63030 (CASHWMaxSAT-Dis) R 63029 63029 62184 0 -1 4194304 23193 0 0 0 615 9 0 0 20 0 1 0 60338658 157507584 30301 18446744073709551615 4198400 14093885 140723290430192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25272320 140723290438045 140723290438171 140723290438171 140723290443744 0
/proc/63030/statm: 38454 30301 1056 2416 0 35556 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 160800 KiB
Current children cumulated memory: 125556 KiB
[startup+12.7005 s]
/proc/loadavg: 4.08 4.14 4.13 5/257 63030
/proc/meminfo: memFree=119677160/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63029] ppid=63026 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63029/stat : 63029 (timeout) S 63026 63029 62184 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60338657 2723840 320 18446744073709551615 94285604524032 94285604540545 140737080490928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94285604555312 94285604557400 94285628301312 140737080498584 140737080498722 140737080498722 140737080504295 0
/proc/63029/statm: 665 320 320 5 0 90 0
[pid=63030] ppid=63029 vsize=182728 memory=147544 CPUtime=12.62 cores=5,7
/proc/63030/stat : 63030 (CASHWMaxSAT-Dis) R 63029 63029 62184 0 -1 4194304 26722 0 0 0 1252 10 0 0 20 0 1 0 60338658 187113472 36886 18446744073709551615 4198400 14093885 140723290430192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25272320 140723290438045 140723290438171 140723290438171 140723290443744 0
/proc/63030/statm: 45682 36886 1056 2416 0 42784 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 189712 KiB
Current children cumulated memory: 151896 KiB
[startup+25.5005 s]
/proc/loadavg: 4.06 4.13 4.13 5/257 63030
/proc/meminfo: memFree=119634328/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63029] ppid=63026 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63029/stat : 63029 (timeout) S 63026 63029 62184 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60338657 2723840 320 18446744073709551615 94285604524032 94285604540545 140737080490928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94285604555312 94285604557400 94285628301312 140737080498584 140737080498722 140737080498722 140737080504295 0
/proc/63029/statm: 665 320 320 5 0 90 0
[pid=63030] ppid=63029 vsize=192348 memory=160348 CPUtime=25.38 cores=5,7
/proc/63030/stat : 63030 (CASHWMaxSAT-Dis) R 63029 63029 62184 0 -1 4194304 30151 0 0 0 2526 12 0 0 20 0 1 0 60338658 196964352 40087 18446744073709551615 4198400 14093885 140723290430192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25272320 140723290438045 140723290438171 140723290438171 140723290443744 0
/proc/63030/statm: 48087 40087 1056 2416 0 45189 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 199332 KiB
Current children cumulated memory: 164700 KiB
[startup+51.1141 s]
/proc/loadavg: 4.16 4.15 4.13 5/258 63032
/proc/meminfo: memFree=119600892/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63029] ppid=63026 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63029/stat : 63029 (timeout) S 63026 63029 62184 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60338657 2723840 320 18446744073709551615 94285604524032 94285604540545 140737080490928 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94285604555312 94285604557400 94285628301312 140737080498584 140737080498722 140737080498722 140737080504295 0
/proc/63029/statm: 665 320 320 5 0 90 0
[pid=63030] ppid=63029 vsize=253152 memory=197704 CPUtime=50.91 cores=5,7
/proc/63030/stat : 63030 (CASHWMaxSAT-Dis) R 63029 63029 62184 0 -1 4194304 34013 0 0 0 5075 16 0 0 20 0 1 0 60338658 259227648 49426 18446744073709551615 4198400 14093885 140723290430192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25272320 140723290438045 140723290438171 140723290438171 140723290443744 0
/proc/63030/statm: 63288 49426 1056 2416 0 60390 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 260136 KiB
Current children cumulated memory: 202056 KiB
[startup+102.301 s]
/proc/loadavg: 4.12 4.14 4.13 5/259 63034
/proc/meminfo: memFree=119544616/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63029] ppid=63026 vsize=2660 memory=1280 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63147] ppid=63026 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63147/stat : 63147 (timeout) S 63026 63147 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60428558 2723840 352 18446744073709551615 93837373419520 93837373436033 140730394621104 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93837373450800 93837373452888 93837377871872 140730394630533 140730394630690 140730394630690 140730394636263 0
/proc/63147/statm: 665 352 352 5 0 90 0
[pid=63148] ppid=63147 vsize=349396 memory=251212 CPUtime=1060.3 cores=5,7
/proc/63148/stat : 63148 (ExactPR-S9) R 63147 63147 62184 0 -1 4194304 38506 0 0 0 102437 3593 0 0 20 0 1 0 60428559 357781504 62803 18446744073709551615 94888535060480 94888544360581 140725175730144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94888546146624 94888546185704 94888568983552 140725175732636 140725175732774 140725175732774 140725175738347 0
/proc/63148/statm: 87349 62803 1856 2271 0 81987 0
Current children cumulated CPU time: 1956.41 s
Current children cumulated vsize: 356380 KiB
Current children cumulated memory: 255692 KiB
[startup+2022.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/259 63216
/proc/meminfo: memFree=118272656/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=896.11 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 283 70634 0 0 0 0 89504 107 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63147] ppid=63026 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63147/stat : 63147 (timeout) S 63026 63147 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60428558 2723840 352 18446744073709551615 93837373419520 93837373436033 140730394621104 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93837373450800 93837373452888 93837377871872 140730394630533 140730394630690 140730394630690 140730394636263 0
/proc/63147/statm: 665 352 352 5 0 90 0
[pid=63148] ppid=63147 vsize=351916 memory=253644 CPUtime=1120.11 cores=5,7
/proc/63148/stat : 63148 (ExactPR-S9) R 63147 63147 62184 0 -1 4194304 39135 0 0 0 108411 3600 0 0 20 0 1 0 60428559 360361984 63411 18446744073709551615 94888535060480 94888544360581 140725175730144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94888546146624 94888546185704 94888568983552 140725175732636 140725175732774 140725175732774 140725175738347 0
/proc/63148/statm: 87979 63411 1856 2271 0 82617 0
Current children cumulated CPU time: 2016.22 s
Current children cumulated vsize: 358900 KiB
Current children cumulated memory: 258124 KiB
[startup+2082.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/259 63223
/proc/meminfo: memFree=118192500/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=896.11 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 283 70634 0 0 0 0 89504 107 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63147] ppid=63026 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63147/stat : 63147 (timeout) S 63026 63147 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60428558 2723840 352 18446744073709551615 93837373419520 93837373436033 140730394621104 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93837373450800 93837373452888 93837377871872 140730394630533 140730394630690 140730394630690 140730394636263 0
/proc/63147/statm: 665 352 352 5 0 90 0
[pid=63148] ppid=63147 vsize=356464 memory=257356 CPUtime=1179.89 cores=5,7
/proc/63148/stat : 63148 (ExactPR-S9) R 63147 63147 62184 0 -1 4194304 40094 0 0 0 114380 3609 0 0 20 0 1 0 60428559 365019136 64339 18446744073709551615 94888535060480 94888544360581 140725175730144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94888546146624 94888546185704 94888568983552 140725175732636 140725175732774 140725175732774 140725175738347 0
/proc/63148/statm: 89116 64339 1856 2271 0 83754 0
Current children cumulated CPU time: 2076 s
Current children cumulated vsize: 363448 KiB
Current children cumulated memory: 261836 KiB
[startup+2110.42 s]
# the end of solver process 63026 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2066.79 s, system=37.2491 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2086.4 s]
/proc/loadavg: 4.12 4.14 4.17 5/259 63223
/proc/meminfo: memFree=118129264/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=896.11 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 283 70634 0 0 0 0 89504 107 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63147] ppid=63026 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63147/stat : 63147 (timeout) S 63026 63147 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60428558 2723840 352 18446744073709551615 93837373419520 93837373436033 140730394621104 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93837373450800 93837373452888 93837377871872 140730394630533 140730394630690 140730394630690 140730394636263 0
/proc/63147/statm: 665 352 352 5 0 90 0
[pid=63148] ppid=63147 vsize=356464 memory=257356 CPUtime=1183.98 cores=5,7
/proc/63148/stat : 63148 (ExactPR-S9) R 63147 63147 62184 0 -1 4194304 40094 0 0 0 114789 3609 0 0 20 0 1 0 60428559 365019136 64339 18446744073709551615 94888535060480 94888544360581 140725175730144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94888546146624 94888546185704 94888568983552 140725175732636 140725175732774 140725175732774 140725175738347 0
/proc/63148/statm: 89116 64339 1856 2271 0 83754 0
Current children cumulated CPU time: 2080.09 s
Current children cumulated vsize: 363448 KiB
Current children cumulated memory: 261836 KiB
[startup+2099.2 s]
/proc/loadavg: 4.10 4.14 4.16 5/259 63223
/proc/meminfo: memFree=117936364/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=896.11 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 283 70634 0 0 0 0 89504 107 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63147] ppid=63026 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63147/stat : 63147 (timeout) S 63026 63147 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60428558 2723840 352 18446744073709551615 93837373419520 93837373436033 140730394621104 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93837373450800 93837373452888 93837377871872 140730394630533 140730394630690 140730394630690 140730394636263 0
/proc/63147/statm: 665 352 352 5 0 90 0
[pid=63148] ppid=63147 vsize=356464 memory=257356 CPUtime=1196.74 cores=5,7
/proc/63148/stat : 63148 (ExactPR-S9) R 63147 63147 62184 0 -1 4194304 40096 0 0 0 116064 3610 0 0 20 0 1 0 60428559 365019136 64339 18446744073709551615 94888535060480 94888544360581 140725175730144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94888546146624 94888546185704 94888568983552 140725175732636 140725175732774 140725175732774 140725175738347 0
/proc/63148/statm: 89116 64339 1856 2271 0 83754 0
Current children cumulated CPU time: 2092.85 s
Current children cumulated vsize: 363448 KiB
Current children cumulated memory: 261836 KiB
[startup+2105.6 s]
/proc/loadavg: 4.16 4.15 4.17 5/259 63223
/proc/meminfo: memFree=117895908/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=896.11 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 283 70634 0 0 0 0 89504 107 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63147] ppid=63026 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63147/stat : 63147 (timeout) S 63026 63147 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60428558 2723840 352 18446744073709551615 93837373419520 93837373436033 140730394621104 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93837373450800 93837373452888 93837377871872 140730394630533 140730394630690 140730394630690 140730394636263 0
/proc/63147/statm: 665 352 352 5 0 90 0
[pid=63148] ppid=63147 vsize=356464 memory=257356 CPUtime=1203.13 cores=5,7
/proc/63148/stat : 63148 (ExactPR-S9) R 63147 63147 62184 0 -1 4194304 40096 0 0 0 116701 3612 0 0 20 0 1 0 60428559 365019136 64339 18446744073709551615 94888535060480 94888544360581 140725175730144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94888546146624 94888546185704 94888568983552 140725175732636 140725175732774 140725175732774 140725175738347 0
/proc/63148/statm: 89116 64339 1856 2271 0 83754 0
Current children cumulated CPU time: 2099.24 s
Current children cumulated vsize: 363448 KiB
Current children cumulated memory: 261836 KiB
[startup+2108.8 s]
/proc/loadavg: 4.16 4.15 4.17 5/258 63224
/proc/meminfo: memFree=117889000/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=896.11 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 283 70634 0 0 0 0 89504 107 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63147] ppid=63026 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63147/stat : 63147 (timeout) S 63026 63147 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60428558 2723840 352 18446744073709551615 93837373419520 93837373436033 140730394621104 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93837373450800 93837373452888 93837377871872 140730394630533 140730394630690 140730394630690 140730394636263 0
/proc/63147/statm: 665 352 352 5 0 90 0
[pid=63148] ppid=63147 vsize=356720 memory=257484 CPUtime=1206.31 cores=5,7
/proc/63148/stat : 63148 (ExactPR-S9) R 63147 63147 62184 0 -1 4194304 40129 0 0 0 117017 3614 0 0 20 0 1 0 60428559 365281280 64371 18446744073709551615 94888535060480 94888544360581 140725175730144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94888546146624 94888546185704 94888568983552 140725175732636 140725175732774 140725175732774 140725175738347 0
/proc/63148/statm: 89180 64371 1856 2271 0 83818 0
Current children cumulated CPU time: 2102.42 s
Current children cumulated vsize: 363704 KiB
Current children cumulated memory: 261964 KiB
[startup+2109.6 s]
/proc/loadavg: 4.16 4.15 4.17 5/258 63224
/proc/meminfo: memFree=117890040/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=896.11 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 283 70634 0 0 0 0 89504 107 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63147] ppid=63026 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63147/stat : 63147 (timeout) S 63026 63147 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60428558 2723840 352 18446744073709551615 93837373419520 93837373436033 140730394621104 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93837373450800 93837373452888 93837377871872 140730394630533 140730394630690 140730394630690 140730394636263 0
/proc/63147/statm: 665 352 352 5 0 90 0
[pid=63148] ppid=63147 vsize=356720 memory=257484 CPUtime=1207.11 cores=5,7
/proc/63148/stat : 63148 (ExactPR-S9) R 63147 63147 62184 0 -1 4194304 40129 0 0 0 117097 3614 0 0 20 0 1 0 60428559 365281280 64371 18446744073709551615 94888535060480 94888544360581 140725175730144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94888546146624 94888546185704 94888568983552 140725175732636 140725175732774 140725175732774 140725175738347 0
/proc/63148/statm: 89180 64371 1856 2271 0 83818 0
Current children cumulated CPU time: 2103.22 s
Current children cumulated vsize: 363704 KiB
Current children cumulated memory: 261964 KiB
[startup+2110 s]*
/proc/loadavg: 4.23 4.16 4.17 5/258 63224
/proc/meminfo: memFree=117881600/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=896.11 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) S 63023 63026 62184 0 -1 4194304 283 70634 0 0 0 0 89504 107 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
[pid=63147] ppid=63026 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63147/stat : 63147 (timeout) S 63026 63147 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60428558 2723840 352 18446744073709551615 93837373419520 93837373436033 140730394621104 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93837373450800 93837373452888 93837377871872 140730394630533 140730394630690 140730394630690 140730394636263 0
/proc/63147/statm: 665 352 352 5 0 90 0
[pid=63148] ppid=63147 vsize=356720 memory=257484 CPUtime=1207.52 cores=5,7
/proc/63148/stat : 63148 (ExactPR-S9) R 63147 63147 62184 0 -1 4194304 40129 0 0 0 117138 3614 0 0 20 0 1 0 60428559 365281280 64371 18446744073709551615 94888535060480 94888544360581 140725175730144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94888546146624 94888546185704 94888568983552 140725175732636 140725175732774 140725175732774 140725175738347 0
/proc/63148/statm: 89180 64371 1856 2271 0 83818 0
Current children cumulated CPU time: 2103.63 s
Current children cumulated vsize: 363704 KiB
Current children cumulated memory: 261964 KiB
[startup+2110.4 s]
/proc/loadavg: 4.23 4.16 4.17 5/258 63224
/proc/meminfo: memFree=117881600/131382120 swapFree=33010416/33010684
[pid=63026] ppid=63023 vsize=4324 memory=3072 CPUtime=2104.02 cores=5,7
/proc/63026/stat : 63026 (Hybrid-CASHWMax) R 63023 63026 62184 0 -1 4194304 345 111367 0 0 0 0 206678 3724 20 0 1 0 60338654 4427776 768 18446744073709551615 94299477401600 94299478296133 140731687813936 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94299478535184 94299478582928 94299511078912 140731687819605 140731687819760 140731687819760 140731687825362 0
/proc/63026/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 2104.02 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 2110.42
CPU time (s): 2104.04
CPU user time (s): 2066.79
CPU system time (s): 37.2491
CPU usage (%): 99.6976
Max. virtual memory (cumulated for all children) (KiB): 364244
Max. memory (cumulated for all children) (KiB): 320464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2066.79
system time used= 37.2491
maximum resident set size= 328896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112049
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 782
involuntary context switches= 2061
# summary of solver processes directly reported to runsolver:
# pid: 63026
# total CPU time (s): 2104.04
# total CPU user time (s): 2066.79
# total CPU system time (s): 37.2491
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7741 second user time and 24.4259 second system time
The end
Begin job on nodeC006 at 2025-07-02 10:56:33 IDJOB=4503772 IDBENCH=155603 IDSOLVER=3330 FILE ID=nodeC006/4503772-1751446593 RUNJOBID= nodeC006-1751442346-62197 SLURM_JOB_ID= 9598410 Free space on /tmp= 432148 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503772-1751446593/watcher-4503772-1751446593 -o /tmp/evaluation-result-4503772-1751446593/solver-4503772-1751446593 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751442346-62197 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4503772-1751446593.opb 3600 HOME TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e RANDOM SEED=2047903273 nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3491.695 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 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 : 3691.189 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 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.602 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 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.285 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 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 : 3504.888 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 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 : 1496.422 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 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.311 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 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 : 3700.000 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 119806468 kB MemAvailable: 127465144 kB Buffers: 2128 kB Cached: 8429480 kB SwapCached: 12 kB Active: 2803648 kB Inactive: 8017820 kB Active(anon): 2396720 kB Inactive(anon): 11092 kB Active(file): 406928 kB Inactive(file): 8006728 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 25416 kB Writeback: 4 kB AnonPages: 2392484 kB Mapped: 113396 kB Shmem: 17948 kB KReclaimable: 168912 kB Slab: 254960 kB SReclaimable: 168912 kB SUnreclaim: 86048 kB KernelStack: 4128 kB PageTables: 8636 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 3150708 kB VmallocTotal: 34359738367 kB VmallocUsed: 149480 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 364544 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 10196992 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 432144 MiB End job on nodeC006 at 2025-07-02 11:31:44