Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01 | OPT | 3367493 | 1577.11 | 1582.27 |
| 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 |
1577.05/1582.22 c Exit code from Second Program: 30 1577.05/1582.24 c 12510 constraints 1577.05/1582.24 c after presolve 12512 1577.05/1582.24 c Finish cloning data from SAT to LS 1577.05/1582.24 c intsize: 36 1577.05/1582.24 c Use LS-small 1577.05/1582.24 o 104879903 1577.05/1582.24 o 103302009 1577.05/1582.24 o 102120493 1577.05/1582.24 o 38930575 1577.05/1582.24 o 31072603 1577.05/1582.24 o 23821215 1577.05/1582.24 o 23808345 1577.05/1582.24 o 23741789 1577.05/1582.24 o 23728091 1577.05/1582.24 o 21668409 1577.05/1582.24 o 21654711 1577.05/1582.24 o 21641013 1577.05/1582.24 o 21639535 1577.05/1582.24 o 21131031 1577.05/1582.24 o 21038557 1577.05/1582.24 o 18107931 1577.05/1582.24 o 18067131 1577.05/1582.24 o 17984481 1577.05/1582.24 o 8559555 1577.05/1582.24 o 8483485 1577.05/1582.24 o 8407699 1577.05/1582.24 o 8340057 1577.05/1582.24 o 8322193 1577.05/1582.24 o 8303899 1577.05/1582.24 o 8302059 1577.05/1582.24 o 8300261 1577.05/1582.24 o 8182343 1577.05/1582.24 o 8144003 1577.05/1582.24 o 8110525 1577.05/1582.24 o 8096301 1577.05/1582.24 o 7613273 1577.05/1582.24 o 7589941 1577.05/1582.24 o 7569235 1577.05/1582.24 o 7459387 1577.05/1582.24 o 7405635 1577.05/1582.24 o 7339733 1577.05/1582.24 o 7323125 1577.05/1582.24 o 7323093 1577.05/1582.24 o 7313947 1577.05/1582.24 o 7277277 1577.05/1582.24 o 7246209 1577.05/1582.24 o 7201329 1577.05/1582.24 o 7132057 1577.05/1582.24 o 7126899 1577.05/1582.24 o 6607167 1577.05/1582.24 o 6596729 1577.05/1582.24 o 6356339 1577.05/1582.24 o 6301389 1577.05/1582.24 o 6291813 1577.05/1582.24 o 6279397 1577.05/1582.24 o 6277881 1577.05/1582.24 o 6260827 1577.05/1582.24 o 6238023 1577.05/1582.24 o 6222841 1577.05/1582.24 o 6215397 1577.05/1582.24 o 6199799 1577.05/1582.24 o 6153353 1577.05/1582.24 o 6148761 1577.05/1582.24 o 6116113 1577.05/1582.24 o 6106225 1577.05/1582.24 o 6046673 1577.05/1582.24 o 6044425 1577.05/1582.24 o 6018145 1577.05/1582.24 o 6010785 1577.05/1582.24 o 6009233 1577.05/1582.24 o 6000293 1577.05/1582.24 o 5997407 1577.05/1582.24 o 5971557 1577.05/1582.24 o 5950775 1577.05/1582.24 o 5944325 1577.05/1582.24 o 5937851 1577.05/1582.24 o 5921109 1577.05/1582.24 o 5918785 1577.05/1582.24 o 5917219 1577.05/1582.24 o 5902675 1577.05/1582.24 o 5899219 1577.05/1582.24 o 5898473 1577.05/1582.24 o 5894525 1577.05/1582.24 o 5893777 1577.05/1582.24 o 4829507 1577.05/1582.24 o 4767341 1577.05/1582.24 o 4722933 1577.05/1582.24 o 4679463 1577.05/1582.24 o 4659183 1577.05/1582.24 o 4636811 1577.05/1582.24 o 4633509 1577.05/1582.24 o 4629143 1577.05/1582.24 o 4598039 1577.05/1582.24 o 4574695 1577.05/1582.24 o 4566623 1577.05/1582.24 o 4565353 1577.05/1582.24 o 4565103 1577.05/1582.24 o 4554543 1577.05/1582.24 o 4554339 1577.05/1582.24 o 4550795 1577.05/1582.24 o 4548915 1577.05/1582.24 o 4522377 1577.05/1582.24 o 4487651 1577.05/1582.24 o 4486127 1577.05/1582.24 o 4482161 1577.05/1582.24 o 4479305 1577.05/1582.24 o 4474929 1577.05/1582.24 o 4473315 1577.05/1582.24 o 4465999 1577.05/1582.24 o 4460777 1577.05/1582.24 c SAT by LS-small 1577.05/1582.24 o 4460777 1577.05/1582.24 o 4406625 1577.05/1582.24 o 4340471 1577.05/1582.24 o 4337971 1577.05/1582.24 o 4336371 1577.05/1582.24 o 4323555 1577.05/1582.24 o 4318771 1577.05/1582.24 o 4294005 1577.05/1582.24 o 4278229 1577.05/1582.24 o 4272429 1577.05/1582.24 o 4272389 1577.05/1582.24 o 4266677 1577.05/1582.24 o 4257557 1577.05/1582.24 o 4245467 1577.05/1582.24 o 4233839 1577.05/1582.24 o 4207737 1577.05/1582.24 o 4181799 1577.05/1582.24 o 4180929 1577.05/1582.24 o 4174215 1577.05/1582.24 o 4169703 1577.05/1582.24 o 4166889 1577.05/1582.24 o 4161213 1577.05/1582.24 o 4148073 1577.05/1582.24 o 4135977 1577.05/1582.24 o 4135751 1577.05/1582.24 o 4130277 1577.05/1582.24 o 4127225 1577.05/1582.24 o 4126551 1577.05/1582.24 o 4124395 1577.05/1582.24 o 4124073 1577.05/1582.24 o 4112105 1577.05/1582.24 o 4109015 1577.05/1582.24 o 4108095 1577.05/1582.24 o 4106401 1577.05/1582.24 o 4105711 1577.05/1582.24 o 4102621 1577.05/1582.24 o 4098977 1577.05/1582.24 o 4094193 1577.05/1582.24 o 4080497 1577.05/1582.24 o 4079883 1577.05/1582.24 o 4075949 1577.05/1582.24 o 4071779 1577.05/1582.24 o 4071553 1577.05/1582.24 o 4070939 1577.05/1582.24 o 4067227 1577.05/1582.24 o 4064137 1577.05/1582.24 o 4063057 1577.05/1582.24 o 4062383 1577.05/1582.24 o 4060227 1577.05/1582.24 o 4059905 1577.05/1582.24 o 4056827 1577.05/1582.24 o 4052759 1577.05/1582.24 o 4050281 1577.05/1582.24 o 4047643 1577.05/1582.24 o 4047029 1577.05/1582.24 o 4046699 1577.05/1582.24 o 4046085 1577.05/1582.24 o 4045389 1577.05/1582.24 o 4042977 1577.05/1582.24 o 4042831 1577.05/1582.24 o 4039723 1577.05/1582.24 o 4036993 1577.05/1582.24 o 4034141 1577.05/1582.24 o 4018811 1577.05/1582.24 o 4015981 1577.05/1582.24 o 4015515 1577.05/1582.24 o 4014819 1577.05/1582.24 o 4010753 1577.05/1582.24 o 4010057 1577.05/1582.24 o 3998315 1577.05/1582.24 o 3997701 1577.05/1582.24 o 3988499 1577.05/1582.24 o 3985025 1577.05/1582.24 o 3984329 1577.05/1582.24 o 3960715 1577.05/1582.24 o 3947403 1577.05/1582.24 o 3947349 1577.05/1582.24 o 3946563 1577.05/1582.24 o 3944259 1577.05/1582.24 o 3937251 1577.05/1582.24 o 3935217 1577.05/1582.24 o 3934521 1577.05/1582.24 o 3928599 1577.05/1582.24 o 3925509 1577.05/1582.24 o 3921133 1577.05/1582.24 o 3915615 1577.05/1582.24 o 3912527 1577.05/1582.24 o 3910225 1577.05/1582.24 o 3908291 1577.05/1582.24 o 3904461 1577.05/1582.24 o 3888331 1577.05/1582.24 o 3886765 1577.05/1582.24 o 3885549 1577.05/1582.24 o 3883547 1577.05/1582.24 o 3880817 1577.05/1582.24 o 3880607 1577.05/1582.24 o 3876833 1577.05/1582.24 o 3873455 1577.05/1582.24 o 3872807 1577.05/1582.24 o 3857705 1577.05/1582.24 o 3857577 1577.05/1582.24 o 3849327 1577.05/1582.24 o 3848807 1577.05/1582.24 o 3848029 1577.05/1582.24 o 3816639 1577.05/1582.24 o 3809249 1577.05/1582.24 o 3793499 1577.05/1582.24 o 3790529 1577.05/1582.24 o 3789185 1577.05/1582.24 o 3789147 1577.05/1582.24 o 3786145 1577.05/1582.24 o 3779585 1577.05/1582.24 o 3764425 1577.05/1582.24 o 3759433 1577.05/1582.24 o 3756019 1577.05/1582.24 o 3745853 1577.05/1582.24 o 3732007 1577.05/1582.24 o 3722151 1577.05/1582.24 o 3721207 1577.05/1582.24 o 3718795 1577.05/1582.24 o 3718099 1577.05/1582.24 o 3718039 1577.05/1582.24 o 3716005 1577.05/1582.24 o 3713925 1577.05/1582.24 o 3709553 1577.05/1582.24 o 3708857 1577.05/1582.24 o 3704567 1577.05/1582.24 o 3695727 1577.05/1582.24 o 3694887 1577.05/1582.24 o 3687105 1577.05/1582.24 o 3683115 1577.05/1582.24 o 3679737 1577.05/1582.24 o 3670897 1577.05/1582.24 o 3669553 1577.05/1582.24 o 3664969 1577.05/1582.24 o 3662935 1577.05/1582.24 o 3661061 1577.05/1582.24 o 3655795 1577.05/1582.24 o 3655773 1577.05/1582.24 o 3650949 1577.05/1582.24 o 3649045 1577.05/1582.24 o 3644089 1577.05/1582.24 o 3640153 1577.05/1582.24 o 3634567 1577.05/1582.24 o 3628485 1577.05/1582.24 o 3627959 1577.05/1582.24 o 3620363 1577.05/1582.24 o 3602825 1577.05/1582.24 o 3598745 1577.05/1582.24 o 3579881 1577.05/1582.24 o 3559513 1577.05/1582.24 o 3545277 1577.05/1582.24 o 3545253 1577.05/1582.24 o 3533487 1577.05/1582.24 o 3520073 1577.05/1582.24 o 3518577 1577.05/1582.24 o 3516347 1577.05/1582.24 o 3509633 1577.05/1582.24 o 3508315 1577.05/1582.24 o 3503719 1577.05/1582.24 o 3497005 1577.05/1582.24 o 3491895 1577.05/1582.24 o 3486513 1577.05/1582.24 o 3481797 1577.05/1582.24 o 3477309 1577.05/1582.24 o 3471927 1577.05/1582.24 o 3468237 1577.05/1582.24 o 3462059 1577.05/1582.24 o 3460331 1577.05/1582.24 o 3458921 1577.05/1582.24 o 3448347 1577.05/1582.24 o 3442631 1577.05/1582.24 o 3422679 1577.05/1582.24 o 3420673 1577.05/1582.24 o 3418443 1577.05/1582.24 o 3418039 1577.05/1582.24 o 3415561 1577.05/1582.24 o 3410449 1577.05/1582.24 o 3400351 1577.05/1582.24 o 3398945 1577.05/1582.24 o 3398623 1577.05/1582.24 o 3389911 1577.05/1582.24 o 3389237 1577.05/1582.24 o 3389125 1577.05/1582.24 o 3386759 1577.05/1582.24 o 3386401 1577.05/1582.24 o 3385353 1577.05/1582.24 o 3385031 1577.05/1582.24 o 3384105 1577.05/1582.24 o 3383431 1577.05/1582.24 o 3383319 1577.05/1582.24 o 3381275 1577.05/1582.24 o 3376985 1577.05/1582.24 o 3371603 1577.05/1582.24 o 3370233 1577.05/1582.24 o 3367493 1577.05/1582.24 s OPTIMUM FOUND 1577.05/1582.24 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: 63837 MiB (61704 MiB free)
memory of node 1: 64465 MiB (62617 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503770-1751436324/watcher-4503770-1751436324 -o /tmp/evaluation-result-4503770-1751436324/solver-4503770-1751436324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751428302-57260 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4503770-1751436324.opb 3600 HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=59205, runsolver pid=59202
[startup+0.100073 s]*
/proc/loadavg: 3.11 3.19 3.55 4/250 59209
/proc/meminfo: memFree=127306508/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59208] ppid=59205 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/59208/stat : 59208 (timeout) S 59205 59208 57250 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59311212 2723840 352 18446744073709551615 94186615984128 94186616000641 140730085275040 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94186616015408 94186616017496 94186642743296 140730085284246 140730085284386 140730085284386 140730085289959 0
/proc/59208/statm: 665 352 352 5 0 90 0
[pid=59209] ppid=59208 vsize=23168 memory=8576 CPUtime=0.07 cores=0,2
/proc/59209/stat : 59209 (CASHWMaxSAT-Dis) R 59208 59208 57250 0 -1 4194304 1428 0 0 0 7 0 0 0 20 0 1 0 59311213 23724032 2144 18446744073709551615 4198400 14817773 140730408783600 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49479680 140730408790428 140730408790555 140730408790555 140730408796128 0
/proc/59209/statm: 5792 2144 864 2593 0 2685 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 30152 KiB
Current children cumulated memory: 13056 KiB
[startup+0.213459 s]*
/proc/loadavg: 3.11 3.19 3.55 4/250 59209
/proc/meminfo: memFree=127306260/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59208] ppid=59205 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/59208/stat : 59208 (timeout) S 59205 59208 57250 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59311212 2723840 352 18446744073709551615 94186615984128 94186616000641 140730085275040 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94186616015408 94186616017496 94186642743296 140730085284246 140730085284386 140730085284386 140730085289959 0
/proc/59208/statm: 665 352 352 5 0 90 0
[pid=59209] ppid=59208 vsize=30752 memory=16128 CPUtime=0.18 cores=0,2
/proc/59209/stat : 59209 (CASHWMaxSAT-Dis) R 59208 59208 57250 0 -1 4194304 3315 0 0 0 17 1 0 0 20 0 1 0 59311213 31490048 4032 18446744073709551615 4198400 14817773 140730408783600 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49479680 140730408790428 140730408790555 140730408790555 140730408796128 0
/proc/59209/statm: 7688 4032 864 2593 0 4581 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 20608 KiB
[startup+0.313416 s]*
/proc/loadavg: 3.11 3.19 3.55 4/250 59209
/proc/meminfo: memFree=127302480/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59208] ppid=59205 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/59208/stat : 59208 (timeout) S 59205 59208 57250 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59311212 2723840 352 18446744073709551615 94186615984128 94186616000641 140730085275040 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94186616015408 94186616017496 94186642743296 140730085284246 140730085284386 140730085284386 140730085289959 0
/proc/59208/statm: 665 352 352 5 0 90 0
[pid=59209] ppid=59208 vsize=33604 memory=18944 CPUtime=0.29 cores=0,2
/proc/59209/stat : 59209 (CASHWMaxSAT-Dis) R 59208 59208 57250 0 -1 4194304 4006 0 0 0 27 2 0 0 20 0 1 0 59311213 34410496 4736 18446744073709551615 4198400 14817773 140730408783600 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49479680 140730408790428 140730408790555 140730408790555 140730408796128 0
/proc/59209/statm: 8401 4736 896 2593 0 5294 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40588 KiB
Current children cumulated memory: 23424 KiB
[startup+0.700483 s]
/proc/loadavg: 3.11 3.19 3.55 4/250 59209
/proc/meminfo: memFree=127278540/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59208] ppid=59205 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/59208/stat : 59208 (timeout) S 59205 59208 57250 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59311212 2723840 352 18446744073709551615 94186615984128 94186616000641 140730085275040 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94186616015408 94186616017496 94186642743296 140730085284246 140730085284386 140730085284386 140730085289959 0
/proc/59208/statm: 665 352 352 5 0 90 0
[pid=59209] ppid=59208 vsize=73496 memory=56632 CPUtime=0.66 cores=0,2
/proc/59209/stat : 59209 (CASHWMaxSAT-Dis) R 59208 59208 57250 0 -1 4194304 12810 0 0 0 61 5 0 0 20 0 1 0 59311213 75259904 14158 18446744073709551615 4198400 14817773 140730408783600 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49479680 140730408790428 140730408790555 140730408790555 140730408796128 0
/proc/59209/statm: 18374 14158 1152 2593 0 15267 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 80480 KiB
Current children cumulated memory: 61112 KiB
[startup+1.50052 s]
/proc/loadavg: 3.11 3.19 3.55 4/250 59209
/proc/meminfo: memFree=127262676/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59208] ppid=59205 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/59208/stat : 59208 (timeout) S 59205 59208 57250 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59311212 2723840 352 18446744073709551615 94186615984128 94186616000641 140730085275040 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94186616015408 94186616017496 94186642743296 140730085284246 140730085284386 140730085284386 140730085289959 0
/proc/59208/statm: 665 352 352 5 0 90 0
[pid=59209] ppid=59208 vsize=95712 memory=78548 CPUtime=1.46 cores=0,2
/proc/59209/stat : 59209 (CASHWMaxSAT-Dis) R 59208 59208 57250 0 -1 4194304 17781 0 0 0 139 7 0 0 20 0 1 0 59311213 98009088 19637 18446744073709551615 4198400 14817773 140730408783600 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49479680 140730408790428 140730408790555 140730408790555 140730408796128 0
/proc/59209/statm: 23928 19637 1216 2593 0 20821 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 102696 KiB
Current children cumulated memory: 83028 KiB
[startup+3.11316 s]
/proc/loadavg: 3.10 3.18 3.54 4/250 59209
/proc/meminfo: memFree=127257116/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59208] ppid=59205 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/59208/stat : 59208 (timeout) S 59205 59208 57250 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59311212 2723840 352 18446744073709551615 94186615984128 94186616000641 140730085275040 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94186616015408 94186616017496 94186642743296 140730085284246 140730085284386 140730085284386 140730085289959 0
/proc/59208/statm: 665 352 352 5 0 90 0
[pid=59209] ppid=59208 vsize=113644 memory=97628 CPUtime=3.06 cores=0,2
/proc/59209/stat : 59209 (CASHWMaxSAT-Dis) R 59208 59208 57250 0 -1 4194304 18975 0 0 0 298 8 0 0 20 0 1 0 59311213 116371456 24407 18446744073709551615 4198400 14817773 140730408783600 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49479680 140730408790428 140730408790555 140730408790555 140730408796128 0
/proc/59209/statm: 28411 24407 1248 2593 0 25304 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 120628 KiB
Current children cumulated memory: 102108 KiB
[startup+6.30053 s]
/proc/loadavg: 3.10 3.18 3.54 4/250 59209
/proc/meminfo: memFree=127280052/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59208] ppid=59205 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/59208/stat : 59208 (timeout) S 59205 59208 57250 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59311212 2723840 352 18446744073709551615 94186615984128 94186616000641 140730085275040 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94186616015408 94186616017496 94186642743296 140730085284246 140730085284386 140730085284386 140730085289959 0
/proc/59208/statm: 665 352 352 5 0 90 0
[pid=59209] ppid=59208 vsize=113644 memory=97824 CPUtime=6.24 cores=0,2
/proc/59209/stat : 59209 (CASHWMaxSAT-Dis) R 59208 59208 57250 0 -1 4194304 19582 0 0 0 616 8 0 0 20 0 1 0 59311213 116371456 24456 18446744073709551615 4198400 14817773 140730408783600 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49479680 140730408790428 140730408790555 140730408790555 140730408796128 0
/proc/59209/statm: 28411 24456 1248 2593 0 25304 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 120628 KiB
Current children cumulated memory: 102304 KiB
[startup+12.7005 s]
/proc/loadavg: 3.08 3.18 3.54 4/250 59209
/proc/meminfo: memFree=127293632/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59208] ppid=59205 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/59208/stat : 59208 (timeout) S 59205 59208 57250 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59311212 2723840 352 18446744073709551615 94186615984128 94186616000641 140730085275040 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94186616015408 94186616017496 94186642743296 140730085284246 140730085284386 140730085284386 140730085289959 0
/proc/59208/statm: 665 352 352 5 0 90 0
[pid=59209] ppid=59208 vsize=119524 memory=103704 CPUtime=12.62 cores=0,2
/proc/59209/stat : 59209 (CASHWMaxSAT-Dis) R 59208 59208 57250 0 -1 4194304 20816 0 0 0 1253 9 0 0 20 0 1 0 59311213 122392576 25926 18446744073709551615 4198400 14817773 140730408783600 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49479680 140730408790428 140730408790555 140730408790555 140730408796128 0
/proc/59209/statm: 29881 25926 1248 2593 0 26774 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 126508 KiB
Current children cumulated memory: 108184 KiB
[startup+25.5005 s]
/proc/loadavg: 3.07 3.17 3.53 4/250 59209
/proc/meminfo: memFree=127378724/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59208] ppid=59205 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/59208/stat : 59208 (timeout) S 59205 59208 57250 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59311212 2723840 352 18446744073709551615 94186615984128 94186616000641 140730085275040 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94186616015408 94186616017496 94186642743296 140730085284246 140730085284386 140730085284386 140730085289959 0
/proc/59208/statm: 665 352 352 5 0 90 0
[pid=59209] ppid=59208 vsize=129636 memory=113828 CPUtime=25.38 cores=0,2
/proc/59209/stat : 59209 (CASHWMaxSAT-Dis) R 59208 59208 57250 0 -1 4194304 21317 0 0 0 2528 10 0 0 20 0 1 0 59311213 132747264 28457 18446744073709551615 4198400 14817773 140730408783600 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49479680 140730408790428 140730408790555 140730408790555 140730408796128 0
/proc/59209/statm: 32409 28457 1248 2593 0 29302 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 136620 KiB
Current children cumulated memory: 118308 KiB
[startup+51.1132 s]
/proc/loadavg: 3.12 3.17 3.52 4/251 59210
/proc/meminfo: memFree=127458048/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59208] ppid=59205 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/59208/stat : 59208 (timeout) S 59205 59208 57250 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59311212 2723840 352 18446744073709551615 94186615984128 94186616000641 140730085275040 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94186616015408 94186616017496 94186642743296 140730085284246 140730085284386 140730085284386 140730085289959 0
/proc/59208/statm: 665 352 352 5 0 90 0
[pid=59209] ppid=59208 vsize=119116 memory=103580 CPUtime=50.91 cores=0,2
/proc/59209/stat : 59209 (CASHWMaxSAT-Dis) R 59208 59208 57250 0 -1 4194304 23710 0 0 0 5078 13 0 0 20 0 1 0 59311213 121974784 25895 18446744073709551615 4198400 14817773 140730408783600 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49479680 140730408790428 140730408790555 140730408790555 140730408796128 0
/proc/59209/statm: 29779 25895 1248 2593 0 26672 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 126100 KiB
Current children cumulated memory: 108060 KiB
[startup+102.301 s]
/proc/loadavg: 3.11 3.16 3.50 4/252 59217
/proc/meminfo: memFree=127282336/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59208] ppid=59205 vsize=2660 memory=1408 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/59269/statm: 93155 68678 1856 2271 0 87793 0
Current children cumulated CPU time: 1417.7 s
Current children cumulated vsize: 379604 KiB
Current children cumulated memory: 279064 KiB
[startup+1482.3 s]
/proc/loadavg: 3.14 3.12 3.18 4/251 59287
/proc/meminfo: memFree=122142700/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=1194.19 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 281 100964 0 0 0 0 119251 168 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59268] ppid=59205 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/59268/stat : 59268 (timeout) S 59205 59268 57250 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59431013 2723840 320 18446744073709551615 94708421791744 94708421808257 140728124501136 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94708421823024 94708421825112 94708431835136 140728124508550 140728124508706 140728124508706 140728124514279 0
/proc/59268/statm: 665 320 320 5 0 90 0
[pid=59269] ppid=59268 vsize=379112 memory=280472 CPUtime=283.29 cores=0,2
/proc/59269/stat : 59269 (ExactPR-S) R 59268 59268 57250 0 -1 4194304 44841 0 0 0 28036 293 0 0 20 0 1 0 59431014 388210688 70118 18446744073709551615 94776589713408 94776599013445 140736318232064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94776600799552 94776600838632 94776630272000 140736318237086 140736318237223 140736318237223 140736318242796 0
/proc/59269/statm: 94778 70118 1856 2271 0 89416 0
Current children cumulated CPU time: 1477.48 s
Current children cumulated vsize: 386096 KiB
Current children cumulated memory: 284824 KiB
[startup+1542.3 s]
/proc/loadavg: 3.05 3.10 3.17 4/251 59290
/proc/meminfo: memFree=122019152/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=1194.19 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 281 100964 0 0 0 0 119251 168 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59268] ppid=59205 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/59268/stat : 59268 (timeout) S 59205 59268 57250 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59431013 2723840 320 18446744073709551615 94708421791744 94708421808257 140728124501136 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94708421823024 94708421825112 94708431835136 140728124508550 140728124508706 140728124508706 140728124514279 0
/proc/59268/statm: 665 320 320 5 0 90 0
[pid=59269] ppid=59268 vsize=388096 memory=289048 CPUtime=343.09 cores=0,2
/proc/59269/stat : 59269 (ExactPR-S) R 59268 59268 57250 0 -1 4194304 47067 0 0 0 34007 302 0 0 20 0 1 0 59431014 397410304 72262 18446744073709551615 94776589713408 94776599013445 140736318232064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94776600799552 94776600838632 94776630272000 140736318237086 140736318237223 140736318237223 140736318242796 0
/proc/59269/statm: 97024 72262 1856 2271 0 91662 0
Current children cumulated CPU time: 1537.28 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 293400 KiB
[startup+1582.27 s]
# the end of solver process 59205 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1572.34 s, system=4.77506 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1561.6 s]
/proc/loadavg: 3.11 3.11 3.17 4/251 59290
/proc/meminfo: memFree=121887872/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=1194.19 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 281 100964 0 0 0 0 119251 168 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59268] ppid=59205 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/59268/stat : 59268 (timeout) S 59205 59268 57250 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59431013 2723840 320 18446744073709551615 94708421791744 94708421808257 140728124501136 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94708421823024 94708421825112 94708431835136 140728124508550 140728124508706 140728124508706 140728124514279 0
/proc/59268/statm: 665 320 320 5 0 90 0
[pid=59269] ppid=59268 vsize=388096 memory=289176 CPUtime=362.33 cores=0,2
/proc/59269/stat : 59269 (ExactPR-S) R 59268 59268 57250 0 -1 4194304 47090 0 0 0 35930 303 0 0 20 0 1 0 59431014 397410304 72294 18446744073709551615 94776589713408 94776599013445 140736318232064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94776600799552 94776600838632 94776630272000 140736318237086 140736318237223 140736318237223 140736318242796 0
/proc/59269/statm: 97024 72294 1856 2271 0 91662 0
Current children cumulated CPU time: 1556.52 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 293528 KiB
[startup+1574.4 s]
/proc/loadavg: 3.08 3.10 3.17 4/250 59291
/proc/meminfo: memFree=121796880/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=1194.19 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 281 100964 0 0 0 0 119251 168 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59268] ppid=59205 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/59268/stat : 59268 (timeout) S 59205 59268 57250 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59431013 2723840 320 18446744073709551615 94708421791744 94708421808257 140728124501136 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94708421823024 94708421825112 94708431835136 140728124508550 140728124508706 140728124508706 140728124514279 0
/proc/59268/statm: 665 320 320 5 0 90 0
[pid=59269] ppid=59268 vsize=388096 memory=289304 CPUtime=375.08 cores=0,2
/proc/59269/stat : 59269 (ExactPR-S) R 59268 59268 57250 0 -1 4194304 47111 0 0 0 37203 305 0 0 20 0 1 0 59431014 397410304 72326 18446744073709551615 94776589713408 94776599013445 140736318232064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94776600799552 94776600838632 94776630272000 140736318237086 140736318237223 140736318237223 140736318242796 0
/proc/59269/statm: 97024 72326 1856 2271 0 91662 0
Current children cumulated CPU time: 1569.27 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 293656 KiB
[startup+1577.6 s]
/proc/loadavg: 3.08 3.10 3.17 4/250 59291
/proc/meminfo: memFree=121794752/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=1194.19 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 281 100964 0 0 0 0 119251 168 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59268] ppid=59205 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/59268/stat : 59268 (timeout) S 59205 59268 57250 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59431013 2723840 320 18446744073709551615 94708421791744 94708421808257 140728124501136 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94708421823024 94708421825112 94708431835136 140728124508550 140728124508706 140728124508706 140728124514279 0
/proc/59268/statm: 665 320 320 5 0 90 0
[pid=59269] ppid=59268 vsize=388096 memory=289304 CPUtime=378.27 cores=0,2
/proc/59269/stat : 59269 (ExactPR-S) R 59268 59268 57250 0 -1 4194304 47111 0 0 0 37522 305 0 0 20 0 1 0 59431014 397410304 72326 18446744073709551615 94776589713408 94776599013445 140736318232064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94776600799552 94776600838632 94776630272000 140736318237086 140736318237223 140736318237223 140736318242796 0
/proc/59269/statm: 97024 72326 1856 2271 0 91662 0
Current children cumulated CPU time: 1572.46 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 293656 KiB
[startup+1580.8 s]
/proc/loadavg: 3.08 3.10 3.17 4/250 59291
/proc/meminfo: memFree=121782464/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=1194.19 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 281 100964 0 0 0 0 119251 168 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59268] ppid=59205 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/59268/stat : 59268 (timeout) S 59205 59268 57250 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59431013 2723840 320 18446744073709551615 94708421791744 94708421808257 140728124501136 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94708421823024 94708421825112 94708431835136 140728124508550 140728124508706 140728124508706 140728124514279 0
/proc/59268/statm: 665 320 320 5 0 90 0
[pid=59269] ppid=59268 vsize=388096 memory=289304 CPUtime=381.46 cores=0,2
/proc/59269/stat : 59269 (ExactPR-S) R 59268 59268 57250 0 -1 4194304 47111 0 0 0 37840 306 0 0 20 0 1 0 59431014 397410304 72326 18446744073709551615 94776589713408 94776599013445 140736318232064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94776600799552 94776600838632 94776630272000 140736318237086 140736318237223 140736318237223 140736318242796 0
/proc/59269/statm: 97024 72326 1856 2271 0 91662 0
Current children cumulated CPU time: 1575.65 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 293656 KiB
[startup+1581.6 s]
/proc/loadavg: 3.08 3.10 3.17 4/250 59291
/proc/meminfo: memFree=121782464/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=1194.19 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 281 100964 0 0 0 0 119251 168 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59268] ppid=59205 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/59268/stat : 59268 (timeout) S 59205 59268 57250 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59431013 2723840 320 18446744073709551615 94708421791744 94708421808257 140728124501136 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94708421823024 94708421825112 94708431835136 140728124508550 140728124508706 140728124508706 140728124514279 0
/proc/59268/statm: 665 320 320 5 0 90 0
[pid=59269] ppid=59268 vsize=388096 memory=289304 CPUtime=382.26 cores=0,2
/proc/59269/stat : 59269 (ExactPR-S) R 59268 59268 57250 0 -1 4194304 47111 0 0 0 37920 306 0 0 20 0 1 0 59431014 397410304 72326 18446744073709551615 94776589713408 94776599013445 140736318232064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94776600799552 94776600838632 94776630272000 140736318237086 140736318237223 140736318237223 140736318242796 0
/proc/59269/statm: 97024 72326 1856 2271 0 91662 0
Current children cumulated CPU time: 1576.45 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 293656 KiB
[startup+1582 s]*
/proc/loadavg: 3.07 3.10 3.16 4/250 59291
/proc/meminfo: memFree=121778368/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=1194.19 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 281 100964 0 0 0 0 119251 168 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59268] ppid=59205 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/59268/stat : 59268 (timeout) S 59205 59268 57250 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59431013 2723840 320 18446744073709551615 94708421791744 94708421808257 140728124501136 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94708421823024 94708421825112 94708431835136 140728124508550 140728124508706 140728124508706 140728124514279 0
/proc/59268/statm: 665 320 320 5 0 90 0
[pid=59269] ppid=59268 vsize=388096 memory=289304 CPUtime=382.67 cores=0,2
/proc/59269/stat : 59269 (ExactPR-S) R 59268 59268 57250 0 -1 4194304 47111 0 0 0 37961 306 0 0 20 0 1 0 59431014 397410304 72326 18446744073709551615 94776589713408 94776599013445 140736318232064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94776600799552 94776600838632 94776630272000 140736318237086 140736318237223 140736318237223 140736318242796 0
/proc/59269/statm: 97024 72326 1856 2271 0 91662 0
Current children cumulated CPU time: 1576.86 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 293656 KiB
[startup+1582.2 s]
/proc/loadavg: 3.07 3.10 3.16 4/250 59291
/proc/meminfo: memFree=121778368/131382120 swapFree=33010416/33010684
[pid=59205] ppid=59202 vsize=4324 memory=3072 CPUtime=1194.19 cores=0,2
/proc/59205/stat : 59205 (Hybrid-CASHWMax) S 59202 59205 57250 0 -1 4194304 281 100964 0 0 0 0 119251 168 20 0 1 0 59311210 4427776 768 18446744073709551615 94253362077696 94253362972229 140726239815616 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94253363211280 94253363259024 94253388120064 140726239824215 140726239824369 140726239824369 140726239829971 0
/proc/59205/statm: 1081 768 704 219 0 143 0
[pid=59268] ppid=59205 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/59268/stat : 59268 (timeout) S 59205 59268 57250 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59431013 2723840 320 18446744073709551615 94708421791744 94708421808257 140728124501136 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94708421823024 94708421825112 94708431835136 140728124508550 140728124508706 140728124508706 140728124514279 0
/proc/59268/statm: 665 320 320 5 0 90 0
[pid=59269] ppid=59268 vsize=388096 memory=289304 CPUtime=382.86 cores=0,2
/proc/59269/stat : 59269 (ExactPR-S) R 59268 59268 57250 0 -1 4194304 47111 0 0 0 37980 306 0 0 20 0 1 0 59431014 397410304 72326 18446744073709551615 94776589713408 94776599013445 140736318232064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94776600799552 94776600838632 94776630272000 140736318237086 140736318237223 140736318237223 140736318242796 0
/proc/59269/statm: 97024 72326 1856 2271 0 91662 0
Current children cumulated CPU time: 1577.05 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 293656 KiB
Child status: 0
Real time (s): 1582.27
CPU time (s): 1577.11
CPU user time (s): 1572.34
CPU system time (s): 4.77506
CPU usage (%): 99.6742
Max. virtual memory (cumulated for all children) (KiB): 578116
Max. memory (cumulated for all children) (KiB): 502424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1572.34
system time used= 4.77506
maximum resident set size= 585300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149236
page faults= 0
swaps= 0
block input operations= 0
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 766
involuntary context switches= 3638
# summary of solver processes directly reported to runsolver:
# pid: 59205
# total CPU time (s): 1577.11
# total CPU user time (s): 1572.34
# total CPU system time (s): 4.77506
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.96788 second user time and 17.0712 second system time
The end
Begin job on nodeC002 at 2025-07-02 08:05:24 IDJOB=4503770 IDBENCH=155603 IDSOLVER=3327 FILE ID=nodeC002/4503770-1751436324 RUNJOBID= nodeC002-1751428302-57260 SLURM_JOB_ID= 9598363 Free space on /tmp= 432604 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503770-1751436324/watcher-4503770-1751436324 -o /tmp/evaluation-result-4503770-1751436324/solver-4503770-1751436324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751428302-57260 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4503770-1751436324.opb 3600 HOME TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e RANDOM SEED=2096647028 nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.831 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.229 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.725 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.425 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.435 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 127306444 kB MemAvailable: 127694128 kB Buffers: 2128 kB Cached: 1195296 kB SwapCached: 28 kB Active: 2271468 kB Inactive: 892212 kB Active(anon): 1977784 kB Inactive(anon): 6404 kB Active(file): 293684 kB Inactive(file): 885808 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 26360 kB Writeback: 0 kB AnonPages: 1969300 kB Mapped: 111092 kB Shmem: 17932 kB KReclaimable: 95636 kB Slab: 178868 kB SReclaimable: 95636 kB SUnreclaim: 83232 kB KernelStack: 4000 kB PageTables: 7152 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 2464072 kB VmallocTotal: 34359738367 kB VmallocUsed: 149352 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 229376 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: 181064 kB DirectMap2M: 8110080 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432580 MiB End job on nodeC002 at 2025-07-02 08:31:47