Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | OPT | 5114519 | 666.7 | 668.998 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_5.opb |
| MD5SUM | 4bce0178dd52d2d263abed98aae07653 |
| 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 | 5114519 |
| Best CPU time to get the best result obtained on this benchmark | 353.176 |
| 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 | 145531576 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 56160700102 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 145531576 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 56160700102 |
| 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.41/0.47 o 217479385 0.41/0.48 o 119551629 0.60/0.69 o 57970777 0.60/0.69 o 44700891 0.69/0.70 o 44625555 0.69/0.70 o 44509075 0.69/0.70 o 44466851 0.69/0.71 o 44325251 0.69/0.72 o 42665727 0.69/0.73 o 42611143 0.69/0.75 o 42469397 0.69/0.77 o 42415829 0.89/0.91 o 42340493 1.00/1.07 o 30937747 1.00/1.08 o 30876139 1.00/1.08 o 30821731 1.00/1.09 o 30706369 1.00/1.09 o 30600739 1.10/1.11 o 26840599 1.10/1.12 o 26733349 1.10/1.12 o 26699379 1.10/1.13 o 26656401 1.10/1.17 o 26612379 1.19/1.24 o 26602189 1.19/1.30 o 21998297 1.28/1.31 o 16439743 1.28/1.31 o 16397343 1.28/1.32 o 16395735 1.28/1.32 o 16393225 1.28/1.36 o 16385751 1.38/1.44 o 16274077 1.68/1.70 o 16234837 2.88/2.96 o 16207739 2.88/2.97 o 16188475 2.99/3.01 o 16087075 2.99/3.04 o 16023637 2.99/3.04 o 15972069 2.99/3.06 o 15904101 2.99/3.07 o 15901287 2.99/3.10 o 15825365 3.38/3.49 o 15793717 3.57/3.68 o 15793521 3.67/3.77 o 15699057 3.87/3.96 o 15606371 4.08/4.14 o 15583313 4.08/4.15 o 15583247 4.37/4.43 o 15578585 4.48/4.58 o 15578073 5.09/5.17 o 15573265 5.09/5.19 o 15556849 5.17/5.25 o 15545925 5.27/5.32 o 15540111 5.27/5.33 o 15537205 5.47/5.58 o 15505225 5.47/5.59 o 15483489 5.57/5.61 o 15473985 5.57/5.64 o 15471399 6.27/6.35 o 15461023 7.16/7.23 o 15453471 7.16/7.26 o 15451955 7.26/7.36 o 15157745 7.26/7.38 o 15133075 7.36/7.40 o 15118651 7.36/7.45 o 15108325 7.46/7.53 o 15069781 7.46/7.56 o 15066667 7.67/7.70 o 15008833 8.36/8.47 o 12294095 8.46/8.50 o 12259831 8.46/8.52 o 12243661 8.46/8.54 o 12212557 8.56/8.65 o 12196901 8.56/8.67 o 12146205 8.66/8.72 o 12088749 8.66/8.74 o 12073093 8.76/8.80 o 12035845 8.76/8.84 o 11984491 8.76/8.87 o 11981863 8.76/8.88 o 11966173 8.86/8.90 o 10098549 8.86/8.92 o 10084535 8.86/8.97 o 10067813 8.97/9.01 o 10065185 8.97/9.08 o 10025535 9.07/9.12 o 10015047 9.07/9.14 o 9991053 9.16/9.25 o 9963043 9.26/9.34 o 9925625 16.94/17.01 o 9906617 16.94/17.04 o 9834265 16.94/17.08 o 9824167 17.04/17.12 o 9787015 17.04/17.16 o 9785863 17.04/17.18 o 9771287 17.23/17.36 o 9755631 17.23/17.38 o 9732959 17.33/17.48 o 9701311 17.43/17.58 o 9699267 17.53/17.60 o 9682669 17.63/17.71 o 9663573 17.63/17.76 o 9647365 17.83/17.92 o 9641753 17.94/18.01 o 9598737 17.94/18.03 o 9584723 18.42/18.60 o 9584319 18.52/18.67 o 9565727 18.52/18.69 o 9551713 18.62/18.74 o 9491863 18.62/18.79 o 9397613 18.82/18.91 o 9382365 19.12/19.21 o 9360593 19.32/19.41 o 9346943 19.42/19.54 o 9339863 19.52/19.65 o 9335875 19.63/19.72 o 9333367 19.63/19.75 o 9319199 19.63/19.79 o 9315423 20.72/20.87 o 9313743 20.82/20.90 o 9312119 21.03/21.13 o 9305323 21.03/21.16 o 9301887 21.42/21.55 o 9293825 21.42/21.59 o 9292069 21.93/22.03 o 9285105 22.41/22.50 o 9284615 22.41/22.53 o 9251295 22.41/22.56 o 9235639 22.51/22.65 o 9228821 22.81/22.92 o 9183151 22.81/22.96 o 9178805 22.92/23.02 o 9177707 23.21/23.36 o 9159189 24.91/25.07 o 9159021 25.41/25.53 o 9139309 25.41/25.57 o 9106423 41.05/41.28 o 9076055 41.15/41.31 o 9047455 41.55/41.78 o 9029663 42.15/42.31 o 8993453 45.33/45.52 o 8275427 45.33/45.55 o 8247667 45.43/45.63 o 8246761 45.43/45.67 o 8235511 45.73/45.93 o 8197261 45.73/45.96 o 8176863 46.03/46.24 o 8139271 46.13/46.34 o 8118481 46.13/46.38 o 8045089 46.23/46.41 o 8038509 46.33/46.50 o 8038117 46.73/46.95 o 8034871 46.94/47.13 o 8017023 46.94/47.16 o 8000703 46.94/47.19 o 7999871 47.03/47.28 o 7998367 47.32/47.52 o 7921997 47.42/47.64 o 7875385 47.42/47.69 o 7874317 47.52/47.73 o 7867737 47.52/47.79 o 7865995 47.62/47.83 o 7865603 47.72/47.92 o 7838531 47.72/47.95 o 7837463 47.72/48.00 o 7830883 47.84/48.10 o 7817393 47.93/48.14 o 7796995 47.93/48.18 o 7796603 48.22/48.40 o 7714283 48.22/48.43 o 7713215 48.22/48.48 o 7706635 48.42/48.61 o 7702859 48.83/49.03 o 7693371 48.83/49.07 o 7692303 49.22/49.43 o 7658245 49.32/49.53 o 7639943 49.62/49.83 o 7632863 49.72/50.00 o 7619579 49.84/50.04 o 7601995 49.94/50.18 o 7594703 50.02/50.25 o 7587845 51.32/51.59 o 7586089 51.62/51.87 o 7548881 51.72/51.96 o 7544831 51.72/52.00 o 7524433 51.83/52.06 o 7517461 51.83/52.10 o 7516393 52.31/52.52 o 7511295 52.41/52.62 o 7504499 53.21/53.45 o 7503233 54.01/54.25 o 7491377 54.40/54.65 o 7491209 55.60/55.87 o 7475799 55.70/55.93 o 7448621 55.81/56.02 o 7443959 55.81/56.09 o 7442861 57.29/57.55 o 7423587 58.59/58.84 o 7412515 58.69/58.91 o 7409563 58.80/59.09 o 7377057 59.29/59.52 o 7363567 67.96/68.28 o 7362121 68.26/68.52 o 7355983 69.77/70.06 o 6921951 75.24/75.59 o 6906921 75.34/75.64 o 6899109 76.13/76.45 o 6897583 76.13/76.47 o 6895509 76.23/76.50 o 6887697 83.61/83.94 o 6876675 83.61/84.00 o 6837823 86.60/86.90 o 6837731 89.09/89.41 o 6765883 89.09/89.44 o 6753001 89.09/89.48 o 6711043 89.19/89.52 o 6665077 89.19/89.55 o 6652997 89.29/89.60 o 6647213 89.39/89.70 o 6632569 89.39/89.73 o 6624497 89.39/89.76 o 6585113 89.59/89.99 o 6569615 90.09/90.47 o 6565329 91.48/91.87 o 6550937 91.58/91.98 o 6546651 91.69/92.03 o 6535747 92.28/92.62 o 6515963 109.82/110.26 o 6501209 109.82/110.29 o 6490015 109.92/110.35 o 6461015 110.42/110.86 o 6455031 110.42/110.87 o 6443895 110.52/110.91 o 6442665 110.52/110.94 o 6433893 110.82/111.29 o 6433595 110.92/111.30 o 6404981 110.92/111.32 o 6400695 111.52/111.98 o 6355021 112.51/112.96 o 6346843 151.38/152.00 o 6338549 164.33/165.00 o 6329195 164.45/165.02 o 6328539 164.45/165.05 o 6327891 164.45/165.07 o 6320165 164.45/165.09 o 6319509 164.63/165.22 o 6310123 164.63/165.24 o 6309781 164.63/165.26 o 6309133 164.63/165.28 o 6305887 164.73/165.38 o 6303405 164.83/165.40 o 6292419 164.93/165.50 o 6274305 165.14/165.70 o 6269071 165.14/165.74 o 6263497 165.24/165.84 o 6255711 165.34/165.90 o 6250477 165.84/166.48 o 6243417 165.94/166.53 o 6241999 165.94/166.58 o 6238487 166.04/166.69 o 6228597 166.55/167.14 o 6227413 167.54/168.14 o 6227163 167.63/168.20 o 6219825 167.63/168.23 o 6215589 167.63/168.28 o 6212691 167.73/168.39 o 6169341 167.93/168.51 o 6167241 167.93/168.55 o 6166935 167.93/168.57 o 6166593 168.23/168.83 o 6165797 168.23/168.85 o 6165149 168.33/168.91 o 6162865 168.33/168.94 o 6162217 168.33/168.96 o 6158971 168.33/168.99 o 6158323 168.44/169.02 o 6157981 168.54/169.19 o 6157897 168.62/169.23 o 6157555 168.62/169.26 o 6154309 168.62/169.28 o 6153661 168.82/169.48 o 6153103 168.92/169.52 o 6152761 168.92/169.55 o 6137881 169.02/169.67 o 6134325 169.12/169.70 o 6131085 169.12/169.73 o 6130437 169.12/169.76 o 6130095 169.53/170.18 o 6128429 169.62/170.21 o 6127781 169.72/170.35 o 6109317 169.72/170.39 o 6108669 169.82/170.42 o 6108327 169.82/170.46 o 6104433 170.02/170.60 o 6102609 197.93/198.65 o 6099307 197.93/198.67 o 6090769 198.03/198.75 o 6078759 198.13/198.85 o 6068655 198.13/198.87 o 6067061 198.63/199.32 o 6063021 198.63/199.34 o 6059381 199.44/200.19 o 6003179 199.52/200.21 o 5986981 216.46/217.20 o 5975461 260.71/261.63 o 5915271 300.38/301.48 o 5913757 300.48/301.51 o 5913575 300.48/301.53 o 5911165 300.48/301.56 o 5910365 300.48/301.58 o 5908827 300.58/301.61 o 5908645 300.58/301.68 o 5893799 300.68/301.70 o 5892261 301.47/302.54 o 5890773 301.47/302.56 o 5889235 302.77/303.80 o 5888677 302.77/303.83 o 5888495 302.87/303.92 o 5887317 302.87/303.96 o 5886343 302.87/303.99 o 5884805 305.26/306.33 o 5874021 305.26/306.37 o 5873839 314.13/315.21 o 5847677 314.33/315.49 o 5845165 351.20/352.46 o 5452427 354.90/356.19 o 5451551 387.48/388.82 o 5441959 387.48/388.83 o 5427565 387.87/389.29 o 5392413 387.97/389.31 o 5366163 387.97/389.32 o 5353299 387.97/389.36 o 5349195 392.16/393.60 o 5327315 392.26/393.64 o 5319275 392.46/393.84 o 5318075 407.91/409.34 o 5314853 421.07/422.59 o 5311685 421.17/422.61 o 5309579 425.95/427.47 o 5307971 426.56/428.05 o 5305205 448.59/450.14 o 5269215 448.59/450.14 o 5243089 448.59/450.15 o 5239425 448.59/450.15 o 5233903 448.59/450.16 o 5233009 448.87/450.40 o 5213097 449.48/451.02 o 5192745 451.48/453.03 o 5191485 451.48/453.06 o 5186449 451.96/453.50 o 5184241 451.96/453.53 o 5183599 451.96/453.59 o 5182339 452.16/453.74 o 5177867 452.16/453.77 o 5171715 452.85/454.46 o 5159869 452.95/454.58 o 5158537 454.35/455.97 o 5128169 457.64/459.27 o 5122647 461.82/463.40 o 5121635 470.42/472.09 o 5118083 479.38/481.01 o 5115851 479.57/481.25 o 5114519 666.60/668.98 s OPTIMUM FOUND 666.60/668.98 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 5114519
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: 64096 MiB (61959 MiB free)
memory of node 1: 64473 MiB (62334 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433269-1721135303/watcher-4433269-1721135303 -o /tmp/evaluation-result-4433269-1721135303/solver-4433269-1721135303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721131190-849821 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1013062003 HOME/instance-4433269-1721135303.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64SLinux 4.18.0-301.1.el8.x86_64Starting watchdog threadl
Current StackSize limit: 8192 KiB
solver pid=852045, runsolver pid=852042
[startup+0.100096 s]*
/proc/loadavg: 4.03 4.14 4.16 5/242 852046
/proc/meminfo: memFree=127255256/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=48108 memory=25868 CPUtime=0.11 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 6578 0 0 0 10 1 0 0 20 0 1 0 165686153 49262592 6467 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 12027 6467 1076 1005 0 10790 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 48108 KiB
Current children cumulated memory: 25868 KiB
[startup+0.213045 s]*
/proc/loadavg: 4.03 4.14 4.16 6/242 852046
/proc/meminfo: memFree=127253652/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=48956 memory=26920 CPUtime=0.22 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 6817 0 0 0 21 1 0 0 20 0 1 0 165686153 50130944 6730 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 12239 6730 1076 1005 0 11002 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 48956 KiB
Current children cumulated memory: 26920 KiB
[startup+0.313222 s]*
/proc/loadavg: 4.03 4.14 4.16 5/242 852046
/proc/meminfo: memFree=127253496/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=48956 memory=26920 CPUtime=0.32 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 6836 0 0 0 31 1 0 0 20 0 1 0 165686153 50130944 6730 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 12239 6730 1076 1005 0 11002 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 48956 KiB
Current children cumulated memory: 26920 KiB
[startup+0.700349 s]
/proc/loadavg: 4.03 4.14 4.16 5/242 852046
/proc/meminfo: memFree=127253036/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=49228 memory=30464 CPUtime=0.69 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 7150 0 0 0 68 1 0 0 20 0 1 0 165686153 50409472 7616 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 12307 7616 1124 1005 0 11070 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49228 KiB
Current children cumulated memory: 30464 KiB
[startup+1.50037 s]
/proc/loadavg: 4.03 4.14 4.16 5/242 852046
/proc/meminfo: memFree=127245244/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=55564 memory=42672 CPUtime=1.48 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 8719 0 0 0 147 1 0 0 20 0 1 0 165686153 56897536 10668 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 13891 10668 1124 1005 0 12654 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55564 KiB
Current children cumulated memory: 42672 KiB
[startup+3.11273 s]
/proc/loadavg: 4.03 4.14 4.16 5/242 852046
/proc/meminfo: memFree=127217736/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=77148 memory=61536 CPUtime=3.09 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 11604 0 0 0 307 2 0 0 20 0 1 0 165686153 78999552 15384 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 19287 15384 1124 1005 0 18050 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 77148 KiB
Current children cumulated memory: 61536 KiB
[startup+6.30033 s]
/proc/loadavg: 4.03 4.14 4.16 5/242 852047
/proc/meminfo: memFree=127203504/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=86716 memory=76404 CPUtime=6.27 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 13778 0 0 0 623 4 0 0 20 0 1 0 165686153 88797184 19101 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 21679 19101 1140 1005 0 20442 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 86716 KiB
Current children cumulated memory: 76404 KiB
[startup+12.7003 s]
/proc/loadavg: 4.02 4.14 4.15 5/242 852047
/proc/meminfo: memFree=127169432/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=123928 memory=101468 CPUtime=12.64 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 17987 0 0 0 1257 7 0 0 20 0 1 0 165686153 126902272 25367 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 30982 25367 1140 1005 0 29745 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 123928 KiB
Current children cumulated memory: 101468 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.15 4.16 5/242 852049
/proc/meminfo: memFree=127099604/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=190476 memory=159844 CPUtime=25.41 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 24374 0 0 0 2529 12 0 0 20 0 1 0 165686153 195047424 39961 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 47619 39961 1140 1005 0 46382 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 190476 KiB
Current children cumulated memory: 159844 KiB
[startup+51.1131 s]
/proc/loadavg: 4.13 4.15 4.16 5/244 852059
/proc/meminfo: memFree=127024860/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=300000 memory=222472 CPUtime=50.93 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 33078 0 0 0 5074 19 0 0 20 0 1 0 165686153 307200000 55618 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 75000 55618 1140 1005 0 73763 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 300000 KiB
Current children cumulated memory: 222472 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/244 852071
/proc/meminfo: memFree=126983040/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=319340 memory=260612 CPUtime=101.95 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 37658 0 0 0 10166 29 0 0 20 0 1 0 165686153 327004160 65153 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 79835 65153 1140 1005 0 78598 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 319340 KiB
Current children cumulated memory: 260612 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.16 4.16 5/244 852081
/proc/meminfo: memFree=126946300/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=336600 memory=274984 CPUtime=161.75 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 41371 0 0 0 16136 39 0 0 20 0 1 0 165686153 344678400 68746 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 84150 68746 1140 1005 0 82913 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 336600 KiB
Current children cumulated memory: 274984 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/245 852092
/proc/meminfo: memFree=126910412/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=341288 memory=279676 CPUtime=221.54 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 42588 0 0 0 22103 51 0 0 20 0 1 0 165686153 349478912 69919 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 85322 69919 1140 1005 0 84085 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 341288 KiB
Current children cumulated memory: 279676 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/245 852103
/proc/meminfo: memFree=126840532/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=353532 memory=291300 CPUtime=281.34 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 45144 0 0 0 28074 60 0 0 20 0 1 0 165686153 362016768 72825 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 88383 72825 1140 1005 0 87146 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 353532 KiB
Current children cumulated memory: 291300 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/245 852113
/proc/meminfo: memFree=126809892/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=360828 memory=297432 CPUtime=341.14 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 46708 0 0 0 34042 72 0 0 20 0 1 0 165686153 369487872 74358 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 90207 74358 1140 1005 0 88970 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 360828 KiB
Current children cumulated memory: 297432 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/242 852124
/proc/meminfo: memFree=126767316/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=361200 memory=298044 CPUtime=400.93 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 46880 0 0 0 40010 83 0 0 20 0 1 0 165686153 369868800 74511 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 90300 74511 1140 1005 0 89063 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 361200 KiB
Current children cumulated memory: 298044 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/242 852135
/proc/meminfo: memFree=126741856/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=363336 memory=300340 CPUtime=460.73 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 47457 0 0 0 45977 96 0 0 20 0 1 0 165686153 372056064 75085 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 90834 75085 1198 1005 0 89597 0
Current children cumulated CPU time: 460.73 s
Current children cumulated vsize: 363336 KiB
Current children cumulated memory: 300340 KiB
[startup+522.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/241 852145
/proc/meminfo: memFree=126726536/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=366136 memory=303028 CPUtime=520.53 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 48224 0 0 0 51946 107 0 0 20 0 1 0 165686153 374923264 75757 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 91534 75757 1198 1005 0 90297 0
Current children cumulated CPU time: 520.53 s
Current children cumulated vsize: 366136 KiB
Current children cumulated memory: 303028 KiB
[startup+582.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/241 852155
/proc/meminfo: memFree=126711516/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=366996 memory=304132 CPUtime=580.32 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 48523 0 0 0 57912 120 0 0 20 0 1 0 165686153 375803904 76033 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 91749 76033 1198 1005 0 90512 0
Current children cumulated CPU time: 580.32 s
Current children cumulated vsize: 366996 KiB
Current children cumulated memory: 304132 KiB
[startup+642.3 s]
/proc/loadavg: 4.23 4.15 4.14 5/241 852166
/proc/meminfo: memFree=126697664/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=367596 memory=304588 CPUtime=640.1 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 48679 0 0 0 63880 130 0 0 20 0 1 0 165686153 376418304 76147 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 91899 76147 1198 1005 0 90662 0
Current children cumulated CPU time: 640.1 s
Current children cumulated vsize: 367596 KiB
Current children cumulated memory: 304588 KiB
[startup+668.998 s]
# the end of solver process 852045 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=665.331 s, system=1.36936 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 4.19 4.14 4.14 5/241 852168
/proc/meminfo: memFree=126646968/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=367596 memory=304588 CPUtime=650.56 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 48680 0 0 0 64925 131 0 0 20 0 1 0 165686153 376418304 76147 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 91899 76147 1198 1005 0 90662 0
Current children cumulated CPU time: 650.56 s
Current children cumulated vsize: 367596 KiB
Current children cumulated memory: 304588 KiB
[startup+659.2 s]
/proc/loadavg: 4.18 4.14 4.14 5/241 852169
/proc/meminfo: memFree=126601548/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=367596 memory=304588 CPUtime=656.92 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 48698 0 0 0 65559 133 0 0 20 0 1 0 165686153 376418304 76147 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 91899 76147 1198 1005 0 90662 0
Current children cumulated CPU time: 656.92 s
Current children cumulated vsize: 367596 KiB
Current children cumulated memory: 304588 KiB
[startup+665.6 s]
/proc/loadavg: 4.15 4.13 4.14 5/241 852170
/proc/meminfo: memFree=126601296/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=367596 memory=304588 CPUtime=663.3 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 48705 0 0 0 66197 133 0 0 20 0 1 0 165686153 376418304 76147 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 91899 76147 1198 1005 0 90662 0
Current children cumulated CPU time: 663.3 s
Current children cumulated vsize: 367596 KiB
Current children cumulated memory: 304588 KiB
[startup+667.2 s]
/proc/loadavg: 4.15 4.13 4.14 5/241 852172
/proc/meminfo: memFree=126601184/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=367596 memory=304588 CPUtime=664.9 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 48710 0 0 0 66355 135 0 0 20 0 1 0 165686153 376418304 76147 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 91899 76147 1198 1005 0 90662 0
Current children cumulated CPU time: 664.9 s
Current children cumulated vsize: 367596 KiB
Current children cumulated memory: 304588 KiB
[startup+668 s]*
/proc/loadavg: 4.15 4.13 4.14 5/241 852172
/proc/meminfo: memFree=126600940/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=367596 memory=304712 CPUtime=665.71 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 48711 0 0 0 66435 136 0 0 20 0 1 0 165686153 376418304 76178 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 91899 76178 1198 1005 0 90662 0
Current children cumulated CPU time: 665.71 s
Current children cumulated vsize: 367596 KiB
Current children cumulated memory: 304712 KiB
[startup+668.4 s]
/proc/loadavg: 4.15 4.13 4.14 5/241 852172
/proc/meminfo: memFree=126600940/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=367596 memory=304712 CPUtime=666.1 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 48711 0 0 0 66474 136 0 0 20 0 1 0 165686153 376418304 76178 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 91899 76178 1198 1005 0 90662 0
Current children cumulated CPU time: 666.1 s
Current children cumulated vsize: 367596 KiB
Current children cumulated memory: 304712 KiB
[startup+668.8 s]
/proc/loadavg: 4.15 4.13 4.14 5/241 852172
/proc/meminfo: memFree=126600940/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=367596 memory=304712 CPUtime=666.5 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 48712 0 0 0 66514 136 0 0 20 0 1 0 165686153 376418304 76178 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 91899 76178 1198 1005 0 90662 0
Current children cumulated CPU time: 666.5 s
Current children cumulated vsize: 367596 KiB
Current children cumulated memory: 304712 KiB
[startup+668.9 s]
/proc/loadavg: 4.15 4.13 4.14 5/241 852172
/proc/meminfo: memFree=126600940/131655788 swapFree=131071996/131071996
[pid=852045] ppid=852042 vsize=367596 memory=304712 CPUtime=666.6 cores=0,2
/proc/852045/stat : 852045 (Exact) R 852042 852045 849811 0 -1 4194304 48712 0 0 0 66524 136 0 0 20 0 1 0 165686153 376418304 76178 134679101440 4194304 8309489 140724640983216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 24780800 140724640986046 140724640986216 140724640986216 140724640993231 0
/proc/852045/statm: 91899 76178 1198 1005 0 90662 0
Current children cumulated CPU time: 666.6 s
Current children cumulated vsize: 367596 KiB
Current children cumulated memory: 304712 KiB
Child status: 30
Real time (s): 668.998
CPU time (s): 666.7
CPU user time (s): 665.331
CPU system time (s): 1.36936
CPU usage (%): 99.6566
Max. virtual memory (cumulated for all children) (KiB): 380304
Max. memory (cumulated for all children) (KiB): 304712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 665.331
system time used= 1.36936
maximum resident set size= 305076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48863
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= 2
involuntary context switches= 4723
# summary of solver processes directly reported to runsolver:
# pid: 852045
# total CPU time (s): 666.7
# total CPU user time (s): 665.331
# total CPU system time (s): 1.36936
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.81978 second user time and 6.97861 second system time
The end
Begin job on nodeC004 at 2024-07-16 15:08:35 IDJOB=4433269 IDBENCH=155620 IDSOLVER=3060 FILE ID=nodeC004/4433269-1721135303 RUNJOBID= nodeC004-1721131190-849821 SLURM_JOB_ID= 7505699 Free space on /tmp= 723760 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_5.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433269-1721135303/watcher-4433269-1721135303 -o /tmp/evaluation-result-4433269-1721135303/solver-4433269-1721135303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721131190-849821 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1013062003 HOME/instance-4433269-1721135303.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4bce0178dd52d2d263abed98aae07653 RANDOM SEED=1013062003 nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3492.191 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 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 : 3637.970 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 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.311 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.387 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 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 : 3656.207 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 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 : 3638.075 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 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.522 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 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.564 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127277328 kB MemAvailable: 127981612 kB Buffers: 423908 kB Cached: 1117684 kB SwapCached: 0 kB Active: 759516 kB Inactive: 3079248 kB Active(anon): 3368 kB Inactive(anon): 2331216 kB Active(file): 756148 kB Inactive(file): 748032 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6232 kB Writeback: 0 kB AnonPages: 2296964 kB Mapped: 118072 kB Shmem: 37700 kB KReclaimable: 80608 kB Slab: 176284 kB SReclaimable: 80608 kB SUnreclaim: 95676 kB KernelStack: 3900 kB PageTables: 13924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 3165424 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 52960 kB HardwareCorrupted: 0 kB AnonHugePages: 1245184 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 189256 kB DirectMap2M: 14395392 kB DirectMap1G: 121634816 kB Free space on /tmp at the end= 723756 MiB End job on nodeC004 at 2024-07-16 15:19:45