Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | OPT | 686.059 | 353.896 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_8_mh_ic.opb |
| MD5SUM | 92eaf5bbbb67d6b3b242e002852c9043 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5227195 |
| Best CPU time to get the best result obtained on this benchmark | 75.5025 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 114791256 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 4434739271 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 114791256 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 4434739271 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.09 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.1.v20110525 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 9996466904 0.06/0.09 c Max memory 10048897024 0.06/0.09 c Total memory 10048897024 0.06/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3744012-1338791989.opb 0.09/0.12 c reading problem ... 1.01/0.54 c ... done. Wall clock time 0.421s. 1.01/0.54 c #vars 9765 1.01/0.54 c #constraints 21987 1.01/0.54 c constraints type 1.01/0.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.01/0.54 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1.01/0.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.01/0.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.01/0.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 1.01/0.54 c constraints type 1.01/0.54 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.01/0.54 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.01/0.54 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.01/0.54 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1.01/0.54 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.66/0.79 c And the winner is Resolution 2.22/1.07 c SATISFIABLE 2.22/1.07 c OPTIMIZING... 2.22/1.07 c Got one! Elapsed wall clock time (in seconds):0.95 2.22/1.07 o 6759765 2.74/1.23 c And the winner is CuttingPlanes 3.02/1.60 c Got one! Elapsed wall clock time (in seconds):1.479 3.02/1.60 o 6210510 5.92/2.98 c And the winner is Resolution 6.51/3.42 c Got one! Elapsed wall clock time (in seconds):3.307 6.51/3.42 o 6205170 6.51/3.47 c And the winner is Resolution 6.65/3.95 c Got one! Elapsed wall clock time (in seconds):3.832 6.65/3.95 o 6091813 8.01/4.69 c cleaning 2871 clauses out of 5747 with flag 2000/5759 13.98/7.32 c cleaning 4430 clauses out of 8876 with flag 8000/11759 16.74/8.79 c And the winner is Resolution 17.55/9.42 c Got one! Elapsed wall clock time (in seconds):9.307 17.55/9.42 o 6049349 17.55/9.49 c And the winner is Resolution 17.74/9.95 c Got one! Elapsed wall clock time (in seconds):9.829 17.74/9.95 o 5985421 17.89/10.03 c And the winner is Resolution 18.04/10.47 c Got one! Elapsed wall clock time (in seconds):10.35 18.04/10.47 o 5773295 18.04/10.49 c And the winner is Resolution 18.13/10.99 c Got one! Elapsed wall clock time (in seconds):10.871 18.13/10.99 o 5696493 18.17/11.05 c And the winner is Resolution 18.32/11.51 c Got one! Elapsed wall clock time (in seconds):11.392 18.32/11.51 o 5530529 19.10/11.91 c cleaning 5075 clauses out of 10158 with flag 1000/17471 24.25/14.55 c cleaning 5539 clauses out of 11084 with flag 7001/23472 30.87/17.89 c cleaning 6265 clauses out of 12545 with flag 14001/30472 38.20/21.56 c cleaning 7133 clauses out of 14279 with flag 22001/38472 46.74/25.88 c cleaning 8068 clauses out of 16146 with flag 31001/47472 56.71/30.87 c cleaning 9031 clauses out of 18077 with flag 41000/57471 66.22/35.66 c cleaning 10018 clauses out of 20049 with flag 52003/68474 77.97/41.57 c cleaning 11005 clauses out of 22028 with flag 64000/80471 89.92/47.58 c cleaning 11998 clauses out of 24023 with flag 77000/93471 103.45/54.30 c cleaning 12995 clauses out of 26025 with flag 91000/107471 116.53/60.96 c cleaning 14005 clauses out of 28030 with flag 106001/122472 131.67/68.57 c cleaning 15003 clauses out of 30024 with flag 122000/138471 149.00/77.26 c cleaning 16006 clauses out of 32021 with flag 139000/155471 163.76/84.64 c cleaning 17005 clauses out of 34021 with flag 157006/173477 182.86/94.27 c cleaning 18001 clauses out of 36011 with flag 176001/192472 202.20/103.98 c cleaning 19003 clauses out of 38011 with flag 196002/212473 219.54/112.60 c cleaning 19996 clauses out of 40006 with flag 217000/233471 243.30/124.51 c cleaning 21003 clauses out of 42010 with flag 239000/255471 260.97/133.42 c cleaning 21491 clauses out of 43006 with flag 261000/277471 277.70/141.83 c cleaning 21747 clauses out of 43516 with flag 283001/299472 279.80/142.91 c And the winner is Resolution 280.43/143.60 c Got one! Elapsed wall clock time (in seconds):143.48 280.43/143.60 o 5518087 280.90/143.82 c And the winner is Resolution 281.01/144.12 c Got one! Elapsed wall clock time (in seconds):144.001 281.01/144.12 o 5514867 281.17/144.24 c And the winner is Resolution 281.31/144.64 c Got one! Elapsed wall clock time (in seconds):144.523 281.31/144.64 o 5468539 281.31/144.66 c And the winner is Resolution 281.40/145.16 c Got one! Elapsed wall clock time (in seconds):145.045 281.40/145.16 o 5430142 281.88/145.49 c And the winner is Resolution 282.67/146.13 c Got one! Elapsed wall clock time (in seconds):146.018 282.67/146.13 o 5414149 283.22/146.42 c And the winner is Resolution 283.29/146.66 c Got one! Elapsed wall clock time (in seconds):146.54 283.29/146.66 o 5413518 283.77/146.97 c And the winner is Resolution 284.45/147.58 c Got one! Elapsed wall clock time (in seconds):147.462 284.45/147.58 o 5378346 284.52/147.62 c And the winner is Resolution 284.61/148.10 c Got one! Elapsed wall clock time (in seconds):147.984 284.61/148.10 o 5360263 284.61/148.14 c And the winner is Resolution 284.73/148.62 c Got one! Elapsed wall clock time (in seconds):148.506 284.73/148.62 o 5353923 284.73/148.64 c And the winner is Resolution 284.79/149.14 c Got one! Elapsed wall clock time (in seconds):149.028 284.79/149.14 o 5334780 284.79/149.16 c And the winner is Resolution 284.83/149.67 c Got one! Elapsed wall clock time (in seconds):149.55 284.83/149.67 o 5258790 284.90/149.70 c And the winner is Resolution 284.95/150.19 c Got one! Elapsed wall clock time (in seconds):150.072 284.95/150.19 o 5247656 286.57/151.09 c cleaning 15337 clauses out of 30679 with flag 2000/308383 291.87/153.70 c cleaning 10668 clauses out of 21345 with flag 8003/314386 297.31/156.56 c cleaning 8820 clauses out of 17675 with flag 15001/321384 303.60/159.78 c cleaning 8413 clauses out of 16855 with flag 23001/329384 310.69/163.32 c cleaning 8719 clauses out of 17443 with flag 32002/338385 318.59/167.31 c cleaning 9357 clauses out of 18723 with flag 42001/348384 327.42/171.89 c cleaning 10171 clauses out of 20365 with flag 53000/359383 337.52/176.91 c cleaning 11089 clauses out of 22195 with flag 65001/371384 348.21/182.38 c cleaning 12046 clauses out of 24106 with flag 78001/384384 360.72/188.66 c cleaning 13024 clauses out of 26060 with flag 92001/398384 372.74/194.71 c cleaning 14008 clauses out of 28035 with flag 107000/413383 385.64/201.30 c cleaning 15010 clauses out of 30028 with flag 123001/429384 399.71/208.34 c cleaning 16004 clauses out of 32018 with flag 140001/446384 414.40/215.80 c cleaning 16996 clauses out of 34013 with flag 158000/464383 432.24/224.75 c cleaning 18002 clauses out of 36018 with flag 177001/483384 448.53/232.93 c cleaning 18998 clauses out of 38015 with flag 197000/503383 467.00/242.25 c cleaning 20000 clauses out of 40019 with flag 218002/524385 487.66/252.64 c cleaning 20997 clauses out of 42021 with flag 240004/546387 505.46/261.66 c cleaning 21506 clauses out of 43020 with flag 262000/568383 524.35/271.15 c cleaning 21753 clauses out of 43515 with flag 284001/590384 543.65/280.88 c cleaning 21879 clauses out of 43762 with flag 306001/612384 562.55/290.39 c cleaning 21939 clauses out of 43885 with flag 328003/634386 582.58/300.43 c cleaning 21964 clauses out of 43943 with flag 350001/656384 599.66/309.09 c And the winner is Resolution 600.53/309.76 c Got one! Elapsed wall clock time (in seconds):309.642 600.53/309.76 o 5240441 604.05/311.56 c cleaning 24209 clauses out of 48435 with flag 5000/682840 608.11/313.65 c cleaning 15106 clauses out of 30227 with flag 11001/688841 612.77/316.06 c cleaning 11045 clauses out of 22120 with flag 18000/695840 620.97/320.23 c cleaning 9524 clauses out of 19068 with flag 26000/703840 624.04/321.81 c And the winner is Resolution 624.72/322.50 c Got one! Elapsed wall clock time (in seconds):322.387 624.72/322.50 o 5227195 625.11/322.79 c cleaning 7302 clauses out of 14641 with flag 1000/708937 628.96/324.80 c cleaning 6657 clauses out of 13340 with flag 7001/714938 633.62/327.12 c cleaning 6837 clauses out of 13683 with flag 14001/721938 638.81/329.90 c cleaning 7418 clauses out of 14845 with flag 22000/729937 646.87/333.96 c cleaning 8203 clauses out of 16421 with flag 31000/738937 655.73/338.42 c cleaning 9097 clauses out of 18220 with flag 41002/748939 665.60/343.47 c cleaning 10056 clauses out of 20123 with flag 52002/759939 676.60/349.06 c cleaning 11029 clauses out of 22068 with flag 64003/771940 685.64/353.63 c And the winner is Resolution 685.85/353.86 c starts : 195 685.85/353.86 c conflicts : 781617 685.85/353.86 c decisions : 1658282 685.85/353.86 c propagations : 272536035 685.85/353.86 c inspects : 1190121212 685.85/353.86 c shortcuts : 0 685.85/353.86 c learnt literals : 35 685.85/353.86 c learnt binary clauses : 217 685.85/353.86 c learnt ternary clauses : 826 685.85/353.86 c learnt constraints : 781581 685.85/353.86 c ignored constraints : 0 685.85/353.86 c root simplifications : 0 685.85/353.86 c removed literals (reason simplification) : 8234660 685.85/353.86 c reason swapping (by a shorter reason) : 0 685.85/353.86 c Calls to reduceDB : 57 685.85/353.86 c number of reductions to clauses (during analyze) : 0 685.85/353.86 c number of learned constraints concerned by reduction : 0 685.85/353.86 c number of learning phase by resolution : 0 685.85/353.86 c number of learning phase by cutting planes : 0 685.85/353.86 c speed (assignments/second) : 8694166.427409321 685.85/353.86 c non guided choices 4428 685.85/353.86 c learnt constraints type 685.85/353.86 c constraints type 685.85/353.86 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 685.85/353.86 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 685.85/353.86 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 685.85/353.86 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 685.85/353.86 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 685.85/353.86 c constraints type 685.85/353.86 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 685.85/353.86 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 685.85/353.86 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 685.85/353.86 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 685.85/353.86 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 685.85/353.86 s OPTIMUM FOUND 685.85/353.87 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 685.85/353.88 c objective function=5227195 685.85/353.88 c Total wall clock time (in seconds): 353.762
OK 5227195
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-3744012-1338791989/watcher-3744012-1338791989 -o /tmp/evaluation-result-3744012-1338791989/solver-3744012-1338791989 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744012-1338791989.opb 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: 3.88 3.88 3.51 4/197 23776 /proc/meminfo: memFree=27779936/32873648 swapFree=7628/7628 [pid=23776] ppid=23774 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/23776/stat : 23776 (java) D 23774 23776 22704 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 345324904 9515008 175 33554432000 1073741824 1073778376 140736174020192 140736174002920 217410519952 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0 /proc/23776/statm: 2323 175 133 9 0 71 0 [startup+0.0883361 s] /proc/loadavg: 3.88 3.88 3.51 4/197 23776 /proc/meminfo: memFree=27779936/32873648 swapFree=7628/7628 [pid=23776] ppid=23774 vsize=11586392 CPUtime=0.06 cores=1,3,5,7 /proc/23776/stat : 23776 (java) S 23774 23776 22704 0 -1 4202496 3962 0 1 0 5 1 0 0 20 0 18 0 345324904 11864465408 12836 33554432000 1073741824 1073778376 140737263949744 140737263940880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23776/statm: 2896598 12836 1779 9 0 2887285 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11586392 [startup+0.100225 s] /proc/loadavg: 3.88 3.88 3.51 4/197 23776 /proc/meminfo: memFree=27779936/32873648 swapFree=7628/7628 [pid=23776] ppid=23774 vsize=11586392 CPUtime=0.09 cores=1,3,5,7 /proc/23776/stat : 23776 (java) S 23774 23776 22704 0 -1 4202496 4739 0 1 0 8 1 0 0 20 0 18 0 345324904 11864465408 13600 33554432000 1073741824 1073778376 140737263949744 140737263940880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23776/statm: 2896598 13600 2116 9 0 2887285 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11586392 [startup+0.300163 s] /proc/loadavg: 3.88 3.88 3.51 4/197 23776 /proc/meminfo: memFree=27779936/32873648 swapFree=7628/7628 [pid=23776] ppid=23774 vsize=11586392 CPUtime=0.51 cores=1,3,5,7 /proc/23776/stat : 23776 (java) S 23774 23776 22704 0 -1 4202496 6280 0 1 0 50 1 0 0 20 0 18 0 345324904 11864465408 17838 33554432000 1073741824 1073778376 140737263949744 140737263940880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23776/statm: 2896598 17838 2235 9 0 2887285 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 11586392 [startup+0.700163 s] /proc/loadavg: 3.88 3.88 3.51 4/197 23776 /proc/meminfo: memFree=27779936/32873648 swapFree=7628/7628 [pid=23776] ppid=23774 vsize=11852648 CPUtime=1.66 cores=1,3,5,7 /proc/23776/stat : 23776 (java) S 23774 23776 22704 0 -1 4202496 10980 0 1 0 163 3 0 0 20 0 22 0 345324904 12137111552 36061 33554432000 1073741824 1073778376 140737263949744 140737263940880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23776/statm: 2963162 36061 2263 9 0 2953849 0 Current children cumulated CPU time (s) 1.66 Current children cumulated vsize (KiB) 11852648 [startup+1.50062 s] /proc/loadavg: 3.88 3.88 3.51 3/216 23798 /proc/meminfo: memFree=27633088/32873648 swapFree=7628/7628 [pid=23776] ppid=23774 vsize=11852648 CPUtime=3.02 cores=1,3,5,7 /proc/23776/stat : 23776 (java) S 23774 23776 22704 0 -1 4202496 17609 0 1 0 294 8 0 0 20 0 19 0 345324904 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 140737263940880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23776/statm: 2963162 48236 2265 9 0 2953849 0 [pid=23776/tid=23778] ppid=23774 vsize=11852648 CPUtime=0.54 cores=1,3,5,7 /proc/23776/task/23778/stat : 23778 (java) S 23774 23776 22704 0 -1 4202560 2903 0 1 0 51 3 0 0 20 0 19 0 345324905 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139835048989848 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23779] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23779/stat : 23779 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345324907 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139835017399336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23780] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23780/stat : 23780 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345324907 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139835016346536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23781] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23781/stat : 23781 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345324907 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139835015293736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23782] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23782/stat : 23782 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345324907 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139835014240936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23783] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23783/stat : 23783 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345324907 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139835013188136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23784] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23784/stat : 23784 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345324907 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139835012135336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23785] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23785/stat : 23785 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345324907 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139835011082536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23786] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23786/stat : 23786 (java) S 23774 23776 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345324907 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139835010029736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23787] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23787/stat : 23787 (java) S 23774 23776 22704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 345324908 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139834395945960 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23788] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23788/stat : 23788 (java) S 23774 23776 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345324908 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139834394892024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23789] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23789/stat : 23789 (java) S 23774 23776 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345324909 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139834393839112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23790] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23790/stat : 23790 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345324911 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139834392787600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23791] ppid=23774 vsize=11852648 CPUtime=0.74 cores=1,3,5,7 /proc/23776/task/23791/stat : 23791 (java) S 23774 23776 22704 0 -1 4202560 4841 0 0 0 74 0 0 0 20 0 19 0 345324911 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139834391734712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23792] ppid=23774 vsize=11852648 CPUtime=0.87 cores=1,3,5,7 /proc/23776/task/23792/stat : 23792 (java) S 23774 23776 22704 0 -1 4202560 8544 0 0 0 86 1 0 0 20 0 19 0 345324911 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139834390681912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23793] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23793/stat : 23793 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345324911 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139834389629304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23794] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23794/stat : 23794 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345324911 12137111552 48236 33554432000 1073741824 1073778376 140737263949744 139834388576712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 11852648 [startup+3.10076 s] /proc/loadavg: 3.72 3.85 3.50 5/219 23804 /proc/meminfo: memFree=27442580/32873648 swapFree=7628/7628 [pid=23776] ppid=23774 vsize=11852648 CPUtime=6.23 cores=1,3,5,7 /proc/23776/stat : 23776 (java) S 23774 23776 22704 0 -1 4202496 17943 0 1 0 605 18 0 0 20 0 20 0 345324904 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 140737263940880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23776/statm: 2963162 211571 2268 9 0 2953849 0 [pid=23776/tid=23778] ppid=23774 vsize=11852648 CPUtime=0.57 cores=1,3,5,7 /proc/23776/task/23778/stat : 23778 (java) S 23774 23776 22704 0 -1 4202560 2904 0 1 0 54 3 0 0 20 0 20 0 345324905 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139835048989848 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23779] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23779/stat : 23779 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 345324907 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139835017399336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23780] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23780/stat : 23780 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 345324907 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139835016346536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23781] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23781/stat : 23781 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 345324907 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139835015293736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23782] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23782/stat : 23782 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 345324907 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139835014240936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23783] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23783/stat : 23783 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 345324907 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139835013188136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23784] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23784/stat : 23784 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 345324907 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139835012135336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23785] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23785/stat : 23785 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 345324907 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139835011082536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23786] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23786/stat : 23786 (java) S 23774 23776 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 345324907 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139835010029736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23787] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23787/stat : 23787 (java) S 23774 23776 22704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 345324908 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139834395945960 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23788] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23788/stat : 23788 (java) S 23774 23776 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 345324908 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139834394892024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23789] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23789/stat : 23789 (java) S 23774 23776 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 345324909 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139834393839112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23790] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23790/stat : 23790 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 345324911 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139834392787600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23791] ppid=23774 vsize=11852648 CPUtime=0.87 cores=1,3,5,7 /proc/23776/task/23791/stat : 23791 (java) S 23774 23776 22704 0 -1 4202560 4841 0 0 0 87 0 0 0 20 0 20 0 345324911 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139834391734712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23792] ppid=23774 vsize=11852648 CPUtime=1.06 cores=1,3,5,7 /proc/23776/task/23792/stat : 23792 (java) S 23774 23776 22704 0 -1 4202560 8548 0 0 0 104 2 0 0 20 0 20 0 345324911 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139834390681912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23793] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23793/stat : 23793 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 345324911 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139834389629304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23794] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23794/stat : 23794 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 345324911 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139834388576712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23803] ppid=23774 vsize=11852648 CPUtime=1.47 cores=1,3,5,7 /proc/23776/task/23803/stat : 23803 (java) R 23774 23776 22704 0 -1 4202560 319 0 0 0 139 8 0 0 20 0 20 0 345325065 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139834387520504 139834891840604 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23804] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23804/stat : 23804 (java) S 23774 23776 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 345325065 12137111552 211571 33554432000 1073741824 1073778376 140737263949744 139834384365096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 11852648 [startup+6.30075 s] /proc/loadavg: 3.72 3.85 3.50 5/219 23810 /proc/meminfo: memFree=26335248/32873648 swapFree=7628/7628 [pid=23776] ppid=23774 vsize=11852648 CPUtime=11.92 cores=1,3,5,7 /proc/23776/stat : 23776 (java) S 23774 23776 22704 0 -1 4202496 24096 0 1 0 1159 33 0 0 20 0 22 0 345324904 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 140737263940880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23776/statm: 2963162 373790 2292 9 0 2953849 0 [pid=23776/tid=23778] ppid=23774 vsize=11852648 CPUtime=0.62 cores=1,3,5,7 /proc/23776/task/23778/stat : 23778 (java) S 23774 23776 22704 0 -1 4202560 2906 0 1 0 59 3 0 0 20 0 22 0 345324905 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139835048989848 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23779] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23779/stat : 23779 (java) S 23774 23776 22704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 345324907 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139835017399336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23780] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23780/stat : 23780 (java) S 23774 23776 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345324907 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139835016346536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23781] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23781/stat : 23781 (java) S 23774 23776 22704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 345324907 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139835015293736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23782] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23782/stat : 23782 (java) S 23774 23776 22704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 345324907 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139835014240936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23783] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23783/stat : 23783 (java) S 23774 23776 22704 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 345324907 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139835013188136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23784] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23784/stat : 23784 (java) S 23774 23776 22704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 345324907 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139835012135336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23785] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23785/stat : 23785 (java) S 23774 23776 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 345324907 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139835011082536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23786] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23786/stat : 23786 (java) S 23774 23776 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345324907 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139835010029736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23787] ppid=23774 vsize=11852648 CPUtime=0.05 cores=1,3,5,7 /proc/23776/task/23787/stat : 23787 (java) S 23774 23776 22704 0 -1 4202560 41 0 0 0 5 0 0 0 20 0 22 0 345324908 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139834395945960 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23788] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23788/stat : 23788 (java) S 23774 23776 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345324908 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139834394892024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23789] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23789/stat : 23789 (java) S 23774 23776 22704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345324909 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139834393839112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23790] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23790/stat : 23790 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345324911 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139834392787600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23791] ppid=23774 vsize=11852648 CPUtime=1.36 cores=1,3,5,7 /proc/23776/task/23791/stat : 23791 (java) R 23774 23776 22704 0 -1 4202560 9615 0 0 0 134 2 0 0 20 0 22 0 345324911 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139834391734592 139835054832171 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23792] ppid=23774 vsize=11852648 CPUtime=1.19 cores=1,3,5,7 /proc/23776/task/23792/stat : 23792 (java) S 23774 23776 22704 0 -1 4202560 9531 0 0 0 117 2 0 0 20 0 22 0 345324911 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139834390681912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23793] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23793/stat : 23793 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345324911 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139834389629304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23794] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23794/stat : 23794 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345324911 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139834388576712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23804] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23804/stat : 23804 (java) S 23774 23776 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 345325065 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139834384365096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23808] ppid=23774 vsize=11852648 CPUtime=2.23 cores=1,3,5,7 /proc/23776/task/23808/stat : 23808 (java) R 23774 23776 22704 0 -1 4202560 7 0 0 0 223 0 0 0 20 0 22 0 345325300 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139834386469384 139834891951344 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23809] ppid=23774 vsize=11852648 CPUtime=2.24 cores=1,3,5,7 /proc/23776/task/23809/stat : 23809 (java) R 23774 23776 22704 0 -1 4202560 221 0 0 0 217 7 0 0 20 0 22 0 345325300 12137111552 373790 33554432000 1073741824 1073778376 140737263949744 139834387520256 139834891658521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 ################ # More data... # ################ /proc/23776/task/23785/stat : 23785 (java) S 23774 23776 22704 0 -1 4202560 64 0 0 0 39 0 0 0 20 0 22 0 345324907 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139835011082536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23786] ppid=23774 vsize=11852648 CPUtime=0.34 cores=1,3,5,7 /proc/23776/task/23786/stat : 23786 (java) S 23774 23776 22704 0 -1 4202560 47 0 0 0 32 2 0 0 20 0 22 0 345324907 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139835010029736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23787] ppid=23774 vsize=11852648 CPUtime=7.42 cores=1,3,5,7 /proc/23776/task/23787/stat : 23787 (java) S 23774 23776 22704 0 -1 4202560 100 0 0 0 736 6 0 0 20 0 22 0 345324908 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834395945960 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23788] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23788/stat : 23788 (java) S 23774 23776 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345324908 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834394892024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23789] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23789/stat : 23789 (java) S 23774 23776 22704 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 22 0 345324909 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834393839112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23790] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23790/stat : 23790 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345324911 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834392787600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23791] ppid=23774 vsize=11852648 CPUtime=1.56 cores=1,3,5,7 /proc/23776/task/23791/stat : 23791 (java) S 23774 23776 22704 0 -1 4202560 9622 0 0 0 154 2 0 0 20 0 22 0 345324911 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834391734712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23792] ppid=23774 vsize=11852648 CPUtime=1.31 cores=1,3,5,7 /proc/23776/task/23792/stat : 23792 (java) S 23774 23776 22704 0 -1 4202560 10265 0 0 0 129 2 0 0 20 0 22 0 345324911 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834390681912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23793] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23793/stat : 23793 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345324911 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834389629304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23794] ppid=23774 vsize=11852648 CPUtime=0.13 cores=1,3,5,7 /proc/23776/task/23794/stat : 23794 (java) S 23774 23776 22704 0 -1 4202560 21 0 0 0 5 8 0 0 20 0 22 0 345324911 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834388576712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23804] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23804/stat : 23804 (java) S 23774 23776 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 345325065 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834384365096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23869] ppid=23774 vsize=11852648 CPUtime=28.68 cores=1,3,5,7 /proc/23776/task/23869/stat : 23869 (java) R 23774 23776 22704 0 -1 4202560 8 0 0 0 2868 0 0 0 20 0 22 0 345357155 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834386469072 139834891947943 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23870] ppid=23774 vsize=11852648 CPUtime=28.68 cores=1,3,5,7 /proc/23776/task/23870/stat : 23870 (java) R 23774 23776 22704 0 -1 4202560 5 0 0 0 2868 0 0 0 20 0 22 0 345357155 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834387519440 139834891847968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23871] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23871/stat : 23871 (java) S 23774 23776 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 345357156 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834385417896 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 683.84 Current children cumulated vsize (KiB) 11852648 [startup+353.501 s] /proc/loadavg: 3.91 3.86 3.60 5/219 23871 /proc/meminfo: memFree=24090104/32873648 swapFree=7628/7628 [pid=23776] ppid=23774 vsize=11852648 CPUtime=685.44 cores=1,3,5,7 /proc/23776/stat : 23776 (java) S 23774 23776 22704 0 -1 4202496 26631 0 1 0 68417 127 0 0 20 0 22 0 345324904 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 140737263940880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23776/statm: 2963162 900512 2293 9 0 2953849 0 [pid=23776/tid=23778] ppid=23774 vsize=11852648 CPUtime=1.05 cores=1,3,5,7 /proc/23776/task/23778/stat : 23778 (java) S 23774 23776 22704 0 -1 4202560 2921 0 1 0 101 4 0 0 20 0 22 0 345324905 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139835048989848 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23779] ppid=23774 vsize=11852648 CPUtime=0.38 cores=1,3,5,7 /proc/23776/task/23779/stat : 23779 (java) S 23774 23776 22704 0 -1 4202560 72 0 0 0 36 2 0 0 20 0 22 0 345324907 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139835017399336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23780] ppid=23774 vsize=11852648 CPUtime=0.37 cores=1,3,5,7 /proc/23776/task/23780/stat : 23780 (java) S 23774 23776 22704 0 -1 4202560 58 0 0 0 37 0 0 0 20 0 22 0 345324907 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139835016346536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23781] ppid=23774 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/23776/task/23781/stat : 23781 (java) S 23774 23776 22704 0 -1 4202560 63 0 0 0 41 2 0 0 20 0 22 0 345324907 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139835015293736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23782] ppid=23774 vsize=11852648 CPUtime=0.35 cores=1,3,5,7 /proc/23776/task/23782/stat : 23782 (java) S 23774 23776 22704 0 -1 4202560 53 0 0 0 35 0 0 0 20 0 22 0 345324907 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139835014240936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23783] ppid=23774 vsize=11852648 CPUtime=0.39 cores=1,3,5,7 /proc/23776/task/23783/stat : 23783 (java) S 23774 23776 22704 0 -1 4202560 60 0 0 0 39 0 0 0 20 0 22 0 345324907 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139835013188136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23784] ppid=23774 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/23776/task/23784/stat : 23784 (java) S 23774 23776 22704 0 -1 4202560 80 0 0 0 39 2 0 0 20 0 22 0 345324907 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139835012135336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23785] ppid=23774 vsize=11852648 CPUtime=0.39 cores=1,3,5,7 /proc/23776/task/23785/stat : 23785 (java) S 23774 23776 22704 0 -1 4202560 64 0 0 0 39 0 0 0 20 0 22 0 345324907 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139835011082536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23786] ppid=23774 vsize=11852648 CPUtime=0.34 cores=1,3,5,7 /proc/23776/task/23786/stat : 23786 (java) S 23774 23776 22704 0 -1 4202560 47 0 0 0 32 2 0 0 20 0 22 0 345324907 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139835010029736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23787] ppid=23774 vsize=11852648 CPUtime=7.42 cores=1,3,5,7 /proc/23776/task/23787/stat : 23787 (java) S 23774 23776 22704 0 -1 4202560 100 0 0 0 736 6 0 0 20 0 22 0 345324908 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834395945960 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23788] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23788/stat : 23788 (java) S 23774 23776 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345324908 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834394892024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23789] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23789/stat : 23789 (java) S 23774 23776 22704 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 22 0 345324909 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834393839112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23790] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23790/stat : 23790 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345324911 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834392787600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23791] ppid=23774 vsize=11852648 CPUtime=1.56 cores=1,3,5,7 /proc/23776/task/23791/stat : 23791 (java) S 23774 23776 22704 0 -1 4202560 9622 0 0 0 154 2 0 0 20 0 22 0 345324911 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834391734712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23792] ppid=23774 vsize=11852648 CPUtime=1.31 cores=1,3,5,7 /proc/23776/task/23792/stat : 23792 (java) S 23774 23776 22704 0 -1 4202560 10265 0 0 0 129 2 0 0 20 0 22 0 345324911 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834390681912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23793] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23793/stat : 23793 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345324911 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834389629304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23794] ppid=23774 vsize=11852648 CPUtime=0.13 cores=1,3,5,7 /proc/23776/task/23794/stat : 23794 (java) S 23774 23776 22704 0 -1 4202560 21 0 0 0 5 8 0 0 20 0 22 0 345324911 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834388576712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23804] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23804/stat : 23804 (java) S 23774 23776 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 345325065 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834384365096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23869] ppid=23774 vsize=11852648 CPUtime=29.48 cores=1,3,5,7 /proc/23776/task/23869/stat : 23869 (java) R 23774 23776 22704 0 -1 4202560 8 0 0 0 2948 0 0 0 20 0 22 0 345357155 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834386469072 139834891947872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23870] ppid=23774 vsize=11852648 CPUtime=29.48 cores=1,3,5,7 /proc/23776/task/23870/stat : 23870 (java) R 23774 23776 22704 0 -1 4202560 5 0 0 0 2948 0 0 0 20 0 22 0 345357155 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834387519440 139834891840845 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23871] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23871/stat : 23871 (java) S 23774 23776 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 345357156 12137111552 900512 33554432000 1073741824 1073778376 140737263949744 139834385417896 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 685.44 Current children cumulated vsize (KiB) 11852648 [startup+353.701 s] /proc/loadavg: 3.91 3.86 3.60 5/219 23871 /proc/meminfo: memFree=24090104/32873648 swapFree=7628/7628 [pid=23776] ppid=23774 vsize=11852648 CPUtime=685.77 cores=1,3,5,7 /proc/23776/stat : 23776 (java) S 23774 23776 22704 0 -1 4202496 26631 0 1 0 68448 129 0 0 20 0 19 0 345324904 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 140737263940880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23776/statm: 2963162 900504 2293 9 0 2953849 0 [pid=23776/tid=23778] ppid=23774 vsize=11852648 CPUtime=1.05 cores=1,3,5,7 /proc/23776/task/23778/stat : 23778 (java) S 23774 23776 22704 0 -1 4202560 2921 0 1 0 101 4 0 0 20 0 19 0 345324905 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835048989848 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23779] ppid=23774 vsize=11852648 CPUtime=0.38 cores=1,3,5,7 /proc/23776/task/23779/stat : 23779 (java) S 23774 23776 22704 0 -1 4202560 72 0 0 0 36 2 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835017399336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23780] ppid=23774 vsize=11852648 CPUtime=0.37 cores=1,3,5,7 /proc/23776/task/23780/stat : 23780 (java) S 23774 23776 22704 0 -1 4202560 58 0 0 0 37 0 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835016346536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23781] ppid=23774 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/23776/task/23781/stat : 23781 (java) S 23774 23776 22704 0 -1 4202560 63 0 0 0 41 2 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835015293736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23782] ppid=23774 vsize=11852648 CPUtime=0.35 cores=1,3,5,7 /proc/23776/task/23782/stat : 23782 (java) S 23774 23776 22704 0 -1 4202560 53 0 0 0 35 0 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835014240936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23783] ppid=23774 vsize=11852648 CPUtime=0.39 cores=1,3,5,7 /proc/23776/task/23783/stat : 23783 (java) S 23774 23776 22704 0 -1 4202560 60 0 0 0 39 0 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835013188136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23784] ppid=23774 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/23776/task/23784/stat : 23784 (java) S 23774 23776 22704 0 -1 4202560 80 0 0 0 39 2 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835012135336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23785] ppid=23774 vsize=11852648 CPUtime=0.39 cores=1,3,5,7 /proc/23776/task/23785/stat : 23785 (java) S 23774 23776 22704 0 -1 4202560 64 0 0 0 39 0 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835011082536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23786] ppid=23774 vsize=11852648 CPUtime=0.34 cores=1,3,5,7 /proc/23776/task/23786/stat : 23786 (java) S 23774 23776 22704 0 -1 4202560 47 0 0 0 32 2 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835010029736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23787] ppid=23774 vsize=11852648 CPUtime=7.42 cores=1,3,5,7 /proc/23776/task/23787/stat : 23787 (java) S 23774 23776 22704 0 -1 4202560 100 0 0 0 736 6 0 0 20 0 19 0 345324908 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834395945960 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23788] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23788/stat : 23788 (java) S 23774 23776 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345324908 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834394892024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23789] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23789/stat : 23789 (java) S 23774 23776 22704 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 345324909 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834393839112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23790] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23790/stat : 23790 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345324911 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834392787600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23791] ppid=23774 vsize=11852648 CPUtime=1.56 cores=1,3,5,7 /proc/23776/task/23791/stat : 23791 (java) S 23774 23776 22704 0 -1 4202560 9622 0 0 0 154 2 0 0 20 0 19 0 345324911 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834391734712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23792] ppid=23774 vsize=11852648 CPUtime=1.31 cores=1,3,5,7 /proc/23776/task/23792/stat : 23792 (java) S 23774 23776 22704 0 -1 4202560 10265 0 0 0 129 2 0 0 20 0 19 0 345324911 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834390681912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23793] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23793/stat : 23793 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345324911 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834389629304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23794] ppid=23774 vsize=11852648 CPUtime=0.13 cores=1,3,5,7 /proc/23776/task/23794/stat : 23794 (java) S 23774 23776 22704 0 -1 4202560 21 0 0 0 5 8 0 0 20 0 19 0 345324911 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834388576712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23804] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23804/stat : 23804 (java) S 23774 23776 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345325065 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834384365096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 685.77 Current children cumulated vsize (KiB) 11852648 [startup+353.801 s] /proc/loadavg: 3.91 3.86 3.60 5/219 23871 /proc/meminfo: memFree=24090104/32873648 swapFree=7628/7628 [pid=23776] ppid=23774 vsize=11852648 CPUtime=685.85 cores=1,3,5,7 /proc/23776/stat : 23776 (java) S 23774 23776 22704 0 -1 4202496 26632 0 1 0 68456 129 0 0 20 0 19 0 345324904 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 140737263940880 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23776/statm: 2963162 900504 2293 9 0 2953849 0 [pid=23776/tid=23778] ppid=23774 vsize=11852648 CPUtime=1.12 cores=1,3,5,7 /proc/23776/task/23778/stat : 23778 (java) R 23774 23776 22704 0 -1 4202560 2921 0 1 0 108 4 0 0 20 0 19 0 345324905 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835048989464 139834891179976 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23779] ppid=23774 vsize=11852648 CPUtime=0.38 cores=1,3,5,7 /proc/23776/task/23779/stat : 23779 (java) S 23774 23776 22704 0 -1 4202560 72 0 0 0 36 2 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835017399336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23780] ppid=23774 vsize=11852648 CPUtime=0.37 cores=1,3,5,7 /proc/23776/task/23780/stat : 23780 (java) S 23774 23776 22704 0 -1 4202560 58 0 0 0 37 0 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835016346536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23781] ppid=23774 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/23776/task/23781/stat : 23781 (java) S 23774 23776 22704 0 -1 4202560 63 0 0 0 41 2 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835015293736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23782] ppid=23774 vsize=11852648 CPUtime=0.35 cores=1,3,5,7 /proc/23776/task/23782/stat : 23782 (java) S 23774 23776 22704 0 -1 4202560 53 0 0 0 35 0 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835014240936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23783] ppid=23774 vsize=11852648 CPUtime=0.39 cores=1,3,5,7 /proc/23776/task/23783/stat : 23783 (java) S 23774 23776 22704 0 -1 4202560 60 0 0 0 39 0 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835013188136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23784] ppid=23774 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/23776/task/23784/stat : 23784 (java) S 23774 23776 22704 0 -1 4202560 80 0 0 0 39 2 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835012135336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23785] ppid=23774 vsize=11852648 CPUtime=0.39 cores=1,3,5,7 /proc/23776/task/23785/stat : 23785 (java) S 23774 23776 22704 0 -1 4202560 64 0 0 0 39 0 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835011082536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23786] ppid=23774 vsize=11852648 CPUtime=0.34 cores=1,3,5,7 /proc/23776/task/23786/stat : 23786 (java) S 23774 23776 22704 0 -1 4202560 47 0 0 0 32 2 0 0 20 0 19 0 345324907 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139835010029736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23787] ppid=23774 vsize=11852648 CPUtime=7.42 cores=1,3,5,7 /proc/23776/task/23787/stat : 23787 (java) S 23774 23776 22704 0 -1 4202560 100 0 0 0 736 6 0 0 20 0 19 0 345324908 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834395945960 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23776/tid=23788] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23788/stat : 23788 (java) S 23774 23776 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345324908 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834394892024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23789] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23789/stat : 23789 (java) S 23774 23776 22704 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 345324909 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834393839112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23790] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23790/stat : 23790 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345324911 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834392787600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23776/tid=23791] ppid=23774 vsize=11852648 CPUtime=1.57 cores=1,3,5,7 /proc/23776/task/23791/stat : 23791 (java) S 23774 23776 22704 0 -1 4202560 9623 0 0 0 155 2 0 0 20 0 19 0 345324911 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834391734712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23776/tid=23792] ppid=23774 vsize=11852648 CPUtime=1.31 cores=1,3,5,7 /proc/23776/task/23792/stat : 23792 (java) S 23774 23776 22704 0 -1 4202560 10265 0 0 0 129 2 0 0 20 0 19 0 345324911 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834390681912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23793] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23793/stat : 23793 (java) S 23774 23776 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345324911 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834389629304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23794] ppid=23774 vsize=11852648 CPUtime=0.13 cores=1,3,5,7 /proc/23776/task/23794/stat : 23794 (java) S 23774 23776 22704 0 -1 4202560 21 0 0 0 5 8 0 0 20 0 19 0 345324911 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834388576712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23776/tid=23804] ppid=23774 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/23776/task/23804/stat : 23804 (java) S 23774 23776 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345325065 12137111552 900504 33554432000 1073741824 1073778376 140737263949744 139834384365096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 685.85 Current children cumulated vsize (KiB) 11852648 Child status: 30 Real time (s): 353.896 CPU time (s): 686.059 CPU user time (s): 684.598 CPU system time (s): 1.46078 CPU usage (%): 193.859 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 684.598 system time used= 1.46078 maximum resident set size= 3602048 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26641 page faults= 1 swaps= 0 block input operations= 0 block output operations= 416 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12184 involuntary context switches= 11969 runsolver used 1.35379 second user time and 3.14352 second system time The end
Begin job on node122 at 2012-06-04 08:39:49 IDJOB=3744012 IDBENCH=92668 IDSOLVER=2328 FILE ID=node122/3744012-1338791989 RUNJOBID= node122-1338785055-22721 PBS_JOBID= 14636854 Free space on /tmp= 71184 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_8_mh_ic.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744012-1338791989/watcher-3744012-1338791989 -o /tmp/evaluation-result-3744012-1338791989/solver-3744012-1338791989 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744012-1338791989.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 92eaf5bbbb67d6b3b242e002852c9043 RANDOM SEED=1342557838 node122.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.533 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 : 5333.06 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.533 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.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.04 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.533 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.533 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.91 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.533 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 : 5438.54 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.533 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.91 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.533 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27780092 kB Buffers: 270692 kB Cached: 281420 kB SwapCached: 1492 kB Active: 4046016 kB Inactive: 187440 kB Active(anon): 3678028 kB Inactive(anon): 5344 kB Active(file): 367988 kB Inactive(file): 182096 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67100244 kB Dirty: 1072 kB Writeback: 0 kB AnonPages: 3691680 kB Mapped: 16976 kB Shmem: 0 kB Slab: 713640 kB SReclaimable: 157456 kB SUnreclaim: 556184 kB KernelStack: 1624 kB PageTables: 11084 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 10486320 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 3641344 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= 71184 MiB End job on node122 at 2012-06-04 08:45:43