Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Sat4j PB 2012-05-28 | MSAT (TO) | 1800.57 | 1785.68 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo |
MD5SUM | d7ec3e5f8584fe7f5e0e066c760adfab |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 3.9214 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 10100 |
Total number of constraints | 201 |
Number of soft constraints | 65 |
Number of constraints which are clauses | 101 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 100 |
Maximum length of a constraint | 101 |
Top cost | 3414 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 3413 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 102 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.2.v20120528 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3718142-1338250386.wbo 0.09/0.11 c reading problem ... 0.56/0.32 c ... done. Wall clock time 0.207s. 0.56/0.32 c declared #vars 10100 0.56/0.32 c internal #vars 10165 0.56/0.32 c #constraints 201 0.56/0.32 c constraints type 0.56/0.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 101 0.56/0.32 c org.sat4j.minisat.constraints.card.MinWatchCard => 67 0.56/0.32 c ignored satisfied constraints => 1 0.56/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 33 0.56/0.32 c 202 constraints processed. 0.56/0.32 c objective function length is 65 literals 0.81/0.49 c SATISFIABLE 0.81/0.49 c OPTIMIZING... 0.81/0.49 c Got one! Elapsed wall clock time (in seconds):0.379 0.81/0.49 o 61 1.10/0.57 c Got one! Elapsed wall clock time (in seconds):0.463 1.10/0.57 o 31 1.38/0.77 c Got one! Elapsed wall clock time (in seconds):0.658 1.38/0.77 o 29 1.51/0.87 c Got one! Elapsed wall clock time (in seconds):0.76 1.51/0.87 o 9 1.93/1.22 c Got one! Elapsed wall clock time (in seconds):1.107 1.93/1.22 o 4 2.23/1.56 c cleaning 3580 clauses out of 7173 with flag 10676/7173 2.94/2.17 c Got one! Elapsed wall clock time (in seconds):2.063 2.94/2.17 o 3 3.13/2.31 c cleaning 4461 clauses out of 8946 with flag 6708/12526 4.06/3.25 c cleaning 5216 clauses out of 10486 with flag 42828/18527 4.97/4.15 c cleaning 6114 clauses out of 12270 with flag 83286/25527 5.63/4.76 c Got one! Elapsed wall clock time (in seconds):4.652 5.63/4.76 o 1 6.25/5.27 c cleaning 5941 clauses out of 11905 with flag 19624/31276 7.17/6.17 c cleaning 5944 clauses out of 11965 with flag 54906/37277 8.50/7.48 c cleaning 6457 clauses out of 13021 with flag 99097/44277 9.85/8.75 c cleaning 7245 clauses out of 14563 with flag 148707/52276 11.16/10.08 c cleaning 8086 clauses out of 16318 with flag 206703/61276 14.08/12.96 c cleaning 9058 clauses out of 18232 with flag 278305/71276 15.91/14.75 c cleaning 10010 clauses out of 20174 with flag 352143/82276 17.85/16.66 c cleaning 11018 clauses out of 22167 with flag 426127/94279 20.88/19.65 c cleaning 12015 clauses out of 24148 with flag 520421/107278 23.95/22.64 c cleaning 13033 clauses out of 26134 with flag 618982/121279 26.65/25.23 c cleaning 14027 clauses out of 28101 with flag 713624/136279 30.67/29.28 c cleaning 15009 clauses out of 30073 with flag 846669/152278 35.59/34.12 c cleaning 16021 clauses out of 32062 with flag 985925/169276 38.70/37.28 c cleaning 16977 clauses out of 34045 with flag 1098030/187280 42.93/41.41 c cleaning 18006 clauses out of 36068 with flag 1234513/206280 49.17/47.65 c cleaning 19015 clauses out of 38061 with flag 1409034/226279 55.35/53.78 c cleaning 20012 clauses out of 40043 with flag 1563520/247276 60.20/58.52 c cleaning 20977 clauses out of 42031 with flag 1721839/269276 64.95/63.22 c cleaning 21998 clauses out of 44056 with flag 1883033/292278 72.41/70.62 c cleaning 23014 clauses out of 46056 with flag 2077855/316276 81.61/79.74 c cleaning 24015 clauses out of 48044 with flag 2300017/341278 90.24/88.32 c cleaning 25005 clauses out of 50029 with flag 2526739/367278 98.96/96.91 c cleaning 25969 clauses out of 52022 with flag 2792008/394276 105.46/103.34 c cleaning 26972 clauses out of 54055 with flag 2980367/422278 115.03/112.79 c cleaning 28030 clauses out of 56081 with flag 3220133/451276 124.54/122.23 c cleaning 29013 clauses out of 58051 with flag 3448730/481276 135.51/133.13 c cleaning 30002 clauses out of 60040 with flag 3709744/512278 146.37/143.81 c cleaning 31014 clauses out of 62037 with flag 3956125/544277 160.88/158.30 c cleaning 32002 clauses out of 64022 with flag 4252661/577276 169.24/166.52 c cleaning 32962 clauses out of 66020 with flag 4495716/611276 180.71/177.97 c cleaning 34016 clauses out of 68063 with flag 4766353/646281 194.01/191.14 c cleaning 35016 clauses out of 70044 with flag 5076627/682278 209.80/206.82 c cleaning 36009 clauses out of 72028 with flag 5382379/719278 226.08/223.06 c cleaning 37000 clauses out of 74020 with flag 5651249/757279 238.15/235.03 c cleaning 37995 clauses out of 76019 with flag 5942004/796278 255.59/252.21 c cleaning 39001 clauses out of 78022 with flag 6282426/836276 271.04/267.67 c cleaning 39996 clauses out of 80022 with flag 6679583/877277 281.85/278.34 c cleaning 40987 clauses out of 82026 with flag 6975162/919277 300.53/296.80 c cleaning 42006 clauses out of 84038 with flag 7327337/962276 316.85/312.90 c cleaning 43002 clauses out of 86034 with flag 7716501/1006278 333.37/329.22 c cleaning 43996 clauses out of 88032 with flag 8161433/1051278 347.40/343.18 c cleaning 44999 clauses out of 90037 with flag 8618637/1097279 366.07/361.72 c cleaning 46001 clauses out of 92037 with flag 9051362/1144278 381.72/377.25 c cleaning 46996 clauses out of 94034 with flag 9507427/1192276 405.51/400.99 c cleaning 48004 clauses out of 96040 with flag 10012835/1241278 429.53/424.87 c cleaning 49004 clauses out of 98035 with flag 10536940/1291277 445.88/441.08 c cleaning 49980 clauses out of 100032 with flag 11010584/1342278 464.13/458.83 c cleaning 51012 clauses out of 102050 with flag 11422331/1394276 484.43/478.97 c cleaning 52012 clauses out of 104038 with flag 11864302/1447276 507.35/501.72 c cleaning 53004 clauses out of 106026 with flag 12302327/1501276 528.96/523.28 c cleaning 54004 clauses out of 108022 with flag 12738932/1556276 559.28/553.41 c cleaning 54998 clauses out of 110019 with flag 13177714/1612277 582.71/576.67 c cleaning 56004 clauses out of 112025 with flag 13659205/1669281 613.57/607.17 c cleaning 56999 clauses out of 114016 with flag 14214564/1727276 636.45/629.83 c cleaning 57998 clauses out of 116017 with flag 14740630/1786276 662.85/656.04 c cleaning 59004 clauses out of 118019 with flag 15198451/1846276 693.70/686.72 c cleaning 59997 clauses out of 120016 with flag 15683202/1907277 723.27/716.16 c cleaning 61005 clauses out of 122020 with flag 16145454/1969278 741.72/734.44 c cleaning 61983 clauses out of 124014 with flag 16616640/2032277 764.34/756.95 c cleaning 63003 clauses out of 126030 with flag 17111810/2096276 789.17/781.63 c cleaning 64005 clauses out of 128028 with flag 17700916/2161277 814.12/806.48 c cleaning 64992 clauses out of 130023 with flag 18310989/2227277 841.74/833.99 c cleaning 66009 clauses out of 132033 with flag 18915629/2294279 874.51/866.57 c cleaning 66997 clauses out of 134024 with flag 19604912/2362279 907.06/898.92 c cleaning 68005 clauses out of 136030 with flag 20194823/2431282 947.41/939.19 c cleaning 68998 clauses out of 138019 with flag 20773330/2501276 986.33/977.99 c cleaning 69996 clauses out of 140023 with flag 21419288/2572278 1020.10/1011.55 c cleaning 71003 clauses out of 142025 with flag 22106734/2644276 1057.85/1048.88 c cleaning 71998 clauses out of 144023 with flag 22800369/2717277 1101.56/1092.13 c cleaning 73004 clauses out of 146025 with flag 23551134/2791277 1144.55/1134.99 c cleaning 74004 clauses out of 148030 with flag 24291227/2866286 1189.37/1179.35 c cleaning 75002 clauses out of 150026 with flag 25075891/2942286 1218.22/1207.96 c cleaning 75962 clauses out of 152018 with flag 25721607/3019280 1247.56/1237.19 c cleaning 77016 clauses out of 154058 with flag 26357015/3097282 1284.14/1273.53 c cleaning 78006 clauses out of 156036 with flag 27016017/3176276 1327.54/1316.72 c cleaning 78998 clauses out of 158030 with flag 27597757/3256276 1360.89/1349.99 c cleaning 80005 clauses out of 160034 with flag 28340203/3337278 1402.96/1391.80 c cleaning 81006 clauses out of 162028 with flag 29053082/3419277 1442.56/1431.27 c cleaning 81995 clauses out of 164022 with flag 29770109/3502277 1489.04/1477.56 c cleaning 82990 clauses out of 166027 with flag 30578030/3586277 1525.88/1514.16 c cleaning 83996 clauses out of 168038 with flag 31347863/3671278 1580.52/1568.33 c cleaning 85002 clauses out of 170040 with flag 32087771/3757276 1628.99/1616.30 c cleaning 85997 clauses out of 172040 with flag 32958037/3844278 1681.12/1667.93 c cleaning 87004 clauses out of 174041 with flag 33886556/3932276 1720.99/1707.24 c cleaning 88006 clauses out of 176037 with flag 34737048/4021276 1770.52/1756.35 c cleaning 89002 clauses out of 178031 with flag 35653211/4111276 1800.07/1785.61 c starts : 260 1800.07/1785.61 c conflicts : 4176810 1800.07/1785.61 c decisions : 6352783 1800.07/1785.61 c propagations : 369962524 1800.07/1785.61 c inspects : 13984027782 1800.07/1785.61 c shortcuts : 0 1800.07/1785.61 c learnt literals : 0 1800.07/1785.61 c learnt binary clauses : 0 1800.07/1785.61 c learnt ternary clauses : 0 1800.07/1785.61 c learnt constraints : 4176810 1800.07/1785.61 c ignored constraints : 0 1800.07/1785.61 c root simplifications : 0 1800.07/1785.61 c removed literals (reason simplification) : 0 1800.07/1785.61 c reason swapping (by a shorter reason) : 0 1800.07/1785.61 c Calls to reduceDB : 90 1800.07/1785.61 c Number of update (reduction) of LBD : 2493714 1800.07/1785.61 c number of reductions to clauses (during analyze) : 0 1800.07/1785.61 c number of learned constraints concerned by reduction : 0 1800.07/1785.61 c number of learning phase by resolution : 0 1800.07/1785.61 c number of learning phase by cutting planes : 0 1800.07/1785.61 c speed (assignments/second) : 207229.89106446286 1800.07/1785.61 c non guided choices 618154 1800.07/1785.64 c learnt constraints type 1800.07/1785.64 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 154587 1800.07/1785.64 c constraints type 1800.07/1785.64 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 101 1800.07/1785.64 c org.sat4j.minisat.constraints.card.MinWatchCard => 67 1800.07/1785.64 c ignored satisfied constraints => 1 1800.07/1785.64 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 34 1800.07/1785.64 c 203 constraints processed. 1800.07/1785.64 s SATISFIABLE 1800.07/1785.65 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 1800.07/1785.66 c objective function=1 1800.07/1785.66 c Total wall clock time (in seconds): 1785.549
OK 1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3718142-1338250386/watcher-3718142-1338250386 -o /tmp/evaluation-result-3718142-1338250386/solver-3718142-1338250386 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718142-1338250386.wbo 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.02 2.01 1.91 2/171 2485 /proc/meminfo: memFree=30837816/32873648 swapFree=7112/7112 [pid=2485] ppid=2483 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/2485/stat : 2485 (java) D 2483 2485 919 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 291164484 9515008 182 33554432000 1073741824 1073778376 140737409468928 140737409459960 242167398069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/2485/statm: 2323 182 140 9 0 71 0 [startup+0.0156699 s] /proc/loadavg: 2.02 2.01 1.91 2/171 2485 /proc/meminfo: memFree=30837816/32873648 swapFree=7112/7112 [pid=2485] ppid=2483 vsize=101528 CPUtime=0 cores=1,3,5,7 /proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 1367 0 0 0 0 0 0 0 20 0 2 0 291164484 103964672 1050 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/2485/statm: 25382 1050 805 9 0 16774 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 101528 [startup+0.100172 s] /proc/loadavg: 2.02 2.01 1.91 2/171 2485 /proc/meminfo: memFree=30837816/32873648 swapFree=7112/7112 [pid=2485] ppid=2483 vsize=9558416 CPUtime=0.09 cores=1,3,5,7 /proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 4341 0 1 0 8 1 0 0 20 0 18 0 291164484 9787817984 5537 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/2485/statm: 2389604 5537 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558416 [startup+0.300152 s] /proc/loadavg: 2.02 2.01 1.91 2/171 2485 /proc/meminfo: memFree=30837816/32873648 swapFree=7112/7112 [pid=2485] ppid=2483 vsize=9558416 CPUtime=0.56 cores=1,3,5,7 /proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 7246 0 1 0 55 1 0 0 20 0 18 0 291164484 9787817984 10896 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/2485/statm: 2389604 10896 2219 9 0 2380296 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 9558416 [startup+0.700155 s] /proc/loadavg: 2.02 2.01 1.91 2/171 2485 /proc/meminfo: memFree=30837816/32873648 swapFree=7112/7112 [pid=2485] ppid=2483 vsize=9624980 CPUtime=1.38 cores=1,3,5,7 /proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 7838 0 1 0 136 2 0 0 20 0 19 0 291164484 9855979520 14631 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/2485/statm: 2406245 14631 2244 9 0 2396937 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 9624980 [startup+1.50068 s] /proc/loadavg: 2.02 2.01 1.91 3/213 2536 /proc/meminfo: memFree=30732980/32873648 swapFree=7112/7112 [pid=2485] ppid=2483 vsize=9624980 CPUtime=2.23 cores=1,3,5,7 /proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 7856 0 1 0 221 2 0 0 20 0 19 0 291164484 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/2485/statm: 2406245 19247 2249 9 0 2396937 0 [pid=2485/tid=2487] ppid=2483 vsize=9624980 CPUtime=1.46 cores=1,3,5,7 /proc/2485/task/2487/stat : 2487 (java) R 2483 2485 919 0 -1 4202560 2475 0 1 0 144 2 0 0 20 0 19 0 291164485 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449544337912 140449407415286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2488] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2488/stat : 2488 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449533401512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2489] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2489/stat : 2489 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449532348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2490] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2490/stat : 2490 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449531295912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2485/tid=2491] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2491/stat : 2491 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449530243368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2492] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2492/stat : 2492 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449529191336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2493] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2493/stat : 2493 (java) S 2483 2485 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449528138792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2494] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2494/stat : 2494 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449527085736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2495] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2495/stat : 2495 (java) S 2483 2485 919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449526033192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2496] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2496/stat : 2496 (java) S 2483 2485 919 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449368058216 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2497] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2497/stat : 2497 (java) S 2483 2485 919 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449367004536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2498] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2498/stat : 2498 (java) S 2483 2485 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449365951368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2499] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2499/stat : 2499 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449364900112 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2500] ppid=2483 vsize=9624980 CPUtime=0.41 cores=1,3,5,7 /proc/2485/task/2500/stat : 2500 (java) S 2483 2485 919 0 -1 4202560 2352 0 0 0 41 0 0 0 20 0 19 0 291164490 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449363847992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2501] ppid=2483 vsize=9624980 CPUtime=0.33 cores=1,3,5,7 /proc/2485/task/2501/stat : 2501 (java) S 2483 2485 919 0 -1 4202560 1828 0 0 0 33 0 0 0 20 0 19 0 291164490 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449362795448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2502] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2502/stat : 2502 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449361742584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2503] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2503/stat : 2503 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449360690248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2535] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2535/stat : 2535 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291164518 9855979520 19247 33554432000 1073741824 1073778376 140734582070304 140449359635496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 9624980 [startup+3.10061 s] /proc/loadavg: 2.02 2.01 1.91 3/213 2536 /proc/meminfo: memFree=30674644/32873648 swapFree=7112/7112 [pid=2485] ppid=2483 vsize=9624980 CPUtime=3.96 cores=1,3,5,7 /proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 7974 0 1 0 390 6 0 0 20 0 19 0 291164484 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/2485/statm: 2406245 31584 2276 9 0 2396937 0 [pid=2485/tid=2487] ppid=2483 vsize=9624980 CPUtime=3.01 cores=1,3,5,7 /proc/2485/task/2487/stat : 2487 (java) R 2483 2485 919 0 -1 4202560 2479 0 1 0 299 2 0 0 20 0 19 0 291164485 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449544339928 140449407435221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2488] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2488/stat : 2488 (java) S 2483 2485 919 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449533401512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2485/tid=2489] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2489/stat : 2489 (java) S 2483 2485 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449532348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2490] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2490/stat : 2490 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449531295912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2485/tid=2491] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2491/stat : 2491 (java) S 2483 2485 919 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449530243368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2492] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2492/stat : 2492 (java) S 2483 2485 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449529191336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2493] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2493/stat : 2493 (java) S 2483 2485 919 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449528138792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2494] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2494/stat : 2494 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449527085736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2485/tid=2495] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2495/stat : 2495 (java) S 2483 2485 919 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449526033192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2496] ppid=2483 vsize=9624980 CPUtime=0.02 cores=1,3,5,7 /proc/2485/task/2496/stat : 2496 (java) S 2483 2485 919 0 -1 4202560 39 0 0 0 2 0 0 0 20 0 19 0 291164488 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449368058216 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2497] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2497/stat : 2497 (java) S 2483 2485 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449367004536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2498] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2498/stat : 2498 (java) S 2483 2485 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449365951368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2499] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2499/stat : 2499 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449364900112 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2500] ppid=2483 vsize=9624980 CPUtime=0.44 cores=1,3,5,7 /proc/2485/task/2500/stat : 2500 (java) S 2483 2485 919 0 -1 4202560 2355 0 0 0 44 0 0 0 20 0 19 0 291164490 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449363847992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2501] ppid=2483 vsize=9624980 CPUtime=0.37 cores=1,3,5,7 /proc/2485/task/2501/stat : 2501 (java) S 2483 2485 919 0 -1 4202560 1834 0 0 0 37 0 0 0 20 0 19 0 291164490 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449362795448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2502] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2502/stat : 2502 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449361742584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2503] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2503/stat : 2503 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449360690248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2535] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2535/stat : 2535 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291164518 9855979520 31584 33554432000 1073741824 1073778376 140734582070304 140449359635496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.96 Current children cumulated vsize (KiB) 9624980 [startup+6.3007 s] /proc/loadavg: 2.02 2.01 1.91 3/213 2536 /proc/meminfo: memFree=30620412/32873648 swapFree=7112/7112 [pid=2485] ppid=2483 vsize=9624980 CPUtime=7.4 cores=1,3,5,7 /proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 10121 0 1 0 733 7 0 0 20 0 19 0 291164484 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/2485/statm: 2406245 34647 2276 9 0 2396937 0 [pid=2485/tid=2487] ppid=2483 vsize=9624980 CPUtime=6.1 cores=1,3,5,7 /proc/2485/task/2487/stat : 2487 (java) R 2483 2485 919 0 -1 4202560 2482 0 1 0 608 2 0 0 20 0 19 0 291164485 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449544339744 140449407371090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2488] ppid=2483 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/2485/task/2488/stat : 2488 (java) S 2483 2485 919 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 291164486 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449533401512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2489] ppid=2483 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/2485/task/2489/stat : 2489 (java) S 2483 2485 919 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 291164486 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449532348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2490] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2490/stat : 2490 (java) S 2483 2485 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449531295912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2485/tid=2491] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2491/stat : 2491 (java) S 2483 2485 919 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291164486 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449530243368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2492] ppid=2483 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/2485/task/2492/stat : 2492 (java) S 2483 2485 919 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 291164487 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449529191336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2493] ppid=2483 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/2485/task/2493/stat : 2493 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 291164487 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449528138792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2494] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2494/stat : 2494 (java) S 2483 2485 919 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449527085736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2485/tid=2495] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2495/stat : 2495 (java) S 2483 2485 919 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291164487 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449526033192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2496] ppid=2483 vsize=9624980 CPUtime=0.1 cores=1,3,5,7 /proc/2485/task/2496/stat : 2496 (java) S 2483 2485 919 0 -1 4202560 41 0 0 0 10 0 0 0 20 0 19 0 291164488 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449368058216 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2497] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2497/stat : 2497 (java) S 2483 2485 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449367004536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2498] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2498/stat : 2498 (java) S 2483 2485 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449365951368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2499] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2499/stat : 2499 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449364900112 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2500] ppid=2483 vsize=9624980 CPUtime=0.61 cores=1,3,5,7 /proc/2485/task/2500/stat : 2500 (java) S 2483 2485 919 0 -1 4202560 4476 0 0 0 61 0 0 0 20 0 19 0 291164490 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449363847992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2501] ppid=2483 vsize=9624980 CPUtime=0.38 cores=1,3,5,7 /proc/2485/task/2501/stat : 2501 (java) S 2483 2485 919 0 -1 4202560 1834 0 0 0 38 0 0 0 20 0 19 0 291164490 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449362795448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2502] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2502/stat : 2502 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449361742584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2503] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2503/stat : 2503 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449360690248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2535] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2535/stat : 2535 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291164518 9855979520 34647 33554432000 1073741824 1073778376 140734582070304 140449359635496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.4 Current children cumulated vsize (KiB) 9624980 [startup+12.7007 s] ################ # More data... # ################ [pid=2485/tid=2493] ppid=2483 vsize=9624980 CPUtime=2.08 cores=1,3,5,7 /proc/2485/task/2493/stat : 2493 (java) S 2483 2485 919 0 -1 4202560 783 0 0 0 186 22 0 0 20 0 19 0 291164487 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449528138792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2494] ppid=2483 vsize=9624980 CPUtime=2 cores=1,3,5,7 /proc/2485/task/2494/stat : 2494 (java) S 2483 2485 919 0 -1 4202560 687 0 0 0 178 22 0 0 20 0 19 0 291164487 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449527085736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2495] ppid=2483 vsize=9624980 CPUtime=2.04 cores=1,3,5,7 /proc/2485/task/2495/stat : 2495 (java) S 2483 2485 919 0 -1 4202560 917 0 0 0 185 19 0 0 20 0 19 0 291164487 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449526033192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2496] ppid=2483 vsize=9624980 CPUtime=6.82 cores=1,3,5,7 /proc/2485/task/2496/stat : 2496 (java) S 2483 2485 919 0 -1 4202560 1328 0 0 0 678 4 0 0 20 0 19 0 291164488 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449368058216 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2497] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2497/stat : 2497 (java) S 2483 2485 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449367004536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2498] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2498/stat : 2498 (java) S 2483 2485 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449365951368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2499] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2499/stat : 2499 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449364900112 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2500] ppid=2483 vsize=9624980 CPUtime=0.63 cores=1,3,5,7 /proc/2485/task/2500/stat : 2500 (java) S 2483 2485 919 0 -1 4202560 4481 0 0 0 63 0 0 0 20 0 19 0 291164490 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449363847992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2501] ppid=2483 vsize=9624980 CPUtime=0.38 cores=1,3,5,7 /proc/2485/task/2501/stat : 2501 (java) S 2483 2485 919 0 -1 4202560 1834 0 0 0 38 0 0 0 20 0 19 0 291164490 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449362795448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2502] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2502/stat : 2502 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449361742584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2503] ppid=2483 vsize=9624980 CPUtime=0.59 cores=1,3,5,7 /proc/2485/task/2503/stat : 2503 (java) S 2483 2485 919 0 -1 4202560 97 0 0 0 26 33 0 0 20 0 19 0 291164490 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449360690248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2535] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2535/stat : 2535 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291164518 9855979520 406099 33554432000 1073741824 1073778376 140734582070304 140449359635496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1675.52 Current children cumulated vsize (KiB) 9624980 [startup+1722.3 s] /proc/loadavg: 2.04 2.11 2.01 3/213 2553 /proc/meminfo: memFree=28566188/32873648 swapFree=7112/7112 [pid=2485] ppid=2483 vsize=9624980 CPUtime=1736.21 cores=1,3,5,7 /proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 18149 0 1 0 173403 218 0 0 20 0 19 0 291164484 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/2485/statm: 2406245 418402 2277 9 0 2396937 0 [pid=2485/tid=2487] ppid=2483 vsize=9624980 CPUtime=1710.48 cores=1,3,5,7 /proc/2485/task/2487/stat : 2487 (java) R 2483 2485 919 0 -1 4202560 2620 0 1 0 171018 30 0 0 20 0 19 0 291164485 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449544339744 140449407414833 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2488] ppid=2483 vsize=9624980 CPUtime=2.24 cores=1,3,5,7 /proc/2485/task/2488/stat : 2488 (java) S 2483 2485 919 0 -1 4202560 1005 0 0 0 201 23 0 0 20 0 19 0 291164486 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449533401512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2489] ppid=2483 vsize=9624980 CPUtime=2 cores=1,3,5,7 /proc/2485/task/2489/stat : 2489 (java) S 2483 2485 919 0 -1 4202560 753 0 0 0 180 20 0 0 20 0 19 0 291164486 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449532348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2485/tid=2490] ppid=2483 vsize=9624980 CPUtime=2.08 cores=1,3,5,7 /proc/2485/task/2490/stat : 2490 (java) S 2483 2485 919 0 -1 4202560 694 0 0 0 189 19 0 0 20 0 19 0 291164486 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449531295912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2491] ppid=2483 vsize=9624980 CPUtime=2.24 cores=1,3,5,7 /proc/2485/task/2491/stat : 2491 (java) S 2483 2485 919 0 -1 4202560 688 0 0 0 203 21 0 0 20 0 19 0 291164486 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449530243368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2485/tid=2492] ppid=2483 vsize=9624980 CPUtime=2.12 cores=1,3,5,7 /proc/2485/task/2492/stat : 2492 (java) S 2483 2485 919 0 -1 4202560 1031 0 0 0 189 23 0 0 20 0 19 0 291164487 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449529191336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2493] ppid=2483 vsize=9624980 CPUtime=2.16 cores=1,3,5,7 /proc/2485/task/2493/stat : 2493 (java) S 2483 2485 919 0 -1 4202560 787 0 0 0 194 22 0 0 20 0 19 0 291164487 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449528138792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2494] ppid=2483 vsize=9624980 CPUtime=2.15 cores=1,3,5,7 /proc/2485/task/2494/stat : 2494 (java) S 2483 2485 919 0 -1 4202560 701 0 0 0 192 23 0 0 20 0 19 0 291164487 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449527085736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2495] ppid=2483 vsize=9624980 CPUtime=2.11 cores=1,3,5,7 /proc/2485/task/2495/stat : 2495 (java) S 2483 2485 919 0 -1 4202560 925 0 0 0 191 20 0 0 20 0 19 0 291164487 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449526033192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2496] ppid=2483 vsize=9624980 CPUtime=7.09 cores=1,3,5,7 /proc/2485/task/2496/stat : 2496 (java) S 2483 2485 919 0 -1 4202560 1345 0 0 0 705 4 0 0 20 0 19 0 291164488 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449368058216 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2497] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2497/stat : 2497 (java) S 2483 2485 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449367004536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2498] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2498/stat : 2498 (java) S 2483 2485 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449365951368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2499] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2499/stat : 2499 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449364900112 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2500] ppid=2483 vsize=9624980 CPUtime=0.63 cores=1,3,5,7 /proc/2485/task/2500/stat : 2500 (java) S 2483 2485 919 0 -1 4202560 4481 0 0 0 63 0 0 0 20 0 19 0 291164490 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449363847992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2501] ppid=2483 vsize=9624980 CPUtime=0.38 cores=1,3,5,7 /proc/2485/task/2501/stat : 2501 (java) S 2483 2485 919 0 -1 4202560 1834 0 0 0 38 0 0 0 20 0 19 0 291164490 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449362795448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2502] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2502/stat : 2502 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449361742584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2503] ppid=2483 vsize=9624980 CPUtime=0.62 cores=1,3,5,7 /proc/2485/task/2503/stat : 2503 (java) S 2483 2485 919 0 -1 4202560 99 0 0 0 28 34 0 0 20 0 19 0 291164490 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449360690248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2535] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2535/stat : 2535 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291164518 9855979520 418402 33554432000 1073741824 1073778376 140734582070304 140449359635496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1736.21 Current children cumulated vsize (KiB) 9624980 [startup+1782.3 s] /proc/loadavg: 2.13 2.12 2.01 3/213 2612 /proc/meminfo: memFree=28714832/32873648 swapFree=7112/7112 [pid=2485] ppid=2483 vsize=9624980 CPUtime=1796.76 cores=1,3,5,7 /proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 18308 0 1 0 179453 223 0 0 20 0 19 0 291164484 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/2485/statm: 2406245 433307 2277 9 0 2396937 0 [pid=2485/tid=2487] ppid=2483 vsize=9624980 CPUtime=1770.15 cores=1,3,5,7 /proc/2485/task/2487/stat : 2487 (java) R 2483 2485 919 0 -1 4202560 2622 0 1 0 176984 31 0 0 20 0 19 0 291164485 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449544339744 140449407488572 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2488] ppid=2483 vsize=9624980 CPUtime=2.34 cores=1,3,5,7 /proc/2485/task/2488/stat : 2488 (java) S 2483 2485 919 0 -1 4202560 1013 0 0 0 211 23 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449533401512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2489] ppid=2483 vsize=9624980 CPUtime=2.1 cores=1,3,5,7 /proc/2485/task/2489/stat : 2489 (java) S 2483 2485 919 0 -1 4202560 768 0 0 0 188 22 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449532348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2485/tid=2490] ppid=2483 vsize=9624980 CPUtime=2.14 cores=1,3,5,7 /proc/2485/task/2490/stat : 2490 (java) S 2483 2485 919 0 -1 4202560 705 0 0 0 195 19 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449531295912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2491] ppid=2483 vsize=9624980 CPUtime=2.32 cores=1,3,5,7 /proc/2485/task/2491/stat : 2491 (java) S 2483 2485 919 0 -1 4202560 697 0 0 0 210 22 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449530243368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2485/tid=2492] ppid=2483 vsize=9624980 CPUtime=2.26 cores=1,3,5,7 /proc/2485/task/2492/stat : 2492 (java) S 2483 2485 919 0 -1 4202560 1051 0 0 0 201 25 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449529191336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2493] ppid=2483 vsize=9624980 CPUtime=2.25 cores=1,3,5,7 /proc/2485/task/2493/stat : 2493 (java) S 2483 2485 919 0 -1 4202560 800 0 0 0 202 23 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449528138792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2494] ppid=2483 vsize=9624980 CPUtime=2.21 cores=1,3,5,7 /proc/2485/task/2494/stat : 2494 (java) S 2483 2485 919 0 -1 4202560 705 0 0 0 198 23 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449527085736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2495] ppid=2483 vsize=9624980 CPUtime=2.21 cores=1,3,5,7 /proc/2485/task/2495/stat : 2495 (java) S 2483 2485 919 0 -1 4202560 936 0 0 0 200 21 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449526033192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2496] ppid=2483 vsize=9624980 CPUtime=7.24 cores=1,3,5,7 /proc/2485/task/2496/stat : 2496 (java) S 2483 2485 919 0 -1 4202560 1407 0 0 0 720 4 0 0 20 0 19 0 291164488 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449368058216 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2497] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2497/stat : 2497 (java) S 2483 2485 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449367004536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2498] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2498/stat : 2498 (java) S 2483 2485 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449365951368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2499] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2499/stat : 2499 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449364900112 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2500] ppid=2483 vsize=9624980 CPUtime=0.63 cores=1,3,5,7 /proc/2485/task/2500/stat : 2500 (java) S 2483 2485 919 0 -1 4202560 4481 0 0 0 63 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449363847992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2501] ppid=2483 vsize=9624980 CPUtime=0.38 cores=1,3,5,7 /proc/2485/task/2501/stat : 2501 (java) S 2483 2485 919 0 -1 4202560 1834 0 0 0 38 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449362795448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2502] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2502/stat : 2502 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449361742584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2503] ppid=2483 vsize=9624980 CPUtime=0.64 cores=1,3,5,7 /proc/2485/task/2503/stat : 2503 (java) S 2483 2485 919 0 -1 4202560 103 0 0 0 29 35 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449360690248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2535] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2535/stat : 2535 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291164518 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449359635496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 9624980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1785.6 s] /proc/loadavg: 2.12 2.12 2.01 3/213 2612 /proc/meminfo: memFree=28714956/32873648 swapFree=7112/7112 [pid=2485] ppid=2483 vsize=9624980 CPUtime=1800.07 cores=1,3,5,7 /proc/2485/stat : 2485 (java) S 2483 2485 919 0 -1 4202496 18308 0 1 0 179783 224 0 0 20 0 19 0 291164484 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140734582061440 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/2485/statm: 2406245 433307 2277 9 0 2396937 0 [pid=2485/tid=2487] ppid=2483 vsize=9624980 CPUtime=1773.46 cores=1,3,5,7 /proc/2485/task/2487/stat : 2487 (java) R 2483 2485 919 0 -1 4202560 2622 0 1 0 177315 31 0 0 20 0 19 0 291164485 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449544339744 140449407489858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2488] ppid=2483 vsize=9624980 CPUtime=2.34 cores=1,3,5,7 /proc/2485/task/2488/stat : 2488 (java) S 2483 2485 919 0 -1 4202560 1013 0 0 0 211 23 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449533401512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2489] ppid=2483 vsize=9624980 CPUtime=2.1 cores=1,3,5,7 /proc/2485/task/2489/stat : 2489 (java) S 2483 2485 919 0 -1 4202560 768 0 0 0 188 22 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449532348968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2485/tid=2490] ppid=2483 vsize=9624980 CPUtime=2.14 cores=1,3,5,7 /proc/2485/task/2490/stat : 2490 (java) S 2483 2485 919 0 -1 4202560 705 0 0 0 195 19 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449531295912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2491] ppid=2483 vsize=9624980 CPUtime=2.32 cores=1,3,5,7 /proc/2485/task/2491/stat : 2491 (java) S 2483 2485 919 0 -1 4202560 697 0 0 0 210 22 0 0 20 0 19 0 291164486 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449530243368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2485/tid=2492] ppid=2483 vsize=9624980 CPUtime=2.26 cores=1,3,5,7 /proc/2485/task/2492/stat : 2492 (java) S 2483 2485 919 0 -1 4202560 1051 0 0 0 201 25 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449529191336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2493] ppid=2483 vsize=9624980 CPUtime=2.25 cores=1,3,5,7 /proc/2485/task/2493/stat : 2493 (java) S 2483 2485 919 0 -1 4202560 800 0 0 0 202 23 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449528138792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2494] ppid=2483 vsize=9624980 CPUtime=2.21 cores=1,3,5,7 /proc/2485/task/2494/stat : 2494 (java) S 2483 2485 919 0 -1 4202560 705 0 0 0 198 23 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449527085736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2495] ppid=2483 vsize=9624980 CPUtime=2.21 cores=1,3,5,7 /proc/2485/task/2495/stat : 2495 (java) S 2483 2485 919 0 -1 4202560 936 0 0 0 200 21 0 0 20 0 19 0 291164487 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449526033192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2496] ppid=2483 vsize=9624980 CPUtime=7.24 cores=1,3,5,7 /proc/2485/task/2496/stat : 2496 (java) S 2483 2485 919 0 -1 4202560 1407 0 0 0 720 4 0 0 20 0 19 0 291164488 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449368058216 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2497] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2497/stat : 2497 (java) S 2483 2485 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449367004536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2498] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2498/stat : 2498 (java) S 2483 2485 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291164488 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449365951368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2499] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2499/stat : 2499 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449364900112 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2500] ppid=2483 vsize=9624980 CPUtime=0.63 cores=1,3,5,7 /proc/2485/task/2500/stat : 2500 (java) S 2483 2485 919 0 -1 4202560 4481 0 0 0 63 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449363847992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2485/tid=2501] ppid=2483 vsize=9624980 CPUtime=0.38 cores=1,3,5,7 /proc/2485/task/2501/stat : 2501 (java) S 2483 2485 919 0 -1 4202560 1834 0 0 0 38 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449362795448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2502] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2502/stat : 2502 (java) S 2483 2485 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449361742584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2485/tid=2503] ppid=2483 vsize=9624980 CPUtime=0.64 cores=1,3,5,7 /proc/2485/task/2503/stat : 2503 (java) S 2483 2485 919 0 -1 4202560 103 0 0 0 29 35 0 0 20 0 19 0 291164490 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449360690248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2485/tid=2535] ppid=2483 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/2485/task/2535/stat : 2535 (java) S 2483 2485 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291164518 9855979520 433307 33554432000 1073741824 1073778376 140734582070304 140449359635496 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9624980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1785.68 CPU time (s): 1800.57 CPU user time (s): 1797.95 CPU system time (s): 2.6226 CPU usage (%): 100.834 Max. virtual memory (cumulated for all children) (KiB): 9624980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.95 system time used= 2.6226 maximum resident set size= 1733384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18352 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1648 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40569 involuntary context switches= 24707 runsolver used 6.23105 second user time and 14.6038 second system time The end
Begin job on node126 at 2012-05-29 02:13:06 IDJOB=3718142 IDBENCH=78713 IDSOLVER=2301 FILE ID=node126/3718142-1338250386 RUNJOBID= node126-1338248585-2145 PBS_JOBID= 14624661 Free space on /tmp= 71360 MiB SOLVER NAME= Sat4j PB 2012-05-28 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718142-1338250386/watcher-3718142-1338250386 -o /tmp/evaluation-result-3718142-1338250386/solver-3718142-1338250386 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718142-1338250386.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d7ec3e5f8584fe7f5e0e066c760adfab RANDOM SEED=961365546 node126.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 : 2666.456 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 : 5332.91 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 : 2666.456 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 : 5331.91 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 : 2666.456 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 : 5331.92 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 : 2666.456 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 : 5331.91 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 : 2666.456 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 : 5331.92 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 : 2666.456 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 : 5331.91 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 : 2666.456 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 : 5331.90 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 : 2666.456 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 : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 30837956 kB Buffers: 424192 kB Cached: 723008 kB SwapCached: 17756 kB Active: 860688 kB Inactive: 307560 kB Active(anon): 2168 kB Inactive(anon): 20452 kB Active(file): 858520 kB Inactive(file): 287108 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67086932 kB Dirty: 516 kB Writeback: 0 kB AnonPages: 12892 kB Mapped: 9080 kB Shmem: 0 kB Slab: 727128 kB SReclaimable: 171148 kB SUnreclaim: 555980 kB KernelStack: 1432 kB PageTables: 4208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 104568 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71356 MiB End job on node126 at 2012-05-29 02:42:53