| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 32 | 1800 | 1792.56 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm95p-opt.opb.negationfix.opb |
| MD5SUM | 4d2a39c7c3be3238c64434e8dc719d9f |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 31 |
| Best CPU time to get the best result obtained on this benchmark | 1432.71 |
| Has Objective Function | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.10 c Pseudo Boolean Optimization by upper bound 0.10/0.10 c --- Begin Solver configuration --- 0.10/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.10/0.10 c Learn all clauses as in MiniSAT 0.10/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.10 c No reason simplification 0.10/0.10 c Glucose 2.1 dynamic restart strategy 0.10/0.10 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.10/0.10 c timeout=2147483s 0.10/0.10 c DB Simplification allowed=false 0.10/0.10 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.10/0.10 c --- End Solver configuration --- 0.10/0.10 c solving HOME/instance-4119829-1467278264.opb 0.10/0.10 c reading problem ... 0.10/0.10 c objective function found 0.60/0.38 c ... done. Wall clock time 0.281s. 0.60/0.38 c declared #vars 11168 0.60/0.38 c #constraints 762 0.60/0.38 c constraints type 0.60/0.38 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 348 0.60/0.38 c org.sat4j.minisat.constraints.card.MinWatchCard => 348 0.60/0.38 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66 0.60/0.38 c 762 constraints processed. 0.60/0.38 c objective function length is 32 literals 2.08/1.14 c cleaning 2495 clauses out of 5001 with flag 20448/5001 2.96/1.82 c cleaning 4246 clauses out of 8506 with flag 58299/11001 3.75/2.60 c cleaning 5623 clauses out of 11259 with flag 98020/18000 4.56/3.47 c cleaning 6812 clauses out of 13637 with flag 136982/26001 5.68/4.52 c cleaning 7903 clauses out of 15826 with flag 183479/35002 6.92/5.76 c cleaning 8953 clauses out of 17923 with flag 237302/45002 7.83/6.63 c SATISFIABLE 7.83/6.63 c OPTIMIZING... 7.83/6.63 c Got one! Elapsed wall clock time (in seconds):6.524 7.83/6.63 o 32 8.34/7.11 c cleaning 10567 clauses out of 21158 with flag 24244/57190 8.84/7.69 c cleaning 8286 clauses out of 16588 with flag 52084/63187 9.64/8.42 c cleaning 7641 clauses out of 15302 with flag 84924/70187 10.54/9.35 c cleaning 7817 clauses out of 15662 with flag 123294/78188 11.64/10.44 c cleaning 8412 clauses out of 16844 with flag 170982/87187 12.94/11.71 c cleaning 9204 clauses out of 18433 with flag 218412/97188 14.24/13.08 c cleaning 10102 clauses out of 20228 with flag 273381/108187 15.94/14.70 c cleaning 11051 clauses out of 22127 with flag 334582/120188 17.85/16.62 c cleaning 12029 clauses out of 24075 with flag 403808/133187 19.98/18.80 c cleaning 13011 clauses out of 26047 with flag 482570/147188 22.37/21.19 c cleaning 14006 clauses out of 28035 with flag 571234/162187 24.87/23.66 c cleaning 15005 clauses out of 30030 with flag 661746/178188 27.87/26.67 c cleaning 16004 clauses out of 32025 with flag 772836/195188 31.08/29.88 c cleaning 16998 clauses out of 34020 with flag 889326/213187 34.47/33.26 c cleaning 17997 clauses out of 36022 with flag 1006127/232187 38.09/36.89 c cleaning 19000 clauses out of 38025 with flag 1134784/252187 42.19/40.99 c cleaning 20001 clauses out of 40026 with flag 1262907/273188 46.89/45.61 c cleaning 20996 clauses out of 42025 with flag 1410021/295188 51.78/50.52 c cleaning 22001 clauses out of 44028 with flag 1557673/318187 56.64/55.32 c cleaning 22999 clauses out of 46028 with flag 1724102/342188 62.04/60.71 c cleaning 24003 clauses out of 48029 with flag 1883922/367188 68.54/67.22 c cleaning 24997 clauses out of 50026 with flag 2049206/393188 75.65/74.35 c cleaning 25999 clauses out of 52028 with flag 2219639/420187 83.34/81.97 c cleaning 27001 clauses out of 54034 with flag 2409896/448192 91.84/90.49 c cleaning 28002 clauses out of 56030 with flag 2613853/477189 99.84/98.50 c cleaning 28993 clauses out of 58026 with flag 2823228/507187 109.26/107.71 c cleaning 30009 clauses out of 60035 with flag 3052915/538189 117.86/116.31 c cleaning 30992 clauses out of 62024 with flag 3296401/570187 127.57/125.96 c cleaning 31997 clauses out of 64035 with flag 3543373/603190 137.87/136.20 c cleaning 33005 clauses out of 66036 with flag 3795369/637188 148.42/146.67 c cleaning 33997 clauses out of 68030 with flag 4064888/672187 152.72/150.95 c cleaning 35001 clauses out of 70034 with flag 4243343/708188 158.44/156.57 c cleaning 35997 clauses out of 72032 with flag 4378427/745187 166.85/164.98 c cleaning 37006 clauses out of 74036 with flag 4530294/783188 175.75/173.79 c cleaning 38008 clauses out of 76032 with flag 4707630/822190 185.86/183.86 c cleaning 38998 clauses out of 78022 with flag 4922356/862188 197.11/195.01 c cleaning 39998 clauses out of 80024 with flag 5144108/903188 209.41/207.26 c cleaning 40996 clauses out of 82025 with flag 5369387/945187 221.30/219.15 c cleaning 42004 clauses out of 84030 with flag 5590769/988188 235.00/232.77 c cleaning 43001 clauses out of 86025 with flag 5804743/1032187 249.40/247.10 c cleaning 43997 clauses out of 88024 with flag 6040966/1077187 263.86/261.58 c cleaning 44990 clauses out of 90028 with flag 6259636/1123188 270.58/268.21 c cleaning 46002 clauses out of 92038 with flag 6399402/1170188 280.76/278.40 c cleaning 46996 clauses out of 94036 with flag 6625888/1218188 292.75/290.34 c cleaning 47995 clauses out of 96040 with flag 6864224/1267188 305.10/302.65 c cleaning 48998 clauses out of 98044 with flag 7081979/1317187 318.72/316.22 c cleaning 50007 clauses out of 100048 with flag 7294921/1368189 333.23/330.69 c cleaning 51004 clauses out of 102039 with flag 7502888/1420187 348.98/346.35 c cleaning 51998 clauses out of 104037 with flag 7741770/1473189 364.12/361.45 c cleaning 53005 clauses out of 106041 with flag 7971471/1527191 380.48/377.75 c cleaning 54000 clauses out of 108033 with flag 8232207/1582188 399.37/396.59 c cleaning 54994 clauses out of 110033 with flag 8478757/1638188 417.94/415.07 c cleaning 56000 clauses out of 112039 with flag 8730181/1695188 440.71/437.72 c cleaning 57002 clauses out of 114042 with flag 8992963/1753191 463.97/460.94 c cleaning 57994 clauses out of 116036 with flag 9284367/1812187 487.34/484.21 c cleaning 59000 clauses out of 118044 with flag 9530307/1872189 512.97/509.71 c cleaning 59999 clauses out of 120043 with flag 9775172/1933188 539.94/536.68 c cleaning 61000 clauses out of 122043 with flag 10034767/1995187 566.62/563.28 c cleaning 61996 clauses out of 124043 with flag 10282546/2058187 597.86/594.49 c cleaning 62997 clauses out of 126047 with flag 10525696/2122187 624.75/621.22 c cleaning 63998 clauses out of 128050 with flag 10775278/2187187 652.72/649.15 c cleaning 65006 clauses out of 130053 with flag 11043280/2253188 682.13/678.47 c cleaning 66000 clauses out of 132048 with flag 11315951/2320189 712.80/709.08 c cleaning 67006 clauses out of 134047 with flag 11578108/2388188 746.29/742.45 c cleaning 68000 clauses out of 136041 with flag 11860523/2457188 754.52/750.63 c cleaning 68995 clauses out of 138041 with flag 12092761/2527188 777.17/773.28 c cleaning 69998 clauses out of 140045 with flag 12260703/2598187 789.58/785.57 c cleaning 71008 clauses out of 142048 with flag 12494374/2670188 799.15/795.01 c cleaning 72009 clauses out of 144040 with flag 12727985/2743188 821.58/817.34 c cleaning 73007 clauses out of 146031 with flag 13046948/2817188 833.15/828.82 c cleaning 73999 clauses out of 148023 with flag 13370236/2892187 858.54/854.15 c cleaning 75010 clauses out of 150024 with flag 13608378/2968187 872.24/867.74 c cleaning 75991 clauses out of 152014 with flag 13832376/3045187 902.66/898.07 c cleaning 76988 clauses out of 154023 with flag 14001046/3123187 932.18/927.44 c cleaning 77995 clauses out of 156035 with flag 14177776/3202187 964.86/960.01 c cleaning 79001 clauses out of 158041 with flag 14354729/3282188 996.77/991.86 c cleaning 79993 clauses out of 160039 with flag 14536168/3363187 1029.61/1024.68 c cleaning 81001 clauses out of 162046 with flag 14720441/3445187 1062.79/1057.70 c cleaning 82001 clauses out of 164046 with flag 14907701/3528188 1100.24/1095.01 c cleaning 83001 clauses out of 166045 with flag 15094893/3612188 1136.93/1131.68 c cleaning 84006 clauses out of 168044 with flag 15285566/3697188 1175.67/1170.37 c cleaning 84995 clauses out of 170037 with flag 15473545/3783187 1216.47/1211.04 c cleaning 85994 clauses out of 172042 with flag 15669938/3870187 1261.73/1256.19 c cleaning 86992 clauses out of 174048 with flag 15862195/3958187 1308.55/1302.83 c cleaning 88001 clauses out of 176057 with flag 16056386/4047188 1357.33/1351.55 c cleaning 89004 clauses out of 178056 with flag 16254030/4137188 1409.53/1403.68 c cleaning 90003 clauses out of 180052 with flag 16453591/4228188 1433.97/1427.95 c cleaning 91011 clauses out of 182049 with flag 16656958/4320188 1448.73/1442.59 c cleaning 92006 clauses out of 184037 with flag 16915059/4413187 1494.92/1488.61 c cleaning 93001 clauses out of 186032 with flag 17162457/4507188 1549.21/1542.77 c cleaning 94001 clauses out of 188033 with flag 17372018/4602190 1614.37/1607.71 c cleaning 95000 clauses out of 190030 with flag 17594408/4698188 1673.89/1667.05 c cleaning 95999 clauses out of 192029 with flag 17848212/4795187 1737.28/1730.30 c cleaning 96999 clauses out of 194030 with flag 18106185/4893187 1751.73/1744.47 c cleaning 98006 clauses out of 196031 with flag 18385743/4992187 1800.00/1792.50 c starts : 208 1800.00/1792.50 c conflicts : 5079536 1800.00/1792.50 c decisions : 6029303 1800.00/1792.50 c propagations : 245720963 1800.00/1792.50 c inspects : 32746293962 1800.00/1792.50 c shortcuts : 0 1800.00/1792.50 c learnt literals : 0 1800.00/1792.50 c learnt binary clauses : 0 1800.00/1792.50 c learnt ternary clauses : 0 1800.00/1792.50 c learnt constraints : 5079536 1800.00/1792.50 c ignored constraints : 0 1800.00/1792.50 c root simplifications : 0 1800.00/1792.50 c removed literals (reason simplification) : 0 1800.00/1792.50 c reason swapping (by a shorter reason) : 0 1800.00/1792.50 c Calls to reduceDB : 101 1800.00/1792.50 c Number of update (reduction) of LBD : 764610 1800.00/1792.50 c Imported unit clauses : 0 1800.00/1792.50 c number of reductions to clauses (during analyze) : 0 1800.00/1792.50 c number of learned constraints concerned by reduction : 0 1800.00/1792.50 c number of learning phase by resolution : 0 1800.00/1792.50 c number of learning phase by cutting planes : 0 1800.00/1792.50 c speed (assignments/second) : 137112.8872327378 1800.00/1792.50 c non guided choices 209557 1800.00/1792.53 c learnt constraints type 1800.00/1792.53 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 185375 1800.00/1792.53 s SATISFIABLE 1800.00/1792.53 c Found 1 solution(s) 1800.00/1792.54 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 1800.00/1792.55 c objective function=32 1800.00/1792.55 c Total wall clock time (in seconds): 1792.45
OK 32
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4119829-1467278264/watcher-4119829-1467278264 -o /tmp/evaluation-result-4119829-1467278264/solver-4119829-1467278264 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467278264-9491 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119829-1467278264.opb pid=9526 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.13 2.16 2.11 2/185 9529 /proc/meminfo: memFree=30581648/32872528 swapFree=1101680/1183440 [pid=9529] ppid=9526 vsize=92900 CPUtime=0 cores=1,3,5,7 /proc/9529/stat : 9529 (java) S 9526 9529 8538 0 -1 4202496 1294 0 0 0 0 0 0 0 20 0 2 0 6855635 95129600 927 33554432000 1073741824 1073778376 140736155568800 140736155559936 271790932029 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9529/statm: 23225 927 703 9 0 16769 0 [pid=9529/tid=9530] ppid=9526 vsize=92900 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9530/stat : 9530 (java) D 9526 9529 8538 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 6855636 95129600 927 33554432000 1073741824 1073778376 140736155568800 140585733447208 271778409767 0 0 4096 0 18446744072100588836 0 0 -1 1 0 0 0 0 0 [startup+0.100165 s] /proc/loadavg: 2.13 2.16 2.11 2/185 9529 /proc/meminfo: memFree=30581648/32872528 swapFree=1101680/1183440 [pid=9529] ppid=9526 vsize=9558476 CPUtime=0.1 cores=1,3,5,7 /proc/9529/stat : 9529 (java) S 9526 9529 8538 0 -1 4202496 4461 0 1 0 9 1 0 0 20 0 18 0 6855635 9787879424 6085 33554432000 1073741824 1073778376 140736155568800 140736155559936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9529/statm: 2389619 6085 2155 9 0 2380296 0 [pid=9529/tid=9530] ppid=9526 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/9529/task/9530/stat : 9530 (java) R 9526 9529 8538 0 -1 4202560 2385 0 1 0 7 0 0 0 20 0 18 0 6855636 9787879424 6085 33554432000 1073741824 1073778376 140736155568800 140585733450656 271790957837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200326 s] /proc/loadavg: 2.13 2.16 2.11 2/185 9529 /proc/meminfo: memFree=30581648/32872528 swapFree=1101680/1183440 [pid=9529] ppid=9526 vsize=9558476 CPUtime=0.3 cores=1,3,5,7 /proc/9529/stat : 9529 (java) S 9526 9529 8538 0 -1 4202496 6780 0 1 0 29 1 0 0 20 0 18 0 6855635 9787879424 8762 33554432000 1073741824 1073778376 140736155568800 140736155559936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9529/statm: 2389619 8762 2220 9 0 2380296 0 [pid=9529/tid=9530] ppid=9526 vsize=9558476 CPUtime=0.17 cores=1,3,5,7 /proc/9529/task/9530/stat : 9530 (java) R 9526 9529 8538 0 -1 4202560 2406 0 1 0 17 0 0 0 20 0 18 0 6855636 9787879424 8762 33554432000 1073741824 1073778376 140736155568800 140585733450656 140585737092595 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 9558476 [startup+0.30034 s] /proc/loadavg: 2.13 2.16 2.11 2/185 9529 /proc/meminfo: memFree=30581648/32872528 swapFree=1101680/1183440 [pid=9529] ppid=9526 vsize=9558476 CPUtime=0.6 cores=1,3,5,7 /proc/9529/stat : 9529 (java) S 9526 9529 8538 0 -1 4202496 9335 0 1 0 58 2 0 0 20 0 18 0 6855635 9787879424 12391 33554432000 1073741824 1073778376 140736155568800 140736155559936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9529/statm: 2389619 12351 2237 9 0 2380296 0 [pid=9529/tid=9530] ppid=9526 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/9529/task/9530/stat : 9530 (java) R 9526 9529 8538 0 -1 4202560 2410 0 1 0 27 0 0 0 20 0 18 0 6855636 9787879424 12351 33554432000 1073741824 1073778376 140736155568800 140585733450656 140585570787639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 9558476 [startup+0.700207 s] /proc/loadavg: 2.13 2.16 2.11 2/185 9529 /proc/meminfo: memFree=30581648/32872528 swapFree=1101680/1183440 [pid=9529] ppid=9526 vsize=9625040 CPUtime=1.58 cores=1,3,5,7 /proc/9529/stat : 9529 (java) S 9526 9529 8538 0 -1 4202496 11216 0 1 0 155 3 0 0 20 0 19 0 6855635 9856040960 26587 33554432000 1073741824 1073778376 140736155568800 140736155559936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9529/statm: 2406260 26587 2258 9 0 2396937 0 [pid=9529/tid=9530] ppid=9526 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/9529/task/9530/stat : 9530 (java) R 9526 9529 8538 0 -1 4202560 2446 0 1 0 65 2 0 0 20 0 19 0 6855636 9856040960 26587 33554432000 1073741824 1073778376 140736155568800 140585733451912 140585571379575 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1.58 Current children cumulated vsize (KiB) 9625040 [startup+1.50076 s] /proc/loadavg: 2.13 2.16 2.11 3/213 9557 /proc/meminfo: memFree=30391476/32872528 swapFree=1101680/1183440 [pid=9529] ppid=9526 vsize=9625040 CPUtime=2.61 cores=1,3,5,7 /proc/9529/stat : 9529 (java) S 9526 9529 8538 0 -1 4202496 12985 0 1 0 258 3 0 0 20 0 19 0 6855635 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140736155559936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9529/statm: 2406260 29155 2265 9 0 2396937 0 [pid=9529/tid=9530] ppid=9526 vsize=9625040 CPUtime=1.47 cores=1,3,5,7 /proc/9529/task/9530/stat : 9530 (java) R 9526 9529 8538 0 -1 4202560 2452 0 1 0 145 2 0 0 20 0 19 0 6855636 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140585733443280 140585571456671 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9535] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9535/stat : 9535 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140585694944168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9536] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9536/stat : 9536 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140585693891624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9537] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9537/stat : 9537 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140585692838568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9538] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9538/stat : 9538 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140585691786024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9539] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9539/stat : 9539 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140585690732968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9540] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9540/stat : 9540 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140585689680424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9541] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9541/stat : 9541 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140585570658472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9542] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9542/stat : 9542 (java) S 9526 9529 8538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140585569605928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9543] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9543/stat : 9543 (java) S 9526 9529 8538 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6855638 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140585557408616 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9544] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9544/stat : 9544 (java) S 9526 9529 8538 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6855638 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140585556354936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9545] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9545/stat : 9545 (java) S 9526 9529 8538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6855638 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140585555301768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9551] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9551/stat : 9551 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855640 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140584815684368 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9552] ppid=9526 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/9529/task/9552/stat : 9552 (java) S 9526 9529 8538 0 -1 4202560 5826 0 0 0 64 1 0 0 20 0 19 0 6855640 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140584814631224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9553] ppid=9526 vsize=9625040 CPUtime=0.46 cores=1,3,5,7 /proc/9529/task/9553/stat : 9553 (java) S 9526 9529 8538 0 -1 4202560 3430 0 0 0 46 0 0 0 20 0 19 0 6855640 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140584813578680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9554] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9554/stat : 9554 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855640 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140584812525816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9555] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9555/stat : 9555 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855640 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140584811473480 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9557] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9557/stat : 9557 (java) S 9526 9529 8538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6855675 9856040960 29155 33554432000 1073741824 1073778376 140736155568800 140584810419752 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.61 Current children cumulated vsize (KiB) 9625040 [startup+3.10082 s] /proc/loadavg: 2.13 2.16 2.11 4/213 9557 /proc/meminfo: memFree=30364216/32872528 swapFree=1101680/1183440 [pid=9529] ppid=9526 vsize=9625040 CPUtime=4.25 cores=1,3,5,7 /proc/9529/stat : 9529 (java) S 9526 9529 8538 0 -1 4202496 12995 0 1 0 421 4 0 0 20 0 19 0 6855635 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140736155559936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9529/statm: 2406260 33763 2265 9 0 2396937 0 [pid=9529/tid=9530] ppid=9526 vsize=9625040 CPUtime=3.04 cores=1,3,5,7 /proc/9529/task/9530/stat : 9530 (java) R 9526 9529 8538 0 -1 4202560 2462 0 1 0 302 2 0 0 20 0 19 0 6855636 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140585733443280 140585571379549 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9535] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9535/stat : 9535 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140585694944168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9536] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9536/stat : 9536 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140585693891624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9537] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9537/stat : 9537 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140585692838568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9538] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9538/stat : 9538 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140585691786024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9539] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9539/stat : 9539 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140585690732968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9540] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9540/stat : 9540 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140585689680424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9541] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9541/stat : 9541 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140585570658472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9542] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9542/stat : 9542 (java) S 9526 9529 8538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140585569605928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9543] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9543/stat : 9543 (java) S 9526 9529 8538 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6855638 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140585557408616 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9544] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9544/stat : 9544 (java) S 9526 9529 8538 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6855638 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140585556354936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9545] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9545/stat : 9545 (java) S 9526 9529 8538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6855638 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140585555301768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9551] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9551/stat : 9551 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855640 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140584815684368 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9552] ppid=9526 vsize=9625040 CPUtime=0.68 cores=1,3,5,7 /proc/9529/task/9552/stat : 9552 (java) S 9526 9529 8538 0 -1 4202560 5826 0 0 0 67 1 0 0 20 0 19 0 6855640 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140584814631224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9553] ppid=9526 vsize=9625040 CPUtime=0.49 cores=1,3,5,7 /proc/9529/task/9553/stat : 9553 (java) S 9526 9529 8538 0 -1 4202560 3430 0 0 0 49 0 0 0 20 0 19 0 6855640 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140584813578680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9554] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9554/stat : 9554 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855640 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140584812525816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9555] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9555/stat : 9555 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855640 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140584811473480 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9557] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9557/stat : 9557 (java) S 9526 9529 8538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6855675 9856040960 33763 33554432000 1073741824 1073778376 140736155568800 140584810419752 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.25 Current children cumulated vsize (KiB) 9625040 [startup+6.3008 s] /proc/loadavg: 2.12 2.16 2.10 3/213 9557 /proc/meminfo: memFree=30292264/32872528 swapFree=1101680/1183440 [pid=9529] ppid=9526 vsize=9625040 CPUtime=7.52 cores=1,3,5,7 /proc/9529/stat : 9529 (java) S 9526 9529 8538 0 -1 4202496 13076 0 1 0 745 7 0 0 20 0 19 0 6855635 9856040960 47037 33554432000 1073741824 1073778376 140736155568800 140736155559936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9529/statm: 2406260 47037 2279 9 0 2396937 0 [pid=9529/tid=9530] ppid=9526 vsize=9625040 CPUtime=6.21 cores=1,3,5,7 /proc/9529/task/9530/stat : 9530 (java) R 9526 9529 8538 0 -1 4202560 2482 0 1 0 619 2 0 0 20 0 19 0 6855636 9856040960 47037 33554432000 1073741824 1073778376 140736155568800 140585733443264 140585571229672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9535] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9535/stat : 9535 (java) S 9526 9529 8538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 47037 33554432000 1073741824 1073778376 140736155568800 140585694944168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9536] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9536/stat : 9536 (java) S 9526 9529 8538 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 47037 33554432000 1073741824 1073778376 140736155568800 140585693891624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9537] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9537/stat : 9537 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 47037 33554432000 1073741824 1073778376 140736155568800 140585692838568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9538] ppid=9526 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/9529/task/9538/stat : 9538 (java) S 9526 9529 8538 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 6855637 9856040960 47037 33554432000 1073741824 1073778376 140736155568800 140585691786024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9539] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9539/stat : 9539 (java) S 9526 9529 8538 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 47037 33554432000 1073741824 1073778376 140736155568800 140585690732968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9540] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9540/stat : 9540 (java) S 9526 9529 8538 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 47037 33554432000 1073741824 1073778376 140736155568800 140585689680424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9541] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9541/stat : 9541 (java) S 9526 9529 8538 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 47037 33554432000 1073741824 1073778376 140736155568800 140585570658472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9542] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9542/stat : 9542 (java) S 9526 9529 8538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 47037 33554432000 1073741824 1073778376 140736155568800 140585569605928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9543] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9543/stat : 9543 (java) S 9526 9529 8538 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6855638 9856040960 47037 33554432000 1073741824 1073778376 140736155568800 140585557408616 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9544] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9544/stat : 9544 (java) S 9526 9529 8538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6855638 9856040960 47037 33554432000 1073741824 1073778376 140736155568800 140585556354936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9545] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9545/stat : 9545 (java) S 9526 9529 8538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6855638 9856040960 47037 33554432000 1073741824 1073778376 140736155568800 140585555301768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9551] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9551/stat : 9551 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855640 9856040960 47037 33554432000 1073741824 1073778376 140736155568800 140584815684368 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9552] ppid=9526 vsize=9625040 CPUtime=0.69 cores=1,3,5,7 /proc/9529/task/9552/stat : 9552 (java) S 9526 9529 8538 0 -1 4202560 5826 0 0 0 68 1 0 0 20 0 19 0 6855640 9856040960 47037 33554432000 1073741824 1073778376 140736155568800 140584814631224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9553] ppid=9526 vsize=9625040 CPUtime=0.5 cores=1,3,5,7 ################ # More data... # ################ [pid=9529/tid=9557] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9557/stat : 9557 (java) S 9526 9529 8538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6855675 9856040960 83450 33554432000 1073741824 1073778376 140736155568800 140584810419752 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1729.35 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.21 2.19 2.18 3/213 9601 /proc/meminfo: memFree=29884912/32872528 swapFree=1101680/1183440 [pid=9529] ppid=9526 vsize=9625040 CPUtime=1789.79 cores=1,3,5,7 /proc/9529/stat : 9529 (java) S 9526 9529 8538 0 -1 4202496 17998 0 1 0 178880 99 0 0 20 0 19 0 6855635 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140736155559936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9529/statm: 2406260 77860 2288 9 0 2396937 0 [pid=9529/tid=9530] ppid=9526 vsize=9625040 CPUtime=1773.13 cores=1,3,5,7 /proc/9529/task/9530/stat : 9530 (java) R 9526 9529 8538 0 -1 4202560 2616 0 1 0 177280 33 0 0 20 0 19 0 6855636 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585733450960 140585571382848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9535] ppid=9526 vsize=9625040 CPUtime=1.07 cores=1,3,5,7 /proc/9529/task/9535/stat : 9535 (java) S 9526 9529 8538 0 -1 4202560 706 0 0 0 99 8 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585694944168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9536] ppid=9526 vsize=9625040 CPUtime=1.12 cores=1,3,5,7 /proc/9529/task/9536/stat : 9536 (java) S 9526 9529 8538 0 -1 4202560 631 0 0 0 104 8 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585693891624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9537] ppid=9526 vsize=9625040 CPUtime=1.14 cores=1,3,5,7 /proc/9529/task/9537/stat : 9537 (java) S 9526 9529 8538 0 -1 4202560 706 0 0 0 105 9 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585692838568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9538] ppid=9526 vsize=9625040 CPUtime=1.12 cores=1,3,5,7 /proc/9529/task/9538/stat : 9538 (java) S 9526 9529 8538 0 -1 4202560 541 0 0 0 104 8 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585691786024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9539] ppid=9526 vsize=9625040 CPUtime=1.16 cores=1,3,5,7 /proc/9529/task/9539/stat : 9539 (java) S 9526 9529 8538 0 -1 4202560 473 0 0 0 107 9 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585690732968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9540] ppid=9526 vsize=9625040 CPUtime=1.11 cores=1,3,5,7 /proc/9529/task/9540/stat : 9540 (java) S 9526 9529 8538 0 -1 4202560 283 0 0 0 104 7 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585689680424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9541] ppid=9526 vsize=9625040 CPUtime=1.23 cores=1,3,5,7 /proc/9529/task/9541/stat : 9541 (java) S 9526 9529 8538 0 -1 4202560 551 0 0 0 117 6 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585570658472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9542] ppid=9526 vsize=9625040 CPUtime=1.07 cores=1,3,5,7 /proc/9529/task/9542/stat : 9542 (java) S 9526 9529 8538 0 -1 4202560 502 0 0 0 101 6 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585569605928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9543] ppid=9526 vsize=9625040 CPUtime=1.6 cores=1,3,5,7 /proc/9529/task/9543/stat : 9543 (java) S 9526 9529 8538 0 -1 4202560 365 0 0 0 156 4 0 0 20 0 19 0 6855638 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585557408616 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9544] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9544/stat : 9544 (java) S 9526 9529 8538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6855638 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585556354936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9545] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9545/stat : 9545 (java) S 9526 9529 8538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6855638 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585555301768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9551] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9551/stat : 9551 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855640 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584815684368 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9552] ppid=9526 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/9529/task/9552/stat : 9552 (java) S 9526 9529 8538 0 -1 4202560 5826 0 0 0 69 1 0 0 20 0 19 0 6855640 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584814631224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9553] ppid=9526 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/9529/task/9553/stat : 9553 (java) S 9526 9529 8538 0 -1 4202560 3432 0 0 0 53 0 0 0 20 0 19 0 6855640 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584813578680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9554] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9554/stat : 9554 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855640 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584812525816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9555] ppid=9526 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/9529/task/9555/stat : 9555 (java) S 9526 9529 8538 0 -1 4202560 103 0 0 0 25 31 0 0 20 0 19 0 6855640 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584811473480 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9557] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9557/stat : 9557 (java) S 9526 9529 8538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6855675 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584810419752 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1789.79 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1792.5 s] /proc/loadavg: 2.18 2.18 2.18 3/213 9601 /proc/meminfo: memFree=29885040/32872528 swapFree=1101680/1183440 [pid=9529] ppid=9526 vsize=9625040 CPUtime=1800 cores=1,3,5,7 /proc/9529/stat : 9529 (java) S 9526 9529 8538 0 -1 4202496 17998 0 1 0 179901 99 0 0 20 0 19 0 6855635 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140736155559936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9529/statm: 2406260 77860 2288 9 0 2396937 0 [pid=9529/tid=9530] ppid=9526 vsize=9625040 CPUtime=1783.3 cores=1,3,5,7 /proc/9529/task/9530/stat : 9530 (java) R 9526 9529 8538 0 -1 4202560 2616 0 1 0 178296 34 0 0 20 0 19 0 6855636 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585733450960 140585571347675 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9535] ppid=9526 vsize=9625040 CPUtime=1.07 cores=1,3,5,7 /proc/9529/task/9535/stat : 9535 (java) S 9526 9529 8538 0 -1 4202560 706 0 0 0 99 8 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585694944168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9536] ppid=9526 vsize=9625040 CPUtime=1.12 cores=1,3,5,7 /proc/9529/task/9536/stat : 9536 (java) S 9526 9529 8538 0 -1 4202560 631 0 0 0 104 8 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585693891624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9537] ppid=9526 vsize=9625040 CPUtime=1.14 cores=1,3,5,7 /proc/9529/task/9537/stat : 9537 (java) S 9526 9529 8538 0 -1 4202560 706 0 0 0 105 9 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585692838568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9538] ppid=9526 vsize=9625040 CPUtime=1.12 cores=1,3,5,7 /proc/9529/task/9538/stat : 9538 (java) S 9526 9529 8538 0 -1 4202560 541 0 0 0 104 8 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585691786024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9539] ppid=9526 vsize=9625040 CPUtime=1.16 cores=1,3,5,7 /proc/9529/task/9539/stat : 9539 (java) S 9526 9529 8538 0 -1 4202560 473 0 0 0 107 9 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585690732968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9540] ppid=9526 vsize=9625040 CPUtime=1.11 cores=1,3,5,7 /proc/9529/task/9540/stat : 9540 (java) S 9526 9529 8538 0 -1 4202560 283 0 0 0 104 7 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585689680424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9541] ppid=9526 vsize=9625040 CPUtime=1.23 cores=1,3,5,7 /proc/9529/task/9541/stat : 9541 (java) S 9526 9529 8538 0 -1 4202560 551 0 0 0 117 6 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585570658472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9542] ppid=9526 vsize=9625040 CPUtime=1.07 cores=1,3,5,7 /proc/9529/task/9542/stat : 9542 (java) S 9526 9529 8538 0 -1 4202560 502 0 0 0 101 6 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585569605928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9543] ppid=9526 vsize=9625040 CPUtime=1.6 cores=1,3,5,7 /proc/9529/task/9543/stat : 9543 (java) S 9526 9529 8538 0 -1 4202560 365 0 0 0 156 4 0 0 20 0 19 0 6855638 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585557408616 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9544] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9544/stat : 9544 (java) S 9526 9529 8538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6855638 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585556354936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9545] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9545/stat : 9545 (java) S 9526 9529 8538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6855638 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585555301768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9551] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9551/stat : 9551 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855640 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584815684368 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9552] ppid=9526 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/9529/task/9552/stat : 9552 (java) S 9526 9529 8538 0 -1 4202560 5826 0 0 0 69 1 0 0 20 0 19 0 6855640 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584814631224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9553] ppid=9526 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/9529/task/9553/stat : 9553 (java) S 9526 9529 8538 0 -1 4202560 3432 0 0 0 53 0 0 0 20 0 19 0 6855640 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584813578680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9554] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9554/stat : 9554 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855640 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584812525816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9555] ppid=9526 vsize=9625040 CPUtime=0.57 cores=1,3,5,7 /proc/9529/task/9555/stat : 9555 (java) S 9526 9529 8538 0 -1 4202560 103 0 0 0 25 32 0 0 20 0 19 0 6855640 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584811473480 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9557] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9557/stat : 9557 (java) S 9526 9529 8538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6855675 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584810419752 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 9529 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1792.5 s] /proc/loadavg: 2.18 2.18 2.18 3/213 9601 /proc/meminfo: memFree=29885040/32872528 swapFree=1101680/1183440 [pid=9529] ppid=9526 vsize=9625040 CPUtime=1800 cores=1,3,5,7 /proc/9529/stat : 9529 (java) S 9526 9529 8538 0 -1 4202496 17998 0 1 0 179901 99 0 0 20 0 19 0 6855635 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140736155559936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9529/statm: 2406260 77860 2288 9 0 2396937 0 [pid=9529/tid=9530] ppid=9526 vsize=9625040 CPUtime=1783.3 cores=1,3,5,7 /proc/9529/task/9530/stat : 9530 (java) R 9526 9529 8538 0 -1 4202560 2616 0 1 0 178296 34 0 0 20 0 19 0 6855636 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585733450960 140585571347675 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9535] ppid=9526 vsize=9625040 CPUtime=1.07 cores=1,3,5,7 /proc/9529/task/9535/stat : 9535 (java) S 9526 9529 8538 0 -1 4202560 706 0 0 0 99 8 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585694944168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9536] ppid=9526 vsize=9625040 CPUtime=1.12 cores=1,3,5,7 /proc/9529/task/9536/stat : 9536 (java) S 9526 9529 8538 0 -1 4202560 631 0 0 0 104 8 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585693891624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9537] ppid=9526 vsize=9625040 CPUtime=1.14 cores=1,3,5,7 /proc/9529/task/9537/stat : 9537 (java) S 9526 9529 8538 0 -1 4202560 706 0 0 0 105 9 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585692838568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9538] ppid=9526 vsize=9625040 CPUtime=1.12 cores=1,3,5,7 /proc/9529/task/9538/stat : 9538 (java) S 9526 9529 8538 0 -1 4202560 541 0 0 0 104 8 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585691786024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9539] ppid=9526 vsize=9625040 CPUtime=1.16 cores=1,3,5,7 /proc/9529/task/9539/stat : 9539 (java) S 9526 9529 8538 0 -1 4202560 473 0 0 0 107 9 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585690732968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9540] ppid=9526 vsize=9625040 CPUtime=1.11 cores=1,3,5,7 /proc/9529/task/9540/stat : 9540 (java) S 9526 9529 8538 0 -1 4202560 283 0 0 0 104 7 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585689680424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9541] ppid=9526 vsize=9625040 CPUtime=1.23 cores=1,3,5,7 /proc/9529/task/9541/stat : 9541 (java) S 9526 9529 8538 0 -1 4202560 551 0 0 0 117 6 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585570658472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9542] ppid=9526 vsize=9625040 CPUtime=1.07 cores=1,3,5,7 /proc/9529/task/9542/stat : 9542 (java) S 9526 9529 8538 0 -1 4202560 502 0 0 0 101 6 0 0 20 0 19 0 6855637 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585569605928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9543] ppid=9526 vsize=9625040 CPUtime=1.6 cores=1,3,5,7 /proc/9529/task/9543/stat : 9543 (java) S 9526 9529 8538 0 -1 4202560 365 0 0 0 156 4 0 0 20 0 19 0 6855638 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585557408616 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9544] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9544/stat : 9544 (java) S 9526 9529 8538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6855638 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585556354936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9545] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9545/stat : 9545 (java) S 9526 9529 8538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6855638 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140585555301768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9551] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9551/stat : 9551 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855640 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584815684368 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9552] ppid=9526 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/9529/task/9552/stat : 9552 (java) S 9526 9529 8538 0 -1 4202560 5826 0 0 0 69 1 0 0 20 0 19 0 6855640 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584814631224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9529/tid=9553] ppid=9526 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/9529/task/9553/stat : 9553 (java) S 9526 9529 8538 0 -1 4202560 3432 0 0 0 53 0 0 0 20 0 19 0 6855640 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584813578680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9529/tid=9554] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9554/stat : 9554 (java) S 9526 9529 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855640 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584812525816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9529/tid=9555] ppid=9526 vsize=9625040 CPUtime=0.57 cores=1,3,5,7 /proc/9529/task/9555/stat : 9555 (java) S 9526 9529 8538 0 -1 4202560 103 0 0 0 25 32 0 0 20 0 19 0 6855640 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584811473480 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9529/tid=9557] ppid=9526 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/9529/task/9557/stat : 9557 (java) S 9526 9529 8538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6855675 9856040960 77860 33554432000 1073741824 1073778376 140736155568800 140584810419752 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9529 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=658170 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=471776 # CPU time returned by wait4() is 1796.13 # while last known CPU time is 1800 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1792.56 CPU time (s): 1800 CPU user time (s): 1799.01 CPU system time (s): 0.99 CPU usage (%): 100.415 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.66 system time used= 1.47178 maximum resident set size= 604600 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18043 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41916 involuntary context switches= 28365 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.2914 second user time and 13.434 second system time The end
Begin job on node115 at 2016-06-30 11:17:44 IDJOB=4119829 IDBENCH=111810 IDSOLVER=2546 FILE ID=node115/4119829-1467278264 RUNJOBID= node115-1467278264-9491 PBS_JOBID= 20004494 Free space on /tmp= 71664 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm95p-opt.opb.negationfix.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119829-1467278264/watcher-4119829-1467278264 -o /tmp/evaluation-result-4119829-1467278264/solver-4119829-1467278264 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467278264-9491 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119829-1467278264.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4d2a39c7c3be3238c64434e8dc719d9f RANDOM SEED=35138148 node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30588832 kB Buffers: 149736 kB Cached: 195192 kB SwapCached: 0 kB Active: 147688 kB Inactive: 212608 kB Active(anon): 11328 kB Inactive(anon): 6612 kB Active(file): 136360 kB Inactive(file): 205996 kB Unevictable: 1183440 kB Mlocked: 1101680 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 2344 kB Writeback: 0 kB AnonPages: 1389408 kB Mapped: 15384 kB Shmem: 204 kB Slab: 605640 kB SReclaimable: 49708 kB SUnreclaim: 555932 kB KernelStack: 1416 kB PageTables: 6332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1308440 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 276480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71660 MiB End job on node115 at 2016-06-30 11:47:37