Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR 2025-06-01 | OPT | 3367493 | 417.694 | 418.823 |
| 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 |
0.98/1.02 c 12510 constraints 0.98/1.02 c after presolve 12512 0.98/1.06 c Finish cloning data from SAT to LS 0.98/1.06 c intsize: 36 60.94/61.19 c Use LS-small 60.94/61.19 o 104879903 60.94/61.19 o 103302009 60.94/61.19 o 102120493 60.94/61.19 o 38930575 60.94/61.19 o 31072603 60.94/61.19 o 23821215 60.94/61.19 o 23808345 60.94/61.19 o 23741789 60.94/61.19 o 23728091 60.94/61.19 o 21668409 60.94/61.19 o 21654711 60.94/61.19 o 21641013 60.94/61.19 o 21639535 60.94/61.19 o 21131031 60.94/61.19 o 21038557 60.94/61.19 o 18107931 60.94/61.19 o 18067131 60.94/61.19 o 17984481 60.94/61.19 o 8559555 60.94/61.19 o 8483485 60.94/61.19 o 8407699 60.94/61.19 o 8340057 60.94/61.19 o 8322193 60.94/61.19 o 8303899 60.94/61.19 o 8302059 60.94/61.19 o 8300261 60.94/61.19 o 8182343 60.94/61.19 o 8144003 60.94/61.19 o 8110525 60.94/61.19 o 8096301 60.94/61.19 o 7613273 60.94/61.19 o 7589941 60.94/61.19 o 7569235 60.94/61.19 o 7459387 60.94/61.19 o 7405635 60.94/61.19 o 7339733 60.94/61.19 o 7323125 60.94/61.19 o 7323093 60.94/61.19 o 7313947 60.94/61.19 o 7277277 60.94/61.19 o 7246209 60.94/61.19 o 7201329 60.94/61.19 o 7132057 60.94/61.19 o 7126899 60.94/61.19 o 6607167 60.94/61.19 o 6596729 60.94/61.19 o 6356339 60.94/61.19 o 6301389 60.94/61.19 o 6291813 60.94/61.19 o 6279397 60.94/61.19 o 6277881 60.94/61.19 o 6260827 60.94/61.19 o 6238023 60.94/61.19 o 6222841 60.94/61.19 o 6215397 60.94/61.19 o 6199799 60.94/61.19 o 6153353 60.94/61.19 o 6148761 60.94/61.19 o 6116113 60.94/61.19 o 6106225 60.94/61.19 o 6046673 60.94/61.19 o 6044425 60.94/61.19 o 6018145 60.94/61.19 o 6010785 60.94/61.19 o 6009233 60.94/61.19 o 6000293 60.94/61.19 o 5997407 60.94/61.19 o 5971557 60.94/61.19 o 5950775 60.94/61.19 o 5944325 60.94/61.19 o 5937851 60.94/61.19 o 5921109 60.94/61.19 o 5918785 60.94/61.19 o 5917219 60.94/61.19 o 5902675 60.94/61.19 o 5899219 60.94/61.19 o 5898473 60.94/61.19 o 5894525 60.94/61.19 o 5893777 60.94/61.19 o 4829507 60.94/61.19 o 4767341 60.94/61.19 o 4722933 60.94/61.19 o 4679463 60.94/61.19 o 4659183 60.94/61.19 o 4636811 60.94/61.19 o 4633509 60.94/61.19 o 4629143 60.94/61.19 o 4598039 60.94/61.19 o 4574695 60.94/61.19 o 4566623 60.94/61.19 o 4565353 60.94/61.19 o 4565103 60.94/61.19 o 4554543 60.94/61.19 o 4554339 60.94/61.19 o 4550795 60.94/61.19 o 4548915 60.94/61.19 o 4522377 60.94/61.19 o 4487651 60.94/61.19 o 4486127 60.94/61.19 o 4482161 60.94/61.19 o 4479305 60.94/61.19 o 4474929 60.94/61.19 o 4473315 60.94/61.19 o 4465999 60.94/61.19 o 4460777 60.94/61.19 o 4458393 60.94/61.19 c SAT by LS-small 60.94/61.19 o 4458393 80.57/80.81 o 4397563 80.57/80.84 o 4392667 80.57/80.88 o 4391837 80.67/80.91 o 4378627 80.88/81.13 o 4376355 80.88/81.18 o 4372425 80.97/81.27 o 4359609 81.07/81.39 o 4350489 81.17/81.45 o 4340589 81.17/81.47 o 4332971 81.27/81.52 o 4328459 81.27/81.59 o 4324813 81.47/81.76 o 4312723 81.57/81.89 o 4295005 81.78/82.02 o 4291679 81.78/82.07 o 4291639 81.97/82.26 o 4289733 82.07/82.32 o 4282155 82.27/82.53 o 4278349 84.46/84.75 o 4276637 85.26/85.53 o 4276195 85.56/85.89 o 4274631 86.06/86.36 o 4257201 86.06/86.38 o 4251401 86.16/86.41 o 4243783 86.46/86.78 o 4243517 87.26/87.50 o 4223795 87.36/87.62 o 4222157 88.45/88.78 o 4218515 88.65/88.98 o 4218197 88.95/89.23 o 4214261 89.44/89.73 o 4212877 90.45/90.77 o 4209469 94.93/95.27 o 4203533 95.85/96.16 o 4193519 96.93/97.24 o 4170321 97.43/97.73 o 4166231 97.43/97.77 o 4160587 97.53/97.80 o 4155521 98.52/98.80 o 4152387 98.52/98.83 o 4152349 98.52/98.88 o 4151653 98.73/99.04 o 4139775 99.02/99.33 o 4137001 99.02/99.37 o 4136113 99.12/99.41 o 4127535 99.12/99.46 o 4124157 99.22/99.55 o 4122909 99.22/99.58 o 4122633 99.32/99.61 o 4121745 99.32/99.65 o 4118367 99.32/99.69 o 4111005 100.02/100.33 o 4109057 100.02/100.37 o 4106567 101.12/101.45 o 4084913 101.22/101.51 o 4040087 101.22/101.54 o 4010607 101.32/101.65 o 4006197 101.32/101.68 o 3995271 104.31/104.63 o 3994405 104.31/104.65 o 3987043 104.41/104.72 o 3981457 104.82/105.19 o 3975191 104.90/105.28 o 3971127 105.00/105.30 o 3964127 105.00/105.31 o 3959061 105.00/105.33 o 3957763 105.30/105.68 o 3955669 105.50/105.82 o 3955231 105.81/106.19 o 3927781 105.90/106.27 o 3927003 106.00/106.38 o 3901107 106.30/106.65 o 3881841 106.30/106.69 o 3881637 106.40/106.71 o 3876571 108.00/108.34 o 3875965 108.10/108.40 o 3873023 108.39/108.73 o 3872115 108.39/108.79 o 3861773 108.49/108.82 o 3856541 108.49/108.87 o 3853811 108.59/108.94 o 3852595 108.81/109.12 o 3850021 108.81/109.17 o 3848327 108.81/109.19 o 3847807 108.89/109.22 o 3847769 108.89/109.25 o 3845039 108.89/109.28 o 3844949 108.99/109.36 o 3842915 109.29/109.68 o 3841347 109.39/109.73 o 3838935 109.49/109.88 o 3838239 110.19/110.50 o 3837851 110.19/110.53 o 3837331 111.70/112.05 o 3837293 111.70/112.10 o 3837203 111.89/112.26 o 3836763 111.89/112.30 o 3831621 111.99/112.39 o 3830355 112.09/112.43 o 3830151 112.09/112.46 o 3825085 112.29/112.60 o 3807479 112.39/112.75 o 3792949 112.59/112.94 o 3785853 113.09/113.48 o 3780919 113.19/113.52 o 3776543 113.19/113.57 o 3770961 113.29/113.66 o 3766537 113.39/113.70 o 3747271 113.39/113.75 o 3744859 117.57/117.93 o 3744163 118.37/118.75 o 3739791 118.87/119.25 o 3737711 119.07/119.44 o 3722993 119.07/119.49 o 3720263 122.86/123.25 o 3716273 128.94/129.39 o 3713591 129.04/129.45 o 3699605 129.14/129.51 o 3699047 129.24/129.66 o 3698957 129.34/129.74 o 3692197 136.73/137.14 o 3685487 136.73/137.19 o 3683407 144.50/144.97 o 3682215 155.46/155.94 o 3681951 156.06/156.50 o 3679809 156.16/156.62 o 3674097 156.26/156.79 o 3663691 156.46/156.93 o 3662985 156.46/156.99 o 3662371 156.57/157.05 o 3657979 156.67/157.14 o 3655329 156.76/157.21 o 3646823 156.86/157.32 o 3646209 157.06/157.51 o 3641409 157.25/157.75 o 3641207 157.35/157.81 o 3640593 157.45/157.94 o 3635793 157.85/158.32 o 3634505 158.35/158.81 o 3630167 158.35/158.87 o 3629909 158.45/158.94 o 3626759 158.66/159.15 o 3625823 158.75/159.21 o 3625209 158.75/159.28 o 3624719 158.85/159.36 o 3618489 162.56/163.06 o 3616473 162.66/163.15 o 3611679 162.85/163.32 o 3606303 162.85/163.34 o 3605813 162.95/163.42 o 3604457 162.95/163.45 o 3600183 163.15/163.68 o 3599197 163.25/163.79 o 3598469 163.74/164.20 o 3595391 164.74/165.23 o 3591839 165.24/165.78 o 3590759 165.34/165.81 o 3590269 165.34/165.83 o 3589655 165.34/165.85 o 3588359 165.34/165.87 o 3587745 165.44/165.90 o 3587255 171.53/172.03 o 3587057 171.53/172.07 o 3586443 171.63/172.12 o 3583977 171.63/172.16 o 3581577 171.82/172.34 o 3579863 186.89/187.44 o 3576311 204.04/204.64 o 3560137 204.13/204.74 o 3559415 320.71/321.60 o 3558599 320.71/321.61 o 3558277 320.71/321.61 o 3557603 320.71/321.62 o 3553843 320.71/321.62 o 3552493 320.71/321.63 o 3550285 320.71/321.63 o 3545175 320.71/321.65 o 3534421 320.71/321.66 o 3533071 320.71/321.67 o 3530969 320.71/321.67 o 3526481 320.71/321.69 o 3526369 320.71/321.69 o 3525695 320.81/321.71 o 3504077 320.81/321.73 o 3501921 320.81/321.74 o 3501247 320.81/321.76 o 3497917 320.81/321.77 o 3495439 320.81/321.77 o 3494765 320.81/321.78 o 3491935 320.81/321.79 o 3491823 320.91/321.86 o 3491123 320.91/321.87 o 3490449 320.91/321.88 o 3487155 320.91/321.89 o 3486369 321.01/321.94 o 3484875 321.13/322.05 o 3483505 321.23/322.15 o 3479941 321.23/322.17 o 3478859 321.23/322.18 o 3478747 321.31/322.23 o 3476773 321.31/322.24 o 3476099 321.31/322.25 o 3474427 321.31/322.26 o 3471949 321.31/322.27 o 3467461 321.31/322.28 o 3466787 321.41/322.30 o 3466675 321.51/322.45 o 3464207 321.51/322.46 o 3463533 321.51/322.47 o 3461055 321.51/322.48 o 3459011 321.71/322.62 o 3446789 322.41/323.36 o 3445667 322.41/323.38 o 3445259 322.51/323.40 o 3444585 322.51/323.42 o 3444473 322.51/323.44 o 3440771 322.51/323.46 o 3430673 323.12/324.09 o 3423297 323.22/324.14 o 3420255 323.22/324.18 o 3419469 323.31/324.22 o 3419257 323.31/324.25 o 3415497 323.31/324.27 o 3414823 323.41/324.31 o 3414711 325.30/326.20 o 3405329 325.30/326.25 o 3398383 325.30/326.29 o 3396017 347.44/348.41 o 3393419 347.44/348.42 o 3392049 347.74/348.72 o 3386127 347.74/348.73 o 3385341 349.34/350.36 o 3367493 417.66/418.80 s OPTIMUM FOUND 417.66/418.80 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 (62032 MiB free)
memory of node 1: 64465 MiB (63596 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503767-1751432143/watcher-4503767-1751432143 -o /tmp/evaluation-result-4503767-1751432143/solver-4503767-1751432143 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751432143-63693 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4503767-1751432143.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=63748, runsolver pid=63733
[startup+0.100071 s]*
/proc/loadavg: 0.47 0.94 1.05 7/258 63749
/proc/meminfo: memFree=128597752/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=57824 memory=16808 CPUtime=0.09 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 2944 0 0 0 8 1 0 0 20 0 1 0 58893703 59211776 4202 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 14456 4202 1632 2271 0 9094 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57824 KiB
Current children cumulated memory: 16808 KiB
[startup+0.21332 s]*
/proc/loadavg: 0.47 0.94 1.05 7/258 63749
/proc/meminfo: memFree=128567448/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=68572 memory=27788 CPUtime=0.2 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 6409 0 0 0 17 3 0 0 20 0 1 0 58893703 70217728 6947 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 17143 6947 1792 2271 0 11781 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68572 KiB
Current children cumulated memory: 27788 KiB
[startup+0.313638 s]*
/proc/loadavg: 0.47 0.94 1.05 7/258 63749
/proc/meminfo: memFree=128561652/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=69832 memory=28684 CPUtime=0.3 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 6624 0 0 0 27 3 0 0 20 0 1 0 58893703 71507968 7171 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 17458 7171 1792 2271 0 12096 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69832 KiB
Current children cumulated memory: 28684 KiB
[startup+0.700269 s]
/proc/loadavg: 0.47 0.94 1.05 7/258 63749
/proc/meminfo: memFree=128530340/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=70604 memory=29580 CPUtime=0.68 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 6859 0 0 0 64 4 0 0 20 0 1 0 58893703 72298496 7395 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 17651 7395 1792 2271 0 12289 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70604 KiB
Current children cumulated memory: 29580 KiB
[startup+1.50028 s]
/proc/loadavg: 0.76 0.99 1.06 7/258 63749
/proc/meminfo: memFree=128513220/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=89940 memory=48268 CPUtime=1.47 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 11473 0 0 0 140 7 0 0 20 0 1 0 58893703 92098560 12067 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 22485 12067 1856 2271 0 17123 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 89940 KiB
Current children cumulated memory: 48268 KiB
[startup+3.11276 s]
/proc/loadavg: 0.76 0.99 1.06 6/258 63749
/proc/meminfo: memFree=128274780/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=89940 memory=48268 CPUtime=3.08 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 11473 0 0 0 294 14 0 0 20 0 1 0 58893703 92098560 12067 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 22485 12067 1856 2271 0 17123 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 89940 KiB
Current children cumulated memory: 48268 KiB
[startup+6.30027 s]
/proc/loadavg: 1.02 1.04 1.08 6/258 63749
/proc/meminfo: memFree=128275020/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=89940 memory=48268 CPUtime=6.26 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 11473 0 0 0 599 27 0 0 20 0 1 0 58893703 92098560 12067 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 22485 12067 1856 2271 0 17123 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 89940 KiB
Current children cumulated memory: 48268 KiB
[startup+12.7003 s]
/proc/loadavg: 1.26 1.09 1.10 6/257 63749
/proc/meminfo: memFree=128275036/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=89940 memory=48268 CPUtime=12.64 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 11473 0 0 0 1213 51 0 0 20 0 1 0 58893703 92098560 12067 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 22485 12067 1856 2271 0 17123 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 89940 KiB
Current children cumulated memory: 48268 KiB
[startup+25.5003 s]
/proc/loadavg: 1.75 1.20 1.13 6/257 63749
/proc/meminfo: memFree=128280560/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=89940 memory=48268 CPUtime=25.42 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 11473 0 0 0 2442 100 0 0 20 0 1 0 58893703 92098560 12067 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 22485 12067 1856 2271 0 17123 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 89940 KiB
Current children cumulated memory: 48268 KiB
[startup+51.1128 s]
/proc/loadavg: 2.64 1.47 1.22 6/257 63749
/proc/meminfo: memFree=128280400/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=89940 memory=48268 CPUtime=50.96 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 11473 0 0 0 4892 204 0 0 20 0 1 0 58893703 92098560 12067 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 22485 12067 1856 2271 0 17123 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 89940 KiB
Current children cumulated memory: 48268 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.88 1.38 6/256 63752
/proc/meminfo: memFree=127747364/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=321216 memory=218668 CPUtime=102.01 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 32294 0 0 0 9942 259 0 0 20 0 1 0 58893703 328925184 54667 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 80304 54667 1856 2271 0 74942 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 321216 KiB
Current children cumulated memory: 218668 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.28 1.55 6/256 63754
/proc/meminfo: memFree=127590192/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=350348 memory=245356 CPUtime=161.84 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 38040 0 0 0 15918 266 0 0 20 0 1 0 58893703 358756352 61339 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 87587 61339 1856 2271 0 82225 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 350348 KiB
Current children cumulated memory: 245356 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.61 1.71 6/253 63760
/proc/meminfo: memFree=127600480/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=354132 memory=249068 CPUtime=221.69 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 38983 0 0 0 21892 277 0 0 20 0 1 0 58893703 362631168 62267 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 88533 62267 1856 2271 0 83171 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 354132 KiB
Current children cumulated memory: 249068 KiB
[startup+282.3 s]
/proc/loadavg: 4.03 2.88 1.86 6/252 63762
/proc/meminfo: memFree=127512968/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=356104 memory=250988 CPUtime=281.52 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 39483 0 0 0 27866 286 0 0 20 0 1 0 58893703 364650496 62747 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 89026 62747 1856 2271 0 83664 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 356104 KiB
Current children cumulated memory: 250988 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.10 2.01 6/252 63775
/proc/meminfo: memFree=127429876/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=368708 memory=261356 CPUtime=341.36 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 42101 0 0 0 33840 296 0 0 20 0 1 0 58893703 377556992 65339 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 92177 65339 1856 2271 0 86815 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 368708 KiB
Current children cumulated memory: 261356 KiB
[startup+402.3 s]
/proc/loadavg: 3.70 3.19 2.11 5/247 63813
/proc/meminfo: memFree=127570840/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=370028 memory=263148 CPUtime=401.2 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 42575 0 0 0 39815 305 0 0 20 0 1 0 58893703 378908672 65787 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 92507 65787 1856 2271 0 87145 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 370028 KiB
Current children cumulated memory: 263148 KiB
[startup+418.823 s]
# the end of solver process 63748 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=414.608 s, system=3.08585 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 3.64 3.18 2.11 5/247 63813
/proc/meminfo: memFree=127552404/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=370244 memory=263276 CPUtime=408.49 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 42592 0 0 0 40543 306 0 0 20 0 1 0 58893703 379129856 65819 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 92561 65819 1856 2271 0 87199 0
Current children cumulated CPU time: 408.49 s
Current children cumulated vsize: 370244 KiB
Current children cumulated memory: 263276 KiB
[startup+412.8 s]
/proc/loadavg: 3.59 3.18 2.12 5/247 63813
/proc/meminfo: memFree=127555980/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=370244 memory=263276 CPUtime=411.67 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 42592 0 0 0 40860 307 0 0 20 0 1 0 58893703 379129856 65819 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 92561 65819 1856 2271 0 87199 0
Current children cumulated CPU time: 411.67 s
Current children cumulated vsize: 370244 KiB
Current children cumulated memory: 263276 KiB
[startup+416 s]*
/proc/loadavg: 3.54 3.18 2.12 5/247 63813
/proc/meminfo: memFree=127552472/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=370244 memory=263276 CPUtime=414.88 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 42592 0 0 0 41181 307 0 0 20 0 1 0 58893703 379129856 65819 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 92561 65819 1856 2271 0 87199 0
Current children cumulated CPU time: 414.88 s
Current children cumulated vsize: 370244 KiB
Current children cumulated memory: 263276 KiB
[startup+417.6 s]
/proc/loadavg: 3.54 3.18 2.12 5/247 63813
/proc/meminfo: memFree=127552736/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=370244 memory=263276 CPUtime=416.46 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 42592 0 0 0 41339 307 0 0 20 0 1 0 58893703 379129856 65819 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 92561 65819 1856 2271 0 87199 0
Current children cumulated CPU time: 416.46 s
Current children cumulated vsize: 370244 KiB
Current children cumulated memory: 263276 KiB
[startup+418.4 s]
/proc/loadavg: 3.54 3.18 2.12 5/247 63813
/proc/meminfo: memFree=127552736/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=370244 memory=263276 CPUtime=417.26 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 42592 0 0 0 41419 307 0 0 20 0 1 0 58893703 379129856 65819 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 92561 65819 1856 2271 0 87199 0
Current children cumulated CPU time: 417.26 s
Current children cumulated vsize: 370244 KiB
Current children cumulated memory: 263276 KiB
[startup+418.8 s]
/proc/loadavg: 3.54 3.18 2.12 5/247 63813
/proc/meminfo: memFree=127552736/131382112 swapFree=33010684/33010684
[pid=63748] ppid=63733 vsize=370244 memory=263276 CPUtime=417.66 cores=5,7
/proc/63748/stat : 63748 (ExactPR) R 63733 63748 63651 0 -1 4194304 42592 0 0 0 41459 307 0 0 20 0 1 0 58893703 379129856 65819 18446744073709551615 94223267590144 94223276889989 140727115492848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94223278676288 94223278715368 94223289925632 140727115499909 140727115500044 140727115500044 140727115505646 0
/proc/63748/statm: 92561 65819 1856 2271 0 87199 0
Current children cumulated CPU time: 417.66 s
Current children cumulated vsize: 370244 KiB
Current children cumulated memory: 263276 KiB
Child status: 30
Real time (s): 418.823
CPU time (s): 417.694
CPU user time (s): 414.608
CPU system time (s): 3.08585
CPU usage (%): 99.7304
Max. virtual memory (cumulated for all children) (KiB): 370244
Max. memory (cumulated for all children) (KiB): 263276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 414.608
system time used= 3.08585
maximum resident set size= 310660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42608
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120
involuntary context switches= 468
# summary of solver processes directly reported to runsolver:
# pid: 63748
# total CPU time (s): 417.694
# total CPU user time (s): 414.608
# total CPU system time (s): 3.08585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.94767 second user time and 4.20887 second system time
The end
Begin job on nodeC005 at 2025-07-02 06:55:43 IDJOB=4503767 IDBENCH=155603 IDSOLVER=3324 FILE ID=nodeC005/4503767-1751432143 RUNJOBID= nodeC005-1751432143-63693 SLURM_JOB_ID= 9598384 Free space on /tmp= 430276 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503767-1751432143/watcher-4503767-1751432143 -o /tmp/evaluation-result-4503767-1751432143/solver-4503767-1751432143 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751432143-63693 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4503767-1751432143.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e RANDOM SEED=438381619 nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.593 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.90 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 : 1197.213 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.229 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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.90 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 : 1197.241 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.90 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 : 1197.671 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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.223 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 128652676 kB MemAvailable: 129954284 kB Buffers: 2752 kB Cached: 2099604 kB SwapCached: 0 kB Active: 417984 kB Inactive: 1749524 kB Active(anon): 74948 kB Inactive(anon): 8164 kB Active(file): 343036 kB Inactive(file): 1741360 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 51368 kB Writeback: 0 kB AnonPages: 68224 kB Mapped: 103484 kB Shmem: 17960 kB KReclaimable: 113680 kB Slab: 199384 kB SReclaimable: 113680 kB SUnreclaim: 85704 kB KernelStack: 3920 kB PageTables: 2804 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 339292 kB VmallocTotal: 34359738367 kB VmallocUsed: 149320 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 201544 kB DirectMap2M: 8089600 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430228 MiB End job on nodeC005 at 2025-07-02 07:02:42