| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | OPT cert. | 32 | 701.429 | 687.542 |
| Name | PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb |
| MD5SUM | 3f10ffbf957f8216a1934b9362956d36 |
| 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 | 32 |
| Best CPU time to get the best result obtained on this benchmark | 0.861547 |
| 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 | 11744 |
| Total number of constraints | 798 |
| Number of constraints which are clauses | 366 |
| Number of constraints which are cardinality constraints (but not clauses) | 366 |
| Number of constraints which are nor clauses,nor cardinality constraints | 66 |
| Minimum length of a constraint | 32 |
| Maximum length of a constraint | 367 |
| Number of terms in the objective function | 32 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 32 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 133314 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 283127 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.10/0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.10/0.15 c This is free software under the dual EPL/GNU LGPL licenses. 0.10/0.15 c See www.sat4j.org for details. 0.10/0.16 c version PB25.v20250606 0.10/0.19 c java.runtime.name OpenJDK Runtime Environment 0.10/0.19 c java.vm.name OpenJDK 64-Bit Server VM 0.10/0.19 c java.vm.version 22.0.1+8-16 0.10/0.19 c java.vm.vendor Oracle Corporation 0.10/0.19 c sun.arch.data.model 64 0.10/0.19 c java.version 22.0.1 0.10/0.19 c os.name Linux 0.10/0.19 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.10/0.19 c os.arch amd64 0.10/0.20 c Free memory 2104792832 0.10/0.20 c Max memory 16282288128 0.10/0.20 c Total memory 2113929216 0.24/0.21 c Number of processors 2 0.24/0.29 c Pseudo Boolean Optimization by upper bound 0.24/0.29 c --- Begin Solver configuration --- 0.24/0.29 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.24/0.29 c Learn all clauses as in MiniSAT 0.24/0.29 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.29 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.24/0.29 c Expensive reason simplification 0.24/0.29 c Glucose 2.1 dynamic restart strategy 0.24/0.29 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.24/0.29 c timeout=2147483s 0.24/0.29 c DB Simplification allowed=false 0.24/0.29 c Listener: none 0.24/0.29 c --- End Solver configuration --- 0.24/0.30 c solving HOME/instance-4509617-1751523061.opb 0.24/0.30 c reading problem ... 0.37/0.32 c using VERIPB proof format 0.37/0.33 c objective function found 0.72/0.58 c ... done. Wall clock time 0.286s. 0.72/0.58 c declared #vars 11744 0.72/0.59 c #constraints 798 0.72/0.59 c constraints type 0.72/0.59 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 366 0.72/0.59 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 65 0.72/0.59 c org.sat4j.specs.Constr$1 => 1 0.72/0.59 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 366 0.72/0.59 c 798 constraints processed. 0.72/0.60 c objective function length is 32 literals 3.86/2.17 c cleaning 2489 clauses out of 5001 with flag 14609/5001 6.02/3.22 c cleaning 4247 clauses out of 8512 with flag 31783/11001 7.09/4.06 c cleaning 5621 clauses out of 11265 with flag 53776/18001 8.90/5.39 c cleaning 6812 clauses out of 13643 with flag 88992/26000 10.75/7.14 c cleaning 7898 clauses out of 15833 with flag 117124/35002 12.34/8.70 c cleaning 8947 clauses out of 17933 with flag 150169/45000 14.08/10.30 c cleaning 9978 clauses out of 19987 with flag 186132/56001 15.83/12.01 c cleaning 10988 clauses out of 22008 with flag 237439/68000 17.85/13.93 c cleaning 11990 clauses out of 24021 with flag 308105/81001 20.05/16.03 c cleaning 13010 clauses out of 26034 with flag 348606/95004 22.23/18.21 c cleaning 14000 clauses out of 28021 with flag 379465/110001 23.90/19.82 c cleaning 14995 clauses out of 30021 with flag 413218/126001 25.72/21.51 c cleaning 15994 clauses out of 32025 with flag 448861/143000 27.56/23.31 c cleaning 16996 clauses out of 34031 with flag 486615/161000 29.71/25.44 c cleaning 17999 clauses out of 36035 with flag 526228/180000 31.70/27.45 c cleaning 19005 clauses out of 38036 with flag 568045/200000 33.90/29.65 c cleaning 19996 clauses out of 40031 with flag 611715/221000 36.52/32.51 c cleaning 21002 clauses out of 42036 with flag 657792/243001 38.83/34.81 c cleaning 22001 clauses out of 44035 with flag 705323/266002 41.22/37.29 c cleaning 22999 clauses out of 46032 with flag 755422/290000 43.86/39.82 c cleaning 23994 clauses out of 48035 with flag 820154/315002 47.35/43.08 c cleaning 24999 clauses out of 50040 with flag 922811/341001 51.24/46.92 c cleaning 26009 clauses out of 52040 with flag 1021493/368000 54.21/49.84 c cleaning 27006 clauses out of 54032 with flag 1093086/396001 57.42/53.02 c cleaning 28007 clauses out of 56028 with flag 1168532/425003 60.60/56.19 c cleaning 28990 clauses out of 58018 with flag 1241174/455000 64.61/60.07 c cleaning 29997 clauses out of 60029 with flag 1313636/486001 69.03/64.55 c cleaning 30999 clauses out of 62031 with flag 1402658/518000 76.65/72.11 c cleaning 31999 clauses out of 64033 with flag 1503259/551001 80.64/75.95 c cleaning 33008 clauses out of 66033 with flag 1583998/585000 85.28/80.49 c cleaning 33991 clauses out of 68028 with flag 1662841/620003 89.80/84.88 c cleaning 35009 clauses out of 70035 with flag 1763357/656001 93.39/88.45 c cleaning 35995 clauses out of 72026 with flag 1864257/693001 97.66/92.62 c cleaning 36993 clauses out of 74030 with flag 1940256/731000 103.40/98.50 c cleaning 37997 clauses out of 76038 with flag 2018258/770001 108.00/103.18 c cleaning 39000 clauses out of 78041 with flag 2098263/810001 113.72/108.82 c cleaning 40001 clauses out of 80041 with flag 2180267/851001 118.67/113.52 c cleaning 41004 clauses out of 82039 with flag 2296910/893000 124.28/119.06 c cleaning 42000 clauses out of 84036 with flag 2427225/936001 129.34/124.26 c cleaning 43009 clauses out of 86036 with flag 2550914/980001 134.10/128.92 c cleaning 44001 clauses out of 88026 with flag 2654510/1025000 139.45/134.16 c cleaning 45003 clauses out of 90027 with flag 2756093/1071002 145.34/139.93 c cleaning 45995 clauses out of 92022 with flag 2857470/1118000 150.73/145.23 c cleaning 47004 clauses out of 94028 with flag 2962774/1166001 155.66/150.03 c cleaning 47998 clauses out of 96023 with flag 3075684/1215000 161.70/155.92 c cleaning 48995 clauses out of 98025 with flag 3236218/1265000 168.25/162.31 c cleaning 50005 clauses out of 100030 with flag 3353558/1316000 174.48/168.18 c cleaning 50991 clauses out of 102026 with flag 3517364/1368001 181.95/175.55 c cleaning 52011 clauses out of 104035 with flag 3752020/1421001 191.06/184.30 c cleaning 52997 clauses out of 106024 with flag 3872027/1475001 197.20/190.39 c cleaning 54001 clauses out of 108027 with flag 4002235/1530001 202.78/195.88 c cleaning 55001 clauses out of 110026 with flag 4145839/1586001 210.90/203.60 c cleaning 55995 clauses out of 112024 with flag 4269870/1643000 218.00/210.62 c cleaning 57009 clauses out of 114029 with flag 4468860/1701000 226.20/218.73 c cleaning 57981 clauses out of 116020 with flag 4643527/1760000 241.29/233.38 c cleaning 58993 clauses out of 118041 with flag 4858390/1820002 255.83/247.50 c cleaning 59999 clauses out of 120046 with flag 5065316/1881000 272.51/263.98 c cleaning 60997 clauses out of 122049 with flag 5273138/1943002 291.04/283.14 c cleaning 61997 clauses out of 124051 with flag 5511257/2006001 301.73/293.77 c cleaning 63014 clauses out of 126055 with flag 5674180/2070002 311.25/303.01 c cleaning 64010 clauses out of 128041 with flag 5804900/2135002 318.67/310.55 c cleaning 65010 clauses out of 130029 with flag 5950813/2201000 326.80/317.91 c cleaning 65997 clauses out of 132019 with flag 6131441/2268000 335.92/327.06 c cleaning 67004 clauses out of 134026 with flag 6267457/2336004 345.94/337.06 c cleaning 67997 clauses out of 136019 with flag 6405462/2405001 356.42/347.70 c cleaning 68998 clauses out of 138021 with flag 6549965/2475000 364.10/355.13 c cleaning 70003 clauses out of 140024 with flag 6734960/2546001 372.91/363.89 c cleaning 71002 clauses out of 142020 with flag 6902097/2618000 380.43/371.22 c cleaning 71998 clauses out of 144018 with flag 7087677/2691000 390.38/380.84 c cleaning 73003 clauses out of 146020 with flag 7285117/2765000 399.21/389.11 c cleaning 73994 clauses out of 148018 with flag 7448184/2840001 408.21/398.03 c cleaning 74998 clauses out of 150023 with flag 7602516/2916000 419.88/409.67 c cleaning 75999 clauses out of 152025 with flag 7756852/2993000 428.58/418.20 c cleaning 77006 clauses out of 154028 with flag 7928567/3071002 441.09/430.56 c cleaning 78001 clauses out of 156021 with flag 8120376/3150001 451.18/440.78 c cleaning 78999 clauses out of 158019 with flag 8289981/3230000 461.80/451.25 c cleaning 79995 clauses out of 160020 with flag 8456707/3311000 472.58/461.85 c cleaning 80996 clauses out of 162025 with flag 8633617/3393000 485.14/474.88 c cleaning 82000 clauses out of 164030 with flag 8810309/3476001 495.11/484.54 c cleaning 83006 clauses out of 166030 with flag 8997223/3560001 505.14/494.34 c cleaning 83999 clauses out of 168024 with flag 9172415/3645001 513.87/502.91 c cleaning 85002 clauses out of 170024 with flag 9375046/3731000 524.86/513.68 c cleaning 86000 clauses out of 172023 with flag 9617090/3818001 535.38/524.12 c cleaning 86999 clauses out of 174022 with flag 9825315/3906000 545.68/534.36 c cleaning 87994 clauses out of 176024 with flag 10020525/3995001 562.19/550.35 c cleaning 88995 clauses out of 178029 with flag 10223862/4085000 575.80/564.40 c cleaning 90001 clauses out of 180034 with flag 10426121/4176000 588.04/576.18 c cleaning 90998 clauses out of 182033 with flag 10665183/4268000 599.91/587.05 c cleaning 92008 clauses out of 184036 with flag 10861007/4361001 614.25/601.16 c cleaning 93005 clauses out of 186027 with flag 11068196/4455000 628.24/614.90 c cleaning 93989 clauses out of 188024 with flag 11279546/4550002 644.47/631.15 c cleaning 94995 clauses out of 190035 with flag 11471547/4646002 665.37/651.62 c cleaning 95996 clauses out of 192038 with flag 11665543/4743000 680.89/666.83 c cleaning 97007 clauses out of 194042 with flag 11894355/4841000 692.21/678.36 c cleaning 98005 clauses out of 196036 with flag 12111700/4940001 701.09/686.98 c SATISFIABLE 701.09/686.98 c OPTIMIZING... 701.09/686.98 c Got one! Elapsed wall clock time (in seconds):686.689 701.09/686.98 o 32 701.23/687.42 c starts : 5445 701.23/687.42 c conflicts : 5021593 701.23/687.42 c decisions : 11658142 701.23/687.42 c propagations : 366775143 701.23/687.42 c inspects : 1444142754 701.23/687.42 c shortcuts : 0 701.23/687.42 c learnt literals : 0 701.23/687.42 c learnt binary clauses : 0 701.23/687.42 c learnt ternary clauses : 0 701.23/687.42 c learnt constraints : 5021593 701.23/687.42 c ignored constraints : 0 701.23/687.42 c root simplifications : 0 701.23/687.42 c removed literals (reason simplification) : 460254 701.23/687.42 c reason swapping (by a shorter reason) : 0 701.23/687.42 c Calls to reduceDB : 95 701.23/687.42 c Number of update (reduction) of LBD : 381481 701.23/687.42 c Imported unit clauses : 0 701.23/687.42 c No decision after first conflict : false 701.23/687.42 c number of reductions to clauses (during analyze) : 0 701.23/687.42 c number of learned constraints concerned by reduction : 0 701.23/687.42 c number of learning phase by resolution : 0 701.23/687.42 c number of learning phase by cutting planes : 0 701.23/687.42 c number of rounding to 1 operations : 0 701.23/687.42 c number of easy rounding to 1 operations (no literal elimination needed) : 0 701.23/687.42 c number of reductions of the coefficients by power 2 : 0 701.23/687.42 c number of right shift for reduction by power 2 : 0 701.23/687.42 c number of reductions of the coefficients by GCD over coefficients : 0 701.23/687.42 c number of ending skipping : 0 701.23/687.42 c number of internal skipping : 0 701.23/687.42 c number of derivation steps : 0 701.23/687.42 c number of skipped derivation steps : 0 701.23/687.42 c number of remaining unassigned : 0 701.23/687.42 c number of remaining assigned : 0 701.23/687.42 c number of falsified literals weakened from reason : 0 701.23/687.42 c number of falsified literals weakened from conflict : 0 701.23/687.42 c time for arithmetic operations : 0 701.23/687.42 c minimum degree of deleted constraints : null 701.23/687.42 c maximum degree of deleted constraints : null 701.23/687.42 c number of deleted constraints : 0 701.23/687.43 c speed (assignments/second) : 534027.8636418568 701.23/687.43 c non guided choices : 840059 701.23/687.48 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 179623 701.23/687.48 s OPTIMUM FOUND 701.23/687.48 c Found 1 solution(s) 701.23/687.49 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 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 x5197 -x5198 -x5199 x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 x5361 -x5362 -x5363 -x5364 x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 x5431 x5432 -x5433 x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 x5678 -x5679 x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 x5882 -x5883 -x5884 -x5885 -x5886 -x5887 x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 x5902 -x5903 x5904 -x5905 -x5906 -x5907 -x5908 x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 x5944 x5945 x5946 -x5947 -x5948 x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 x6280 -x6281 -x6282 x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 x6787 -x6788 -x6789 -x6790 -x6791 -x6792 x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 x6845 -x6846 -x6847 -x6848 -x6849 x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 x7707 -x7708 x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 x7735 -x7736 -x7737 x7738 -x7739 x7740 -x7741 x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 x7855 -x7856 -x7857 x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 x8090 -x8091 -x8092 -x8093 x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 x8159 -x8160 x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 x8234 x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 x8482 -x8483 -x8484 x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 x8701 -x8702 -x8703 x8704 -x8705 -x8706 -x8707 -x8708 -x8709 x8710 x8711 -x8712 -x8713 x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 x8894 -x8895 -x8896 -x8897 -x8898 -x8899 x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 x9269 -x9270 -x9271 x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 x9612 x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 x9861 -x9862 -x9863 -x9864 -x9865 x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 x10006 x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 x10102 -x10103 -x10104 -x10105 -x10106 x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 x10130 -x10131 x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 x10442 -x10443 -x10444 -x10445 x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 x10688 -x10689 -x10690 -x10691 -x10692 x10693 -x10694 -x10695 x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 x10951 -x10952 x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 x10999 -x11000 -x11001 -x11002 -x11003 x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 x11154 -x11155 -x11156 -x11157 -x11158 -x11159 x11160 -x11161 -x11162 -x11163 x11164 -x11165 x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 x11268 -x11269 -x11270 -x11271 -x11272 -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 x11308 -x11309 -x11310 -x11311 -x11312 -x11313 x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 x11354 -x11355 -x11356 -x11357 x11358 -x11359 -x11360 x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 x11717 x11718 -x11719 -x11720 -x11721 -x11722 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11733 -x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 -x11744 701.23/687.49 c objective function=32 701.23/687.49 c Total wall clock time (in seconds): 687.197
OK 32
Thu Jul 3 10:47:18 CEST 2025 extraparms= -- veripb -- Running VeriPB version 2.3.0 s VERIFIED BOUNDS 0 <= obj <= 32 Verification succeeded. -- cakepb -- s VERIFIED BOUNDS 0 <= obj <= 32 --summary-- ALL OK
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: 63794 MiB (31985 MiB free)
memory of node 1: 64507 MiB (15018 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509617-1751523061/watcher-4509617-1751523061 -o /tmp/evaluation-result-4509617-1751523061/solver-4509617-1751523061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751516281-73980 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509617-1751523061 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509617-1751523061.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=75541, runsolver pid=75538
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.36 4.36 4.37 5/331 75559
/proc/meminfo: memFree=48112500/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=18930384 memory=48260 CPUtime=0.1 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 5786 0 0 0 7 3 0 0 20 0 18 0 67985000 19384713216 12065 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4732596 12065 5302 1 0 546986 0
[pid=75541/tid=75543] ppid=75538 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) R 75538 75541 73970 0 -1 4194368 4680 0 0 0 5 2 0 0 20 0 18 0 67985002 19384713216 12065 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67985006 19384713216 12065 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=18930384 memory=61792617516369 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67985007 19384713216 12065 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48260 KiB
[startup+0.205916 s]*
/proc/loadavg: 4.36 4.36 4.37 7/331 75559
/proc/meminfo: memFree=48105380/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=18930384 memory=55480 CPUtime=0.24 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 6516 0 0 0 20 4 0 0 20 0 18 0 67985000 19384713216 13870 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4732596 13870 5334 1 0 547582 0
[pid=75541/tid=75543] ppid=75538 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) R 75538 75541 73970 0 -1 4194368 5004 0 0 0 15 2 0 0 20 0 18 0 67985002 19384713216 13870 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=18930384 memory=1593 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67985006 19384713216 13870 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=18930384 memory=60693105869820 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67985007 19384713216 13870 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55480 KiB
[startup+0.305881 s]*
/proc/loadavg: 4.36 4.36 4.37 4/331 75559
/proc/meminfo: memFree=48088936/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=18930384 memory=59012 CPUtime=0.37 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 6842 0 0 0 32 5 0 0 20 0 18 0 67985000 19384713216 14753 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4732596 14753 5398 1 0 547817 0
[pid=75541/tid=75543] ppid=75538 vsize=18930384 memory=-6000919472740067176 CPUtime=0.27 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) D 75538 75541 73970 0 -1 4456512 5203 0 0 0 24 3 0 0 20 0 18 0 67985002 19384713216 14753 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67985006 19384713216 14753 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67985007 19384713216 14753 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59012 KiB
[startup+0.700257 s]
/proc/loadavg: 4.36 4.36 4.37 6/331 75559
/proc/meminfo: memFree=48064360/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=18996948 memory=135772 CPUtime=1.09 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 9152 0 0 0 101 8 0 0 20 0 19 0 67985000 19452874752 33943 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4749237 33943 5462 1 0 549495 0
[pid=75541/tid=75543] ppid=75538 vsize=18996948 memory=18560 CPUtime=0.64 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) R 75538 75541 73970 0 -1 4194368 5417 0 0 0 59 5 0 0 20 0 19 0 67985002 19452874752 33943 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67985006 19452874752 33943 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67985007 19452874752 33943 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 135772 KiB
[startup+1.50024 s]
/proc/loadavg: 4.36 4.36 4.37 6/333 75561
/proc/meminfo: memFree=47989644/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=19063512 memory=178556 CPUtime=2.66 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 16651 0 0 0 256 10 0 0 20 0 20 0 67985000 19521036288 44639 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4765878 44639 5526 1 0 552499 0
[pid=75541/tid=75543] ppid=75538 vsize=19063512 memory=3200 CPUtime=1.38 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) R 75538 75541 73970 0 -1 4194368 5951 0 0 0 133 5 0 0 20 0 20 0 67985002 19521036288 44639 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67985006 19521036288 44639 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 67985007 19521036288 44639 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75560] ppid=75538 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/75541/task/75560/stat : 75560 (Timer-0) S 75538 75541 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67985062 19521036288 44639 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178556 KiB
[startup+3.10574 s]
/proc/loadavg: 4.41 4.37 4.37 6/333 75561
/proc/meminfo: memFree=47834392/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=19063512 memory=320236 CPUtime=5.84 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 20834 0 0 0 569 15 0 0 20 0 20 0 67985000 19521036288 80059 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4765878 80059 5526 1 0 552818 0
[pid=75541/tid=75543] ppid=75538 vsize=19063512 memory=14720 CPUtime=2.9 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) R 75538 75541 73970 0 -1 4194368 7024 0 0 0 281 9 0 0 20 0 20 0 67985002 19521036288 80059 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67985006 19521036288 80059 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 67985007 19521036288 80059 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75560] ppid=75538 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/75541/task/75560/stat : 75560 (Timer-0) S 75538 75541 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67985062 19521036288 80059 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 320236 KiB
[startup+6.3004 s]
/proc/loadavg: 4.41 4.37 4.37 5/333 75561
/proc/meminfo: memFree=47269760/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=19063512 memory=862820 CPUtime=9.91 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 21650 0 0 0 961 30 0 0 20 0 20 0 67985000 19521036288 215705 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4765878 215705 5558 1 0 552818 0
[pid=75541/tid=75543] ppid=75538 vsize=19063512 memory=0 CPUtime=6.05 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) R 75538 75541 73970 0 -1 4194368 7621 0 0 0 581 24 0 0 20 0 20 0 67985002 19521036288 215705 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67985006 19521036288 215705 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 67985007 19521036288 215705 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75560] ppid=75538 vsize=19063512 memory=179644 CPUtime=0 cores=0,2
/proc/75541/task/75560/stat : 75560 (Timer-0) S 75538 75541 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67985062 19521036288 215705 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 9.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 862820 KiB
[startup+12.7004 s]
/proc/loadavg: 4.58 4.41 4.39 5/332 75562
/proc/meminfo: memFree=46104484/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=19063512 memory=1951000 CPUtime=16.6 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 22917 0 0 0 1602 58 0 0 20 0 20 0 67985000 19521036288 487750 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4765878 487750 5558 1 0 822277 0
[pid=75541/tid=75543] ppid=75538 vsize=19063512 memory=179644 CPUtime=11.99 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) R 75538 75541 73970 0 -1 4194368 8076 0 0 0 1154 45 0 0 20 0 20 0 67985002 19521036288 487750 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=19063512 memory=1621264 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67985006 19521036288 487750 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 67985007 19521036288 487750 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75560] ppid=75538 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/75541/task/75560/stat : 75560 (Timer-0) S 75538 75541 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67985062 19521036288 487750 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 16.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1951000 KiB
[startup+25.5004 s]
/proc/loadavg: 4.64 4.43 4.39 5/332 75562
/proc/meminfo: memFree=44746740/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=19063512 memory=2698236 CPUtime=29.81 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 26616 0 0 0 2893 88 0 0 20 0 20 0 67985000 19521036288 674559 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4765878 674559 5558 1 0 999835 0
[pid=75541/tid=75543] ppid=75538 vsize=19063512 memory=0 CPUtime=24.37 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) R 75538 75541 73970 0 -1 4194368 9741 0 0 0 2364 73 0 0 20 0 20 0 67985002 19521036288 674559 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67985006 19521036288 674559 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=19063512 memory=2698236 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 67985007 19521036288 674559 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75560] ppid=75538 vsize=19063512 memory=2698236 CPUtime=0 cores=0,2
/proc/75541/task/75560/stat : 75560 (Timer-0) S 75538 75541 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67985062 19521036288 674559 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 29.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2698236 KiB
[startup+51.1142 s]
/proc/loadavg: 5.13 4.55 4.44 5/332 75562
/proc/meminfo: memFree=43753796/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=19063512 memory=2899096 CPUtime=55.53 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 33403 0 0 0 5431 122 0 0 20 0 20 0 67985000 19521036288 724774 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4765878 724774 5558 1 0 999841 0
[pid=75541/tid=75543] ppid=75538 vsize=19063512 memory=2733080 CPUtime=49.29 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) R 75538 75541 73970 0 -1 4194368 12227 0 0 0 4823 106 0 0 20 0 20 0 67985002 19521036288 724774 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=19063512 memory=12416 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67985006 19521036288 724774 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 67985007 19521036288 724774 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
################
# More data... #
################
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 415 0 0 0 0 0 0 0 20 0 20 0 67985007 19521036288 1410927 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75560] ppid=75538 vsize=19063512 memory=5643708 CPUtime=0 cores=0,2
/proc/75541/task/75560/stat : 75560 (Timer-0) S 75538 75541 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67985062 19521036288 1410927 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 655.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5643708 KiB
[startup+687.542 s]
# the end of solver process 75541 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=693.632 s, system=7.79692 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+665.6 s]
/proc/loadavg: 4.12 4.33 4.40 5/334 75805
/proc/meminfo: memFree=88320960/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=19063512 memory=5645884 CPUtime=679.48 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 85041 0 0 0 67197 751 0 0 20 0 20 0 67985000 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4765878 1411471 5558 1 0 1424970 0
[pid=75541/tid=75543] ppid=75538 vsize=19063512 memory=5643708 CPUtime=642.37 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) R 75538 75541 73970 0 -1 4194368 35515 0 0 0 63564 673 0 0 20 0 20 0 67985002 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=19063512 memory=5643708 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67985006 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 454 0 0 0 0 0 0 0 20 0 20 0 67985007 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75560] ppid=75538 vsize=19063512 memory=5643708 CPUtime=0 cores=0,2
/proc/75541/task/75560/stat : 75560 (Timer-0) S 75538 75541 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67985062 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 679.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5645884 KiB
[startup+678.4 s]
/proc/loadavg: 4.09 4.31 4.39 5/334 75805
/proc/meminfo: memFree=88019972/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=19063512 memory=5645884 CPUtime=692.31 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 85231 0 0 0 68467 764 0 0 20 0 20 0 67985000 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4765878 1411471 5558 1 0 1424970 0
[pid=75541/tid=75543] ppid=75538 vsize=19063512 memory=5645884 CPUtime=654.46 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) R 75538 75541 73970 0 -1 4194368 35637 0 0 0 64761 685 0 0 20 0 20 0 67985002 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=19063512 memory=23532 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67985006 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=19063512 memory=5645884 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 454 0 0 0 0 0 0 0 20 0 20 0 67985007 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75560] ppid=75538 vsize=19063512 memory=5645884 CPUtime=0 cores=0,2
/proc/75541/task/75560/stat : 75560 (Timer-0) S 75538 75541 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67985062 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 692.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5645884 KiB
[startup+681.6 s]
/proc/loadavg: 4.09 4.31 4.39 5/334 75805
/proc/meminfo: memFree=87923356/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=19063512 memory=5645884 CPUtime=695.62 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 85320 0 0 0 68795 767 0 0 20 0 20 0 67985000 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4765878 1411471 5558 1 0 1424970 0
[pid=75541/tid=75543] ppid=75538 vsize=19063512 memory=-6000919472740067176 CPUtime=657.53 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) R 75538 75541 73970 0 -1 4194368 35703 0 0 0 65065 688 0 0 20 0 20 0 67985002 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=19063512 memory=5645884 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67985006 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=19063512 memory=5643708 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 454 0 0 0 0 0 0 0 20 0 20 0 67985007 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75560] ppid=75538 vsize=19063512 memory=5643708 CPUtime=0 cores=0,2
/proc/75541/task/75560/stat : 75560 (Timer-0) S 75538 75541 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67985062 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 695.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5645884 KiB
[startup+684.8 s]
/proc/loadavg: 4.09 4.31 4.39 5/334 75806
/proc/meminfo: memFree=87825008/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=19063512 memory=5645884 CPUtime=698.81 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 85389 0 0 0 69110 771 0 0 20 0 20 0 67985000 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4765878 1411471 5558 1 0 1424970 0
[pid=75541/tid=75543] ppid=75538 vsize=19063512 memory=5645884 CPUtime=660.72 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) R 75538 75541 73970 0 -1 4194368 35748 0 0 0 65380 692 0 0 20 0 20 0 67985002 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=19063512 memory=5645884 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67985006 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=19063512 memory=5645884 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 454 0 0 0 0 0 0 0 20 0 20 0 67985007 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75560] ppid=75538 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/75541/task/75560/stat : 75560 (Timer-0) S 75538 75541 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67985062 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 698.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5645884 KiB
[startup+686.4 s]
/proc/loadavg: 4.09 4.31 4.39 5/334 75807
/proc/meminfo: memFree=87764640/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=19063512 memory=5645884 CPUtime=700.41 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 85441 0 0 0 69268 773 0 0 20 0 20 0 67985000 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4765878 1411471 5558 1 0 1424970 0
[pid=75541/tid=75543] ppid=75538 vsize=19063512 memory=18560 CPUtime=662.31 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) R 75538 75541 73970 0 -1 4194368 35800 0 0 0 65538 693 0 0 20 0 20 0 67985002 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=19063512 memory=4892 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67985006 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 454 0 0 0 0 0 0 0 20 0 20 0 67985007 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75560] ppid=75538 vsize=19063512 memory=23532 CPUtime=0 cores=0,2
/proc/75541/task/75560/stat : 75560 (Timer-0) S 75538 75541 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67985062 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 700.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5645884 KiB
[startup+687.2 s]
/proc/loadavg: 4.08 4.30 4.39 6/334 75807
/proc/meminfo: memFree=87736316/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=19063512 memory=5645884 CPUtime=701.22 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 86698 0 0 0 69347 775 0 0 20 0 20 0 67985000 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4765878 1411471 5558 1 0 1424990 0
[pid=75541/tid=75543] ppid=75538 vsize=19063512 memory=11264 CPUtime=662.72 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) D 75538 75541 73970 0 -1 4194368 36978 0 0 0 65577 695 0 0 20 0 20 0 67985002 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67985006 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=19063512 memory=-6000919472740067176 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 454 0 0 0 0 0 0 0 20 0 20 0 67985007 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75560] ppid=75538 vsize=19063512 memory=18560 CPUtime=0 cores=0,2
/proc/75541/task/75560/stat : 75560 (Timer-0) S 75538 75541 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67985062 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 701.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5645884 KiB
[startup+687.4 s]
/proc/loadavg: 4.08 4.30 4.39 6/334 75807
/proc/meminfo: memFree=87736316/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=19063512 memory=5645884 CPUtime=701.23 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 86698 0 0 0 69347 776 0 0 20 0 20 0 67985000 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4765878 1411471 5558 1 0 1424990 0
[pid=75541/tid=75543] ppid=75538 vsize=19063512 memory=5632 CPUtime=662.75 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) D 75538 75541 73970 0 -1 4194368 36978 0 0 0 65578 697 0 0 20 0 20 0 67985002 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=19063512 memory=-6000919472740067176 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67985006 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=19063512 memory=2696 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 454 0 0 0 0 0 0 0 20 0 20 0 67985007 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75560] ppid=75538 vsize=19063512 memory=17436 CPUtime=0 cores=0,2
/proc/75541/task/75560/stat : 75560 (Timer-0) S 75538 75541 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67985062 19521036288 1411471 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 701.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5645884 KiB
[startup+687.5 s]
/proc/loadavg: 4.08 4.30 4.39 6/334 75807
/proc/meminfo: memFree=87736316/131382112 swapFree=33009904/33010684
[pid=75541] ppid=75538 vsize=19196640 memory=5646396 CPUtime=701.39 cores=0,2
/proc/75541/stat : 75541 (java) S 75538 75541 73970 0 -1 4194304 87713 0 0 0 69363 776 0 0 20 0 14 0 67985000 19657359360 1411599 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
/proc/75541/statm: 4799160 1411599 5558 1 0 1425642 0
[pid=75541/tid=75543] ppid=75538 vsize=19196640 memory=5634756 CPUtime=662.76 cores=0,2
/proc/75541/task/75543/stat : 75543 (java) S 75538 75541 73970 0 -1 4194368 37548 0 0 0 65579 697 0 0 20 0 14 0 67985002 19657359360 1411599 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75552] ppid=75538 vsize=19196640 memory=14720 CPUtime=0 cores=0,2
/proc/75541/task/75552/stat : 75552 (Finalizer) S 75538 75541 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 14 0 67985006 19657359360 1411599 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
[pid=75541/tid=75559] ppid=75538 vsize=19196640 memory=5643708 CPUtime=0 cores=0,2
/proc/75541/task/75559/stat : 75559 (Common-Cleaner) S 75538 75541 73970 0 -1 4194368 454 0 0 0 0 0 0 0 20 0 14 0 67985007 19657359360 1411599 18446744073709551615 94526031237120 94526031240816 140722255335648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94526031248632 94526031249424 94526032338944 140722255337776 140722255337958 140722255337958 140722255343560 0
Current children cumulated CPU time: 701.39 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 5646396 KiB
Child status: 30
Real time (s): 687.542
CPU time (s): 701.429
CPU user time (s): 693.632
CPU system time (s): 7.79692
CPU usage (%): 102.02
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 5646396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 693.632
system time used= 7.79692
maximum resident set size= 5646652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87741
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13749808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32735
involuntary context switches= 4362
# summary of solver processes directly reported to runsolver:
# pid: 75541
# total CPU time (s): 701.429
# total CPU user time (s): 693.632
# total CPU system time (s): 7.79692
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.89038 second user time and 7.4428 second system time
The end
Begin job on nodeC001 at 2025-07-03 08:11:01 IDJOB=4509617 IDBENCH=158625 IDSOLVER=3364 FILE ID=nodeC001/4509617-1751523061 RUNJOBID= nodeC001-1751516281-73980 SLURM_JOB_ID= 9598627 Free space on /tmp= 432496 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509617-1751523061/watcher-4509617-1751523061 -o /tmp/evaluation-result-4509617-1751523061/solver-4509617-1751523061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751516281-73980 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509617-1751523061 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509617-1751523061.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36 RANDOM SEED=1583123536 nodeC001 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.170 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.49 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 : 2992.925 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.49 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 : 3493.456 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.49 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.229 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.49 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 : 3491.746 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.49 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 : 3591.504 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.49 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.215 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.49 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 : 1198.031 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.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 48134616 kB MemAvailable: 92982808 kB Buffers: 1668 kB Cached: 45598400 kB SwapCached: 128 kB Active: 37018092 kB Inactive: 45369264 kB Active(anon): 36776852 kB Inactive(anon): 28332 kB Active(file): 241240 kB Inactive(file): 45340932 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 675704 kB Writeback: 0 kB AnonPages: 36788796 kB Mapped: 123480 kB Shmem: 17776 kB KReclaimable: 210908 kB Slab: 319372 kB SReclaimable: 210908 kB SUnreclaim: 108464 kB KernelStack: 5120 kB PageTables: 75700 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 37431472 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 36268032 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: 195400 kB DirectMap2M: 9144320 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432496 MiB End job on nodeC001 at 2025-07-03 08:22:29