Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01 | OPT | 3367493 | 1581.59 | 1586.15 |
| 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 |
1581.44/1586.11 c Exit code from Second Program: 30 1581.56/1586.13 c 12510 constraints 1581.56/1586.13 c after presolve 12512 1581.56/1586.13 c Finish cloning data from SAT to LS 1581.56/1586.13 c intsize: 36 1581.56/1586.13 c Use LS-small 1581.56/1586.13 o 104879903 1581.56/1586.13 o 103302009 1581.56/1586.13 o 102120493 1581.56/1586.13 o 38930575 1581.56/1586.13 o 31072603 1581.56/1586.13 o 23821215 1581.56/1586.13 o 23808345 1581.56/1586.13 o 23741789 1581.56/1586.13 o 23728091 1581.56/1586.13 o 21668409 1581.56/1586.13 o 21654711 1581.56/1586.13 o 21641013 1581.56/1586.13 o 21639535 1581.56/1586.13 o 21131031 1581.56/1586.13 o 21038557 1581.56/1586.13 o 18107931 1581.56/1586.13 o 18067131 1581.56/1586.13 o 17984481 1581.56/1586.13 o 8559555 1581.56/1586.13 o 8483485 1581.56/1586.13 o 8407699 1581.56/1586.13 o 8340057 1581.56/1586.13 o 8322193 1581.56/1586.13 o 8303899 1581.56/1586.13 o 8302059 1581.56/1586.13 o 8300261 1581.56/1586.13 o 8182343 1581.56/1586.13 o 8144003 1581.56/1586.13 o 8110525 1581.56/1586.13 o 8096301 1581.56/1586.13 o 7613273 1581.56/1586.13 o 7589941 1581.56/1586.13 o 7569235 1581.56/1586.13 o 7459387 1581.56/1586.13 o 7405635 1581.56/1586.13 o 7339733 1581.56/1586.13 o 7323125 1581.56/1586.13 o 7323093 1581.56/1586.13 o 7313947 1581.56/1586.13 o 7277277 1581.56/1586.13 o 7246209 1581.56/1586.13 o 7201329 1581.56/1586.13 o 7132057 1581.56/1586.13 o 7126899 1581.56/1586.13 o 6607167 1581.56/1586.13 o 6596729 1581.56/1586.13 o 6356339 1581.56/1586.13 o 6301389 1581.56/1586.13 o 6291813 1581.56/1586.13 o 6279397 1581.56/1586.13 o 6277881 1581.56/1586.13 o 6260827 1581.56/1586.13 o 6238023 1581.56/1586.13 o 6222841 1581.56/1586.13 o 6215397 1581.56/1586.13 o 6199799 1581.56/1586.13 o 6153353 1581.56/1586.13 o 6148761 1581.56/1586.13 o 6116113 1581.56/1586.13 o 6106225 1581.56/1586.13 o 6046673 1581.56/1586.13 o 6044425 1581.56/1586.13 o 6018145 1581.56/1586.13 o 6010785 1581.56/1586.13 o 6009233 1581.56/1586.13 o 6000293 1581.56/1586.13 o 5997407 1581.56/1586.13 o 5971557 1581.56/1586.13 o 5950775 1581.56/1586.13 o 5944325 1581.56/1586.13 o 5937851 1581.56/1586.13 o 5921109 1581.56/1586.13 o 5918785 1581.56/1586.13 o 5917219 1581.56/1586.13 o 5902675 1581.56/1586.13 o 5899219 1581.56/1586.13 o 5898473 1581.56/1586.13 o 5894525 1581.56/1586.13 o 5893777 1581.56/1586.13 o 4829507 1581.56/1586.13 o 4767341 1581.56/1586.13 o 4722933 1581.56/1586.13 o 4679463 1581.56/1586.13 o 4659183 1581.56/1586.13 o 4636811 1581.56/1586.13 o 4633509 1581.56/1586.13 o 4629143 1581.56/1586.13 o 4598039 1581.56/1586.13 o 4574695 1581.56/1586.13 o 4566623 1581.56/1586.13 o 4565353 1581.56/1586.13 o 4565103 1581.56/1586.13 o 4554543 1581.56/1586.13 o 4554339 1581.56/1586.13 o 4550795 1581.56/1586.13 o 4548915 1581.56/1586.13 o 4522377 1581.56/1586.13 o 4487651 1581.56/1586.13 o 4486127 1581.56/1586.13 o 4482161 1581.56/1586.13 o 4479305 1581.56/1586.13 o 4474929 1581.56/1586.13 o 4473315 1581.56/1586.13 o 4465999 1581.56/1586.13 o 4460777 1581.56/1586.13 c SAT by LS-small 1581.56/1586.13 o 4460777 1581.56/1586.13 o 4406625 1581.56/1586.13 o 4340471 1581.56/1586.13 o 4337971 1581.56/1586.13 o 4336371 1581.56/1586.13 o 4323555 1581.56/1586.13 o 4318771 1581.56/1586.13 o 4294005 1581.56/1586.13 o 4278229 1581.56/1586.13 o 4272429 1581.56/1586.13 o 4272389 1581.56/1586.13 o 4266677 1581.56/1586.13 o 4257557 1581.56/1586.13 o 4245467 1581.56/1586.13 o 4233839 1581.56/1586.13 o 4207737 1581.56/1586.13 o 4181799 1581.56/1586.13 o 4180929 1581.56/1586.13 o 4174215 1581.56/1586.13 o 4169703 1581.56/1586.13 o 4166889 1581.56/1586.13 o 4161213 1581.56/1586.13 o 4148073 1581.56/1586.13 o 4135977 1581.56/1586.13 o 4135751 1581.56/1586.13 o 4130277 1581.56/1586.13 o 4127225 1581.56/1586.13 o 4126551 1581.56/1586.13 o 4124395 1581.56/1586.13 o 4124073 1581.56/1586.13 o 4112105 1581.56/1586.13 o 4109015 1581.56/1586.13 o 4108095 1581.56/1586.13 o 4106401 1581.56/1586.13 o 4105711 1581.56/1586.13 o 4102621 1581.56/1586.13 o 4098977 1581.56/1586.13 o 4094193 1581.56/1586.13 o 4080497 1581.56/1586.13 o 4079883 1581.56/1586.13 o 4075949 1581.56/1586.13 o 4071779 1581.56/1586.13 o 4071553 1581.56/1586.13 o 4070939 1581.56/1586.13 o 4067227 1581.56/1586.13 o 4064137 1581.56/1586.13 o 4063057 1581.56/1586.13 o 4062383 1581.56/1586.13 o 4060227 1581.56/1586.13 o 4059905 1581.56/1586.13 o 4056827 1581.56/1586.13 o 4052759 1581.56/1586.13 o 4050281 1581.56/1586.13 o 4047643 1581.56/1586.13 o 4047029 1581.56/1586.13 o 4046699 1581.56/1586.13 o 4046085 1581.56/1586.13 o 4045389 1581.56/1586.13 o 4042977 1581.56/1586.13 o 4042831 1581.56/1586.13 o 4039723 1581.56/1586.13 o 4036993 1581.56/1586.13 o 4034141 1581.56/1586.13 o 4018811 1581.56/1586.13 o 4015981 1581.56/1586.13 o 4015515 1581.56/1586.13 o 4014819 1581.56/1586.13 o 4010753 1581.56/1586.13 o 4010057 1581.56/1586.13 o 3998315 1581.56/1586.13 o 3997701 1581.56/1586.13 o 3988499 1581.56/1586.13 o 3985025 1581.56/1586.13 o 3984329 1581.56/1586.13 o 3960715 1581.56/1586.13 o 3947403 1581.56/1586.13 o 3947349 1581.56/1586.13 o 3946563 1581.56/1586.13 o 3944259 1581.56/1586.13 o 3937251 1581.56/1586.13 o 3935217 1581.56/1586.13 o 3934521 1581.56/1586.13 o 3928599 1581.56/1586.13 o 3925509 1581.56/1586.13 o 3921133 1581.56/1586.13 o 3915615 1581.56/1586.13 o 3912527 1581.56/1586.13 o 3910225 1581.56/1586.13 o 3908291 1581.56/1586.13 o 3904461 1581.56/1586.13 o 3888331 1581.56/1586.13 o 3886765 1581.56/1586.13 o 3885549 1581.56/1586.13 o 3883547 1581.56/1586.13 o 3880817 1581.56/1586.13 o 3880607 1581.56/1586.13 o 3876833 1581.56/1586.13 o 3873455 1581.56/1586.13 o 3872807 1581.56/1586.13 o 3857705 1581.56/1586.13 o 3857577 1581.56/1586.13 o 3849327 1581.56/1586.13 o 3848807 1581.56/1586.13 o 3848029 1581.56/1586.13 o 3816639 1581.56/1586.13 o 3809249 1581.56/1586.13 o 3793499 1581.56/1586.13 o 3790529 1581.56/1586.13 o 3789185 1581.56/1586.13 o 3789147 1581.56/1586.13 o 3786145 1581.56/1586.13 o 3779585 1581.56/1586.13 o 3764425 1581.56/1586.13 o 3759433 1581.56/1586.13 o 3756019 1581.56/1586.13 o 3745853 1581.56/1586.13 o 3732007 1581.56/1586.13 o 3722151 1581.56/1586.13 o 3721207 1581.56/1586.13 o 3718795 1581.56/1586.13 o 3718099 1581.56/1586.13 o 3718039 1581.56/1586.13 o 3716005 1581.56/1586.13 o 3713925 1581.56/1586.13 o 3709553 1581.56/1586.13 o 3708857 1581.56/1586.13 o 3704567 1581.56/1586.13 o 3695727 1581.56/1586.13 o 3694887 1581.56/1586.13 o 3687105 1581.56/1586.13 o 3683115 1581.56/1586.13 o 3679737 1581.56/1586.13 o 3670897 1581.56/1586.13 o 3669553 1581.56/1586.13 o 3664969 1581.56/1586.13 o 3662935 1581.56/1586.13 o 3661061 1581.56/1586.13 o 3655795 1581.56/1586.13 o 3655773 1581.56/1586.13 o 3650949 1581.56/1586.13 o 3649045 1581.56/1586.13 o 3644089 1581.56/1586.13 o 3640153 1581.56/1586.13 o 3634567 1581.56/1586.13 o 3628485 1581.56/1586.13 o 3627959 1581.56/1586.13 o 3620363 1581.56/1586.13 o 3602825 1581.56/1586.13 o 3598745 1581.56/1586.13 o 3579881 1581.56/1586.13 o 3559513 1581.56/1586.13 o 3545277 1581.56/1586.13 o 3545253 1581.56/1586.13 o 3533487 1581.56/1586.13 o 3520073 1581.56/1586.13 o 3518577 1581.56/1586.13 o 3516347 1581.56/1586.13 o 3509633 1581.56/1586.13 o 3508315 1581.56/1586.13 o 3503719 1581.56/1586.13 o 3497005 1581.56/1586.13 o 3491895 1581.56/1586.13 o 3486513 1581.56/1586.13 o 3481797 1581.56/1586.13 o 3477309 1581.56/1586.13 o 3471927 1581.56/1586.13 o 3468237 1581.56/1586.13 o 3462059 1581.56/1586.13 o 3460331 1581.56/1586.13 o 3458921 1581.56/1586.13 o 3448347 1581.56/1586.13 o 3442631 1581.56/1586.13 o 3422679 1581.56/1586.13 o 3420673 1581.56/1586.13 o 3418443 1581.56/1586.13 o 3418039 1581.56/1586.13 o 3415561 1581.56/1586.13 o 3410449 1581.56/1586.13 o 3400351 1581.56/1586.13 o 3398945 1581.56/1586.13 o 3398623 1581.56/1586.13 o 3389911 1581.56/1586.13 o 3389237 1581.56/1586.13 o 3389125 1581.56/1586.13 o 3386759 1581.56/1586.13 o 3386401 1581.56/1586.13 o 3385353 1581.56/1586.13 o 3385031 1581.56/1586.13 o 3384105 1581.56/1586.13 o 3383431 1581.56/1586.13 o 3383319 1581.56/1586.13 o 3381275 1581.56/1586.13 o 3376985 1581.56/1586.13 o 3371603 1581.56/1586.13 o 3370233 1581.56/1586.13 o 3367493 1581.56/1586.13 s OPTIMUM FOUND 1581.56/1586.13 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 (56565 MiB free)
memory of node 1: 64465 MiB (54431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503771-1751459371/watcher-4503771-1751459371 -o /tmp/evaluation-result-4503771-1751459371/solver-4503771-1751459371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751456329-63623 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4503771-1751459371.opb 3600 HOME
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=63958, runsolver pid=63955
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.13 4.21 4.15 5/259 63962
/proc/meminfo: memFree=113660948/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=63961] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63961/stat : 63961 (timeout) S 63958 63961 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61616315 2723840 352 18446744073709551615 94665587486720 94665587503233 140721711338992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94665587518000 94665587520088 94665611513856 140721711344022 140721711344162 140721711344162 140721711349735 0
/proc/63961/statm: 665 352 352 5 0 90 0
[pid=63962] ppid=63961 vsize=26228 memory=7680 CPUtime=0.07 cores=4,6
/proc/63962/stat : 63962 (CASHWMaxSAT-Dis) R 63961 63961 63612 0 -1 4194304 1260 0 0 0 7 0 0 0 20 0 1 0 61616316 26857472 1920 18446744073709551615 4198400 14093885 140729708768368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33697792 140729708771740 140729708771867 140729708771867 140729708777440 0
/proc/63962/statm: 6557 1920 736 2416 0 3659 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 33212 KiB
Current children cumulated memory: 12160 KiB
[startup+0.213822 s]*
/proc/loadavg: 4.20 4.22 4.16 5/259 63962
/proc/meminfo: memFree=113653136/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=63961] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63961/stat : 63961 (timeout) S 63958 63961 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61616315 2723840 352 18446744073709551615 94665587486720 94665587503233 140721711338992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94665587518000 94665587520088 94665611513856 140721711344022 140721711344162 140721711344162 140721711349735 0
/proc/63961/statm: 665 352 352 5 0 90 0
[pid=63962] ppid=63961 vsize=34060 memory=15360 CPUtime=0.19 cores=4,6
/proc/63962/stat : 63962 (CASHWMaxSAT-Dis) R 63961 63961 63612 0 -1 4194304 3188 0 0 0 18 1 0 0 20 0 1 0 61616316 34877440 3840 18446744073709551615 4198400 14093885 140729708768368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33697792 140729708771740 140729708771867 140729708771867 140729708777440 0
/proc/63962/statm: 8515 3840 736 2416 0 5617 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41044 KiB
Current children cumulated memory: 19840 KiB
[startup+0.313609 s]*
/proc/loadavg: 4.20 4.22 4.16 5/259 63962
/proc/meminfo: memFree=113645072/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=63961] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63961/stat : 63961 (timeout) S 63958 63961 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61616315 2723840 352 18446744073709551615 94665587486720 94665587503233 140721711338992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94665587518000 94665587520088 94665611513856 140721711344022 140721711344162 140721711344162 140721711349735 0
/proc/63961/statm: 665 352 352 5 0 90 0
[pid=63962] ppid=63961 vsize=36812 memory=18252 CPUtime=0.28 cores=4,6
/proc/63962/stat : 63962 (CASHWMaxSAT-Dis) R 63961 63961 63612 0 -1 4194304 3990 0 0 0 27 1 0 0 20 0 1 0 61616316 37695488 4563 18446744073709551615 4198400 14093885 140729708768368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33697792 140729708771740 140729708771867 140729708771867 140729708777440 0
/proc/63962/statm: 9203 4563 768 2416 0 6305 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 43796 KiB
Current children cumulated memory: 22732 KiB
[startup+0.700462 s]
/proc/loadavg: 4.20 4.22 4.16 5/259 63962
/proc/meminfo: memFree=113630204/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=63961] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63961/stat : 63961 (timeout) S 63958 63961 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61616315 2723840 352 18446744073709551615 94665587486720 94665587503233 140721711338992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94665587518000 94665587520088 94665611513856 140721711344022 140721711344162 140721711344162 140721711349735 0
/proc/63961/statm: 665 352 352 5 0 90 0
[pid=63962] ppid=63961 vsize=78532 memory=59632 CPUtime=0.65 cores=4,6
/proc/63962/stat : 63962 (CASHWMaxSAT-Dis) R 63961 63961 63612 0 -1 4194304 13071 0 0 0 61 4 0 0 20 0 1 0 61616316 80416768 14908 18446744073709551615 4198400 14093885 140729708768368 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33697792 140729708771740 140729708771867 140729708771867 140729708777440 0
/proc/63962/statm: 19633 14908 1024 2416 0 16735 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 85516 KiB
Current children cumulated memory: 64112 KiB
[startup+1.5005 s]
/proc/loadavg: 4.20 4.22 4.16 5/259 63962
/proc/meminfo: memFree=113611836/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=63961] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63961/stat : 63961 (timeout) S 63958 63961 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61616315 2723840 352 18446744073709551615 94665587486720 94665587503233 140721711338992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94665587518000 94665587520088 94665611513856 140721711344022 140721711344162 140721711344162 140721711349735 0
/proc/63961/statm: 665 352 352 5 0 90 0
[pid=63962] ppid=63961 vsize=89400 memory=71916 CPUtime=1.45 cores=4,6
/proc/63962/stat : 63962 (CASHWMaxSAT-Dis) R 63961 63961 63612 0 -1 4194304 15422 0 0 0 140 5 0 0 20 0 1 0 61616316 91545600 17979 18446744073709551615 4198400 14093885 140729708768368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33697792 140729708771740 140729708771867 140729708771867 140729708777440 0
/proc/63962/statm: 22350 17979 1056 2416 0 19452 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 96384 KiB
Current children cumulated memory: 76396 KiB
[startup+3.11338 s]
/proc/loadavg: 4.20 4.22 4.16 5/259 63962
/proc/meminfo: memFree=113620572/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=63961] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63961/stat : 63961 (timeout) S 63958 63961 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61616315 2723840 352 18446744073709551615 94665587486720 94665587503233 140721711338992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94665587518000 94665587520088 94665611513856 140721711344022 140721711344162 140721711344162 140721711349735 0
/proc/63961/statm: 665 352 352 5 0 90 0
[pid=63962] ppid=63961 vsize=118476 memory=97572 CPUtime=3.06 cores=4,6
/proc/63962/stat : 63962 (CASHWMaxSAT-Dis) R 63961 63961 63612 0 -1 4194304 18288 0 0 0 300 6 0 0 20 0 1 0 61616316 121319424 24393 18446744073709551615 4198400 14093885 140729708768368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33697792 140729708771740 140729708771867 140729708771867 140729708777440 0
/proc/63962/statm: 29619 24393 1056 2416 0 26721 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 125460 KiB
Current children cumulated memory: 102052 KiB
[startup+6.30048 s]
/proc/loadavg: 4.18 4.22 4.16 5/259 63962
/proc/meminfo: memFree=113653960/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=63961] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63961/stat : 63961 (timeout) S 63958 63961 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61616315 2723840 352 18446744073709551615 94665587486720 94665587503233 140721711338992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94665587518000 94665587520088 94665611513856 140721711344022 140721711344162 140721711344162 140721711349735 0
/proc/63961/statm: 665 352 352 5 0 90 0
[pid=63962] ppid=63961 vsize=153812 memory=121860 CPUtime=6.23 cores=4,6
/proc/63962/stat : 63962 (CASHWMaxSAT-Dis) R 63961 63961 63612 0 -1 4194304 22419 0 0 0 616 7 0 0 20 0 1 0 61616316 157503488 30465 18446744073709551615 4198400 14093885 140729708768368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33697792 140729708771740 140729708771867 140729708771867 140729708777440 0
/proc/63962/statm: 38453 30465 1056 2416 0 35555 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 160796 KiB
Current children cumulated memory: 126340 KiB
[startup+12.7005 s]
/proc/loadavg: 4.17 4.21 4.16 5/259 63962
/proc/meminfo: memFree=113683812/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=63961] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63961/stat : 63961 (timeout) S 63958 63961 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61616315 2723840 352 18446744073709551615 94665587486720 94665587503233 140721711338992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94665587518000 94665587520088 94665611513856 140721711344022 140721711344162 140721711344162 140721711349735 0
/proc/63961/statm: 665 352 352 5 0 90 0
[pid=63962] ppid=63961 vsize=182724 memory=148200 CPUtime=12.62 cores=4,6
/proc/63962/stat : 63962 (CASHWMaxSAT-Dis) R 63961 63961 63612 0 -1 4194304 25949 0 0 0 1253 9 0 0 20 0 1 0 61616316 187109376 37050 18446744073709551615 4198400 14093885 140729708768368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33697792 140729708771740 140729708771867 140729708771867 140729708777440 0
/proc/63962/statm: 45681 37050 1056 2416 0 42783 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 189708 KiB
Current children cumulated memory: 152680 KiB
[startup+25.5005 s]
/proc/loadavg: 4.14 4.20 4.15 5/259 63962
/proc/meminfo: memFree=113771428/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=63961] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63961/stat : 63961 (timeout) S 63958 63961 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61616315 2723840 352 18446744073709551615 94665587486720 94665587503233 140721711338992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94665587518000 94665587520088 94665611513856 140721711344022 140721711344162 140721711344162 140721711349735 0
/proc/63961/statm: 665 352 352 5 0 90 0
[pid=63962] ppid=63961 vsize=192344 memory=163048 CPUtime=25.38 cores=4,6
/proc/63962/stat : 63962 (CASHWMaxSAT-Dis) R 63961 63961 63612 0 -1 4194304 29378 0 0 0 2527 11 0 0 20 0 1 0 61616316 196960256 40762 18446744073709551615 4198400 14093885 140729708768368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33697792 140729708771740 140729708771867 140729708771867 140729708777440 0
/proc/63962/statm: 48086 40762 1056 2416 0 45188 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 199328 KiB
Current children cumulated memory: 167528 KiB
[startup+51.1136 s]
/proc/loadavg: 4.16 4.20 4.15 5/259 63963
/proc/meminfo: memFree=113749948/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=63961] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63961/stat : 63961 (timeout) S 63958 63961 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61616315 2723840 352 18446744073709551615 94665587486720 94665587503233 140721711338992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94665587518000 94665587520088 94665611513856 140721711344022 140721711344162 140721711344162 140721711349735 0
/proc/63961/statm: 665 352 352 5 0 90 0
[pid=63962] ppid=63961 vsize=253148 memory=205656 CPUtime=50.92 cores=4,6
/proc/63962/stat : 63962 (CASHWMaxSAT-Dis) R 63961 63961 63612 0 -1 4194304 33796 0 0 0 5076 16 0 0 20 0 1 0 61616316 259223552 51414 18446744073709551615 4198400 14093885 140729708768368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 33697792 140729708771740 140729708771867 140729708771867 140729708777440 0
/proc/63962/statm: 63287 51414 1056 2416 0 60389 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 260132 KiB
Current children cumulated memory: 210136 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.18 4.15 5/259 63965
/proc/meminfo: memFree=113731928/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 250 106 0 0 0 0 0 0 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=63961] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=64156] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64156/stat : 64156 (timeout) S 63958 64156 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61736117 2723840 352 18446744073709551615 94832188657664 94832188674177 140721264233088 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94832188688944 94832188691032 94832199602176 140721264241030 140721264241186 140721264241186 140721264246759 0
/proc/64156/statm: 665 352 352 5 0 90 0
[pid=64157] ppid=64156 vsize=379112 memory=281128 CPUtime=283.5 cores=4,6
/proc/64157/stat : 64157 (ExactPR-S) R 64156 64156 63612 0 -1 4194304 45450 0 0 0 28057 293 0 0 20 0 1 0 61736118 388210688 70282 18446744073709551615 94832766021632 94832775321669 140722935526512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94832777107776 94832777146856 94832818049024 140722935531934 140722935532071 140722935532071 140722935537644 0
/proc/64157/statm: 94778 70282 1888 2271 0 89416 0
Current children cumulated CPU time: 1478.02 s
Current children cumulated vsize: 386096 KiB
Current children cumulated memory: 285608 KiB
[startup+1542.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 64172
/proc/meminfo: memFree=120386156/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=1194.52 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 283 50179 0 0 0 0 119307 145 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=64156] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64156/stat : 64156 (timeout) S 63958 64156 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61736117 2723840 352 18446744073709551615 94832188657664 94832188674177 140721264233088 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94832188688944 94832188691032 94832199602176 140721264241030 140721264241186 140721264241186 140721264246759 0
/proc/64156/statm: 665 352 352 5 0 90 0
[pid=64157] ppid=64156 vsize=388096 memory=289576 CPUtime=343.34 cores=4,6
/proc/64157/stat : 64157 (ExactPR-S) R 64156 64156 63612 0 -1 4194304 47602 0 0 0 34030 304 0 0 20 0 1 0 61736118 397410304 72394 18446744073709551615 94832766021632 94832775321669 140722935526512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94832777107776 94832777146856 94832818049024 140722935531934 140722935532071 140722935532071 140722935537644 0
/proc/64157/statm: 97024 72394 1888 2271 0 91662 0
Current children cumulated CPU time: 1537.86 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 294056 KiB
[startup+1586.15 s]
# the end of solver process 63958 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1577.01 s, system=4.58071 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1561.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 64172
/proc/meminfo: memFree=120412124/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=1194.52 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 283 50179 0 0 0 0 119307 145 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=64156] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64156/stat : 64156 (timeout) S 63958 64156 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61736117 2723840 352 18446744073709551615 94832188657664 94832188674177 140721264233088 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94832188688944 94832188691032 94832199602176 140721264241030 140721264241186 140721264241186 140721264246759 0
/proc/64156/statm: 665 352 352 5 0 90 0
[pid=64157] ppid=64156 vsize=388096 memory=289704 CPUtime=362.58 cores=4,6
/proc/64157/stat : 64157 (ExactPR-S) R 64156 64156 63612 0 -1 4194304 47641 0 0 0 35953 305 0 0 20 0 1 0 61736118 397410304 72426 18446744073709551615 94832766021632 94832775321669 140722935526512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94832777107776 94832777146856 94832818049024 140722935531934 140722935532071 140722935532071 140722935537644 0
/proc/64157/statm: 97024 72426 1888 2271 0 91662 0
Current children cumulated CPU time: 1557.1 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 294184 KiB
[startup+1574.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 64173
/proc/meminfo: memFree=120403152/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=1194.52 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 283 50179 0 0 0 0 119307 145 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=64156] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64156/stat : 64156 (timeout) S 63958 64156 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61736117 2723840 352 18446744073709551615 94832188657664 94832188674177 140721264233088 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94832188688944 94832188691032 94832199602176 140721264241030 140721264241186 140721264241186 140721264246759 0
/proc/64156/statm: 665 352 352 5 0 90 0
[pid=64157] ppid=64156 vsize=388096 memory=289832 CPUtime=375.35 cores=4,6
/proc/64157/stat : 64157 (ExactPR-S) R 64156 64156 63612 0 -1 4194304 47662 0 0 0 37228 307 0 0 20 0 1 0 61736118 397410304 72458 18446744073709551615 94832766021632 94832775321669 140722935526512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94832777107776 94832777146856 94832818049024 140722935531934 140722935532071 140722935532071 140722935537644 0
/proc/64157/statm: 97024 72458 1888 2271 0 91662 0
Current children cumulated CPU time: 1569.87 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 294312 KiB
[startup+1580.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 64173
/proc/meminfo: memFree=120395464/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=1194.52 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 283 50179 0 0 0 0 119307 145 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=64156] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64156/stat : 64156 (timeout) S 63958 64156 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61736117 2723840 352 18446744073709551615 94832188657664 94832188674177 140721264233088 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94832188688944 94832188691032 94832199602176 140721264241030 140721264241186 140721264241186 140721264246759 0
/proc/64156/statm: 665 352 352 5 0 90 0
[pid=64157] ppid=64156 vsize=388096 memory=289832 CPUtime=381.73 cores=4,6
/proc/64157/stat : 64157 (ExactPR-S) R 64156 64156 63612 0 -1 4194304 47662 0 0 0 37865 308 0 0 20 0 1 0 61736118 397410304 72458 18446744073709551615 94832766021632 94832775321669 140722935526512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94832777107776 94832777146856 94832818049024 140722935531934 140722935532071 140722935532071 140722935537644 0
/proc/64157/statm: 97024 72458 1888 2271 0 91662 0
Current children cumulated CPU time: 1576.25 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 294312 KiB
[startup+1584 s]*
/proc/loadavg: 4.08 4.09 4.09 5/257 64173
/proc/meminfo: memFree=120392408/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=1194.52 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 283 50179 0 0 0 0 119307 145 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=64156] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64156/stat : 64156 (timeout) S 63958 64156 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61736117 2723840 352 18446744073709551615 94832188657664 94832188674177 140721264233088 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94832188688944 94832188691032 94832199602176 140721264241030 140721264241186 140721264241186 140721264246759 0
/proc/64156/statm: 665 352 352 5 0 90 0
[pid=64157] ppid=64156 vsize=388096 memory=289832 CPUtime=384.93 cores=4,6
/proc/64157/stat : 64157 (ExactPR-S) R 64156 64156 63612 0 -1 4194304 47662 0 0 0 38185 308 0 0 20 0 1 0 61736118 397410304 72458 18446744073709551615 94832766021632 94832775321669 140722935526512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94832777107776 94832777146856 94832818049024 140722935531934 140722935532071 140722935532071 140722935537644 0
/proc/64157/statm: 97024 72458 1888 2271 0 91662 0
Current children cumulated CPU time: 1579.45 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 294312 KiB
[startup+1584.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 64173
/proc/meminfo: memFree=120392408/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=1194.52 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 283 50179 0 0 0 0 119307 145 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=64156] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64156/stat : 64156 (timeout) S 63958 64156 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61736117 2723840 352 18446744073709551615 94832188657664 94832188674177 140721264233088 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94832188688944 94832188691032 94832199602176 140721264241030 140721264241186 140721264241186 140721264246759 0
/proc/64156/statm: 665 352 352 5 0 90 0
[pid=64157] ppid=64156 vsize=388096 memory=289832 CPUtime=385.71 cores=4,6
/proc/64157/stat : 64157 (ExactPR-S) R 64156 64156 63612 0 -1 4194304 47662 0 0 0 38263 308 0 0 20 0 1 0 61736118 397410304 72458 18446744073709551615 94832766021632 94832775321669 140722935526512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94832777107776 94832777146856 94832818049024 140722935531934 140722935532071 140722935532071 140722935537644 0
/proc/64157/statm: 97024 72458 1888 2271 0 91662 0
Current children cumulated CPU time: 1580.23 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 294312 KiB
[startup+1585.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 64173
/proc/meminfo: memFree=120392408/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=1194.52 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 283 50179 0 0 0 0 119307 145 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=64156] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64156/stat : 64156 (timeout) S 63958 64156 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61736117 2723840 352 18446744073709551615 94832188657664 94832188674177 140721264233088 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94832188688944 94832188691032 94832199602176 140721264241030 140721264241186 140721264241186 140721264246759 0
/proc/64156/statm: 665 352 352 5 0 90 0
[pid=64157] ppid=64156 vsize=388096 memory=289832 CPUtime=386.51 cores=4,6
/proc/64157/stat : 64157 (ExactPR-S) R 64156 64156 63612 0 -1 4194304 47662 0 0 0 38343 308 0 0 20 0 1 0 61736118 397410304 72458 18446744073709551615 94832766021632 94832775321669 140722935526512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94832777107776 94832777146856 94832818049024 140722935531934 140722935532071 140722935532071 140722935537644 0
/proc/64157/statm: 97024 72458 1888 2271 0 91662 0
Current children cumulated CPU time: 1581.03 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 294312 KiB
[startup+1586 s]*
/proc/loadavg: 4.08 4.09 4.09 5/257 64173
/proc/meminfo: memFree=120392408/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=1194.52 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 283 50179 0 0 0 0 119307 145 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
[pid=64156] ppid=63958 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64156/stat : 64156 (timeout) S 63958 64156 63612 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61736117 2723840 352 18446744073709551615 94832188657664 94832188674177 140721264233088 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94832188688944 94832188691032 94832199602176 140721264241030 140721264241186 140721264241186 140721264246759 0
/proc/64156/statm: 665 352 352 5 0 90 0
[pid=64157] ppid=64156 vsize=388096 memory=289832 CPUtime=386.92 cores=4,6
/proc/64157/stat : 64157 (ExactPR-S) R 64156 64156 63612 0 -1 4194304 47662 0 0 0 38384 308 0 0 20 0 1 0 61736118 397410304 72458 18446744073709551615 94832766021632 94832775321669 140722935526512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94832777107776 94832777146856 94832818049024 140722935531934 140722935532071 140722935532071 140722935537644 0
/proc/64157/statm: 97024 72458 1888 2271 0 91662 0
Current children cumulated CPU time: 1581.44 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 294312 KiB
[startup+1586.11 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 64173
/proc/meminfo: memFree=120392408/131382116 swapFree=33010160/33010684
[pid=63958] ppid=63955 vsize=4324 memory=3072 CPUtime=1581.56 cores=4,6
/proc/63958/stat : 63958 (Hybrid-CASHWMax) S 63955 63958 63612 0 -1 4194304 303 97975 0 0 0 0 157700 456 20 0 1 0 61616313 4427776 768 18446744073709551615 94593755172864 94593756067397 140730662127408 0 0 0 2 4 65536 1 0 0 17 4 0 0 0 0 0 94593756306448 94593756354192 94593775718400 140730662136151 140730662136305 140730662136305 140730662141907 0
/proc/63958/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1581.56 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 1586.15
CPU time (s): 1581.59
CPU user time (s): 1577.01
CPU system time (s): 4.58071
CPU usage (%): 99.7125
Max. virtual memory (cumulated for all children) (KiB): 395080
Max. memory (cumulated for all children) (KiB): 321472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1577.01
system time used= 4.58071
maximum resident set size= 330964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 717
involuntary context switches= 2273
# summary of solver processes directly reported to runsolver:
# pid: 63958
# total CPU time (s): 1581.59
# total CPU user time (s): 1577.01
# total CPU system time (s): 4.58071
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.78553 second user time and 18.6554 second system time
The end
Begin job on nodeC004 at 2025-07-02 14:29:31 IDJOB=4503771 IDBENCH=155603 IDSOLVER=3329 FILE ID=nodeC004/4503771-1751459371 RUNJOBID= nodeC004-1751456329-63623 SLURM_JOB_ID= 9598453 Free space on /tmp= 431528 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503771-1751459371/watcher-4503771-1751459371 -o /tmp/evaluation-result-4503771-1751459371/solver-4503771-1751459371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751456329-63623 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4503771-1751459371.opb 3600 HOME TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e RANDOM SEED=1202243891 nodeC004 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 : 3662.453 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.74 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 : 3494.166 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.74 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.953 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.74 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.74 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 : 3700.000 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.74 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 : 3661.796 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.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.216 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.74 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.411 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.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 113661124 kB MemAvailable: 119284008 kB Buffers: 2720 kB Cached: 6372876 kB SwapCached: 20 kB Active: 10620152 kB Inactive: 6036196 kB Active(anon): 10292520 kB Inactive(anon): 6188 kB Active(file): 327632 kB Inactive(file): 6030008 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 25412 kB Writeback: 0 kB AnonPages: 10282392 kB Mapped: 131316 kB Shmem: 17956 kB KReclaimable: 209740 kB Slab: 295844 kB SReclaimable: 209740 kB SUnreclaim: 86104 kB KernelStack: 4144 kB PageTables: 23520 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 11259464 kB VmallocTotal: 34359738367 kB VmallocUsed: 149496 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 5814272 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: 197448 kB DirectMap2M: 10190848 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 431576 MiB End job on nodeC004 at 2025-07-02 14:55:58