| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 659 | 1800.79 | 944.577 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb |
| MD5SUM | 6389567e651775a5f815611581d2023e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 659 |
| Best CPU time to get the best result obtained on this benchmark | 1800.79 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 474 |
| Optimality of the best value was proved | NO |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| 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 | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 494177 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 494177 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.02/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.09 c See www.sat4j.org for details. 0.02/0.09 c version 2.3.2.v20120418 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 501472288 0.02/0.09 c Max memory 7480803328 0.02/0.09 c Total memory 504102912 0.02/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c c --- End Solver configuration --- 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-3687618-1337872829.opb 0.08/0.12 c reading problem ... 4.86/3.58 c ... done. Wall clock time 3.459s. 4.86/3.58 c declared #vars 10000 4.86/3.58 c #constraints 656900 4.86/3.58 c constraints type 4.86/3.58 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 4.86/3.58 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 4.86/3.58 c 656900 constraints processed. 4.86/3.58 c constraints type 4.86/3.58 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 4.86/3.58 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 4.86/3.58 c 656900 constraints processed. 4.86/3.58 c objective function length is 10000 literals 5.75/3.84 c And the winner is solver0 5.98/4.09 c SATISFIABLE 5.98/4.09 c OPTIMIZING... 5.98/4.09 c Got one! Elapsed wall clock time (in seconds):3.969 5.98/4.09 o 659 9.09/5.50 c cleaning 2550 clauses out of 5101 with flag 5000/5101 12.61/7.23 c cleaning 4277 clauses out of 8554 with flag 11003/11104 15.94/9.07 c cleaning 5638 clauses out of 11275 with flag 18001/18102 19.89/11.18 c cleaning 6818 clauses out of 13636 with flag 26000/26101 25.28/13.92 c cleaning 7909 clauses out of 15818 with flag 35000/35101 31.24/17.00 c cleaning 8953 clauses out of 17910 with flag 45001/45102 37.36/20.23 c cleaning 9975 clauses out of 19958 with flag 56002/56103 44.50/23.94 c cleaning 10991 clauses out of 21982 with flag 68001/68102 52.26/28.00 c cleaning 11986 clauses out of 23990 with flag 81000/81101 60.47/32.35 c cleaning 13002 clauses out of 26004 with flag 95000/95101 69.43/37.02 c cleaning 14001 clauses out of 28004 with flag 110002/110103 78.76/41.95 c cleaning 15000 clauses out of 30001 with flag 126000/126101 89.18/47.58 c cleaning 15996 clauses out of 32002 with flag 143001/143102 99.72/53.05 c cleaning 17001 clauses out of 34005 with flag 161000/161101 111.45/59.16 c cleaning 18001 clauses out of 36006 with flag 180002/180103 125.33/66.30 c cleaning 19002 clauses out of 38003 with flag 200000/200101 137.91/73.08 c cleaning 19993 clauses out of 40001 with flag 221000/221101 152.18/80.47 c cleaning 21000 clauses out of 42008 with flag 243000/243101 167.48/88.34 c cleaning 22004 clauses out of 44011 with flag 266003/266104 181.53/95.65 c cleaning 23000 clauses out of 46005 with flag 290001/290102 198.04/104.37 c cleaning 23991 clauses out of 48005 with flag 315001/315102 214.25/112.79 c cleaning 24995 clauses out of 50013 with flag 341000/341101 233.94/122.80 c cleaning 26004 clauses out of 52018 with flag 368000/368101 253.55/132.90 c cleaning 26992 clauses out of 54015 with flag 396001/396102 271.83/142.52 c cleaning 28005 clauses out of 56022 with flag 425000/425101 292.02/152.98 c cleaning 28989 clauses out of 58018 with flag 455001/455102 313.68/164.08 c cleaning 30005 clauses out of 60028 with flag 486000/486101 332.89/173.97 c cleaning 31012 clauses out of 62023 with flag 518000/518101 353.56/184.79 c cleaning 32006 clauses out of 64012 with flag 551001/551102 375.78/196.19 c cleaning 33000 clauses out of 66006 with flag 585001/585102 396.80/206.98 c cleaning 33999 clauses out of 68006 with flag 620001/620102 420.76/219.24 c cleaning 34996 clauses out of 70006 with flag 656000/656101 446.57/232.64 c cleaning 35993 clauses out of 72010 with flag 693000/693101 474.36/246.81 c cleaning 37009 clauses out of 74018 with flag 731001/731102 502.39/261.22 c cleaning 37995 clauses out of 76009 with flag 770001/770102 533.98/277.43 c cleaning 39003 clauses out of 78013 with flag 810000/810101 564.65/293.42 c cleaning 40001 clauses out of 80010 with flag 851000/851101 598.34/310.76 c cleaning 40986 clauses out of 82009 with flag 893000/893101 631.07/327.50 c cleaning 41981 clauses out of 84023 with flag 936000/936101 661.19/343.06 c cleaning 42999 clauses out of 86042 with flag 980000/980101 697.20/361.75 c cleaning 44013 clauses out of 88043 with flag 1025000/1025101 726.30/376.77 c cleaning 44987 clauses out of 90030 with flag 1071000/1071101 760.41/394.26 c cleaning 46013 clauses out of 92044 with flag 1118001/1118102 802.72/416.86 c cleaning 47003 clauses out of 94032 with flag 1166002/1166103 838.65/435.15 c cleaning 48000 clauses out of 96028 with flag 1215001/1215102 873.97/453.54 c cleaning 49012 clauses out of 98029 with flag 1265002/1265103 909.84/472.13 c cleaning 49984 clauses out of 100015 with flag 1316000/1316101 947.86/492.13 c cleaning 51005 clauses out of 102031 with flag 1368000/1368101 984.35/511.04 c cleaning 52008 clauses out of 104026 with flag 1421000/1421101 1021.56/530.34 c cleaning 53006 clauses out of 106020 with flag 1475002/1475103 1058.87/549.71 c cleaning 53996 clauses out of 108012 with flag 1530000/1530101 1102.14/572.52 c cleaning 54988 clauses out of 110016 with flag 1586000/1586101 1146.35/596.35 c cleaning 56002 clauses out of 112028 with flag 1643000/1643101 1184.36/615.85 c cleaning 57000 clauses out of 114026 with flag 1701000/1701101 1226.77/638.43 c cleaning 57987 clauses out of 116026 with flag 1760000/1760101 1273.96/663.17 c cleaning 59013 clauses out of 118039 with flag 1820000/1820101 1319.03/686.91 c cleaning 60001 clauses out of 120026 with flag 1881000/1881101 1364.37/710.73 c cleaning 61011 clauses out of 122029 with flag 1943004/1943105 1411.49/736.25 c cleaning 62005 clauses out of 124014 with flag 2006000/2006101 1458.54/761.06 c cleaning 62999 clauses out of 126010 with flag 2070001/2070102 1503.24/784.94 c cleaning 64006 clauses out of 128011 with flag 2135001/2135102 1554.64/812.19 c cleaning 64995 clauses out of 130005 with flag 2201001/2201102 1616.99/845.68 c cleaning 66003 clauses out of 132009 with flag 2268000/2268101 1676.85/877.08 c cleaning 67000 clauses out of 134008 with flag 2336002/2336103 1728.32/904.49 c cleaning 67990 clauses out of 136007 with flag 2405001/2405102 1780.46/932.10 c cleaning 68996 clauses out of 138016 with flag 2475000/2475101 1800.14/944.51 c starts : 231 1800.14/944.51 c conflicts : 2497226 1800.14/944.51 c decisions : 7925866 1800.14/944.51 c propagations : 787908875 1800.14/944.51 c inspects : 840892730 1800.14/944.51 c shortcuts : 0 1800.14/944.51 c learnt literals : 0 1800.14/944.51 c learnt binary clauses : 0 1800.14/944.51 c learnt ternary clauses : 0 1800.14/944.51 c learnt constraints : 2497226 1800.14/944.51 c ignored constraints : 0 1800.14/944.51 c root simplifications : 0 1800.14/944.51 c removed literals (reason simplification) : 155457259 1800.14/944.51 c reason swapping (by a shorter reason) : 0 1800.14/944.51 c Calls to reduceDB : 66 1800.14/944.51 c number of reductions to clauses (during analyze) : 0 1800.14/944.51 c number of learned constraints concerned by reduction : 0 1800.14/944.51 c number of learning phase by resolution : 0 1800.14/944.51 c number of learning phase by cutting planes : 0 1800.14/944.51 c speed (assignments/second) : 837408.6513832648 1800.14/944.51 c non guided choices 0 1800.14/944.54 c learnt constraints type 1800.14/944.54 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 91238 1800.14/944.54 c constraints type 1800.14/944.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 1800.14/944.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 1800.14/944.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.14/944.54 c 656901 constraints processed. 1800.14/944.54 c constraints type 1800.14/944.54 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 1800.14/944.54 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 1800.14/944.54 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.14/944.54 c 656901 constraints processed. 1800.14/944.54 s SATISFIABLE 1800.14/944.55 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 1800.14/944.56 c objective function=659 1800.14/944.56 c Total wall clock time (in seconds): 944.44
OK 659
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-3687618-1337872829/watcher-3687618-1337872829 -o /tmp/evaluation-result-3687618-1337872829/solver-3687618-1337872829 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687618-1337872829.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: 4.28 3.74 2.43 4/198 22149 /proc/meminfo: memFree=26305120/32873844 swapFree=7100/7100 [pid=22149] ppid=22147 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/22149/stat : 22149 (java) D 22147 22149 21308 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253411484 9515008 182 33554432000 1073741824 1073778376 140734018640128 140734018631160 247064247989 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/22149/statm: 2323 182 140 9 0 71 0 [startup+0.0482321 s] /proc/loadavg: 4.28 3.74 2.43 4/198 22149 /proc/meminfo: memFree=26305120/32873844 swapFree=7100/7100 [pid=22149] ppid=22147 vsize=9225560 CPUtime=0.02 cores=0,2,4,6 /proc/22149/stat : 22149 (java) S 22147 22149 21308 0 -1 4202496 3023 0 1 0 2 0 0 0 20 0 13 0 253411484 9446973440 3722 33554432000 1073741824 1073778376 140735526349296 140735526340432 247067607101 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22149/statm: 2306390 3723 1698 9 0 2297091 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9225560 [startup+0.100246 s] /proc/loadavg: 4.28 3.74 2.43 4/198 22149 /proc/meminfo: memFree=26305120/32873844 swapFree=7100/7100 [pid=22149] ppid=22147 vsize=9558412 CPUtime=0.08 cores=0,2,4,6 /proc/22149/stat : 22149 (java) S 22147 22149 21308 0 -1 4202496 4278 0 1 0 7 1 0 0 20 0 18 0 253411484 9787813888 5471 33554432000 1073741824 1073778376 140735526349296 140735526340432 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22149/statm: 2389603 5472 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558412 [startup+0.300217 s] /proc/loadavg: 4.28 3.74 2.43 4/198 22149 /proc/meminfo: memFree=26305120/32873844 swapFree=7100/7100 [pid=22149] ppid=22147 vsize=9558412 CPUtime=0.45 cores=0,2,4,6 /proc/22149/stat : 22149 (java) S 22147 22149 21308 0 -1 4202496 5425 0 1 0 43 2 0 0 20 0 18 0 253411484 9787813888 8645 33554432000 1073741824 1073778376 140735526349296 140735526340432 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22149/statm: 2389603 8645 2216 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558412 [startup+0.700239 s] /proc/loadavg: 4.28 3.74 2.43 4/198 22149 /proc/meminfo: memFree=26305120/32873844 swapFree=7100/7100 [pid=22149] ppid=22147 vsize=9558412 CPUtime=1.47 cores=0,2,4,6 /proc/22149/stat : 22149 (java) S 22147 22149 21308 0 -1 4202496 17183 0 1 0 141 6 0 0 20 0 18 0 253411484 9787813888 35233 33554432000 1073741824 1073778376 140735526349296 140735526340432 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22149/statm: 2389603 35233 2230 9 0 2380296 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 9558412 [startup+1.50071 s] /proc/loadavg: 4.28 3.74 2.43 4/216 22167 /proc/meminfo: memFree=26118888/32873844 swapFree=7100/7100 [pid=22149] ppid=22147 vsize=9558412 CPUtime=2.38 cores=0,2,4,6 /proc/22149/stat : 22149 (java) S 22147 22149 21308 0 -1 4202496 17382 0 1 0 227 11 0 0 20 0 18 0 253411484 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140735526340432 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22149/statm: 2389603 73208 2246 9 0 2380296 0 [pid=22149/tid=22151] ppid=22147 vsize=9558412 CPUtime=1.42 cores=0,2,4,6 /proc/22149/task/22151/stat : 22151 (java) R 22147 22149 21308 0 -1 4202560 2549 0 1 0 137 5 0 0 20 0 18 0 253411485 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140493190364424 247067632909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22152] ppid=22147 vsize=9558412 CPUtime=0.02 cores=0,2,4,6 /proc/22149/task/22152/stat : 22152 (java) S 22147 22149 21308 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 253411486 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140493151857064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22153] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22153/stat : 22153 (java) S 22147 22149 21308 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 253411486 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140493150804520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22154] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22154/stat : 22154 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253411486 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140493149751464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22155] ppid=22147 vsize=9558412 CPUtime=0.01 cores=0,2,4,6 /proc/22149/task/22155/stat : 22155 (java) S 22147 22149 21308 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 18 0 253411486 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140493148698920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22156] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22156/stat : 22156 (java) S 22147 22149 21308 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 253411486 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140493147646888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22157] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22157/stat : 22157 (java) S 22147 22149 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 253411486 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140493146594344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22158] ppid=22147 vsize=9558412 CPUtime=0.02 cores=0,2,4,6 /proc/22149/task/22158/stat : 22158 (java) S 22147 22149 21308 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 253411486 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140493027535528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22159] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22159/stat : 22159 (java) S 22147 22149 21308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 253411486 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140493026482984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22160] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22160/stat : 22160 (java) S 22147 22149 21308 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 253411487 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140493014284648 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22161] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22161/stat : 22161 (java) S 22147 22149 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253411488 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140493013230968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22162] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22162/stat : 22162 (java) S 22147 22149 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 253411488 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140493012177800 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22163] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22163/stat : 22163 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253411490 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140492272560400 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22164] ppid=22147 vsize=9558412 CPUtime=0.35 cores=0,2,4,6 /proc/22149/task/22164/stat : 22164 (java) S 22147 22149 21308 0 -1 4202560 5684 0 0 0 34 1 0 0 20 0 18 0 253411490 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140492271508280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22165] ppid=22147 vsize=9558412 CPUtime=0.42 cores=0,2,4,6 /proc/22149/task/22165/stat : 22165 (java) S 22147 22149 21308 0 -1 4202560 7831 0 0 0 40 2 0 0 20 0 18 0 253411490 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140492270455736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22166] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22166/stat : 22166 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253411490 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140492269402872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22167] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22167/stat : 22167 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253411490 9787813888 73208 33554432000 1073741824 1073778376 140735526349296 140492268350536 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.38 Current children cumulated vsize (KiB) 9558412 [startup+3.10074 s] /proc/loadavg: 4.18 3.73 2.44 4/216 22167 /proc/meminfo: memFree=25918496/32873844 swapFree=7100/7100 [pid=22149] ppid=22147 vsize=9558412 CPUtime=4.25 cores=0,2,4,6 /proc/22149/stat : 22149 (java) S 22147 22149 21308 0 -1 4202496 17841 0 1 0 404 21 0 0 20 0 18 0 253411484 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140735526340432 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22149/statm: 2389603 138480 2246 9 0 2380296 0 [pid=22149/tid=22151] ppid=22147 vsize=9558412 CPUtime=2.92 cores=0,2,4,6 /proc/22149/task/22151/stat : 22151 (java) R 22147 22149 21308 0 -1 4202560 2647 0 1 0 284 8 0 0 20 0 18 0 253411485 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140493190356928 140493027957159 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22152] ppid=22147 vsize=9558412 CPUtime=0.1 cores=0,2,4,6 /proc/22149/task/22152/stat : 22152 (java) S 22147 22149 21308 0 -1 4202560 59 0 0 0 7 3 0 0 20 0 18 0 253411486 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140493151857064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22153] ppid=22147 vsize=9558412 CPUtime=0.03 cores=0,2,4,6 /proc/22149/task/22153/stat : 22153 (java) S 22147 22149 21308 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 18 0 253411486 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140493150804520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22154] ppid=22147 vsize=9558412 CPUtime=0.03 cores=0,2,4,6 /proc/22149/task/22154/stat : 22154 (java) S 22147 22149 21308 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 18 0 253411486 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140493149751464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22155] ppid=22147 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/22149/task/22155/stat : 22155 (java) S 22147 22149 21308 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 18 0 253411486 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140493148698920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22156] ppid=22147 vsize=9558412 CPUtime=0.03 cores=0,2,4,6 /proc/22149/task/22156/stat : 22156 (java) S 22147 22149 21308 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 18 0 253411486 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140493147646888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22157] ppid=22147 vsize=9558412 CPUtime=0.03 cores=0,2,4,6 /proc/22149/task/22157/stat : 22157 (java) S 22147 22149 21308 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 18 0 253411486 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140493146594344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22158] ppid=22147 vsize=9558412 CPUtime=0.04 cores=0,2,4,6 /proc/22149/task/22158/stat : 22158 (java) S 22147 22149 21308 0 -1 4202560 31 0 0 0 3 1 0 0 20 0 18 0 253411486 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140493027535528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22159] ppid=22147 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/22149/task/22159/stat : 22159 (java) S 22147 22149 21308 0 -1 4202560 54 0 0 0 5 2 0 0 20 0 18 0 253411486 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140493026482984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22160] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22160/stat : 22160 (java) S 22147 22149 21308 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 253411487 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140493014284648 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22161] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22161/stat : 22161 (java) S 22147 22149 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253411488 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140493013230968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22162] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22162/stat : 22162 (java) S 22147 22149 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 253411488 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140493012177800 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22163] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22163/stat : 22163 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253411490 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140492272560400 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22164] ppid=22147 vsize=9558412 CPUtime=0.35 cores=0,2,4,6 /proc/22149/task/22164/stat : 22164 (java) S 22147 22149 21308 0 -1 4202560 5684 0 0 0 34 1 0 0 20 0 18 0 253411490 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140492271508280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22165] ppid=22147 vsize=9558412 CPUtime=0.42 cores=0,2,4,6 /proc/22149/task/22165/stat : 22165 (java) S 22147 22149 21308 0 -1 4202560 7831 0 0 0 40 2 0 0 20 0 18 0 253411490 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140492270455736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22166] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22166/stat : 22166 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253411490 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140492269402872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22167] ppid=22147 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22167/stat : 22167 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253411490 9787813888 138480 33554432000 1073741824 1073778376 140735526349296 140492268350536 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.25 Current children cumulated vsize (KiB) 9558412 [startup+6.30068 s] /proc/loadavg: 4.18 3.73 2.44 7/220 22174 /proc/meminfo: memFree=25656088/32873844 swapFree=7100/7100 [pid=22149] ppid=22147 vsize=9824668 CPUtime=10.76 cores=0,2,4,6 /proc/22149/stat : 22149 (java) S 22147 22149 21308 0 -1 4202496 22004 0 1 0 1044 32 0 0 20 0 22 0 253411484 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140735526340432 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22149/statm: 2456167 189131 2283 9 0 2446860 0 [pid=22149/tid=22151] ppid=22147 vsize=9824668 CPUtime=3.36 cores=0,2,4,6 /proc/22149/task/22151/stat : 22151 (java) S 22147 22149 21308 0 -1 4202560 2704 0 1 0 327 9 0 0 20 0 22 0 253411485 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140493190366200 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22152] ppid=22147 vsize=9824668 CPUtime=0.2 cores=0,2,4,6 /proc/22149/task/22152/stat : 22152 (java) S 22147 22149 21308 0 -1 4202560 86 0 0 0 16 4 0 0 20 0 22 0 253411486 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140493151857064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22153] ppid=22147 vsize=9824668 CPUtime=0.13 cores=0,2,4,6 /proc/22149/task/22153/stat : 22153 (java) S 22147 22149 21308 0 -1 4202560 53 0 0 0 11 2 0 0 20 0 22 0 253411486 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140493150804520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22154] ppid=22147 vsize=9824668 CPUtime=0.1 cores=0,2,4,6 /proc/22149/task/22154/stat : 22154 (java) S 22147 22149 21308 0 -1 4202560 95 0 0 0 9 1 0 0 20 0 22 0 253411486 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140493149751464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22155] ppid=22147 vsize=9824668 CPUtime=0.14 cores=0,2,4,6 /proc/22149/task/22155/stat : 22155 (java) S 22147 22149 21308 0 -1 4202560 66 0 0 0 12 2 0 0 20 0 22 0 253411486 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140493148698920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22156] ppid=22147 vsize=9824668 CPUtime=0.11 cores=0,2,4,6 /proc/22149/task/22156/stat : 22156 (java) S 22147 22149 21308 0 -1 4202560 68 0 0 0 9 2 0 0 20 0 22 0 253411486 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140493147646888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22157] ppid=22147 vsize=9824668 CPUtime=0.13 cores=0,2,4,6 /proc/22149/task/22157/stat : 22157 (java) S 22147 22149 21308 0 -1 4202560 60 0 0 0 11 2 0 0 20 0 22 0 253411486 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140493146594344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22158] ppid=22147 vsize=9824668 CPUtime=0.11 cores=0,2,4,6 /proc/22149/task/22158/stat : 22158 (java) S 22147 22149 21308 0 -1 4202560 51 0 0 0 9 2 0 0 20 0 22 0 253411486 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140493027535528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22159] ppid=22147 vsize=9824668 CPUtime=0.16 cores=0,2,4,6 /proc/22149/task/22159/stat : 22159 (java) S 22147 22149 21308 0 -1 4202560 86 0 0 0 13 3 0 0 20 0 22 0 253411486 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140493026482984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22160] ppid=22147 vsize=9824668 CPUtime=0.32 cores=0,2,4,6 /proc/22149/task/22160/stat : 22160 (java) S 22147 22149 21308 0 -1 4202560 529 0 0 0 31 1 0 0 20 0 22 0 253411487 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140493014284648 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22161] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22161/stat : 22161 (java) S 22147 22149 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253411488 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140493013230968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22162] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22162/stat : 22162 (java) S 22147 22149 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253411488 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140493012177800 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22163] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22163/stat : 22163 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411490 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140492272560400 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22164] ppid=22147 vsize=9824668 CPUtime=0.97 cores=0,2,4,6 /proc/22149/task/22164/stat : 22164 (java) S 22147 22149 21308 0 -1 4202560 8961 0 0 0 95 2 0 0 20 0 22 0 253411490 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140492271508280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22165] ppid=22147 vsize=9824668 CPUtime=0.92 cores=0,2,4,6 /proc/22149/task/22165/stat : 22165 (java) S 22147 22149 21308 0 -1 4202560 7950 0 0 0 90 2 0 0 20 0 22 0 253411490 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140492270455736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22166] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22166/stat : 22166 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411490 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140492269402872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22167] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22167/stat : 22167 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411490 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140492268350536 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22171] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22171/stat : 22171 (java) S 22147 22149 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253411846 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140492264137640 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22172] ppid=22147 vsize=9824668 CPUtime=1.71 cores=0,2,4,6 /proc/22149/task/22172/stat : 22172 (java) R 22147 22149 21308 0 -1 4202560 5 0 0 0 171 0 0 0 20 0 22 0 253411899 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140492266242864 140493028733556 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22173] ppid=22147 vsize=9824668 CPUtime=1.7 cores=0,2,4,6 /proc/22149/task/22173/stat : 22173 (java) R 22147 22149 21308 0 -1 4202560 3 0 0 0 170 0 0 0 20 0 22 0 253411899 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140492267293632 140493028511829 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22174] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22174/stat : 22174 (java) S 22147 22149 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411899 10060460032 189131 33554432000 1073741824 1073778376 140735526349296 140492265190696 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 10.76 Current children cumulated vsize (KiB) 9824668 ################ # More data... # ################ [pid=22149/tid=22172] ppid=22147 vsize=9824668 CPUtime=740.57 cores=0,2,4,6 /proc/22149/task/22172/stat : 22172 (java) R 22147 22149 21308 0 -1 4202560 34 0 0 0 74044 13 0 0 20 0 22 0 253411899 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492266242912 140493028435914 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22173] ppid=22147 vsize=9824668 CPUtime=740.6 cores=0,2,4,6 /proc/22149/task/22173/stat : 22173 (java) R 22147 22149 21308 0 -1 4202560 775 0 0 0 74039 21 0 0 20 0 22 0 253411899 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492267293536 140493028184221 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22174] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22174/stat : 22174 (java) S 22147 22149 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411899 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492265190696 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1570.39 Current children cumulated vsize (KiB) 9824668 [startup+882.307 s] /proc/loadavg: 3.71 3.70 3.21 4/219 22276 /proc/meminfo: memFree=23546992/32873844 swapFree=7100/7100 [pid=22149] ppid=22147 vsize=9824668 CPUtime=1684.15 cores=0,2,4,6 /proc/22149/stat : 22149 (java) S 22147 22149 21308 0 -1 4202496 27571 0 1 0 168286 129 0 0 20 0 22 0 253411484 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140735526340432 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22149/statm: 2456167 655082 2287 9 0 2446860 0 [pid=22149/tid=22151] ppid=22147 vsize=9824668 CPUtime=3.38 cores=0,2,4,6 /proc/22149/task/22151/stat : 22151 (java) S 22147 22149 21308 0 -1 4202560 2756 0 1 0 329 9 0 0 20 0 22 0 253411485 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493190366200 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22152] ppid=22147 vsize=9824668 CPUtime=0.82 cores=0,2,4,6 /proc/22149/task/22152/stat : 22152 (java) S 22147 22149 21308 0 -1 4202560 496 0 0 0 72 10 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493151857064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22153] ppid=22147 vsize=9824668 CPUtime=0.76 cores=0,2,4,6 /proc/22149/task/22153/stat : 22153 (java) S 22147 22149 21308 0 -1 4202560 545 0 0 0 68 8 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493150804520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22154] ppid=22147 vsize=9824668 CPUtime=0.8 cores=0,2,4,6 /proc/22149/task/22154/stat : 22154 (java) S 22147 22149 21308 0 -1 4202560 233 0 0 0 71 9 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493149751464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22155] ppid=22147 vsize=9824668 CPUtime=1 cores=0,2,4,6 /proc/22149/task/22155/stat : 22155 (java) S 22147 22149 21308 0 -1 4202560 405 0 0 0 88 12 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493148698920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22156] ppid=22147 vsize=9824668 CPUtime=0.78 cores=0,2,4,6 /proc/22149/task/22156/stat : 22156 (java) S 22147 22149 21308 0 -1 4202560 215 0 0 0 68 10 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493147646888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22157] ppid=22147 vsize=9824668 CPUtime=0.89 cores=0,2,4,6 /proc/22149/task/22157/stat : 22157 (java) S 22147 22149 21308 0 -1 4202560 600 0 0 0 79 10 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493146594344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22158] ppid=22147 vsize=9824668 CPUtime=0.76 cores=0,2,4,6 /proc/22149/task/22158/stat : 22158 (java) S 22147 22149 21308 0 -1 4202560 436 0 0 0 67 9 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493027535528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22159] ppid=22147 vsize=9824668 CPUtime=0.85 cores=0,2,4,6 /proc/22149/task/22159/stat : 22159 (java) S 22147 22149 21308 0 -1 4202560 459 0 0 0 76 9 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493026482984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22160] ppid=22147 vsize=9824668 CPUtime=82.14 cores=0,2,4,6 /proc/22149/task/22160/stat : 22160 (java) S 22147 22149 21308 0 -1 4202560 2335 0 0 0 8199 15 0 0 20 0 22 0 253411487 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493014284648 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22161] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22161/stat : 22161 (java) S 22147 22149 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253411488 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493013230968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22162] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22162/stat : 22162 (java) S 22147 22149 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253411488 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493012177800 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22163] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22163/stat : 22163 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411490 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492272560400 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22164] ppid=22147 vsize=9824668 CPUtime=1.41 cores=0,2,4,6 /proc/22149/task/22164/stat : 22164 (java) S 22147 22149 21308 0 -1 4202560 8967 0 0 0 138 3 0 0 20 0 22 0 253411490 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492271508280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22165] ppid=22147 vsize=9824668 CPUtime=1.28 cores=0,2,4,6 /proc/22149/task/22165/stat : 22165 (java) S 22147 22149 21308 0 -1 4202560 7976 0 0 0 126 2 0 0 20 0 22 0 253411490 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492270455736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22166] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22166/stat : 22166 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411490 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492269402872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22167] ppid=22147 vsize=9824668 CPUtime=0.2 cores=0,2,4,6 /proc/22149/task/22167/stat : 22167 (java) S 22147 22149 21308 0 -1 4202560 51 0 0 0 9 11 0 0 20 0 22 0 253411490 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492268350536 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22171] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22171/stat : 22171 (java) S 22147 22149 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253411846 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492264137640 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22172] ppid=22147 vsize=9824668 CPUtime=794.31 cores=0,2,4,6 /proc/22149/task/22172/stat : 22172 (java) R 22147 22149 21308 0 -1 4202560 36 0 0 0 79417 14 0 0 20 0 22 0 253411899 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492266242912 140493028436404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22173] ppid=22147 vsize=9824668 CPUtime=794.35 cores=0,2,4,6 /proc/22149/task/22173/stat : 22173 (java) R 22147 22149 21308 0 -1 4202560 775 0 0 0 79413 22 0 0 20 0 22 0 253411899 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492267293536 140493028184383 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22174] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22174/stat : 22174 (java) S 22147 22149 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411899 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492265190696 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1684.15 Current children cumulated vsize (KiB) 9824668 [startup+942.301 s] /proc/loadavg: 3.75 3.72 3.25 5/219 22276 /proc/meminfo: memFree=23470036/32873844 swapFree=7100/7100 [pid=22149] ppid=22147 vsize=9824668 CPUtime=1795.73 cores=0,2,4,6 /proc/22149/stat : 22149 (java) S 22147 22149 21308 0 -1 4202496 27579 0 1 0 179443 130 0 0 20 0 22 0 253411484 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140735526340432 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22149/statm: 2456167 655082 2287 9 0 2446860 0 [pid=22149/tid=22151] ppid=22147 vsize=9824668 CPUtime=3.39 cores=0,2,4,6 /proc/22149/task/22151/stat : 22151 (java) S 22147 22149 21308 0 -1 4202560 2756 0 1 0 330 9 0 0 20 0 22 0 253411485 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493190366200 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22152] ppid=22147 vsize=9824668 CPUtime=0.82 cores=0,2,4,6 /proc/22149/task/22152/stat : 22152 (java) S 22147 22149 21308 0 -1 4202560 496 0 0 0 72 10 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493151857064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22153] ppid=22147 vsize=9824668 CPUtime=0.76 cores=0,2,4,6 /proc/22149/task/22153/stat : 22153 (java) S 22147 22149 21308 0 -1 4202560 545 0 0 0 68 8 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493150804520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22154] ppid=22147 vsize=9824668 CPUtime=0.8 cores=0,2,4,6 /proc/22149/task/22154/stat : 22154 (java) S 22147 22149 21308 0 -1 4202560 233 0 0 0 71 9 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493149751464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22155] ppid=22147 vsize=9824668 CPUtime=1 cores=0,2,4,6 /proc/22149/task/22155/stat : 22155 (java) S 22147 22149 21308 0 -1 4202560 405 0 0 0 88 12 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493148698920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22156] ppid=22147 vsize=9824668 CPUtime=0.78 cores=0,2,4,6 /proc/22149/task/22156/stat : 22156 (java) S 22147 22149 21308 0 -1 4202560 215 0 0 0 68 10 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493147646888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22157] ppid=22147 vsize=9824668 CPUtime=0.89 cores=0,2,4,6 /proc/22149/task/22157/stat : 22157 (java) S 22147 22149 21308 0 -1 4202560 600 0 0 0 79 10 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493146594344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22158] ppid=22147 vsize=9824668 CPUtime=0.76 cores=0,2,4,6 /proc/22149/task/22158/stat : 22158 (java) S 22147 22149 21308 0 -1 4202560 436 0 0 0 67 9 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493027535528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22159] ppid=22147 vsize=9824668 CPUtime=0.85 cores=0,2,4,6 /proc/22149/task/22159/stat : 22159 (java) S 22147 22149 21308 0 -1 4202560 459 0 0 0 76 9 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493026482984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22160] ppid=22147 vsize=9824668 CPUtime=90.52 cores=0,2,4,6 /proc/22149/task/22160/stat : 22160 (java) S 22147 22149 21308 0 -1 4202560 2337 0 0 0 9037 15 0 0 20 0 22 0 253411487 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493014284648 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22161] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22161/stat : 22161 (java) S 22147 22149 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253411488 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493013230968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22162] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22162/stat : 22162 (java) S 22147 22149 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253411488 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493012177800 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22163] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22163/stat : 22163 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411490 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492272560400 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22164] ppid=22147 vsize=9824668 CPUtime=1.41 cores=0,2,4,6 /proc/22149/task/22164/stat : 22164 (java) S 22147 22149 21308 0 -1 4202560 8967 0 0 0 138 3 0 0 20 0 22 0 253411490 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492271508280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22165] ppid=22147 vsize=9824668 CPUtime=1.28 cores=0,2,4,6 /proc/22149/task/22165/stat : 22165 (java) S 22147 22149 21308 0 -1 4202560 7976 0 0 0 126 2 0 0 20 0 22 0 253411490 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492270455736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22166] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22166/stat : 22166 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411490 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492269402872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22167] ppid=22147 vsize=9824668 CPUtime=0.22 cores=0,2,4,6 /proc/22149/task/22167/stat : 22167 (java) S 22147 22149 21308 0 -1 4202560 55 0 0 0 10 12 0 0 20 0 22 0 253411490 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492268350536 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22171] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22171/stat : 22171 (java) S 22147 22149 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253411846 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492264137640 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22172] ppid=22147 vsize=9824668 CPUtime=845.91 cores=0,2,4,6 /proc/22149/task/22172/stat : 22172 (java) R 22147 22149 21308 0 -1 4202560 38 0 0 0 84577 14 0 0 20 0 22 0 253411899 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492266242912 140493028733516 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22173] ppid=22147 vsize=9824668 CPUtime=845.97 cores=0,2,4,6 /proc/22149/task/22173/stat : 22173 (java) R 22147 22149 21308 0 -1 4202560 775 0 0 0 84574 23 0 0 20 0 22 0 253411899 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492267293680 140493028511869 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22174] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22174/stat : 22174 (java) S 22147 22149 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411899 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492265190696 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1795.73 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+944.501 s] /proc/loadavg: 3.77 3.72 3.25 5/219 22276 /proc/meminfo: memFree=23470036/32873844 swapFree=7100/7100 [pid=22149] ppid=22147 vsize=9824668 CPUtime=1800.14 cores=0,2,4,6 /proc/22149/stat : 22149 (java) S 22147 22149 21308 0 -1 4202496 27579 0 1 0 179884 130 0 0 20 0 22 0 253411484 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140735526340432 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22149/statm: 2456167 655082 2287 9 0 2446860 0 [pid=22149/tid=22151] ppid=22147 vsize=9824668 CPUtime=3.39 cores=0,2,4,6 /proc/22149/task/22151/stat : 22151 (java) S 22147 22149 21308 0 -1 4202560 2756 0 1 0 330 9 0 0 20 0 22 0 253411485 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493190366200 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22152] ppid=22147 vsize=9824668 CPUtime=0.82 cores=0,2,4,6 /proc/22149/task/22152/stat : 22152 (java) S 22147 22149 21308 0 -1 4202560 496 0 0 0 72 10 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493151857064 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22153] ppid=22147 vsize=9824668 CPUtime=0.76 cores=0,2,4,6 /proc/22149/task/22153/stat : 22153 (java) S 22147 22149 21308 0 -1 4202560 545 0 0 0 68 8 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493150804520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22154] ppid=22147 vsize=9824668 CPUtime=0.8 cores=0,2,4,6 /proc/22149/task/22154/stat : 22154 (java) S 22147 22149 21308 0 -1 4202560 233 0 0 0 71 9 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493149751464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22155] ppid=22147 vsize=9824668 CPUtime=1 cores=0,2,4,6 /proc/22149/task/22155/stat : 22155 (java) S 22147 22149 21308 0 -1 4202560 405 0 0 0 88 12 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493148698920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22156] ppid=22147 vsize=9824668 CPUtime=0.78 cores=0,2,4,6 /proc/22149/task/22156/stat : 22156 (java) S 22147 22149 21308 0 -1 4202560 215 0 0 0 68 10 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493147646888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22157] ppid=22147 vsize=9824668 CPUtime=0.89 cores=0,2,4,6 /proc/22149/task/22157/stat : 22157 (java) S 22147 22149 21308 0 -1 4202560 600 0 0 0 79 10 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493146594344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22158] ppid=22147 vsize=9824668 CPUtime=0.76 cores=0,2,4,6 /proc/22149/task/22158/stat : 22158 (java) S 22147 22149 21308 0 -1 4202560 436 0 0 0 67 9 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493027535528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22159] ppid=22147 vsize=9824668 CPUtime=0.85 cores=0,2,4,6 /proc/22149/task/22159/stat : 22159 (java) S 22147 22149 21308 0 -1 4202560 459 0 0 0 76 9 0 0 20 0 22 0 253411486 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493026482984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22160] ppid=22147 vsize=9824668 CPUtime=90.52 cores=0,2,4,6 /proc/22149/task/22160/stat : 22160 (java) S 22147 22149 21308 0 -1 4202560 2337 0 0 0 9037 15 0 0 20 0 22 0 253411487 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493014284648 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22161] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22161/stat : 22161 (java) S 22147 22149 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253411488 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493013230968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22162] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22162/stat : 22162 (java) S 22147 22149 21308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253411488 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140493012177800 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22163] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22163/stat : 22163 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411490 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492272560400 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22164] ppid=22147 vsize=9824668 CPUtime=1.41 cores=0,2,4,6 /proc/22149/task/22164/stat : 22164 (java) S 22147 22149 21308 0 -1 4202560 8967 0 0 0 138 3 0 0 20 0 22 0 253411490 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492271508280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22149/tid=22165] ppid=22147 vsize=9824668 CPUtime=1.28 cores=0,2,4,6 /proc/22149/task/22165/stat : 22165 (java) S 22147 22149 21308 0 -1 4202560 7976 0 0 0 126 2 0 0 20 0 22 0 253411490 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492270455736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22166] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22166/stat : 22166 (java) S 22147 22149 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411490 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492269402872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22167] ppid=22147 vsize=9824668 CPUtime=0.22 cores=0,2,4,6 /proc/22149/task/22167/stat : 22167 (java) S 22147 22149 21308 0 -1 4202560 55 0 0 0 10 12 0 0 20 0 22 0 253411490 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492268350536 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22149/tid=22171] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22171/stat : 22171 (java) S 22147 22149 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253411846 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492264137640 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22172] ppid=22147 vsize=9824668 CPUtime=848.11 cores=0,2,4,6 /proc/22149/task/22172/stat : 22172 (java) R 22147 22149 21308 0 -1 4202560 38 0 0 0 84797 14 0 0 20 0 22 0 253411899 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492266242912 140493028522186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=22149/tid=22173] ppid=22147 vsize=9824668 CPUtime=848.18 cores=0,2,4,6 /proc/22149/task/22173/stat : 22173 (java) R 22147 22149 21308 0 -1 4202560 775 0 0 0 84795 23 0 0 20 0 22 0 253411899 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492267293680 140493028512088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22149/tid=22174] ppid=22147 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22149/task/22174/stat : 22174 (java) S 22147 22149 21308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411899 10060460032 655082 33554432000 1073741824 1073778376 140735526349296 140492265190696 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 944.577 CPU time (s): 1800.79 CPU user time (s): 1799.05 CPU system time (s): 1.74273 CPU usage (%): 190.645 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.05 system time used= 1.74273 maximum resident set size= 2620448 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27613 page faults= 1 swaps= 0 block input operations= 0 block output operations= 992 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23530 involuntary context switches= 17475 runsolver used 4.20136 second user time and 7.50486 second system time The end
Begin job on node103 at 2012-05-24 17:20:29 IDJOB=3687618 IDBENCH=1975 IDSOLVER=2268 FILE ID=node103/3687618-1337872829 RUNJOBID= node103-1337871881-21324 PBS_JOBID= 14620101 Free space on /tmp= 71700 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687618-1337872829/watcher-3687618-1337872829 -o /tmp/evaluation-result-3687618-1337872829/solver-3687618-1337872829 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687618-1337872829.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6389567e651775a5f815611581d2023e RANDOM SEED=2137734220 node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.37 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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 : 5411.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26305632 kB Buffers: 199088 kB Cached: 2669580 kB SwapCached: 0 kB Active: 3616860 kB Inactive: 2180036 kB Active(anon): 2930868 kB Inactive(anon): 0 kB Active(file): 685992 kB Inactive(file): 2180036 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 17288 kB Writeback: 0 kB AnonPages: 2935680 kB Mapped: 22620 kB Shmem: 200 kB Slab: 626660 kB SReclaimable: 68780 kB SUnreclaim: 557880 kB KernelStack: 1648 kB PageTables: 9888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 3261412 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2869248 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= 71696 MiB End job on node103 at 2012-05-24 17:36:16