Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02 | SAT | 3367493 | 2637.67 | 2644.32 |
| 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 |
2637.65/2644.31 c 12510 constraints 2637.65/2644.31 c after presolve 12512 2637.65/2644.31 o 326964391 2637.65/2644.31 o 286716893 2637.65/2644.31 o 286506179 2637.65/2644.31 o 285895899 2637.65/2644.31 o 285826347 2637.65/2644.31 o 186150731 2637.65/2644.31 o 185940017 2637.65/2644.31 o 185806979 2637.65/2644.31 o 185786309 2637.65/2644.31 o 120873467 2637.65/2644.31 o 120853019 2637.65/2644.31 o 116383501 2637.65/2644.31 o 116301565 2637.65/2644.31 o 116296525 2637.65/2644.31 o 116037517 2637.65/2644.31 o 115945517 2637.65/2644.31 o 115932119 2637.65/2644.31 o 115818333 2637.65/2644.31 o 115753691 2637.65/2644.31 o 115726535 2637.65/2644.31 o 115711517 2637.65/2644.31 o 108812139 2637.65/2644.31 o 108798741 2637.65/2644.31 o 95402311 2637.65/2644.31 o 80194155 2637.65/2644.31 o 80108307 2637.65/2644.31 o 80098313 2637.65/2644.31 o 79999067 2637.65/2644.31 o 79997225 2637.65/2644.31 o 79989833 2637.65/2644.31 o 61780203 2637.65/2644.31 o 61687145 2637.65/2644.31 o 61665995 2637.65/2644.31 o 61659989 2637.65/2644.31 o 61626177 2637.65/2644.31 o 61584347 2637.65/2644.31 o 61578341 2637.65/2644.31 o 61428581 2637.65/2644.31 o 61274231 2637.65/2644.31 o 61096781 2637.65/2644.31 o 61090973 2637.65/2644.31 o 60880103 2637.65/2644.31 o 60693113 2637.65/2644.31 o 60561485 2637.65/2644.31 o 60497465 2637.65/2644.31 o 60376883 2637.65/2644.31 o 60363485 2637.65/2644.31 o 60257951 2637.65/2644.31 o 60228403 2637.65/2644.31 o 60074837 2637.65/2644.31 o 60073849 2637.65/2644.31 o 60028819 2637.65/2644.31 o 60015421 2637.65/2644.31 o 60006545 2637.65/2644.31 o 59998853 2637.65/2644.31 o 59985749 2637.65/2644.31 o 59979743 2637.65/2644.31 o 59972351 2637.65/2644.31 o 59963475 2637.65/2644.31 o 59942803 2637.65/2644.31 o 59748005 2637.65/2644.31 o 27914813 2637.65/2644.31 o 27911539 2637.65/2644.31 o 27874867 2637.65/2644.31 o 27867187 2637.65/2644.31 o 27822789 2637.65/2644.31 o 27807891 2637.65/2644.31 o 27801163 2637.65/2644.31 o 15817123 2637.65/2644.31 o 11005749 2637.65/2644.31 o 10977415 2637.65/2644.31 o 10941191 2637.65/2644.31 o 10938167 2637.65/2644.31 o 10912593 2637.65/2644.31 o 10891547 2637.65/2644.31 o 10882075 2637.65/2644.31 o 10880157 2637.65/2644.31 o 10869083 2637.65/2644.31 o 10853683 2637.65/2644.31 o 10851765 2637.65/2644.31 o 10841443 2637.65/2644.31 o 10838675 2637.65/2644.31 o 10763689 2637.65/2644.31 o 10750697 2637.65/2644.31 o 10748507 2637.65/2644.31 o 10746589 2637.65/2644.31 o 10736267 2637.65/2644.31 o 10723753 2637.65/2644.31 o 10633525 2637.65/2644.31 o 10625605 2637.65/2644.31 o 10616027 2637.65/2644.31 o 10592883 2637.65/2644.31 o 10580793 2637.65/2644.31 o 10568649 2637.65/2644.31 o 10566339 2637.65/2644.31 o 10564421 2637.65/2644.31 o 10558811 2637.65/2644.31 o 10532709 2637.65/2644.31 o 10522341 2637.65/2644.31 o 10507683 2637.65/2644.31 o 10505253 2637.65/2644.31 o 10496217 2637.65/2644.31 o 10472665 2637.65/2644.31 o 10452275 2637.65/2644.31 o 10430129 2637.65/2644.31 o 10406577 2637.65/2644.31 o 10394019 2637.65/2644.31 o 10379011 2637.65/2644.31 o 10363369 2637.65/2644.31 o 10362715 2637.65/2644.31 o 10359957 2637.65/2644.31 o 10358223 2637.65/2644.31 o 10351885 2637.65/2644.31 o 10323499 2637.65/2644.31 o 10290265 2637.65/2644.31 o 10265553 2637.65/2644.31 o 10248179 2637.65/2644.31 o 10235915 2637.65/2644.31 o 10233197 2637.65/2644.31 o 10233049 2637.65/2644.31 o 10220173 2637.65/2644.31 o 10185299 2637.65/2644.31 o 10180401 2637.65/2644.31 o 10177683 2637.65/2644.31 o 10177535 2637.65/2644.31 o 10140221 2637.65/2644.31 o 10106855 2637.65/2644.31 o 10086557 2637.65/2644.31 o 10084397 2637.65/2644.31 o 10083181 2637.65/2644.31 o 10061341 2637.65/2644.31 o 10052107 2637.65/2644.31 o 10046619 2637.65/2644.31 o 9981229 2637.65/2644.31 o 9980285 2637.65/2644.31 o 9968781 2637.65/2644.31 o 9958475 2637.65/2644.31 o 9958445 2637.65/2644.31 o 9954099 2637.65/2644.31 o 9944865 2637.65/2644.31 o 9944717 2637.65/2644.31 o 9937739 2637.65/2644.31 o 9911291 2637.65/2644.31 o 9903435 2637.65/2644.31 o 9901855 2637.65/2644.31 o 9894325 2637.65/2644.31 o 9892591 2637.65/2644.31 o 9513703 2637.65/2644.31 o 8850303 2637.65/2644.31 o 8849913 2637.65/2644.31 o 8743191 2637.65/2644.31 o 7007109 2637.65/2644.31 o 6997955 2637.65/2644.31 o 6994115 2637.65/2644.31 o 6970715 2637.65/2644.31 o 6967323 2637.65/2644.31 o 6942499 2637.65/2644.31 o 6918817 2637.65/2644.31 o 6891673 2637.65/2644.31 o 6850705 2637.65/2644.31 o 6814425 2637.65/2644.31 o 6811233 2637.65/2644.31 o 6739197 2637.65/2644.31 o 6725151 2637.65/2644.31 o 6707511 2637.65/2644.31 o 6693395 2637.65/2644.31 o 6692655 2637.65/2644.31 o 6688855 2637.65/2644.31 o 6650337 2637.65/2644.31 o 6648145 2637.65/2644.31 o 6646801 2637.65/2644.31 o 6635043 2637.65/2644.31 o 6633843 2637.65/2644.31 o 6633585 2637.65/2644.31 o 6625335 2637.65/2644.31 o 6624769 2637.65/2644.31 o 6622545 2637.65/2644.31 o 6620735 2637.65/2644.31 o 6605489 2637.65/2644.31 o 6565331 2637.65/2644.31 o 6565283 2637.65/2644.31 o 6564083 2637.65/2644.31 o 6563485 2637.65/2644.31 o 6560125 2637.65/2644.31 o 6543039 2637.65/2644.31 o 6542781 2637.65/2644.31 o 6542613 2637.65/2644.31 o 6536421 2637.65/2644.31 o 6534913 2637.65/2644.31 o 6534573 2637.65/2644.31 o 6534315 2637.65/2644.31 o 6487923 2637.65/2644.31 o 6472141 2637.65/2644.31 o 6471801 2637.65/2644.31 o 6471055 2637.65/2644.31 o 6470431 2637.65/2644.31 o 6468547 2637.65/2644.31 o 6468207 2637.65/2644.31 o 6458833 2637.65/2644.31 o 4852957 2637.65/2644.31 o 4852905 2637.65/2644.31 o 4852575 2637.65/2644.31 o 4849145 2637.65/2644.31 o 3790499 2637.65/2644.31 o 3721987 2637.65/2644.31 o 3710221 2637.65/2644.31 o 3709435 2637.65/2644.31 o 3702013 2637.65/2644.31 o 3701227 2637.65/2644.31 o 3697467 2637.65/2644.31 o 3696749 2637.65/2644.31 o 3689853 2637.65/2644.31 o 3679929 2637.65/2644.31 o 3677099 2637.65/2644.31 o 3667033 2637.65/2644.31 o 3666247 2637.65/2644.31 o 3664203 2637.65/2644.31 o 3660443 2637.65/2644.31 o 3659657 2637.65/2644.31 o 3642263 2637.65/2644.31 o 3640219 2637.65/2644.31 o 3633409 2637.65/2644.31 o 3631365 2637.65/2644.31 o 3613971 2637.65/2644.31 o 3613759 2637.65/2644.31 o 3612759 2637.65/2644.31 o 3590449 2637.65/2644.31 o 3572431 2637.65/2644.31 o 3569617 2637.65/2644.31 o 3567573 2637.65/2644.31 o 3558307 2637.65/2644.31 o 3552545 2637.65/2644.31 o 3549731 2637.65/2644.31 o 3547733 2637.65/2644.31 o 3544387 2637.65/2644.31 o 3534877 2637.65/2644.31 o 3534461 2637.65/2644.31 o 3520459 2637.65/2644.31 o 3518093 2637.65/2644.31 o 3517813 2637.65/2644.31 o 3517491 2637.65/2644.31 o 3510067 2637.65/2644.31 o 3506307 2637.65/2644.31 o 3503477 2637.65/2644.31 o 3503155 2637.65/2644.31 o 3494211 2637.65/2644.31 o 3491845 2637.65/2644.31 o 3490799 2637.65/2644.31 o 3488247 2637.65/2644.31 o 3488089 2637.65/2644.31 o 3483187 2637.65/2644.31 o 3481143 2637.65/2644.31 o 3480821 2637.65/2644.31 o 3473781 2637.65/2644.31 o 3471737 2637.65/2644.31 o 3469387 2637.65/2644.31 o 3469065 2637.65/2644.31 o 3467021 2637.65/2644.31 o 3464791 2637.65/2644.31 o 3464469 2637.65/2644.31 o 3464119 2637.65/2644.31 o 3456851 2637.65/2644.31 o 3454807 2637.65/2644.31 o 3446795 2637.65/2644.31 o 3439745 2637.65/2644.31 o 3437589 2637.65/2644.31 o 3437267 2637.65/2644.31 o 3435037 2637.65/2644.31 o 3431541 2637.65/2644.31 o 3422597 2637.65/2644.31 o 3420119 2637.65/2644.31 o 3411499 2637.65/2644.31 o 3408423 2637.65/2644.31 o 3405593 2637.65/2644.31 o 3405481 2637.65/2644.31 o 3396215 2637.65/2644.31 o 3394171 2637.65/2644.31 o 3386903 2637.65/2644.31 o 3385855 2637.65/2644.31 o 3385533 2637.65/2644.31 o 3384687 2637.65/2644.31 o 3381091 2637.65/2644.31 o 3378613 2637.65/2644.31 o 3376011 2637.65/2644.31 o 3373967 2637.65/2644.31 o 3373645 2637.65/2644.31 o 3373371 2637.65/2644.31 o 3371603 2637.65/2644.31 o 3370233 2637.65/2644.31 o 3368279 2637.65/2644.31 o 3367605 2637.65/2644.31 o 3367493 2637.65/2644.31 s SATISFIABLE 2637.65/2644.31 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: 63665 MiB (60647 MiB free)
memory of node 1: 64507 MiB (59378 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503773-1751448762/watcher-4503773-1751448762 -o /tmp/evaluation-result-4503773-1751448762/solver-4503773-1751448762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751442705-64450 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4503773-1751448762.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=65271, runsolver pid=65268
[startup+0.100066 s]*
/proc/loadavg: 4.06 4.12 4.12 5/271 65275
/proc/meminfo: memFree=122890640/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65274] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65274/stat : 65274 (timeout) S 65271 65274 64437 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 60553944 2723840 352 18446744073709551615 94010887868416 94010887884929 140725152075584 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94010887899696 94010887901784 94010905182208 140725152078256 140725152078370 140725152078370 140725152083943 0
/proc/65274/statm: 665 352 352 5 0 90 0
[pid=65275] ppid=65274 vsize=39044 memory=23680 CPUtime=0.07 cores=5,7
/proc/65275/stat : 65275 (NuPBO-DeepOptS+) R 65274 65274 64437 0 -1 4194304 4930 0 0 0 7 0 0 0 20 0 1 0 60553945 39981056 5920 18446744073709551615 4198400 15468185 140737200413632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24379392 140737200421308 140737200421409 140737200421409 140737200426982 0
/proc/65275/statm: 9761 5920 1088 2752 0 6414 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 28160 KiB
[startup+0.205925 s]*
/proc/loadavg: 4.06 4.12 4.12 5/271 65275
/proc/meminfo: memFree=122890640/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65274] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65274/stat : 65274 (timeout) S 65271 65274 64437 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 60553944 2723840 352 18446744073709551615 94010887868416 94010887884929 140725152075584 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94010887899696 94010887901784 94010905182208 140725152078256 140725152078370 140725152078370 140725152083943 0
/proc/65274/statm: 665 352 352 5 0 90 0
[pid=65275] ppid=65274 vsize=39044 memory=23680 CPUtime=0.17 cores=5,7
/proc/65275/stat : 65275 (NuPBO-DeepOptS+) R 65274 65274 64437 0 -1 4194304 4934 0 0 0 17 0 0 0 20 0 1 0 60553945 39981056 5920 18446744073709551615 4198400 15468185 140737200413632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24379392 140737200421308 140737200421409 140737200421409 140737200426982 0
/proc/65275/statm: 9761 5920 1088 2752 0 6414 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 28160 KiB
[startup+0.305761 s]*
/proc/loadavg: 4.06 4.12 4.12 5/271 65275
/proc/meminfo: memFree=122890640/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65274] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65274/stat : 65274 (timeout) S 65271 65274 64437 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 60553944 2723840 352 18446744073709551615 94010887868416 94010887884929 140725152075584 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94010887899696 94010887901784 94010905182208 140725152078256 140725152078370 140725152078370 140725152083943 0
/proc/65274/statm: 665 352 352 5 0 90 0
[pid=65275] ppid=65274 vsize=39044 memory=23680 CPUtime=0.27 cores=5,7
/proc/65275/stat : 65275 (NuPBO-DeepOptS+) R 65274 65274 64437 0 -1 4194304 4934 0 0 0 27 0 0 0 20 0 1 0 60553945 39981056 5920 18446744073709551615 4198400 15468185 140737200413632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24379392 140737200421308 140737200421409 140737200421409 140737200426982 0
/proc/65275/statm: 9761 5920 1088 2752 0 6414 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 28160 KiB
[startup+0.700227 s]
/proc/loadavg: 4.06 4.12 4.12 5/271 65275
/proc/meminfo: memFree=122896908/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65274] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65274/stat : 65274 (timeout) S 65271 65274 64437 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 60553944 2723840 352 18446744073709551615 94010887868416 94010887884929 140725152075584 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94010887899696 94010887901784 94010905182208 140725152078256 140725152078370 140725152078370 140725152083943 0
/proc/65274/statm: 665 352 352 5 0 90 0
[pid=65275] ppid=65274 vsize=39044 memory=23680 CPUtime=0.66 cores=5,7
/proc/65275/stat : 65275 (NuPBO-DeepOptS+) R 65274 65274 64437 0 -1 4194304 4939 0 0 0 66 0 0 0 20 0 1 0 60553945 39981056 5920 18446744073709551615 4198400 15468185 140737200413632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24379392 140737200421308 140737200421409 140737200421409 140737200426982 0
/proc/65275/statm: 9761 5920 1088 2752 0 6414 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 28160 KiB
[startup+1.50025 s]
/proc/loadavg: 4.06 4.12 4.12 5/271 65275
/proc/meminfo: memFree=122896908/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65274] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65274/stat : 65274 (timeout) S 65271 65274 64437 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 60553944 2723840 352 18446744073709551615 94010887868416 94010887884929 140725152075584 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94010887899696 94010887901784 94010905182208 140725152078256 140725152078370 140725152078370 140725152083943 0
/proc/65274/statm: 665 352 352 5 0 90 0
[pid=65275] ppid=65274 vsize=39044 memory=23680 CPUtime=1.46 cores=5,7
/proc/65275/stat : 65275 (NuPBO-DeepOptS+) R 65274 65274 64437 0 -1 4194304 4939 0 0 0 146 0 0 0 20 0 1 0 60553945 39981056 5920 18446744073709551615 4198400 15468185 140737200413632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24379392 140737200421308 140737200421409 140737200421409 140737200426982 0
/proc/65275/statm: 9761 5920 1088 2752 0 6414 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 28160 KiB
[startup+3.1056 s]
/proc/loadavg: 4.06 4.12 4.12 5/271 65275
/proc/meminfo: memFree=122898980/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65274] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65274/stat : 65274 (timeout) S 65271 65274 64437 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 60553944 2723840 352 18446744073709551615 94010887868416 94010887884929 140725152075584 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94010887899696 94010887901784 94010905182208 140725152078256 140725152078370 140725152078370 140725152083943 0
/proc/65274/statm: 665 352 352 5 0 90 0
[pid=65275] ppid=65274 vsize=39044 memory=23680 CPUtime=3.06 cores=5,7
/proc/65275/stat : 65275 (NuPBO-DeepOptS+) R 65274 65274 64437 0 -1 4194304 4939 0 0 0 306 0 0 0 20 0 1 0 60553945 39981056 5920 18446744073709551615 4198400 15468185 140737200413632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24379392 140737200421308 140737200421409 140737200421409 140737200426982 0
/proc/65275/statm: 9761 5920 1088 2752 0 6414 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 28160 KiB
[startup+6.30023 s]
/proc/loadavg: 4.06 4.12 4.12 5/271 65275
/proc/meminfo: memFree=122899896/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65274] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65274/stat : 65274 (timeout) S 65271 65274 64437 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 60553944 2723840 352 18446744073709551615 94010887868416 94010887884929 140725152075584 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94010887899696 94010887901784 94010905182208 140725152078256 140725152078370 140725152078370 140725152083943 0
/proc/65274/statm: 665 352 352 5 0 90 0
[pid=65275] ppid=65274 vsize=39044 memory=23680 CPUtime=6.24 cores=5,7
/proc/65275/stat : 65275 (NuPBO-DeepOptS+) R 65274 65274 64437 0 -1 4194304 4939 0 0 0 624 0 0 0 20 0 1 0 60553945 39981056 5920 18446744073709551615 4198400 15468185 140737200413632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24379392 140737200421308 140737200421409 140737200421409 140737200426982 0
/proc/65275/statm: 9761 5920 1088 2752 0 6414 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 28160 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.11 4.12 5/271 65275
/proc/meminfo: memFree=122752464/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65274] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65274/stat : 65274 (timeout) S 65271 65274 64437 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 60553944 2723840 352 18446744073709551615 94010887868416 94010887884929 140725152075584 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94010887899696 94010887901784 94010905182208 140725152078256 140725152078370 140725152078370 140725152083943 0
/proc/65274/statm: 665 352 352 5 0 90 0
[pid=65275] ppid=65274 vsize=39044 memory=23680 CPUtime=12.63 cores=5,7
/proc/65275/stat : 65275 (NuPBO-DeepOptS+) R 65274 65274 64437 0 -1 4194304 4939 0 0 0 1263 0 0 0 20 0 1 0 60553945 39981056 5920 18446744073709551615 4198400 15468185 140737200413632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24379392 140737200421308 140737200421409 140737200421409 140737200426982 0
/proc/65275/statm: 9761 5920 1088 2752 0 6414 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 28160 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.11 4.12 5/271 65275
/proc/meminfo: memFree=122347484/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65274] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65274/stat : 65274 (timeout) S 65271 65274 64437 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 60553944 2723840 352 18446744073709551615 94010887868416 94010887884929 140725152075584 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94010887899696 94010887901784 94010905182208 140725152078256 140725152078370 140725152078370 140725152083943 0
/proc/65274/statm: 665 352 352 5 0 90 0
[pid=65275] ppid=65274 vsize=39044 memory=23808 CPUtime=25.4 cores=5,7
/proc/65275/stat : 65275 (NuPBO-DeepOptS+) R 65274 65274 64437 0 -1 4194304 4979 0 0 0 2540 0 0 0 20 0 1 0 60553945 39981056 5952 18446744073709551615 4198400 15468185 140737200413632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24379392 140737200421308 140737200421409 140737200421409 140737200426982 0
/proc/65275/statm: 9761 5952 1088 2752 0 6414 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 28288 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.12 4.12 5/271 65276
/proc/meminfo: memFree=122300124/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65274] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65274/stat : 65274 (timeout) S 65271 65274 64437 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 60553944 2723840 352 18446744073709551615 94010887868416 94010887884929 140725152075584 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94010887899696 94010887901784 94010905182208 140725152078256 140725152078370 140725152078370 140725152083943 0
/proc/65274/statm: 665 352 352 5 0 90 0
[pid=65275] ppid=65274 vsize=39044 memory=23808 CPUtime=50.94 cores=5,7
/proc/65275/stat : 65275 (NuPBO-DeepOptS+) R 65274 65274 64437 0 -1 4194304 4979 0 0 0 5094 0 0 0 20 0 1 0 60553945 39981056 5952 18446744073709551615 4198400 15468185 140737200413632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24379392 140737200421308 140737200421409 140737200421409 140737200426982 0
/proc/65275/statm: 9761 5952 1088 2752 0 6414 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 28288 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/271 65278
/proc/meminfo: memFree=122269000/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65274] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65497] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65497/stat : 65497 (timeout) S 65271 65497 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60793745 2723840 352 18446744073709551615 94800940457984 94800940474497 140723950959088 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94800940489264 94800940491352 94800959533056 140723950967171 140723950967330 140723950967330 140723950972903 0
/proc/65497/statm: 665 352 352 5 0 90 0
[pid=65498] ppid=65497 vsize=348496 memory=256604 CPUtime=163.84 cores=5,7
/proc/65498/stat : 65498 (ExactPR-nols) R 65497 65497 64437 0 -1 4194304 37662 0 0 0 16345 39 0 0 20 0 1 0 60793746 356859904 64151 18446744073709551615 94631184592896 94631193892549 140727128954976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94631195679040 94631195718120 94631206387712 140727128959384 140727128959524 140727128959524 140727128965097 0
/proc/65498/statm: 87124 64151 1920 2271 0 81762 0
Current children cumulated CPU time: 2555.85 s
Current children cumulated vsize: 355480 KiB
Current children cumulated memory: 261084 KiB
[startup+2622.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 65508
/proc/meminfo: memFree=127066000/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=2392.01 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 283 5233 0 0 0 0 239200 1 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65497] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65497/stat : 65497 (timeout) S 65271 65497 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60793745 2723840 352 18446744073709551615 94800940457984 94800940474497 140723950959088 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94800940489264 94800940491352 94800959533056 140723950967171 140723950967330 140723950967330 140723950972903 0
/proc/65497/statm: 665 352 352 5 0 90 0
[pid=65498] ppid=65497 vsize=350920 memory=259036 CPUtime=223.7 cores=5,7
/proc/65498/stat : 65498 (ExactPR-nols) R 65497 65497 64437 0 -1 4194304 38293 0 0 0 22323 47 0 0 20 0 1 0 60793746 359342080 64759 18446744073709551615 94631184592896 94631193892549 140727128954976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94631195679040 94631195718120 94631206387712 140727128959384 140727128959524 140727128959524 140727128965097 0
/proc/65498/statm: 87730 64759 1920 2271 0 82368 0
Current children cumulated CPU time: 2615.71 s
Current children cumulated vsize: 357904 KiB
Current children cumulated memory: 263516 KiB
[startup+2644.32 s]
# the end of solver process 65271 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2637.13 s, system=0.539364 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2624 s]*
/proc/loadavg: 4.13 4.12 4.09 5/272 65508
/proc/meminfo: memFree=127066000/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=2392.01 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 283 5233 0 0 0 0 239200 1 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65497] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65497/stat : 65497 (timeout) S 65271 65497 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60793745 2723840 352 18446744073709551615 94800940457984 94800940474497 140723950959088 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94800940489264 94800940491352 94800959533056 140723950967171 140723950967330 140723950967330 140723950972903 0
/proc/65497/statm: 665 352 352 5 0 90 0
[pid=65498] ppid=65497 vsize=350920 memory=259036 CPUtime=225.4 cores=5,7
/proc/65498/stat : 65498 (ExactPR-nols) R 65497 65497 64437 0 -1 4194304 38293 0 0 0 22493 47 0 0 20 0 1 0 60793746 359342080 64759 18446744073709551615 94631184592896 94631193892549 140727128954976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94631195679040 94631195718120 94631206387712 140727128959384 140727128959524 140727128959524 140727128965097 0
/proc/65498/statm: 87730 64759 1920 2271 0 82368 0
Current children cumulated CPU time: 2617.41 s
Current children cumulated vsize: 357904 KiB
Current children cumulated memory: 263516 KiB
[startup+2636.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 65508
/proc/meminfo: memFree=127049868/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=2392.01 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 283 5233 0 0 0 0 239200 1 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65497] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65497/stat : 65497 (timeout) S 65271 65497 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60793745 2723840 352 18446744073709551615 94800940457984 94800940474497 140723950959088 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94800940489264 94800940491352 94800959533056 140723950967171 140723950967330 140723950967330 140723950972903 0
/proc/65497/statm: 665 352 352 5 0 90 0
[pid=65498] ppid=65497 vsize=351104 memory=259292 CPUtime=238.17 cores=5,7
/proc/65498/stat : 65498 (ExactPR-nols) R 65497 65497 64437 0 -1 4194304 38352 0 0 0 23768 49 0 0 20 0 1 0 60793746 359530496 64823 18446744073709551615 94631184592896 94631193892549 140727128954976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94631195679040 94631195718120 94631206387712 140727128959384 140727128959524 140727128959524 140727128965097 0
/proc/65498/statm: 87776 64823 1920 2271 0 82414 0
Current children cumulated CPU time: 2630.18 s
Current children cumulated vsize: 358088 KiB
Current children cumulated memory: 263772 KiB
[startup+2640 s]*
/proc/loadavg: 4.10 4.11 4.09 5/272 65508
/proc/meminfo: memFree=127043288/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=2392.01 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 283 5233 0 0 0 0 239200 1 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65497] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65497/stat : 65497 (timeout) S 65271 65497 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60793745 2723840 352 18446744073709551615 94800940457984 94800940474497 140723950959088 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94800940489264 94800940491352 94800959533056 140723950967171 140723950967330 140723950967330 140723950972903 0
/proc/65497/statm: 665 352 352 5 0 90 0
[pid=65498] ppid=65497 vsize=351104 memory=259292 CPUtime=241.37 cores=5,7
/proc/65498/stat : 65498 (ExactPR-nols) R 65497 65497 64437 0 -1 4194304 38354 0 0 0 24088 49 0 0 20 0 1 0 60793746 359530496 64823 18446744073709551615 94631184592896 94631193892549 140727128954976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94631195679040 94631195718120 94631206387712 140727128959384 140727128959524 140727128959524 140727128965097 0
/proc/65498/statm: 87776 64823 1920 2271 0 82414 0
Current children cumulated CPU time: 2633.38 s
Current children cumulated vsize: 358088 KiB
Current children cumulated memory: 263772 KiB
[startup+2641.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 65508
/proc/meminfo: memFree=127043288/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=2392.01 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 283 5233 0 0 0 0 239200 1 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65497] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65497/stat : 65497 (timeout) S 65271 65497 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60793745 2723840 352 18446744073709551615 94800940457984 94800940474497 140723950959088 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94800940489264 94800940491352 94800959533056 140723950967171 140723950967330 140723950967330 140723950972903 0
/proc/65497/statm: 665 352 352 5 0 90 0
[pid=65498] ppid=65497 vsize=351104 memory=259292 CPUtime=242.96 cores=5,7
/proc/65498/stat : 65498 (ExactPR-nols) R 65497 65497 64437 0 -1 4194304 38359 0 0 0 24246 50 0 0 20 0 1 0 60793746 359530496 64823 18446744073709551615 94631184592896 94631193892549 140727128954976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94631195679040 94631195718120 94631206387712 140727128959384 140727128959524 140727128959524 140727128965097 0
/proc/65498/statm: 87776 64823 1920 2271 0 82414 0
Current children cumulated CPU time: 2634.97 s
Current children cumulated vsize: 358088 KiB
Current children cumulated memory: 263772 KiB
[startup+2643.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 65508
/proc/meminfo: memFree=127043288/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=2392.01 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 283 5233 0 0 0 0 239200 1 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65497] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65497/stat : 65497 (timeout) S 65271 65497 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60793745 2723840 352 18446744073709551615 94800940457984 94800940474497 140723950959088 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94800940489264 94800940491352 94800959533056 140723950967171 140723950967330 140723950967330 140723950972903 0
/proc/65497/statm: 665 352 352 5 0 90 0
[pid=65498] ppid=65497 vsize=351104 memory=259292 CPUtime=244.55 cores=5,7
/proc/65498/stat : 65498 (ExactPR-nols) R 65497 65497 64437 0 -1 4194304 38360 0 0 0 24405 50 0 0 20 0 1 0 60793746 359530496 64823 18446744073709551615 94631184592896 94631193892549 140727128954976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94631195679040 94631195718120 94631206387712 140727128959384 140727128959524 140727128959524 140727128965097 0
/proc/65498/statm: 87776 64823 1920 2271 0 82414 0
Current children cumulated CPU time: 2636.56 s
Current children cumulated vsize: 358088 KiB
Current children cumulated memory: 263772 KiB
[startup+2644 s]*
/proc/loadavg: 4.09 4.11 4.09 5/272 65508
/proc/meminfo: memFree=127043288/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=2392.01 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 283 5233 0 0 0 0 239200 1 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65497] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65497/stat : 65497 (timeout) S 65271 65497 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60793745 2723840 352 18446744073709551615 94800940457984 94800940474497 140723950959088 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94800940489264 94800940491352 94800959533056 140723950967171 140723950967330 140723950967330 140723950972903 0
/proc/65497/statm: 665 352 352 5 0 90 0
[pid=65498] ppid=65497 vsize=351104 memory=259292 CPUtime=245.35 cores=5,7
/proc/65498/stat : 65498 (ExactPR-nols) R 65497 65497 64437 0 -1 4194304 38360 0 0 0 24485 50 0 0 20 0 1 0 60793746 359530496 64823 18446744073709551615 94631184592896 94631193892549 140727128954976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94631195679040 94631195718120 94631206387712 140727128959384 140727128959524 140727128959524 140727128965097 0
/proc/65498/statm: 87776 64823 1920 2271 0 82414 0
Current children cumulated CPU time: 2637.36 s
Current children cumulated vsize: 358088 KiB
Current children cumulated memory: 263772 KiB
[startup+2644.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 65508
/proc/meminfo: memFree=127043288/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=2392.01 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 283 5233 0 0 0 0 239200 1 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
[pid=65497] ppid=65271 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/65497/stat : 65497 (timeout) S 65271 65497 64437 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60793745 2723840 352 18446744073709551615 94800940457984 94800940474497 140723950959088 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94800940489264 94800940491352 94800959533056 140723950967171 140723950967330 140723950967330 140723950972903 0
/proc/65497/statm: 665 352 352 5 0 90 0
[pid=65498] ppid=65497 vsize=351104 memory=259292 CPUtime=245.55 cores=5,7
/proc/65498/stat : 65498 (ExactPR-nols) R 65497 65497 64437 0 -1 4194304 38360 0 0 0 24505 50 0 0 20 0 1 0 60793746 359530496 64823 18446744073709551615 94631184592896 94631193892549 140727128954976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94631195679040 94631195718120 94631206387712 140727128959384 140727128959524 140727128959524 140727128965097 0
/proc/65498/statm: 87776 64823 1920 2271 0 82414 0
Current children cumulated CPU time: 2637.56 s
Current children cumulated vsize: 358088 KiB
Current children cumulated memory: 263772 KiB
[startup+2644.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 65508
/proc/meminfo: memFree=127043288/131249996 swapFree=33010416/33010684
[pid=65271] ppid=65268 vsize=4324 memory=3072 CPUtime=2637.65 cores=5,7
/proc/65271/stat : 65271 (Hybrid-NuPBODee) S 65268 65271 64437 0 -1 4194304 373 44529 0 0 0 0 263712 53 20 0 1 0 60553942 4427776 768 18446744073709551615 94234442190848 94234443085381 140720890287024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94234443324432 94234443372176 94234452430848 140720890292571 140720890292723 140720890292723 140720890298325 0
/proc/65271/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 2637.65 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 2644.32
CPU time (s): 2637.67
CPU user time (s): 2637.13
CPU system time (s): 0.539364
CPU usage (%): 99.7485
Max. virtual memory (cumulated for all children) (KiB): 358088
Max. memory (cumulated for all children) (KiB): 263772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2637.13
system time used= 0.539364
maximum resident set size= 304672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45429
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 950
involuntary context switches= 879
# summary of solver processes directly reported to runsolver:
# pid: 65271
# total CPU time (s): 2637.67
# total CPU user time (s): 2637.13
# total CPU system time (s): 0.539364
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.4901 second user time and 13.7261 second system time
The end
Begin job on nodeC022 at 2025-07-02 11:32:42 IDJOB=4503773 IDBENCH=155603 IDSOLVER=3332 FILE ID=nodeC022/4503773-1751448762 RUNJOBID= nodeC022-1751442705-64450 SLURM_JOB_ID= 9598414 Free space on /tmp= 432196 MiB SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503773-1751448762/watcher-4503773-1751448762 -o /tmp/evaluation-result-4503773-1751448762/solver-4503773-1751448762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751442705-64450 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4503773-1751448762.opb 3600 HOME TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e RANDOM SEED=1289183844 nodeC022 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 : 0xb00002a cpu MHz : 3599.699 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.733 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.286 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.715 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.705 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.866 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 122914532 kB MemAvailable: 123287152 kB Buffers: 2128 kB Cached: 1157380 kB SwapCached: 32 kB Active: 6880116 kB Inactive: 615052 kB Active(anon): 6349512 kB Inactive(anon): 4176 kB Active(file): 530604 kB Inactive(file): 610876 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 28524 kB Writeback: 24 kB AnonPages: 6338712 kB Mapped: 122048 kB Shmem: 18028 kB KReclaimable: 140360 kB Slab: 230640 kB SReclaimable: 140360 kB SUnreclaim: 90280 kB KernelStack: 4320 kB PageTables: 16000 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 7525968 kB VmallocTotal: 34359738367 kB VmallocUsed: 150616 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2912256 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432232 MiB End job on nodeC022 at 2025-07-02 12:16:46