Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 29 | 1800.35 | 913.136 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_010_area_delay.opb |
MD5SUM | d869c2ae266497675d66f161576eaac8 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 26 |
Best CPU time to get the best result obtained on this benchmark | 137.513 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 29 |
Optimality of the best value was proved | NO |
Number of variables | 11729 |
Total number of constraints | 36747 |
Number of constraints which are clauses | 36747 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 5750 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 5750 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 5750 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.09 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.1.v20110525 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.18-164.el5 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 9996466904 0.03/0.09 c Max memory 10048897024 0.03/0.09 c Total memory 10048897024 0.03/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@67ee3914 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@1c691f36 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-3454108-1307193552.opb 0.09/0.12 c reading problem ... 1.10/0.66 c ... done. Wall clock time 0.538s. 1.10/0.66 c #vars 11729 1.10/0.66 c #constraints 36747 1.10/0.66 c constraints type 1.10/0.66 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5988 1.10/0.66 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 29619 1.10/0.66 c constraints type 1.10/0.66 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 29619 1.10/0.66 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5988 1.41/0.76 c And the winner is CuttingPlanes 1.74/1.20 c SATISFIABLE 1.74/1.20 c OPTIMIZING... 1.74/1.20 c Got one! Elapsed wall clock time (in seconds):1.083 1.74/1.20 o 41 1.74/1.25 c And the winner is CuttingPlanes 1.92/1.76 c Got one! Elapsed wall clock time (in seconds):1.64 1.92/1.76 o 37 2.10/1.88 c And the winner is Resolution 2.63/2.31 c Got one! Elapsed wall clock time (in seconds):2.192 2.63/2.31 o 34 3.16/2.59 c And the winner is Resolution 3.45/2.85 c Got one! Elapsed wall clock time (in seconds):2.732 3.45/2.85 o 33 4.87/3.54 c And the winner is Resolution 5.10/3.89 c Got one! Elapsed wall clock time (in seconds):3.773 5.10/3.89 o 31 11.20/6.93 c cleaning 2872 clauses out of 5759 with flag 4000/5759 19.46/10.96 c cleaning 4439 clauses out of 8889 with flag 10002/11761 28.02/15.30 c cleaning 5708 clauses out of 11448 with flag 17000/18759 38.41/20.49 c cleaning 6864 clauses out of 13741 with flag 25001/26760 50.96/26.77 c cleaning 7936 clauses out of 15877 with flag 34001/35760 64.10/33.34 c cleaning 8965 clauses out of 17940 with flag 44000/45759 78.65/40.64 c cleaning 9984 clauses out of 19975 with flag 55000/56759 94.59/48.65 c cleaning 10991 clauses out of 21991 with flag 67000/68759 110.87/56.85 c cleaning 11995 clauses out of 24001 with flag 80001/81760 128.98/65.94 c cleaning 12994 clauses out of 26005 with flag 94000/95759 147.24/75.18 c cleaning 13999 clauses out of 28011 with flag 109000/110759 167.91/85.55 c cleaning 14990 clauses out of 30012 with flag 125000/126759 190.34/96.86 c cleaning 16008 clauses out of 32023 with flag 142001/143760 213.97/108.75 c cleaning 16999 clauses out of 34015 with flag 160001/161760 238.63/121.13 c cleaning 17998 clauses out of 36015 with flag 179000/180759 265.50/134.64 c cleaning 18995 clauses out of 38017 with flag 199000/200759 293.10/148.56 c cleaning 20001 clauses out of 40022 with flag 220000/221759 323.32/163.81 c cleaning 21001 clauses out of 42021 with flag 242000/243759 355.36/179.83 c cleaning 22008 clauses out of 44023 with flag 265003/266762 387.42/195.95 c cleaning 22996 clauses out of 46012 with flag 289000/290759 419.56/212.20 c cleaning 23995 clauses out of 48016 with flag 314000/315759 455.40/230.19 c cleaning 25004 clauses out of 50022 with flag 340001/341760 489.22/247.20 c cleaning 25996 clauses out of 52017 with flag 367000/368759 527.66/266.41 c cleaning 27006 clauses out of 54021 with flag 395000/396759 567.98/286.73 c cleaning 28002 clauses out of 56016 with flag 424001/425760 598.19/301.91 c And the winner is Resolution 598.51/302.29 c Got one! Elapsed wall clock time (in seconds):302.176 598.51/302.29 o 30 604.05/305.07 c cleaning 27982 clauses out of 55977 with flag 5000/453723 610.64/308.41 c cleaning 16989 clauses out of 33995 with flag 11000/459723 618.26/312.40 c cleaning 11994 clauses out of 24006 with flag 18000/466723 627.92/317.38 c cleaning 9997 clauses out of 20013 with flag 26001/474724 639.33/323.20 c cleaning 9503 clauses out of 19015 with flag 35000/483723 651.34/329.26 c cleaning 9739 clauses out of 19512 with flag 45000/493723 664.35/335.80 c cleaning 10381 clauses out of 20774 with flag 56001/504724 679.26/343.50 c cleaning 11187 clauses out of 22394 with flag 68002/516725 694.10/350.94 c cleaning 12095 clauses out of 24205 with flag 81000/529723 710.26/359.16 c cleaning 13050 clauses out of 26111 with flag 95001/543724 726.46/367.40 c cleaning 14026 clauses out of 28060 with flag 110000/558723 744.70/376.63 c cleaning 15008 clauses out of 30034 with flag 126000/574723 764.09/386.42 c cleaning 16008 clauses out of 32026 with flag 143000/591723 785.86/397.48 c cleaning 17002 clauses out of 34018 with flag 161000/609723 809.05/409.19 c cleaning 18004 clauses out of 36016 with flag 180000/628723 835.24/422.42 c cleaning 19000 clauses out of 38014 with flag 200002/648725 862.12/436.06 c cleaning 19997 clauses out of 40012 with flag 221000/669723 892.45/451.35 c cleaning 21003 clauses out of 42015 with flag 243000/691723 926.16/468.34 c cleaning 21998 clauses out of 44013 with flag 266001/714724 956.29/483.64 c cleaning 23000 clauses out of 46014 with flag 290000/738723 987.41/499.36 c cleaning 23999 clauses out of 48014 with flag 315000/763723 1021.10/516.32 c cleaning 24998 clauses out of 50015 with flag 341000/789723 1059.01/535.41 c cleaning 26000 clauses out of 52017 with flag 368000/816723 1098.22/555.26 c cleaning 27005 clauses out of 54018 with flag 396001/844724 1139.75/576.10 c cleaning 27994 clauses out of 56012 with flag 425000/873723 1179.88/596.35 c cleaning 29002 clauses out of 58018 with flag 455000/903723 1219.37/616.21 c cleaning 30000 clauses out of 60016 with flag 486000/934723 1256.88/635.29 c cleaning 30996 clauses out of 62016 with flag 518000/966723 1260.72/637.39 c And the winner is CuttingPlanes 1260.91/637.73 c Got one! Elapsed wall clock time (in seconds):637.611 1260.91/637.73 o 29 1264.86/639.75 c cleaning 18353 clauses out of 36715 with flag 3000/972418 1273.30/644.17 c cleaning 12177 clauses out of 24362 with flag 9000/978418 1282.56/648.93 c cleaning 9591 clauses out of 19186 with flag 16001/985419 1293.37/654.65 c cleaning 8791 clauses out of 17595 with flag 24001/993419 1305.60/660.97 c cleaning 8896 clauses out of 17803 with flag 33000/1002418 1318.42/667.57 c cleaning 9439 clauses out of 18907 with flag 43000/1012418 1332.65/674.83 c cleaning 10229 clauses out of 20469 with flag 54001/1023419 1347.88/682.79 c cleaning 11113 clauses out of 22240 with flag 66001/1035419 1366.70/692.36 c cleaning 12056 clauses out of 24127 with flag 79001/1048419 1384.13/701.21 c cleaning 13028 clauses out of 26070 with flag 93000/1062418 1403.35/711.03 c cleaning 14015 clauses out of 28042 with flag 108000/1077418 1424.58/721.96 c cleaning 15002 clauses out of 30027 with flag 124000/1093418 1446.41/733.09 c cleaning 16009 clauses out of 32026 with flag 141001/1110419 1471.03/745.52 c cleaning 17001 clauses out of 34017 with flag 159001/1128419 1497.23/758.82 c cleaning 18002 clauses out of 36017 with flag 178002/1147420 1523.58/772.31 c cleaning 18999 clauses out of 38014 with flag 198001/1167419 1549.75/785.66 c cleaning 20000 clauses out of 40014 with flag 219000/1188418 1577.34/799.65 c cleaning 21002 clauses out of 42015 with flag 241001/1210419 1606.09/814.27 c cleaning 22003 clauses out of 44013 with flag 264001/1233419 1634.99/829.09 c cleaning 22999 clauses out of 46011 with flag 288002/1257420 1665.74/844.60 c cleaning 23996 clauses out of 48010 with flag 313000/1282418 1698.49/861.31 c cleaning 25002 clauses out of 50014 with flag 339000/1308418 1731.37/877.98 c cleaning 25998 clauses out of 52014 with flag 366002/1335420 1768.77/897.05 c cleaning 27001 clauses out of 54014 with flag 394000/1363418 1800.08/912.94 c starts : 16 1800.08/912.94 c conflicts : 1360 1800.08/912.94 c decisions : 325481 1800.08/912.94 c propagations : 2329046 1800.08/912.94 c inspects : 12586650 1800.08/912.94 c shortcuts : 0 1800.08/912.94 c learnt literals : 0 1800.08/912.94 c learnt binary clauses : 0 1800.08/912.94 c learnt ternary clauses : 0 1800.08/912.94 c learnt constraints : 1358 1800.08/912.94 c ignored constraints : 0 1800.08/912.94 c root simplifications : 0 1800.08/912.94 c removed literals (reason simplification) : 0 1800.08/912.94 c reason swapping (by a shorter reason) : 0 1800.08/912.94 c Calls to reduceDB : 0 1800.08/912.94 c number of reductions to clauses (during analyze) : 0 1800.08/912.94 c number of learned constraints concerned by reduction : 0 1800.08/912.94 c number of learning phase by resolution : 0 1800.08/912.94 c number of learning phase by cutting planes : 0 1800.08/912.94 c speed (assignments/second) : 8462.980189241434 1800.08/912.94 c non guided choices 0 1800.08/912.94 c learnt constraints type 1800.08/912.94 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 132 1800.08/912.94 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 19 1800.08/912.94 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1207 1800.08/912.94 c constraints type 1800.08/912.94 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5988 1800.08/912.94 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.08/912.94 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 29619 1800.08/912.94 c constraints type 1800.08/912.94 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 29619 1800.08/912.94 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5988 1800.08/912.94 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.08/912.94 s SATISFIABLE 1800.08/912.95 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 x2660 x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 x3138 x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 x4290 x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 x4341 x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 x4491 x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 x4841 x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 x5297 x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 x5676 x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 x6191 x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 x8699 x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 x9529 x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 x10100 x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 x11043 x11044 -x11045 -x11046 x11047 x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 x11213 x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 x11243 x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 x11284 x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 x11387 x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 x11500 x11501 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 x11573 x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 x11672 x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11722 -x11723 -x11724 -x11725 -x11726 -x11727 x11728 x11729 1800.08/912.96 c objective function=29 1800.08/912.96 c Total wall clock time (in seconds): 912.845
OK 29
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3454108-1307193552/watcher-3454108-1307193552 -o /tmp/evaluation-result-3454108-1307193552/solver-3454108-1307193552 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454108-1307193552.opb running on 4 cores: 0,2,4,6 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: 1.90 2.61 3.25 2/476 18545 /proc/meminfo: memFree=27000116/32951124 swapFree=38422276/67111528 [pid=18545] ppid=18543 vsize=10430980 CPUtime=0 cores=0,2,4,6 /proc/18545/stat : 18545 (java) S 18543 18545 13859 0 -1 4202496 2233 0 1 0 0 0 0 0 18 0 2 0 830957512 10681323520 1937 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/18545/statm: 2607745 1957 906 9 0 2598901 0 [pid=18545/tid=18549] ppid=18543 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18549/stat : 18549 (java) R 18543 18545 13859 0 -1 4202560 5211 0 1 0 0 0 0 0 17 0 2 0 830957513 10694979584 6027 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212435711035 0 4 0 16784584 0 0 0 -1 0 0 0 0 [startup+0.0448841 s] /proc/loadavg: 1.90 2.61 3.25 2/476 18545 /proc/meminfo: memFree=27000116/32951124 swapFree=38422276/67111528 [pid=18545] ppid=18543 vsize=10467480 CPUtime=0.03 cores=0,2,4,6 /proc/18545/stat : 18545 (java) S 18543 18545 13859 0 -1 4202496 11223 0 1 0 2 1 0 0 18 0 13 0 830957512 10718699520 10921 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/18545/statm: 2616870 10921 1669 9 0 2607618 0 [pid=18545/tid=18549] ppid=18543 vsize=10467480 CPUtime=0.03 cores=0,2,4,6 /proc/18545/task/18549/stat : 18549 (java) R 18543 18545 13859 0 -1 4202560 10076 0 1 0 2 1 0 0 21 0 13 0 830957513 10718699520 10921 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212435713589 0 4 0 16784584 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10467480 [startup+0.100862 s] /proc/loadavg: 1.90 2.61 3.25 2/476 18545 /proc/meminfo: memFree=27000116/32951124 swapFree=38422276/67111528 [pid=18545] ppid=18543 vsize=10539940 CPUtime=0.09 cores=0,2,4,6 /proc/18545/stat : 18545 (java) S 18543 18545 13859 0 -1 4202496 12995 0 1 0 8 1 0 0 18 0 18 0 830957512 10792898560 12655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18545/statm: 2634985 12656 2092 9 0 2625719 0 [pid=18545/tid=18549] ppid=18543 vsize=10539940 CPUtime=0.08 cores=0,2,4,6 /proc/18545/task/18549/stat : 18549 (java) R 18543 18545 13859 0 -1 4202560 11047 0 1 0 7 1 0 0 25 0 18 0 830957513 10792898560 12656 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 47910145320472 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10539940 [startup+0.300866 s] /proc/loadavg: 1.90 2.61 3.25 2/476 18545 /proc/meminfo: memFree=27000116/32951124 swapFree=38422276/67111528 [pid=18545] ppid=18543 vsize=10541432 CPUtime=0.47 cores=0,2,4,6 /proc/18545/stat : 18545 (java) S 18543 18545 13859 0 -1 4202496 16218 0 1 0 45 2 0 0 18 0 18 0 830957512 10794426368 15418 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18545/statm: 2635358 15419 2201 9 0 2626092 0 [pid=18545/tid=18549] ppid=18543 vsize=10541432 CPUtime=0.27 cores=0,2,4,6 /proc/18545/task/18549/stat : 18549 (java) R 18543 18545 13859 0 -1 4202560 13089 0 1 0 26 1 0 0 25 0 18 0 830957513 10794426368 15419 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 46912505583917 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 10541432 [startup+0.700747 s] /proc/loadavg: 1.90 2.61 3.25 2/476 18545 /proc/meminfo: memFree=27000116/32951124 swapFree=38422276/67111528 [pid=18545] ppid=18543 vsize=10550436 CPUtime=1.41 cores=0,2,4,6 /proc/18545/stat : 18545 (java) S 18543 18545 13859 0 -1 4202496 41533 0 1 0 135 6 0 0 18 0 22 0 830957512 10803646464 38513 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18545/statm: 2637609 38513 2229 9 0 2628343 0 [pid=18545/tid=18549] ppid=18543 vsize=10550436 CPUtime=0.64 cores=0,2,4,6 /proc/18545/task/18549/stat : 18549 (java) S 18543 18545 13859 0 -1 4202560 33769 0 1 0 59 5 0 0 25 0 22 0 830957513 10803646464 38513 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 10550436 [startup+1.50072 s] /proc/loadavg: 1.90 2.61 3.25 1/518 18594 /proc/meminfo: memFree=26706112/32951124 swapFree=38422276/67111528 [pid=18545] ppid=18543 vsize=10550436 CPUtime=1.92 cores=0,2,4,6 /proc/18545/stat : 18545 (java) S 18543 18545 13859 0 -1 4202496 42721 0 1 0 186 6 0 0 18 0 19 0 830957512 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18545/statm: 2637609 39698 2237 9 0 2628343 0 [pid=18545/tid=18549] ppid=18543 vsize=10550436 CPUtime=0.7 cores=0,2,4,6 /proc/18545/task/18549/stat : 18549 (java) S 18543 18545 13859 0 -1 4202560 34336 0 1 0 65 5 0 0 22 0 19 0 830957513 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18554] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18554/stat : 18554 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830957515 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18555] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18555/stat : 18555 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830957515 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18556] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18556/stat : 18556 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830957515 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18557] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18557/stat : 18557 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830957515 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18558] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18558/stat : 18558 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830957515 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18560] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18560/stat : 18560 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830957515 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18561] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18561/stat : 18561 (java) S 18543 18545 13859 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 830957515 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18562] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18562/stat : 18562 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830957515 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18571] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18571/stat : 18571 (java) S 18543 18545 13859 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 830957516 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 0 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18573] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18573/stat : 18573 (java) S 18543 18545 13859 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 830957516 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18574] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18574/stat : 18574 (java) S 18543 18545 13859 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 830957516 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18577] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18577/stat : 18577 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 830957519 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447840689 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18578] ppid=18543 vsize=10550436 CPUtime=0.44 cores=0,2,4,6 /proc/18545/task/18578/stat : 18578 (java) S 18543 18545 13859 0 -1 4202560 2212 0 0 0 44 0 0 0 15 0 19 0 830957519 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18579] ppid=18543 vsize=10550436 CPUtime=0.5 cores=0,2,4,6 /proc/18545/task/18579/stat : 18579 (java) S 18543 18545 13859 0 -1 4202560 4085 0 0 0 50 0 0 0 15 0 19 0 830957519 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 4 0 0 0 [pid=18545/tid=18580] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18580/stat : 18580 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830957519 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18581] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18581/stat : 18581 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830957519 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18593] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18593/stat : 18593 (java) S 18543 18545 13859 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830957582 10803646464 39698 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.92 Current children cumulated vsize (KiB) 10550436 [startup+3.10129 s] /proc/loadavg: 1.90 2.61 3.25 1/518 18606 /proc/meminfo: memFree=26687140/32951124 swapFree=38422276/67111528 [pid=18545] ppid=18543 vsize=10550436 CPUtime=4 cores=0,2,4,6 /proc/18545/stat : 18545 (java) S 18543 18545 13859 0 -1 4202496 46758 0 1 0 393 7 0 0 18 0 22 0 830957512 10803646464 43649 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18545/statm: 2637609 43650 2242 9 0 2628343 0 [pid=18545/tid=18549] ppid=18543 vsize=10550436 CPUtime=0.81 cores=0,2,4,6 /proc/18545/task/18549/stat : 18549 (java) S 18543 18545 13859 0 -1 4202560 35930 0 1 0 76 5 0 0 17 0 22 0 830957513 10803646464 43650 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 0 0 0 0 [pid=18545/tid=18554] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18554/stat : 18554 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830957515 10803646464 43651 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18555] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18555/stat : 18555 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830957515 10803646464 43651 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18556] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18556/stat : 18556 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830957515 10803646464 43651 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18557] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18557/stat : 18557 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830957515 10803646464 43652 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18558] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18558/stat : 18558 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830957515 10803646464 43652 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18560] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18560/stat : 18560 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830957515 10803646464 43653 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18561] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18561/stat : 18561 (java) S 18543 18545 13859 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 830957515 10803646464 43653 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18562] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18562/stat : 18562 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830957515 10803646464 43653 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18571] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18571/stat : 18571 (java) S 18543 18545 13859 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830957516 10803646464 43654 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 0 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18573] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18573/stat : 18573 (java) S 18543 18545 13859 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 830957516 10803646464 43654 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18574] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18574/stat : 18574 (java) S 18543 18545 13859 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830957516 10803646464 43655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18577] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18577/stat : 18577 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830957519 10803646464 43655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447840689 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18578] ppid=18543 vsize=10550436 CPUtime=0.72 cores=0,2,4,6 /proc/18545/task/18578/stat : 18578 (java) S 18543 18545 13859 0 -1 4202560 2246 0 0 0 72 0 0 0 15 0 22 0 830957519 10803646464 43655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18579] ppid=18543 vsize=10550436 CPUtime=0.76 cores=0,2,4,6 /proc/18545/task/18579/stat : 18579 (java) S 18543 18545 13859 0 -1 4202560 4205 0 0 0 76 0 0 0 15 0 22 0 830957519 10803646464 43656 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 4 0 0 0 [pid=18545/tid=18580] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18580/stat : 18580 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830957519 10803646464 43656 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18581] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18581/stat : 18581 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830957519 10803646464 43657 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 4 0 0 0 [pid=18545/tid=18606] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18606/stat : 18606 (java) S 18543 18545 13859 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 830957690 10803646464 43657 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4 Current children cumulated vsize (KiB) 10550436 [startup+6.30075 s] /proc/loadavg: 2.06 2.63 3.25 5/524 18621 /proc/meminfo: memFree=25824920/32951124 swapFree=38422276/67111528 [pid=18545] ppid=18543 vsize=10550436 CPUtime=10 cores=0,2,4,6 /proc/18545/stat : 18545 (java) S 18543 18545 13859 0 -1 4202496 349119 0 1 0 962 38 0 0 18 0 22 0 830957512 10803646464 345991 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18545/statm: 2637609 345991 2242 9 0 2628343 0 [pid=18545/tid=18549] ppid=18543 vsize=10550436 CPUtime=0.85 cores=0,2,4,6 /proc/18545/task/18549/stat : 18549 (java) S 18543 18545 13859 0 -1 4202560 36461 0 1 0 80 5 0 0 15 0 22 0 830957513 10803646464 345991 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 4 0 0 0 [pid=18545/tid=18554] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18554/stat : 18554 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830957515 10803646464 345999 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18555] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18555/stat : 18555 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830957515 10803646464 346004 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18556] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18556/stat : 18556 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830957515 10803646464 346011 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18557] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18557/stat : 18557 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830957515 10803646464 346018 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18558] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18558/stat : 18558 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830957515 10803646464 346021 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18560] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18560/stat : 18560 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830957515 10803646464 346021 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18561] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18561/stat : 18561 (java) S 18543 18545 13859 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 830957515 10803646464 346021 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18562] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18562/stat : 18562 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830957515 10803646464 346021 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18571] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18571/stat : 18571 (java) S 18543 18545 13859 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 830957516 10803646464 346027 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 0 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18573] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18573/stat : 18573 (java) S 18543 18545 13859 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 830957516 10803646464 346033 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18574] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18574/stat : 18574 (java) S 18543 18545 13859 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830957516 10803646464 346039 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18577] ppid=18543 vsize=10550436 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18577/stat : 18577 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830957519 10803646464 346045 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447840689 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18578] ppid=18543 vsize=10550436 CPUtime=0.79 cores=0,2,4,6 /proc/18545/task/18578/stat : 18578 (java) S 18543 18545 13859 0 -1 4202560 2256 0 0 0 79 0 0 0 15 0 22 0 830957519 10803646464 346051 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18579] ppid=18543 vsize=10550436 CPUtime=0.84 cores=0,2,4,6 /proc/18545/task/18579/stat : 18579 (java) S 18543 18545 13859 0 -1 4202560 4213 0 0 0 84 0 0 0 15 0 22 0 830957519 10803646464 346052 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 4 0 0 0 ################ # More data... # ################ /proc/18545/task/18556/stat : 18556 (java) S 18543 18545 13859 0 -1 4202560 7806 0 0 0 53 2 0 0 16 0 22 0 830957515 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 0 0 0 0 [pid=18545/tid=18557] ppid=18543 vsize=10550904 CPUtime=0.55 cores=0,2,4,6 /proc/18545/task/18557/stat : 18557 (java) S 18543 18545 13859 0 -1 4202560 10825 0 0 0 53 2 0 0 15 0 22 0 830957515 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18558] ppid=18543 vsize=10550904 CPUtime=0.46 cores=0,2,4,6 /proc/18545/task/18558/stat : 18558 (java) S 18543 18545 13859 0 -1 4202560 7551 0 0 0 45 1 0 0 15 0 22 0 830957515 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18560] ppid=18543 vsize=10550904 CPUtime=0.51 cores=0,2,4,6 /proc/18545/task/18560/stat : 18560 (java) S 18543 18545 13859 0 -1 4202560 6930 0 0 0 50 1 0 0 15 0 22 0 830957515 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18561] ppid=18543 vsize=10550904 CPUtime=0.47 cores=0,2,4,6 /proc/18545/task/18561/stat : 18561 (java) S 18543 18545 13859 0 -1 4202560 7917 0 0 0 46 1 0 0 15 0 22 0 830957515 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18562] ppid=18543 vsize=10550904 CPUtime=0.55 cores=0,2,4,6 /proc/18545/task/18562/stat : 18562 (java) S 18543 18545 13859 0 -1 4202560 9531 0 0 0 54 1 0 0 15 0 22 0 830957515 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18571] ppid=18543 vsize=10550904 CPUtime=21.58 cores=0,2,4,6 /proc/18545/task/18571/stat : 18571 (java) S 18543 18545 13859 0 -1 4202560 38112 0 0 0 2153 5 0 0 15 0 22 0 830957516 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 0 0 16800975 18446604444302274944 0 0 -1 4 0 0 0 [pid=18545/tid=18573] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18573/stat : 18573 (java) S 18543 18545 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830957516 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18574] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18574/stat : 18574 (java) S 18543 18545 13859 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830957516 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18577] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18577/stat : 18577 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830957519 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447840689 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18578] ppid=18543 vsize=10550904 CPUtime=1.22 cores=0,2,4,6 /proc/18545/task/18578/stat : 18578 (java) S 18543 18545 13859 0 -1 4202560 6640 0 0 0 122 0 0 0 15 0 22 0 830957519 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18579] ppid=18543 vsize=10550904 CPUtime=0.98 cores=0,2,4,6 /proc/18545/task/18579/stat : 18579 (java) S 18543 18545 13859 0 -1 4202560 4235 0 0 0 98 0 0 0 15 0 22 0 830957519 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 4 0 0 0 [pid=18545/tid=18580] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18580/stat : 18580 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830957519 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18581] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18581/stat : 18581 (java) S 18543 18545 13859 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830957519 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 0 0 0 0 [pid=18545/tid=18635] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18635/stat : 18635 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830987757 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18645] ppid=18543 vsize=10550904 CPUtime=175.13 cores=0,2,4,6 /proc/18545/task/18645/stat : 18645 (java) R 18543 18545 13859 0 -1 4202560 7 0 0 0 17513 0 0 0 25 0 22 0 831021286 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 46912505921728 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=18545/tid=18646] ppid=18543 vsize=10550904 CPUtime=175.15 cores=0,2,4,6 /proc/18545/task/18646/stat : 18646 (java) R 18543 18545 13859 0 -1 4202560 10 0 0 0 17515 0 0 0 25 0 22 0 831021286 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 46912506214876 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=18545/tid=18647] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18647/stat : 18647 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831021287 10804125696 950870 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1621.56 Current children cumulated vsize (KiB) 10550904 [startup+882.301 s] /proc/loadavg: 4.12 3.91 3.67 5/524 18653 /proc/meminfo: memFree=19343272/32951124 swapFree=38422276/67111528 [pid=18545] ppid=18543 vsize=10550904 CPUtime=1739.32 cores=0,2,4,6 /proc/18545/stat : 18545 (java) S 18543 18545 13859 0 -1 4202496 974356 0 1 0 173820 112 0 0 18 0 22 0 830957512 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18545/statm: 2637726 964093 2269 9 0 2628460 0 [pid=18545/tid=18549] ppid=18543 vsize=10550904 CPUtime=0.92 cores=0,2,4,6 /proc/18545/task/18549/stat : 18549 (java) S 18543 18545 13859 0 -1 4202560 36490 0 1 0 87 5 0 0 15 0 22 0 830957513 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 0 0 0 0 [pid=18545/tid=18554] ppid=18543 vsize=10550904 CPUtime=0.56 cores=0,2,4,6 /proc/18545/task/18554/stat : 18554 (java) S 18543 18545 13859 0 -1 4202560 9473 0 0 0 55 1 0 0 15 0 22 0 830957515 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18555] ppid=18543 vsize=10550904 CPUtime=0.58 cores=0,2,4,6 /proc/18545/task/18555/stat : 18555 (java) S 18543 18545 13859 0 -1 4202560 8284 0 0 0 57 1 0 0 16 0 22 0 830957515 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18556] ppid=18543 vsize=10550904 CPUtime=0.62 cores=0,2,4,6 /proc/18545/task/18556/stat : 18556 (java) S 18543 18545 13859 0 -1 4202560 8999 0 0 0 60 2 0 0 15 0 22 0 830957515 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18557] ppid=18543 vsize=10550904 CPUtime=0.63 cores=0,2,4,6 /proc/18545/task/18557/stat : 18557 (java) S 18543 18545 13859 0 -1 4202560 13343 0 0 0 61 2 0 0 16 0 22 0 830957515 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18558] ppid=18543 vsize=10550904 CPUtime=0.56 cores=0,2,4,6 /proc/18545/task/18558/stat : 18558 (java) S 18543 18545 13859 0 -1 4202560 10557 0 0 0 55 1 0 0 16 0 22 0 830957515 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18560] ppid=18543 vsize=10550904 CPUtime=0.58 cores=0,2,4,6 /proc/18545/task/18560/stat : 18560 (java) S 18543 18545 13859 0 -1 4202560 8032 0 0 0 57 1 0 0 15 0 22 0 830957515 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18561] ppid=18543 vsize=10550904 CPUtime=0.56 cores=0,2,4,6 /proc/18545/task/18561/stat : 18561 (java) S 18543 18545 13859 0 -1 4202560 10126 0 0 0 55 1 0 0 16 0 22 0 830957515 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 0 0 0 0 [pid=18545/tid=18562] ppid=18543 vsize=10550904 CPUtime=0.59 cores=0,2,4,6 /proc/18545/task/18562/stat : 18562 (java) S 18543 18545 13859 0 -1 4202560 10269 0 0 0 57 2 0 0 15 0 22 0 830957515 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18571] ppid=18543 vsize=10550904 CPUtime=24.06 cores=0,2,4,6 /proc/18545/task/18571/stat : 18571 (java) S 18543 18545 13859 0 -1 4202560 39754 0 0 0 2401 5 0 0 15 0 22 0 830957516 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 0 0 16800975 18446604444302274944 0 0 -1 4 0 0 0 [pid=18545/tid=18573] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18573/stat : 18573 (java) S 18543 18545 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830957516 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18574] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18574/stat : 18574 (java) S 18543 18545 13859 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830957516 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18577] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18577/stat : 18577 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830957519 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447840689 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18578] ppid=18543 vsize=10550904 CPUtime=1.22 cores=0,2,4,6 /proc/18545/task/18578/stat : 18578 (java) S 18543 18545 13859 0 -1 4202560 6640 0 0 0 122 0 0 0 15 0 22 0 830957519 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18579] ppid=18543 vsize=10550904 CPUtime=0.98 cores=0,2,4,6 /proc/18545/task/18579/stat : 18579 (java) S 18543 18545 13859 0 -1 4202560 4235 0 0 0 98 0 0 0 15 0 22 0 830957519 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 4 0 0 0 [pid=18545/tid=18580] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18580/stat : 18580 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830957519 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18581] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18581/stat : 18581 (java) S 18543 18545 13859 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830957519 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 0 0 0 0 [pid=18545/tid=18635] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18635/stat : 18635 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830987757 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18645] ppid=18543 vsize=10550904 CPUtime=232.49 cores=0,2,4,6 /proc/18545/task/18645/stat : 18645 (java) R 18543 18545 13859 0 -1 4202560 10 0 0 0 23249 0 0 0 25 0 22 0 831021286 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 46912505903958 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=18545/tid=18646] ppid=18543 vsize=10550904 CPUtime=232.51 cores=0,2,4,6 /proc/18545/task/18646/stat : 18646 (java) R 18543 18545 13859 0 -1 4202560 13 0 0 0 23251 0 0 0 25 0 22 0 831021286 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 46912506330942 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=18545/tid=18647] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18647/stat : 18647 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831021287 10804125696 964093 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1739.32 Current children cumulated vsize (KiB) 10550904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+912.901 s] /proc/loadavg: 3.92 3.89 3.67 4/497 18675 /proc/meminfo: memFree=23136584/32951124 swapFree=38422276/67111528 [pid=18545] ppid=18543 vsize=10550904 CPUtime=1800.08 cores=0,2,4,6 /proc/18545/stat : 18545 (java) S 18543 18545 13859 0 -1 4202496 975960 0 1 0 179895 113 0 0 18 0 22 0 830957512 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18545/statm: 2637726 965655 2269 9 0 2628460 0 [pid=18545/tid=18549] ppid=18543 vsize=10550904 CPUtime=0.92 cores=0,2,4,6 /proc/18545/task/18549/stat : 18549 (java) S 18543 18545 13859 0 -1 4202560 36491 0 1 0 87 5 0 0 15 0 22 0 830957513 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 0 0 0 0 [pid=18545/tid=18554] ppid=18543 vsize=10550904 CPUtime=0.57 cores=0,2,4,6 /proc/18545/task/18554/stat : 18554 (java) S 18543 18545 13859 0 -1 4202560 10095 0 0 0 56 1 0 0 16 0 22 0 830957515 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18555] ppid=18543 vsize=10550904 CPUtime=0.65 cores=0,2,4,6 /proc/18545/task/18555/stat : 18555 (java) S 18543 18545 13859 0 -1 4202560 8714 0 0 0 63 2 0 0 16 0 22 0 830957515 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18556] ppid=18543 vsize=10550904 CPUtime=0.64 cores=0,2,4,6 /proc/18545/task/18556/stat : 18556 (java) S 18543 18545 13859 0 -1 4202560 8999 0 0 0 62 2 0 0 15 0 22 0 830957515 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 0 0 0 0 [pid=18545/tid=18557] ppid=18543 vsize=10550904 CPUtime=0.66 cores=0,2,4,6 /proc/18545/task/18557/stat : 18557 (java) S 18543 18545 13859 0 -1 4202560 13343 0 0 0 64 2 0 0 15 0 22 0 830957515 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18558] ppid=18543 vsize=10550904 CPUtime=0.6 cores=0,2,4,6 /proc/18545/task/18558/stat : 18558 (java) S 18543 18545 13859 0 -1 4202560 10557 0 0 0 59 1 0 0 15 0 22 0 830957515 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18560] ppid=18543 vsize=10550904 CPUtime=0.61 cores=0,2,4,6 /proc/18545/task/18560/stat : 18560 (java) S 18543 18545 13859 0 -1 4202560 8573 0 0 0 60 1 0 0 16 0 22 0 830957515 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 4 0 0 0 [pid=18545/tid=18561] ppid=18543 vsize=10550904 CPUtime=0.59 cores=0,2,4,6 /proc/18545/task/18561/stat : 18561 (java) S 18543 18545 13859 0 -1 4202560 10130 0 0 0 58 1 0 0 15 0 22 0 830957515 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 4 0 0 0 [pid=18545/tid=18562] ppid=18543 vsize=10550904 CPUtime=0.6 cores=0,2,4,6 /proc/18545/task/18562/stat : 18562 (java) S 18543 18545 13859 0 -1 4202560 10269 0 0 0 58 2 0 0 15 0 22 0 830957515 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18571] ppid=18543 vsize=10550904 CPUtime=24.66 cores=0,2,4,6 /proc/18545/task/18571/stat : 18571 (java) S 18543 18545 13859 0 -1 4202560 39754 0 0 0 2461 5 0 0 15 0 22 0 830957516 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 0 0 16800975 18446604444302274944 0 0 -1 4 0 0 0 [pid=18545/tid=18573] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18573/stat : 18573 (java) S 18543 18545 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830957516 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18574] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18574/stat : 18574 (java) S 18543 18545 13859 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830957516 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18577] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18577/stat : 18577 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830957519 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447840689 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18578] ppid=18543 vsize=10550904 CPUtime=1.22 cores=0,2,4,6 /proc/18545/task/18578/stat : 18578 (java) S 18543 18545 13859 0 -1 4202560 6640 0 0 0 122 0 0 0 15 0 22 0 830957519 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18579] ppid=18543 vsize=10550904 CPUtime=0.98 cores=0,2,4,6 /proc/18545/task/18579/stat : 18579 (java) S 18543 18545 13859 0 -1 4202560 4235 0 0 0 98 0 0 0 15 0 22 0 830957519 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 4 0 0 0 [pid=18545/tid=18580] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18580/stat : 18580 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830957519 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447832985 0 4 0 16800975 18446604444302274944 0 0 -1 6 0 0 0 [pid=18545/tid=18581] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18581/stat : 18581 (java) S 18543 18545 13859 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830957519 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 0 0 0 0 [pid=18545/tid=18635] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18635/stat : 18635 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830987757 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 2 0 0 0 [pid=18545/tid=18645] ppid=18543 vsize=10550904 CPUtime=262.46 cores=0,2,4,6 /proc/18545/task/18645/stat : 18645 (java) R 18543 18545 13859 0 -1 4202560 13 0 0 0 26246 0 0 0 25 0 22 0 831021286 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 46912506261081 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=18545/tid=18646] ppid=18543 vsize=10550904 CPUtime=262.47 cores=0,2,4,6 /proc/18545/task/18646/stat : 18646 (java) R 18543 18545 13859 0 -1 4202560 14 0 0 0 26247 0 0 0 25 0 22 0 831021286 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 46912505663323 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=18545/tid=18647] ppid=18543 vsize=10550904 CPUtime=0 cores=0,2,4,6 /proc/18545/task/18647/stat : 18647 (java) S 18543 18545 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831021287 10804125696 965655 33554432000 1073741824 1073778376 140733551901904 18446744073709551615 212447833600 0 4 0 16800975 18446604444302274944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 10550904 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+913.041 s] /proc/loadavg: 3.92 3.89 3.67 4/497 18675 /proc/meminfo: memFree=23136584/32951124 swapFree=38422276/67111528 [pid=18545] ppid=18543 vsize=0 CPUtime=1800.25 cores=0,2,4,6 /proc/18545/stat : 18545 (java) Z 18543 18545 13859 0 -1 4203548 975992 0 1 0 179906 119 0 0 17 0 2 0 830957512 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18545/statm: 0 0 0 0 0 0 0 [pid=18545/tid=18647] ppid=18543 vsize=0 CPUtime=0.06 cores=0,2,4,6 /proc/18545/task/18647/stat : 18647 (java) R 18543 18545 13859 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 831021287 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 [startup+913.101 s] /proc/loadavg: 3.92 3.89 3.67 4/497 18675 /proc/meminfo: memFree=23136584/32951124 swapFree=38422276/67111528 [pid=18545] ppid=18543 vsize=0 CPUtime=1800.31 cores=0,2,4,6 /proc/18545/stat : 18545 (java) Z 18543 18545 13859 0 -1 4203548 975992 0 1 0 179906 125 0 0 17 0 2 0 830957512 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18545/statm: 0 0 0 0 0 0 0 [pid=18545/tid=18647] ppid=18543 vsize=0 CPUtime=0.12 cores=0,2,4,6 /proc/18545/task/18647/stat : 18647 (java) R 18543 18545 13859 0 -1 4203588 1 0 0 0 0 12 0 0 18 0 2 0 831021287 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 913.136 CPU time (s): 1800.35 CPU user time (s): 1799.06 CPU system time (s): 1.2888 CPU usage (%): 197.161 Max. virtual memory (cumulated for all children) (KiB): 10563364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.06 system time used= 1.2888 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 975992 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25982 involuntary context switches= 15402 runsolver used 4.83026 second user time and 10.2304 second system time The end
Begin job on node102 at 2011-06-04 15:19:12 IDJOB=3454108 IDBENCH=24994 IDSOLVER=1950 FILE ID=node102/3454108-1307193552 RUNJOBID= node102-1307193552-18531 PBS_JOBID= 13508853 Free space on /tmp= 73960 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454108-1307193552/watcher-3454108-1307193552 -o /tmp/evaluation-result-3454108-1307193552/solver-3454108-1307193552 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454108-1307193552.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d869c2ae266497675d66f161576eaac8 RANDOM SEED=219010789 node102.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27000272 kB Buffers: 321732 kB Cached: 1601116 kB SwapCached: 86940 kB Active: 852512 kB Inactive: 4795532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27000272 kB SwapTotal: 67111528 kB SwapFree: 38422276 kB Dirty: 2376 kB Writeback: 0 kB AnonPages: 3660620 kB Mapped: 12800 kB Slab: 133272 kB PageTables: 99488 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 135455300 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73960 MiB End job on node102 at 2011-06-04 15:34:27