Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 35 | 1800.72 | 925.555 |
| 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 | 77.8312 |
| 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.01/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.01/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.08 c See www.sat4j.org for details. 0.01/0.09 c version 2.3.2.v20120418 0.01/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.09 c java.vm.version 19.1-b02 0.01/0.09 c java.vm.vendor Sun Microsystems Inc. 0.01/0.09 c sun.arch.data.model 64 0.01/0.09 c java.version 1.6.0_24 0.01/0.09 c os.name Linux 0.01/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.09 c os.arch amd64 0.01/0.09 c Free memory 501472288 0.01/0.09 c Max memory 7480803328 0.01/0.09 c Total memory 504102912 0.01/0.09 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization by upper bound 0.10/0.12 c ManyCore solver with 2 solvers running in parallel 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c c --- End Solver configuration --- 0.10/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3688422-1337877549.opb 0.10/0.12 c reading problem ... 1.96/0.83 c ... done. Wall clock time 0.709s. 1.96/0.83 c declared #vars 11729 1.96/0.83 c #constraints 36747 1.96/0.83 c constraints type 1.96/0.83 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5988 1.96/0.83 c org.sat4j.minisat.constraints.cnf.UnitClause => 1140 1.96/0.83 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 29619 1.96/0.83 c 36747 constraints processed. 1.96/0.83 c constraints type 1.96/0.83 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 29619 1.96/0.83 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5988 1.96/0.83 c org.sat4j.pb.constraints.pb.UnitClausePB => 1140 1.96/0.83 c 36747 constraints processed. 1.96/0.83 c objective function length is 5750 literals 2.74/1.02 c And the winner is solver1 2.87/1.34 c SATISFIABLE 2.87/1.34 c OPTIMIZING... 2.87/1.34 c Got one! Elapsed wall clock time (in seconds):1.219 2.87/1.34 o 41 2.87/1.39 c And the winner is solver1 3.09/1.86 c Got one! Elapsed wall clock time (in seconds):1.745 3.09/1.86 o 37 12.22/6.13 c cleaning 2493 clauses out of 5006 with flag 5000/5006 22.98/11.42 c cleaning 4213 clauses out of 8513 with flag 11000/11006 34.08/17.02 c cleaning 5636 clauses out of 11300 with flag 18000/18006 46.80/23.44 c cleaning 6831 clauses out of 13664 with flag 26000/26006 61.69/30.98 c cleaning 7915 clauses out of 15839 with flag 35006/35012 77.19/38.72 c cleaning 8946 clauses out of 17920 with flag 45002/45008 94.06/47.24 c cleaning 9957 clauses out of 19972 with flag 56000/56006 113.30/56.98 c cleaning 10980 clauses out of 22015 with flag 68000/68006 132.83/66.84 c cleaning 11990 clauses out of 24035 with flag 81000/81006 157.27/79.19 c cleaning 13013 clauses out of 26045 with flag 95000/95006 184.21/92.74 c cleaning 14004 clauses out of 28033 with flag 110001/110007 213.59/107.57 c cleaning 14988 clauses out of 30028 with flag 126000/126006 244.39/123.14 c cleaning 16005 clauses out of 32040 with flag 143000/143006 277.08/139.60 c cleaning 17013 clauses out of 34035 with flag 161000/161006 312.08/157.38 c cleaning 18011 clauses out of 36022 with flag 180000/180006 313.63/158.33 c And the winner is solver1 312.96/158.44 c Got one! Elapsed wall clock time (in seconds):158.317 312.96/158.44 o 36 320.40/162.18 c cleaning 11698 clauses out of 23424 with flag 5000/185419 330.83/167.75 c cleaning 8858 clauses out of 17726 with flag 11000/191419 341.97/173.54 c cleaning 7927 clauses out of 15868 with flag 18000/198419 354.31/179.98 c cleaning 7963 clauses out of 15941 with flag 26000/206419 368.41/187.29 c cleaning 8456 clauses out of 16980 with flag 35002/215421 385.46/196.18 c cleaning 9256 clauses out of 18522 with flag 45000/225419 402.17/204.80 c cleaning 10121 clauses out of 20267 with flag 56001/236420 421.81/214.89 c cleaning 11070 clauses out of 22145 with flag 68000/248419 444.13/226.23 c cleaning 12010 clauses out of 24075 with flag 81000/261419 467.13/238.52 c cleaning 13023 clauses out of 26065 with flag 95000/275419 490.17/250.34 c cleaning 14012 clauses out of 28042 with flag 110000/290419 514.78/262.95 c cleaning 15007 clauses out of 30032 with flag 126002/306421 533.92/273.00 c And the winner is solver1 533.92/273.09 c Got one! Elapsed wall clock time (in seconds):272.975 533.92/273.09 o 35 540.79/276.82 c cleaning 16046 clauses out of 32092 with flag 5000/323488 549.73/281.62 c cleaning 11023 clauses out of 22047 with flag 11001/329489 560.30/287.22 c cleaning 9012 clauses out of 18023 with flag 18000/336488 572.03/293.42 c cleaning 8505 clauses out of 17011 with flag 26000/344488 585.87/300.95 c cleaning 8745 clauses out of 17506 with flag 35000/353488 600.96/308.87 c cleaning 9374 clauses out of 18762 with flag 45001/363489 618.46/317.94 c cleaning 10185 clauses out of 20388 with flag 56001/374489 638.78/328.47 c cleaning 11091 clauses out of 22204 with flag 68002/386490 662.89/341.12 c cleaning 12053 clauses out of 24111 with flag 81000/399488 687.49/353.83 c cleaning 13006 clauses out of 26058 with flag 95000/413488 712.75/366.88 c cleaning 14001 clauses out of 28052 with flag 110000/428488 738.77/380.25 c cleaning 14989 clauses out of 30051 with flag 126000/444488 769.78/396.40 c cleaning 16009 clauses out of 32063 with flag 143001/461489 799.84/411.82 c cleaning 17011 clauses out of 34053 with flag 161000/479488 831.41/428.06 c cleaning 18001 clauses out of 36042 with flag 180000/498488 859.33/442.42 c cleaning 19017 clauses out of 38041 with flag 200000/518488 893.66/460.33 c cleaning 19979 clauses out of 40024 with flag 221000/539488 931.19/479.47 c cleaning 20973 clauses out of 42047 with flag 243002/561490 969.36/498.95 c cleaning 22020 clauses out of 44073 with flag 266001/584489 1009.24/519.37 c cleaning 23000 clauses out of 46052 with flag 290000/608488 1051.30/541.19 c cleaning 24009 clauses out of 48053 with flag 315001/633489 1095.67/564.35 c cleaning 25008 clauses out of 50043 with flag 341000/659488 1143.23/588.61 c cleaning 25973 clauses out of 52035 with flag 368000/686488 1195.55/615.75 c cleaning 27014 clauses out of 54062 with flag 396000/714488 1246.37/641.73 c cleaning 28006 clauses out of 56048 with flag 425000/743488 1300.06/669.12 c cleaning 28999 clauses out of 58043 with flag 455001/773489 1354.99/697.14 c cleaning 30009 clauses out of 60043 with flag 486000/804488 1406.25/723.80 c cleaning 31004 clauses out of 62034 with flag 518000/836488 1465.67/754.07 c cleaning 31973 clauses out of 64030 with flag 551000/869488 1530.18/786.99 c cleaning 33004 clauses out of 66058 with flag 585001/903489 1594.69/819.84 c cleaning 34006 clauses out of 68053 with flag 620000/938488 1660.82/854.08 c cleaning 34986 clauses out of 70047 with flag 656000/974488 1728.33/888.41 c cleaning 35993 clauses out of 72063 with flag 693002/1011490 1797.64/923.87 c cleaning 37020 clauses out of 74068 with flag 731000/1049488 1799.53/925.51 c starts : 14 1799.53/925.51 c conflicts : 1570 1799.53/925.51 c decisions : 286938 1799.53/925.51 c propagations : 1724889 1799.53/925.51 c inspects : 12581540 1799.53/925.51 c shortcuts : 0 1799.53/925.51 c learnt literals : 0 1799.53/925.51 c learnt binary clauses : 0 1799.53/925.51 c learnt ternary clauses : 0 1799.53/925.51 c learnt constraints : 1569 1799.53/925.51 c ignored constraints : 0 1799.53/925.51 c root simplifications : 0 1799.53/925.51 c removed literals (reason simplification) : 0 1799.53/925.51 c reason swapping (by a shorter reason) : 0 1799.53/925.51 c Calls to reduceDB : 0 1799.53/925.51 c number of reductions to clauses (during analyze) : 0 1799.53/925.51 c number of learned constraints concerned by reduction : 0 1799.53/925.51 c number of learning phase by resolution : 0 1799.53/925.51 c number of learning phase by cutting planes : 0 1799.53/925.51 c speed (assignments/second) : 1865.6262472108444 1799.53/925.51 c non guided choices 0 1799.53/925.51 c learnt constraints type 1799.53/925.51 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 79 1799.53/925.51 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 13 1799.53/925.51 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1477 1799.53/925.51 c constraints type 1799.53/925.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5988 1799.53/925.51 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1799.53/925.51 c org.sat4j.minisat.constraints.cnf.UnitClause => 1140 1799.53/925.51 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 29619 1799.53/925.51 c 36748 constraints processed. 1799.53/925.51 c constraints type 1799.53/925.51 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 29619 1799.53/925.51 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5988 1799.53/925.51 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1799.53/925.51 c org.sat4j.pb.constraints.pb.UnitClausePB => 1140 1799.53/925.51 c 36748 constraints processed. 1799.53/925.51 s SATISFIABLE 1799.53/925.52 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 1799.53/925.53 c objective function=35 1799.53/925.53 c Total wall clock time (in seconds): 925.413
OK 35
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688422-1337877549/watcher-3688422-1337877549 -o /tmp/evaluation-result-3688422-1337877549/solver-3688422-1337877549 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688422-1337877549.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: 3.67 3.86 3.57 4/197 25078 /proc/meminfo: memFree=28856620/32873844 swapFree=7356/7356 [pid=25078] ppid=25076 vsize=89736 CPUtime=0 cores=0,2,4,6 /proc/25078/stat : 25078 (java) S 25076 25078 23457 0 -1 4202496 1159 0 0 0 0 0 0 0 20 0 2 0 253883515 91889664 880 33554432000 1073741824 1073778376 140735396173968 140735396165104 245297610813 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25078/statm: 22434 883 668 9 0 16769 0 [pid=25078/tid=25079] ppid=25076 vsize=89736 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25079/stat : 25079 (java) R 25076 25078 23457 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 2 0 253883516 91889664 894 33554432000 1073741824 1073778376 140735396173968 140735396163032 245285088551 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0 [startup+0.0232 s] /proc/loadavg: 3.67 3.86 3.57 4/197 25078 /proc/meminfo: memFree=28856620/32873844 swapFree=7356/7356 [pid=25078] ppid=25076 vsize=9016616 CPUtime=0.01 cores=0,2,4,6 /proc/25078/stat : 25078 (java) S 25076 25078 23457 0 -1 4202496 2810 0 1 0 1 0 0 0 20 0 10 0 253883515 9233014784 2998 33554432000 1073741824 1073778376 140735396173968 140735396165104 245297610813 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25078/statm: 2254154 2998 1538 9 0 2244855 0 [pid=25078/tid=25079] ppid=25076 vsize=9016616 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25079/stat : 25079 (java) R 25076 25078 23457 0 -1 4202560 1653 0 1 0 0 0 0 0 20 0 10 0 253883516 9233014784 2998 33554432000 1073741824 1073778376 140735396173968 140168951780032 245297636621 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9016616 [startup+0.100285 s] /proc/loadavg: 3.67 3.86 3.57 4/197 25078 /proc/meminfo: memFree=28856620/32873844 swapFree=7356/7356 [pid=25078] ppid=25076 vsize=9558412 CPUtime=0.1 cores=0,2,4,6 /proc/25078/stat : 25078 (java) S 25076 25078 23457 0 -1 4202496 4327 0 1 0 9 1 0 0 20 0 18 0 253883515 9787813888 5017 33554432000 1073741824 1073778376 140735396173968 140735396165104 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25078/statm: 2389603 5017 2109 9 0 2380296 0 [pid=25078/tid=25079] ppid=25076 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/25078/task/25079/stat : 25079 (java) R 25076 25078 23457 0 -1 4202560 2395 0 1 0 7 0 0 0 20 0 18 0 253883516 9787813888 5017 33554432000 1073741824 1073778376 140735396173968 140168951782168 140168823603752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558412 [startup+0.300252 s] /proc/loadavg: 3.67 3.86 3.57 4/197 25078 /proc/meminfo: memFree=28856620/32873844 swapFree=7356/7356 [pid=25078] ppid=25076 vsize=9558412 CPUtime=0.49 cores=0,2,4,6 /proc/25078/stat : 25078 (java) S 25076 25078 23457 0 -1 4202496 5881 0 1 0 47 2 0 0 20 0 18 0 253883515 9787813888 7940 33554432000 1073741824 1073778376 140735396173968 140735396165104 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25078/statm: 2389603 7940 2217 9 0 2380296 0 [pid=25078/tid=25079] ppid=25076 vsize=9558412 CPUtime=0.27 cores=0,2,4,6 /proc/25078/task/25079/stat : 25079 (java) R 25076 25078 23457 0 -1 4202560 2501 0 1 0 26 1 0 0 20 0 18 0 253883516 9787813888 7940 33554432000 1073741824 1073778376 140735396173968 140168951783400 140168823965909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558412 [startup+0.700269 s] /proc/loadavg: 3.67 3.86 3.57 4/197 25078 /proc/meminfo: memFree=28856620/32873844 swapFree=7356/7356 [pid=25078] ppid=25076 vsize=9558412 CPUtime=1.66 cores=0,2,4,6 /proc/25078/stat : 25078 (java) S 25076 25078 23457 0 -1 4202496 20469 0 1 0 160 6 0 0 20 0 18 0 253883515 9787813888 33065 33554432000 1073741824 1073778376 140735396173968 140735396165104 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25078/statm: 2389603 33066 2238 9 0 2380296 0 [pid=25078/tid=25079] ppid=25076 vsize=9558412 CPUtime=0.67 cores=0,2,4,6 /proc/25078/task/25079/stat : 25079 (java) R 25076 25078 23457 0 -1 4202560 2542 0 1 0 65 2 0 0 20 0 18 0 253883516 9787813888 33067 33554432000 1073741824 1073778376 140735396173968 140168951775328 140168823569469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.66 Current children cumulated vsize (KiB) 9558412 [startup+1.50072 s] /proc/loadavg: 3.67 3.86 3.57 7/219 25100 /proc/meminfo: memFree=28711072/32873844 swapFree=7356/7356 [pid=25078] ppid=25076 vsize=9824668 CPUtime=3.09 cores=0,2,4,6 /proc/25078/stat : 25078 (java) S 25076 25078 23457 0 -1 4202496 25052 0 1 0 298 11 0 0 20 0 19 0 253883515 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140735396165104 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25078/statm: 2456167 41137 2257 9 0 2446860 0 [pid=25078/tid=25079] ppid=25076 vsize=9824668 CPUtime=0.84 cores=0,2,4,6 /proc/25078/task/25079/stat : 25079 (java) S 25076 25078 23457 0 -1 4202560 2555 0 1 0 82 2 0 0 20 0 19 0 253883516 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168951784440 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25081] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25081/stat : 25081 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253883517 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168795744552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25082] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25082/stat : 25082 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253883517 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168794691752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25083] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25083/stat : 25083 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253883517 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168793639464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25084] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25084/stat : 25084 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253883517 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168792586664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25085] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25085/stat : 25085 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253883517 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168791534376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25086] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25086/stat : 25086 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253883517 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168790481576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25087] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25087/stat : 25087 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253883517 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168789429288 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25088] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25088/stat : 25088 (java) S 25076 25078 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253883517 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168788376488 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25089] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25089/stat : 25089 (java) S 25076 25078 23457 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253883518 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168775964904 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25090] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25090/stat : 25090 (java) S 25076 25078 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253883518 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168774910968 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25091] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25091/stat : 25091 (java) S 25076 25078 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253883519 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168773858568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25092] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25092/stat : 25092 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253883521 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168772807056 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25093] ppid=25076 vsize=9824668 CPUtime=0.88 cores=0,2,4,6 /proc/25078/task/25093/stat : 25093 (java) S 25076 25078 23457 0 -1 4202560 12047 0 0 0 85 3 0 0 20 0 19 0 253883521 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168771754680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25094] ppid=25076 vsize=9824668 CPUtime=0.89 cores=0,2,4,6 /proc/25078/task/25094/stat : 25094 (java) S 25076 25078 23457 0 -1 4202560 9133 0 0 0 87 2 0 0 20 0 19 0 253883521 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168770701880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25095] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25095/stat : 25095 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253883521 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168769649784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25096] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25096/stat : 25096 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253883521 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168768597192 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25099] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25099/stat : 25099 (java) S 25076 25078 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253883610 10060460032 41137 33554432000 1073741824 1073778376 140735396173968 140168765437096 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9824668 [startup+3.10071 s] /proc/loadavg: 3.67 3.86 3.57 5/219 25106 /proc/meminfo: memFree=28681400/32873844 swapFree=7356/7356 [pid=25078] ppid=25076 vsize=9824668 CPUtime=5.93 cores=0,2,4,6 /proc/25078/stat : 25078 (java) S 25076 25078 23457 0 -1 4202496 25134 0 1 0 582 11 0 0 20 0 22 0 253883515 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140735396165104 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25078/statm: 2456167 44759 2259 9 0 2446860 0 [pid=25078/tid=25079] ppid=25076 vsize=9824668 CPUtime=0.85 cores=0,2,4,6 /proc/25078/task/25079/stat : 25079 (java) S 25076 25078 23457 0 -1 4202560 2556 0 1 0 83 2 0 0 20 0 22 0 253883516 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168951784440 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25081] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25081/stat : 25081 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883517 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168795744552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25082] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25082/stat : 25082 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883517 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168794691752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25083] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25083/stat : 25083 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883517 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168793639464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25084] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25084/stat : 25084 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883517 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168792586664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25085] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25085/stat : 25085 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883517 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168791534376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25086] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25086/stat : 25086 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883517 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168790481576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25087] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25087/stat : 25087 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883517 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168789429288 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25088] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25088/stat : 25088 (java) S 25076 25078 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253883517 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168788376488 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25089] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25089/stat : 25089 (java) S 25076 25078 23457 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253883518 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168775964904 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25090] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25090/stat : 25090 (java) S 25076 25078 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253883518 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168774910968 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25091] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25091/stat : 25091 (java) S 25076 25078 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253883519 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168773858568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25092] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25092/stat : 25092 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883521 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168772807056 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25093] ppid=25076 vsize=9824668 CPUtime=1.09 cores=0,2,4,6 /proc/25078/task/25093/stat : 25093 (java) S 25076 25078 23457 0 -1 4202560 12093 0 0 0 106 3 0 0 20 0 22 0 253883521 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168771754680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25094] ppid=25076 vsize=9824668 CPUtime=1.09 cores=0,2,4,6 /proc/25078/task/25094/stat : 25094 (java) S 25076 25078 23457 0 -1 4202560 9147 0 0 0 107 2 0 0 20 0 22 0 253883521 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168770701880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25095] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25095/stat : 25095 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883521 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168769649784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25096] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25096/stat : 25096 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883521 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168768597192 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25099] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25099/stat : 25099 (java) S 25076 25078 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253883610 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168765437096 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25104] ppid=25076 vsize=9824668 CPUtime=1.19 cores=0,2,4,6 /proc/25078/task/25104/stat : 25104 (java) R 25076 25078 23457 0 -1 4202560 5 0 0 0 119 0 0 0 20 0 22 0 253883704 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168767540256 140168824744172 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25105] ppid=25076 vsize=9824668 CPUtime=1.2 cores=0,2,4,6 /proc/25078/task/25105/stat : 25105 (java) R 25076 25078 23457 0 -1 4202560 13 0 0 0 120 0 0 0 20 0 22 0 253883704 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168766486920 140168824834115 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25106] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25106/stat : 25106 (java) S 25076 25078 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253883704 10060460032 44759 33554432000 1073741824 1073778376 140735396173968 140168764384040 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 5.93 Current children cumulated vsize (KiB) 9824668 [startup+6.30075 s] /proc/loadavg: 3.69 3.86 3.57 5/219 25106 /proc/meminfo: memFree=28650424/32873844 swapFree=7356/7356 [pid=25078] ppid=25076 vsize=9824668 CPUtime=12.66 cores=0,2,4,6 /proc/25078/stat : 25078 (java) S 25076 25078 23457 0 -1 4202496 25300 0 1 0 1252 14 0 0 20 0 22 0 253883515 10060460032 59432 33554432000 1073741824 1073778376 140735396173968 140735396165104 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25078/statm: 2456167 59432 2286 9 0 2446860 0 [pid=25078/tid=25079] ppid=25076 vsize=9824668 CPUtime=0.85 cores=0,2,4,6 /proc/25078/task/25079/stat : 25079 (java) S 25076 25078 23457 0 -1 4202560 2556 0 1 0 83 2 0 0 20 0 22 0 253883516 10060460032 59432 33554432000 1073741824 1073778376 140735396173968 140168951784440 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25081] ppid=25076 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/25078/task/25081/stat : 25081 (java) S 25076 25078 23457 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 253883517 10060460032 59432 33554432000 1073741824 1073778376 140735396173968 140168795744552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25082] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25082/stat : 25082 (java) S 25076 25078 23457 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253883517 10060460032 59432 33554432000 1073741824 1073778376 140735396173968 140168794691752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25083] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25083/stat : 25083 (java) S 25076 25078 23457 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253883517 10060460032 59432 33554432000 1073741824 1073778376 140735396173968 140168793639464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25084] ppid=25076 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/25078/task/25084/stat : 25084 (java) S 25076 25078 23457 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253883517 10060460032 59432 33554432000 1073741824 1073778376 140735396173968 140168792586664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25085] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25085/stat : 25085 (java) S 25076 25078 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253883517 10060460032 59432 33554432000 1073741824 1073778376 140735396173968 140168791534376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25086] ppid=25076 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/25078/task/25086/stat : 25086 (java) S 25076 25078 23457 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 253883517 10060460032 59432 33554432000 1073741824 1073778376 140735396173968 140168790481576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25087] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25087/stat : 25087 (java) S 25076 25078 23457 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253883517 10060460032 59432 33554432000 1073741824 1073778376 140735396173968 140168789429288 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25088] ppid=25076 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/25078/task/25088/stat : 25088 (java) S 25076 25078 23457 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253883517 10060460032 59432 33554432000 1073741824 1073778376 140735396173968 140168788376488 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25089] ppid=25076 vsize=9824668 CPUtime=0.06 cores=0,2,4,6 /proc/25078/task/25089/stat : 25089 (java) S 25076 25078 23457 0 -1 4202560 38 0 0 0 6 0 0 0 20 0 22 0 253883518 10060460032 59432 33554432000 1073741824 1073778376 140735396173968 140168775964904 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25090] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25090/stat : 25090 (java) S 25076 25078 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253883518 10060460032 59432 33554432000 1073741824 1073778376 140735396173968 140168774910968 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25091] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25091/stat : 25091 (java) S 25076 25078 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253883519 10060460032 59432 33554432000 1073741824 1073778376 140735396173968 140168773858568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 ################ # More data... # ################ /proc/25078/statm: 2456167 277801 2288 9 0 2446860 0 [pid=25078/tid=25079] ppid=25076 vsize=9824668 CPUtime=0.9 cores=0,2,4,6 /proc/25078/task/25079/stat : 25079 (java) S 25076 25078 23457 0 -1 4202560 2596 0 1 0 86 4 0 0 20 0 22 0 253883516 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168951784152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25081] ppid=25076 vsize=9824668 CPUtime=1.78 cores=0,2,4,6 /proc/25078/task/25081/stat : 25081 (java) S 25076 25078 23457 0 -1 4202560 359 0 0 0 175 3 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168795744552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25082] ppid=25076 vsize=9824668 CPUtime=1.79 cores=0,2,4,6 /proc/25078/task/25082/stat : 25082 (java) S 25076 25078 23457 0 -1 4202560 115 0 0 0 175 4 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168794691752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25083] ppid=25076 vsize=9824668 CPUtime=1.78 cores=0,2,4,6 /proc/25078/task/25083/stat : 25083 (java) S 25076 25078 23457 0 -1 4202560 421 0 0 0 175 3 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168793639464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25084] ppid=25076 vsize=9824668 CPUtime=1.71 cores=0,2,4,6 /proc/25078/task/25084/stat : 25084 (java) S 25076 25078 23457 0 -1 4202560 449 0 0 0 167 4 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168792586664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25085] ppid=25076 vsize=9824668 CPUtime=1.68 cores=0,2,4,6 /proc/25078/task/25085/stat : 25085 (java) S 25076 25078 23457 0 -1 4202560 304 0 0 0 166 2 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168791534376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25086] ppid=25076 vsize=9824668 CPUtime=1.87 cores=0,2,4,6 /proc/25078/task/25086/stat : 25086 (java) S 25076 25078 23457 0 -1 4202560 447 0 0 0 183 4 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168790481576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25087] ppid=25076 vsize=9824668 CPUtime=1.72 cores=0,2,4,6 /proc/25078/task/25087/stat : 25087 (java) S 25076 25078 23457 0 -1 4202560 332 0 0 0 169 3 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168789429288 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25088] ppid=25076 vsize=9824668 CPUtime=1.67 cores=0,2,4,6 /proc/25078/task/25088/stat : 25088 (java) S 25076 25078 23457 0 -1 4202560 696 0 0 0 164 3 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168788376488 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25089] ppid=25076 vsize=9824668 CPUtime=55.66 cores=0,2,4,6 /proc/25078/task/25089/stat : 25089 (java) R 25076 25078 23457 0 -1 4202560 1328 0 0 0 5545 21 0 0 20 0 22 0 253883518 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168775963752 140168958292040 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25090] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25090/stat : 25090 (java) S 25076 25078 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253883518 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168774910968 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25091] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25091/stat : 25091 (java) S 25076 25078 23457 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253883519 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168773858568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25092] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25092/stat : 25092 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883521 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168772806600 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25093] ppid=25076 vsize=9824668 CPUtime=1.54 cores=0,2,4,6 /proc/25078/task/25093/stat : 25093 (java) S 25076 25078 23457 0 -1 4202560 12153 0 0 0 150 4 0 0 20 0 22 0 253883521 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168771754680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25094] ppid=25076 vsize=9824668 CPUtime=1.53 cores=0,2,4,6 /proc/25078/task/25094/stat : 25094 (java) S 25076 25078 23457 0 -1 4202560 9171 0 0 0 151 2 0 0 20 0 22 0 253883521 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168770701880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25095] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25095/stat : 25095 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883521 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168769649784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25096] ppid=25076 vsize=9824668 CPUtime=0.19 cores=0,2,4,6 /proc/25078/task/25096/stat : 25096 (java) S 25076 25078 23457 0 -1 4202560 55 0 0 0 9 10 0 0 20 0 22 0 253883521 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168768597192 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25099] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25099/stat : 25099 (java) S 25076 25078 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253883610 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168765437096 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25123] ppid=25076 vsize=9824668 CPUtime=604.71 cores=0,2,4,6 /proc/25078/task/25123/stat : 25123 (java) S 25076 25078 23457 0 -1 4202560 40 0 0 0 60462 9 0 0 20 0 22 0 253910826 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168767541672 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25124] ppid=25076 vsize=9824668 CPUtime=604.77 cores=0,2,4,6 /proc/25078/task/25124/stat : 25124 (java) S 25076 25078 23457 0 -1 4202560 39 0 0 0 60468 9 0 0 20 0 22 0 253910826 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168766487512 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25125] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25125/stat : 25125 (java) S 25076 25078 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253910826 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168764384808 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.04 Current children cumulated vsize (KiB) 9824668 [startup+925.401 s] /proc/loadavg: 3.90 3.92 3.79 4/219 25208 /proc/meminfo: memFree=27729276/32873844 swapFree=7356/7356 [pid=25078] ppid=25076 vsize=9824668 CPUtime=1799.43 cores=0,2,4,6 /proc/25078/stat : 25078 (java) S 25076 25078 23457 0 -1 4202496 29877 0 1 0 179865 78 0 0 20 0 22 0 253883515 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140735396165104 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25078/statm: 2456167 277801 2288 9 0 2446860 0 [pid=25078/tid=25079] ppid=25076 vsize=9824668 CPUtime=0.9 cores=0,2,4,6 /proc/25078/task/25079/stat : 25079 (java) S 25076 25078 23457 0 -1 4202560 2596 0 1 0 86 4 0 0 20 0 22 0 253883516 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168951784152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25081] ppid=25076 vsize=9824668 CPUtime=1.78 cores=0,2,4,6 /proc/25078/task/25081/stat : 25081 (java) S 25076 25078 23457 0 -1 4202560 359 0 0 0 175 3 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168795744552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25082] ppid=25076 vsize=9824668 CPUtime=1.79 cores=0,2,4,6 /proc/25078/task/25082/stat : 25082 (java) S 25076 25078 23457 0 -1 4202560 115 0 0 0 175 4 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168794691752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25083] ppid=25076 vsize=9824668 CPUtime=1.78 cores=0,2,4,6 /proc/25078/task/25083/stat : 25083 (java) S 25076 25078 23457 0 -1 4202560 421 0 0 0 175 3 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168793639464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25084] ppid=25076 vsize=9824668 CPUtime=1.71 cores=0,2,4,6 /proc/25078/task/25084/stat : 25084 (java) S 25076 25078 23457 0 -1 4202560 449 0 0 0 167 4 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168792586664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25085] ppid=25076 vsize=9824668 CPUtime=1.68 cores=0,2,4,6 /proc/25078/task/25085/stat : 25085 (java) S 25076 25078 23457 0 -1 4202560 304 0 0 0 166 2 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168791534376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25086] ppid=25076 vsize=9824668 CPUtime=1.87 cores=0,2,4,6 /proc/25078/task/25086/stat : 25086 (java) S 25076 25078 23457 0 -1 4202560 447 0 0 0 183 4 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168790481576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25087] ppid=25076 vsize=9824668 CPUtime=1.72 cores=0,2,4,6 /proc/25078/task/25087/stat : 25087 (java) S 25076 25078 23457 0 -1 4202560 332 0 0 0 169 3 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168789429288 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25088] ppid=25076 vsize=9824668 CPUtime=1.67 cores=0,2,4,6 /proc/25078/task/25088/stat : 25088 (java) S 25076 25078 23457 0 -1 4202560 696 0 0 0 164 3 0 0 20 0 22 0 253883517 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168788376488 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25089] ppid=25076 vsize=9824668 CPUtime=56.06 cores=0,2,4,6 /proc/25078/task/25089/stat : 25089 (java) R 25076 25078 23457 0 -1 4202560 1328 0 0 0 5585 21 0 0 20 0 22 0 253883518 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168775963752 140168958639406 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25090] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25090/stat : 25090 (java) S 25076 25078 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253883518 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168774910968 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25091] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25091/stat : 25091 (java) S 25076 25078 23457 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253883519 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168773858568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25092] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25092/stat : 25092 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883521 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168772806600 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25093] ppid=25076 vsize=9824668 CPUtime=1.54 cores=0,2,4,6 /proc/25078/task/25093/stat : 25093 (java) S 25076 25078 23457 0 -1 4202560 12153 0 0 0 150 4 0 0 20 0 22 0 253883521 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168771754680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25094] ppid=25076 vsize=9824668 CPUtime=1.53 cores=0,2,4,6 /proc/25078/task/25094/stat : 25094 (java) S 25076 25078 23457 0 -1 4202560 9171 0 0 0 151 2 0 0 20 0 22 0 253883521 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168770701880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25095] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25095/stat : 25095 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883521 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168769649784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25096] ppid=25076 vsize=9824668 CPUtime=0.19 cores=0,2,4,6 /proc/25078/task/25096/stat : 25096 (java) S 25076 25078 23457 0 -1 4202560 55 0 0 0 9 10 0 0 20 0 22 0 253883521 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168768597192 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25099] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25099/stat : 25099 (java) S 25076 25078 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253883610 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168765437096 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25123] ppid=25076 vsize=9824668 CPUtime=604.71 cores=0,2,4,6 /proc/25078/task/25123/stat : 25123 (java) S 25076 25078 23457 0 -1 4202560 40 0 0 0 60462 9 0 0 20 0 22 0 253910826 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168767541672 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25124] ppid=25076 vsize=9824668 CPUtime=604.77 cores=0,2,4,6 /proc/25078/task/25124/stat : 25124 (java) S 25076 25078 23457 0 -1 4202560 39 0 0 0 60468 9 0 0 20 0 22 0 253910826 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168766487512 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25125] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25125/stat : 25125 (java) S 25076 25078 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253910826 10060460032 277801 33554432000 1073741824 1073778376 140735396173968 140168764384808 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (KiB) 9824668 [startup+925.501 s] /proc/loadavg: 3.90 3.92 3.79 4/219 25208 /proc/meminfo: memFree=27729276/32873844 swapFree=7356/7356 [pid=25078] ppid=25076 vsize=9824668 CPUtime=1799.53 cores=0,2,4,6 /proc/25078/stat : 25078 (java) S 25076 25078 23457 0 -1 4202496 29887 0 1 0 179875 78 0 0 20 0 22 0 253883515 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140735396165104 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25078/statm: 2456167 282921 2288 9 0 2446860 0 [pid=25078/tid=25079] ppid=25076 vsize=9824668 CPUtime=0.9 cores=0,2,4,6 /proc/25078/task/25079/stat : 25079 (java) S 25076 25078 23457 0 -1 4202560 2596 0 1 0 86 4 0 0 20 0 22 0 253883516 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168951784152 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25081] ppid=25076 vsize=9824668 CPUtime=1.78 cores=0,2,4,6 /proc/25078/task/25081/stat : 25081 (java) S 25076 25078 23457 0 -1 4202560 359 0 0 0 175 3 0 0 20 0 22 0 253883517 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168795744552 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25082] ppid=25076 vsize=9824668 CPUtime=1.79 cores=0,2,4,6 /proc/25078/task/25082/stat : 25082 (java) S 25076 25078 23457 0 -1 4202560 115 0 0 0 175 4 0 0 20 0 22 0 253883517 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168794691752 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25083] ppid=25076 vsize=9824668 CPUtime=1.78 cores=0,2,4,6 /proc/25078/task/25083/stat : 25083 (java) S 25076 25078 23457 0 -1 4202560 421 0 0 0 175 3 0 0 20 0 22 0 253883517 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168793639464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25084] ppid=25076 vsize=9824668 CPUtime=1.71 cores=0,2,4,6 /proc/25078/task/25084/stat : 25084 (java) S 25076 25078 23457 0 -1 4202560 449 0 0 0 167 4 0 0 20 0 22 0 253883517 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168792586664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25085] ppid=25076 vsize=9824668 CPUtime=1.68 cores=0,2,4,6 /proc/25078/task/25085/stat : 25085 (java) S 25076 25078 23457 0 -1 4202560 304 0 0 0 166 2 0 0 20 0 22 0 253883517 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168791534376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25086] ppid=25076 vsize=9824668 CPUtime=1.87 cores=0,2,4,6 /proc/25078/task/25086/stat : 25086 (java) S 25076 25078 23457 0 -1 4202560 447 0 0 0 183 4 0 0 20 0 22 0 253883517 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168790481576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25087] ppid=25076 vsize=9824668 CPUtime=1.72 cores=0,2,4,6 /proc/25078/task/25087/stat : 25087 (java) S 25076 25078 23457 0 -1 4202560 332 0 0 0 169 3 0 0 20 0 22 0 253883517 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168789429288 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25088] ppid=25076 vsize=9824668 CPUtime=1.67 cores=0,2,4,6 /proc/25078/task/25088/stat : 25088 (java) S 25076 25078 23457 0 -1 4202560 696 0 0 0 164 3 0 0 20 0 22 0 253883517 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168788376488 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25089] ppid=25076 vsize=9824668 CPUtime=56.16 cores=0,2,4,6 /proc/25078/task/25089/stat : 25089 (java) R 25076 25078 23457 0 -1 4202560 1338 0 0 0 5595 21 0 0 20 0 22 0 253883518 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168775963752 245293924648 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25090] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25090/stat : 25090 (java) S 25076 25078 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253883518 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168774910968 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25091] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25091/stat : 25091 (java) S 25076 25078 23457 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253883519 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168773858568 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25092] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25092/stat : 25092 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883521 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168772806600 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25093] ppid=25076 vsize=9824668 CPUtime=1.54 cores=0,2,4,6 /proc/25078/task/25093/stat : 25093 (java) S 25076 25078 23457 0 -1 4202560 12153 0 0 0 150 4 0 0 20 0 22 0 253883521 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168771754680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25094] ppid=25076 vsize=9824668 CPUtime=1.53 cores=0,2,4,6 /proc/25078/task/25094/stat : 25094 (java) S 25076 25078 23457 0 -1 4202560 9171 0 0 0 151 2 0 0 20 0 22 0 253883521 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168770701880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25095] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25095/stat : 25095 (java) S 25076 25078 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883521 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168769649784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25096] ppid=25076 vsize=9824668 CPUtime=0.19 cores=0,2,4,6 /proc/25078/task/25096/stat : 25096 (java) S 25076 25078 23457 0 -1 4202560 55 0 0 0 9 10 0 0 20 0 22 0 253883521 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168768597192 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25078/tid=25099] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25099/stat : 25099 (java) S 25076 25078 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253883610 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168765437096 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25078/tid=25123] ppid=25076 vsize=9824668 CPUtime=604.71 cores=0,2,4,6 /proc/25078/task/25123/stat : 25123 (java) S 25076 25078 23457 0 -1 4202560 40 0 0 0 60462 9 0 0 20 0 22 0 253910826 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168767541672 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25078/tid=25124] ppid=25076 vsize=9824668 CPUtime=604.77 cores=0,2,4,6 /proc/25078/task/25124/stat : 25124 (java) S 25076 25078 23457 0 -1 4202560 39 0 0 0 60468 9 0 0 20 0 22 0 253910826 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168766487512 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25078/tid=25125] ppid=25076 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25078/task/25125/stat : 25125 (java) S 25076 25078 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253910826 10060460032 282921 33554432000 1073741824 1073778376 140735396173968 140168764384808 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (KiB) 9824668 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25078 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=558033 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=162823 # CPU time returned by wait4() is 1796.72 # while last known CPU time is 1799.53 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.18997 # lost CPU user time (s): 1.28 # lost CPU system time (s): -0.09 Real time (s): 925.555 CPU time (s): 1800.72 CPU user time (s): 1800.03 CPU system time (s): 0.69 CPU usage (%): 194.556 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.56 system time used= 1.16282 maximum resident set size= 1135912 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29924 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1032 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25809 involuntary context switches= 35944 runsolver used 3.33949 second user time and 7.93579 second system time The end
Begin job on node109 at 2012-05-24 18:39:09 IDJOB=3688422 IDBENCH=24994 IDSOLVER=2268 FILE ID=node109/3688422-1337877549 RUNJOBID= node109-1337871881-23473 PBS_JOBID= 14620095 Free space on /tmp= 71680 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688422-1337877549/watcher-3688422-1337877549 -o /tmp/evaluation-result-3688422-1337877549/solver-3688422-1337877549 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688422-1337877549.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d869c2ae266497675d66f161576eaac8 RANDOM SEED=1191204051 node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28856784 kB Buffers: 201996 kB Cached: 2786308 kB SwapCached: 0 kB Active: 620316 kB Inactive: 2613244 kB Active(anon): 247564 kB Inactive(anon): 0 kB Active(file): 372752 kB Inactive(file): 2613244 kB Unevictable: 7356 kB Mlocked: 7356 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 3680 kB Writeback: 0 kB AnonPages: 270340 kB Mapped: 22568 kB Shmem: 200 kB Slab: 626124 kB SReclaimable: 68684 kB SUnreclaim: 557440 kB KernelStack: 1624 kB PageTables: 4592 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 828656 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 208896 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71680 MiB End job on node109 at 2012-05-24 18:54:36