Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | OPT | 1183.33 | 604.332 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_6_mh_ic.opb |
| MD5SUM | b24b10929da03724a77e08494dd4be05 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2886748 |
| Best CPU time to get the best result obtained on this benchmark | 222.049 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 140608000 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 5469285523 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 140608000 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 5469285523 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.14 c See www.sat4j.org for details. 0.02/0.15 c version 2.2.0.v20100531 0.02/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.15 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.15 c java.vm.version 19.1-b02 0.02/0.15 c java.vm.vendor Sun Microsystems Inc. 0.02/0.15 c sun.arch.data.model 64 0.02/0.15 c java.version 1.6.0_24 0.02/0.15 c os.name Linux 0.02/0.15 c os.version 2.6.32-71.29.1.el6.x86_64 0.02/0.15 c os.arch amd64 0.02/0.15 c Free memory 1349517296 0.02/0.15 c Max memory 1356595200 0.02/0.15 c Total memory 1356595200 0.02/0.15 c Number of processors 8 0.02/0.18 c Pseudo Boolean Optimization 0.02/0.18 c ManyCore solver with 2 solvers running in parallel 0.02/0.18 c --- Begin Solver configuration --- 0.02/0.18 c Stops conflict analysis at the first Unique Implication Point 0.02/0.18 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.02/0.18 c Learn all clauses as in MiniSAT 0.02/0.18 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.02/0.18 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.02/0.18 c Expensive reason simplification 0.02/0.18 c Armin Biere (Picosat) restarts strategy 0.02/0.18 c Glucose learned constraints deletion strategy 0.02/0.18 c timeout=2147483s 0.02/0.18 c DB Simplification allowed=false 0.02/0.18 c --- End Solver configuration --- 0.02/0.18 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.02/0.18 c --- Begin Solver configuration --- 0.02/0.18 c Stops conflict analysis at the first Unique Implication Point 0.02/0.18 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5b2558d6 0.02/0.18 c Learn all clauses as in MiniSAT 0.02/0.18 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.02/0.18 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.02/0.18 c No reason simplification 0.02/0.18 c Armin Biere (Picosat) restarts strategy 0.02/0.18 c Glucose learned constraints deletion strategy 0.02/0.18 c timeout=2147483s 0.02/0.18 c DB Simplification allowed=false 0.02/0.18 c --- End Solver configuration --- 0.02/0.18 0.02/0.18 c solving HOME/instance-3744112-1338803259.opb 0.02/0.18 c reading problem ... 1.13/0.66 c ... done. Wall clock time 0.478s. 1.13/0.66 c #vars 9765 1.13/0.66 c #constraints 21983 1.13/0.66 c constraints type 1.13/0.66 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.13/0.66 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.13/0.66 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.13/0.66 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.13/0.66 c constraints type 1.13/0.66 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.13/0.66 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.13/0.66 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.13/0.66 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 2.89/1.19 c And the winner is Resolution 3.57/1.69 c SATISFIABLE 3.57/1.69 c OPTIMIZING... 3.57/1.69 c Got one! Elapsed wall clock time (in seconds):1.507 3.57/1.69 o 3926920 3.89/1.82 c And the winner is Resolution 3.98/2.72 c Got one! Elapsed wall clock time (in seconds):2.537 4.21/2.85 o 3630717 12.32/6.61 c cleaning 2496 clauses out of 4999 with flag 5001/5001 21.19/11.01 c cleaning 4245 clauses out of 8501 with flag 11000/11000 30.99/15.95 c cleaning 5623 clauses out of 11257 with flag 18001/18001 42.00/21.50 c cleaning 6811 clauses out of 13635 with flag 26002/26002 44.80/22.88 c And the winner is Resolution 47.16/25.75 c Got one! Elapsed wall clock time (in seconds):25.57 47.16/25.75 o 3592639 47.29/25.87 c And the winner is Resolution 47.48/26.78 c Got one! Elapsed wall clock time (in seconds):26.598 47.48/26.78 o 3457235 47.79/26.92 c And the winner is Resolution 47.89/27.80 c Got one! Elapsed wall clock time (in seconds):27.622 47.89/27.80 o 3236182 48.54/28.12 c And the winner is CuttingPlanes 48.60/28.83 c Got one! Elapsed wall clock time (in seconds):28.654 48.60/28.83 o 3182266 48.78/28.93 c And the winner is Resolution 48.90/29.86 c Got one! Elapsed wall clock time (in seconds):29.678 48.90/29.86 o 3073324 48.99/29.93 c And the winner is Resolution 49.12/30.88 c Got one! Elapsed wall clock time (in seconds):30.701 49.12/30.88 o 3016755 49.76/31.29 c And the winner is Resolution 50.02/31.91 c Got one! Elapsed wall clock time (in seconds):31.725 50.02/31.91 o 2988304 50.40/32.17 c And the winner is Resolution 50.62/32.93 c Got one! Elapsed wall clock time (in seconds):32.749 50.62/32.93 o 2968948 50.62/32.98 c And the winner is Resolution 50.79/33.95 c Got one! Elapsed wall clock time (in seconds):33.772 50.79/33.95 o 2951119 50.79/33.99 c And the winner is Resolution 50.91/34.98 c Got one! Elapsed wall clock time (in seconds):34.796 50.91/34.98 o 2891562 57.45/38.20 c cleaning 7909 clauses out of 15821 with flag 35002/35002 70.63/44.80 c cleaning 8954 clauses out of 17912 with flag 45003/45003 85.85/52.50 c cleaning 9967 clauses out of 19955 with flag 56000/56000 103.32/61.14 c cleaning 10990 clauses out of 21988 with flag 68000/68000 120.47/69.74 c cleaning 11989 clauses out of 23998 with flag 81001/81001 139.74/79.35 c cleaning 12996 clauses out of 26009 with flag 95001/95001 161.04/89.94 c cleaning 14002 clauses out of 28012 with flag 110000/110000 182.74/100.72 c cleaning 15002 clauses out of 30012 with flag 126002/126002 204.44/111.63 c cleaning 16000 clauses out of 32008 with flag 143000/143000 229.04/123.97 c cleaning 17000 clauses out of 34011 with flag 161003/161003 256.56/137.65 c cleaning 17999 clauses out of 36009 with flag 180001/180001 284.45/151.51 c cleaning 18996 clauses out of 38010 with flag 200001/200001 312.81/165.71 c cleaning 19997 clauses out of 40014 with flag 221001/221001 342.17/180.36 c cleaning 21003 clauses out of 42016 with flag 243000/243000 372.39/195.41 c cleaning 21503 clauses out of 43013 with flag 265000/265000 403.09/210.77 c cleaning 21750 clauses out of 43511 with flag 287001/287001 432.87/225.61 c cleaning 21873 clauses out of 43760 with flag 309000/309000 463.17/240.71 c cleaning 21941 clauses out of 43887 with flag 331000/331000 490.84/254.60 c cleaning 21967 clauses out of 43946 with flag 353000/353000 521.91/270.08 c cleaning 21980 clauses out of 43980 with flag 375001/375001 550.64/284.42 c cleaning 21990 clauses out of 43998 with flag 397000/397000 577.04/297.64 c cleaning 21992 clauses out of 44008 with flag 419000/419000 604.88/311.58 c cleaning 22004 clauses out of 44017 with flag 441001/441001 632.38/325.30 c cleaning 22002 clauses out of 44013 with flag 463001/463001 658.93/338.52 c cleaning 21997 clauses out of 44011 with flag 485001/485001 685.01/351.50 c cleaning 21998 clauses out of 44014 with flag 507001/507001 714.83/366.48 c cleaning 21991 clauses out of 44015 with flag 529000/529000 744.66/381.33 c cleaning 22004 clauses out of 44024 with flag 551000/551000 771.81/394.94 c cleaning 22005 clauses out of 44021 with flag 573001/573001 800.43/409.26 c cleaning 22001 clauses out of 44015 with flag 595000/595000 829.28/423.62 c cleaning 21996 clauses out of 44015 with flag 617001/617001 856.74/437.31 c cleaning 21997 clauses out of 44019 with flag 639001/639001 884.47/451.29 c cleaning 22001 clauses out of 44021 with flag 661000/661000 911.88/464.91 c cleaning 22005 clauses out of 44023 with flag 683003/683003 934.87/476.40 c And the winner is Resolution 936.49/477.86 c Got one! Elapsed wall clock time (in seconds):477.682 936.49/477.86 o 2889483 941.98/480.52 c cleaning 21996 clauses out of 44016 with flag 705001/705001 966.24/492.65 c cleaning 22007 clauses out of 44021 with flag 727002/727002 992.33/505.78 c cleaning 22002 clauses out of 44015 with flag 749004/749004 1020.58/519.88 c cleaning 21981 clauses out of 44009 with flag 771000/771000 1023.79/521.52 c And the winner is Resolution 1025.44/523.14 c Got one! Elapsed wall clock time (in seconds):522.961 1025.44/523.14 o 2886748 1051.02/535.89 c cleaning 22008 clauses out of 44028 with flag 793001/793001 1077.61/549.11 c cleaning 22006 clauses out of 44021 with flag 815002/815002 1103.83/562.32 c cleaning 22002 clauses out of 44013 with flag 837000/837000 1132.02/576.48 c cleaning 21996 clauses out of 44012 with flag 859001/859001 1160.27/590.55 c cleaning 22004 clauses out of 44013 with flag 881000/881000 1178.23/599.59 c And the winner is Resolution 1182.67/604.30 c starts : 183 1182.67/604.30 c conflicts : 894706 1182.67/604.30 c decisions : 1734856 1182.67/604.30 c propagations : 332633032 1182.67/604.30 c inspects : 1456147351 1182.67/604.30 c learnt literals : 22 1182.67/604.30 c learnt binary clauses : 118 1182.67/604.30 c learnt ternary clauses : 360 1182.67/604.30 c learnt clauses : 894683 1182.67/604.30 c ignored clauses : 0 1182.67/604.30 c root simplifications : 0 1182.67/604.30 c removed literals (reason simplification) : 9635593 1182.67/604.30 c reason swapping (by a shorter reason) : 0 1182.67/604.30 c Calls to reduceDB : 47 1182.67/604.30 c number of reductions to clauses (during analyze) : 0 1182.67/604.30 c number of learned constraints concerned by reduction : 0 1182.67/604.30 c number of learning phase by resolution : 0 1182.67/604.30 c number of learning phase by cutting planes : 0 1182.67/604.30 c speed (assignments/second) : 4098838.391679913 1182.67/604.30 c non guided choices 2605 1182.67/604.30 c learnt constraints type 1182.67/604.30 c constraints type 1182.67/604.30 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1182.67/604.30 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1182.67/604.30 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1182.67/604.30 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1182.67/604.30 c constraints type 1182.67/604.30 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1182.67/604.30 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1182.67/604.30 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1182.67/604.30 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1182.67/604.30 s OPTIMUM FOUND 1182.67/604.31 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 1182.67/604.32 c objective function=2886748 1182.67/604.32 c Total wall clock time (in seconds): 604.14
OK 2886748
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-3744112-1338803259/watcher-3744112-1338803259 -o /tmp/evaluation-result-3744112-1338803259/solver-3744112-1338803259 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744112-1338803259.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: 0.98 1.54 1.82 3/173 16629 /proc/meminfo: memFree=31846988/32873844 swapFree=7116/7116 [pid=16629] ppid=16627 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/16629/stat : 16629 (runsolver) D 16627 16629 14772 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 346452852 12095488 50 33554432000 4194304 5436572 140733418092512 140733418088808 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0 /proc/16629/statm: 2953 50 31 304 0 2645 0 [startup+0.047098 s] /proc/loadavg: 0.98 1.54 1.82 3/173 16629 /proc/meminfo: memFree=31846988/32873844 swapFree=7116/7116 [pid=16629] ppid=16627 vsize=101528 CPUtime=0 cores=0,2,4,6 /proc/16629/stat : 16629 (java) S 16627 16629 14772 0 -1 4202496 1361 0 9 0 0 0 0 0 20 0 2 0 346452852 103964672 1051 33554432000 1073741824 1073778376 140736989438032 140736989429168 233415147581 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/16629/statm: 25382 1051 806 9 0 16774 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 101528 [startup+0.100257 s] /proc/loadavg: 0.98 1.54 1.82 3/173 16629 /proc/meminfo: memFree=31846988/32873844 swapFree=7116/7116 [pid=16629] ppid=16627 vsize=2367080 CPUtime=0.02 cores=0,2,4,6 /proc/16629/stat : 16629 (java) S 16627 16629 14772 0 -1 4202496 3655 0 11 0 1 1 0 0 20 0 13 0 346452852 2423889920 4874 33554432000 1073741824 1073778376 140736989438032 140736989429168 233415147581 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/16629/statm: 591770 4874 1657 9 0 582471 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2367080 [startup+0.300213 s] /proc/loadavg: 0.98 1.54 1.82 3/173 16629 /proc/meminfo: memFree=31846988/32873844 swapFree=7116/7116 [pid=16629] ppid=16627 vsize=2699928 CPUtime=0.35 cores=0,2,4,6 /proc/16629/stat : 16629 (java) S 16627 16629 14772 0 -1 4202496 5585 0 11 0 32 3 0 0 20 0 18 0 346452852 2764726272 8507 33554432000 1073741824 1073778376 140736989438032 140736989429168 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/16629/statm: 674982 8507 2212 9 0 665676 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 2699928 [startup+0.700172 s] /proc/loadavg: 0.98 1.54 1.82 3/173 16629 /proc/meminfo: memFree=31846988/32873844 swapFree=7116/7116 [pid=16629] ppid=16627 vsize=2833056 CPUtime=1.37 cores=0,2,4,6 /proc/16629/stat : 16629 (java) S 16627 16629 14772 0 -1 4202496 13180 0 11 0 131 6 0 0 20 0 20 0 346452852 2901049344 30738 33554432000 1073741824 1073778376 140736989438032 140736989429168 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/16629/statm: 708264 30738 2246 9 0 698958 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 2833056 [startup+1.50081 s] /proc/loadavg: 0.98 1.54 1.82 8/215 16678 /proc/meminfo: memFree=31486864/32873844 swapFree=7116/7116 [pid=16629] ppid=16627 vsize=2966184 CPUtime=3.57 cores=0,2,4,6 /proc/16629/stat : 16629 (java) S 16627 16629 14772 0 -1 4202496 22651 0 11 0 347 10 0 0 20 0 20 0 346452852 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140736989429168 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/16629/statm: 741546 62567 2263 9 0 732240 0 [pid=16629/tid=16631] ppid=16627 vsize=2966184 CPUtime=0.57 cores=0,2,4,6 /proc/16629/task/16631/stat : 16631 (java) S 16627 16629 14772 0 -1 4202560 2829 0 5 0 54 3 0 0 20 0 20 0 346452855 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140447525926040 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 2 0 0 [pid=16629/tid=16632] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16632/stat : 16632 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346452860 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140447512050088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16633] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16633/stat : 16633 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346452860 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140447391664680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16634] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16634/stat : 16634 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346452860 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140447390611624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16635] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16635/stat : 16635 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346452860 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140447389559080 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16636] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16636/stat : 16636 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346452860 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140447388507048 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16637] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16637/stat : 16637 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346452860 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140447387454504 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16638] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16638/stat : 16638 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346452860 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140447386401448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16639] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16639/stat : 16639 (java) S 16627 16629 14772 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346452860 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140447385348904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16640] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16640/stat : 16640 (java) S 16627 16629 14772 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 346452861 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140446902757736 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16641] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16641/stat : 16641 (java) S 16627 16629 14772 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346452862 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140446901704056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16642] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16642/stat : 16642 (java) S 16627 16629 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346452862 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140446900650888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16643] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16643/stat : 16643 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346452864 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140446899599632 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16644] ppid=16627 vsize=2966184 CPUtime=0.98 cores=0,2,4,6 /proc/16629/task/16644/stat : 16644 (java) S 16627 16629 14772 0 -1 4202560 9581 0 0 0 95 3 0 0 20 0 20 0 346452864 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140446898547512 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16645] ppid=16627 vsize=2966184 CPUtime=0.96 cores=0,2,4,6 /proc/16629/task/16645/stat : 16645 (java) S 16627 16629 14772 0 -1 4202560 8894 0 0 0 93 3 0 0 20 0 20 0 346452864 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140446897494968 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16646] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16646/stat : 16646 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346452864 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140446896442104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16647] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16647/stat : 16647 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346452864 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140446895389768 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16677] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16677/stat : 16677 (java) S 16627 16629 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346452930 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140446892229416 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16678] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16678/stat : 16678 (java) S 16627 16629 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346452932 3037372416 62567 33554432000 1073741824 1073778376 140736989438032 140446891176872 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.57 Current children cumulated vsize (KiB) 2966184 [startup+3.10076 s] /proc/loadavg: 0.98 1.54 1.82 2/213 16680 /proc/meminfo: memFree=31087700/32873844 swapFree=7116/7116 [pid=16629] ppid=16627 vsize=2966184 CPUtime=4.92 cores=0,2,4,6 /proc/16629/stat : 16629 (java) S 16627 16629 14772 0 -1 4202496 22785 0 11 0 477 15 0 0 20 0 22 0 346452852 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140736989429168 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/16629/statm: 741546 102530 2275 9 0 732240 0 [pid=16629/tid=16631] ppid=16627 vsize=2966184 CPUtime=0.64 cores=0,2,4,6 /proc/16629/task/16631/stat : 16631 (java) S 16627 16629 14772 0 -1 4202560 2832 0 5 0 61 3 0 0 20 0 22 0 346452855 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140447525926040 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 2 0 0 [pid=16629/tid=16632] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16632/stat : 16632 (java) S 16627 16629 14772 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 346452860 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140447512050088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16633] ppid=16627 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/16629/task/16633/stat : 16633 (java) S 16627 16629 14772 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 346452860 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140447391664680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16634] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16634/stat : 16634 (java) S 16627 16629 14772 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346452860 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140447390611624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16635] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16635/stat : 16635 (java) S 16627 16629 14772 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 346452860 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140447389559080 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16636] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16636/stat : 16636 (java) S 16627 16629 14772 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346452860 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140447388507048 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16637] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16637/stat : 16637 (java) S 16627 16629 14772 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 346452860 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140447387454504 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16638] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16638/stat : 16638 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346452860 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140447386401448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16639] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16639/stat : 16639 (java) S 16627 16629 14772 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346452860 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140447385348904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16640] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16640/stat : 16640 (java) S 16627 16629 14772 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346452861 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140446902757736 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16641] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16641/stat : 16641 (java) S 16627 16629 14772 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346452862 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140446901704056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16642] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16642/stat : 16642 (java) S 16627 16629 14772 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346452862 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140446900650888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16643] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16643/stat : 16643 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346452864 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140446899599632 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16644] ppid=16627 vsize=2966184 CPUtime=1.11 cores=0,2,4,6 /proc/16629/task/16644/stat : 16644 (java) S 16627 16629 14772 0 -1 4202560 9581 0 0 0 108 3 0 0 20 0 22 0 346452864 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140446898547512 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16645] ppid=16627 vsize=2966184 CPUtime=1.05 cores=0,2,4,6 /proc/16629/task/16645/stat : 16645 (java) S 16627 16629 14772 0 -1 4202560 8894 0 0 0 102 3 0 0 20 0 22 0 346452864 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140446897494968 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16646] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16646/stat : 16646 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346452864 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140446896442104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16647] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16647/stat : 16647 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346452864 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140446895389768 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16677] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16677/stat : 16677 (java) S 16627 16629 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346452930 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140446892229416 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16678] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16678/stat : 16678 (java) S 16627 16629 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346452932 3037372416 102530 33554432000 1073741824 1073778376 140736989438032 140446891176872 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.92 Current children cumulated vsize (KiB) 2966184 [startup+6.30074 s] /proc/loadavg: 1.06 1.55 1.82 11/219 16686 /proc/meminfo: memFree=30779036/32873844 swapFree=7116/7116 [pid=16629] ppid=16627 vsize=2966184 CPUtime=11.6 cores=0,2,4,6 /proc/16629/stat : 16629 (java) S 16627 16629 14772 0 -1 4202496 22943 0 11 0 1136 24 0 0 20 0 22 0 346452852 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140736989429168 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/16629/statm: 741546 129483 2276 9 0 732240 0 [pid=16629/tid=16631] ppid=16627 vsize=2966184 CPUtime=0.64 cores=0,2,4,6 /proc/16629/task/16631/stat : 16631 (java) S 16627 16629 14772 0 -1 4202560 2832 0 5 0 61 3 0 0 20 0 22 0 346452855 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140447525926040 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 2 0 0 [pid=16629/tid=16632] ppid=16627 vsize=2966184 CPUtime=0.06 cores=0,2,4,6 /proc/16629/task/16632/stat : 16632 (java) S 16627 16629 14772 0 -1 4202560 22 0 0 0 6 0 0 0 20 0 22 0 346452860 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140447512050088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16633] ppid=16627 vsize=2966184 CPUtime=0.12 cores=0,2,4,6 /proc/16629/task/16633/stat : 16633 (java) S 16627 16629 14772 0 -1 4202560 33 0 0 0 10 2 0 0 20 0 22 0 346452860 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140447391664680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16634] ppid=16627 vsize=2966184 CPUtime=0.06 cores=0,2,4,6 /proc/16629/task/16634/stat : 16634 (java) S 16627 16629 14772 0 -1 4202560 21 0 0 0 5 1 0 0 20 0 22 0 346452860 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140447390611624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16635] ppid=16627 vsize=2966184 CPUtime=0.11 cores=0,2,4,6 /proc/16629/task/16635/stat : 16635 (java) S 16627 16629 14772 0 -1 4202560 33 0 0 0 9 2 0 0 20 0 22 0 346452860 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140447389559080 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16636] ppid=16627 vsize=2966184 CPUtime=0.05 cores=0,2,4,6 /proc/16629/task/16636/stat : 16636 (java) S 16627 16629 14772 0 -1 4202560 26 0 0 0 4 1 0 0 20 0 22 0 346452860 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140447388507048 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16637] ppid=16627 vsize=2966184 CPUtime=0.05 cores=0,2,4,6 /proc/16629/task/16637/stat : 16637 (java) S 16627 16629 14772 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 22 0 346452860 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140447387454504 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16638] ppid=16627 vsize=2966184 CPUtime=0.03 cores=0,2,4,6 /proc/16629/task/16638/stat : 16638 (java) S 16627 16629 14772 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 22 0 346452860 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140447386401448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16639] ppid=16627 vsize=2966184 CPUtime=0.06 cores=0,2,4,6 /proc/16629/task/16639/stat : 16639 (java) S 16627 16629 14772 0 -1 4202560 10 0 0 0 6 0 0 0 20 0 22 0 346452860 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140447385348904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16640] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16640/stat : 16640 (java) S 16627 16629 14772 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346452861 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140446902757736 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16641] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16641/stat : 16641 (java) S 16627 16629 14772 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346452862 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140446901704056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16642] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16642/stat : 16642 (java) S 16627 16629 14772 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346452862 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140446900650888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16643] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16643/stat : 16643 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346452864 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140446899599632 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16644] ppid=16627 vsize=2966184 CPUtime=1.16 cores=0,2,4,6 /proc/16629/task/16644/stat : 16644 (java) R 16627 16629 14772 0 -1 4202560 9583 0 0 0 113 3 0 0 20 0 22 0 346452864 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140446898547512 140447532666219 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16645] ppid=16627 vsize=2966184 CPUtime=1.05 cores=0,2,4,6 /proc/16629/task/16645/stat : 16645 (java) S 16627 16629 14772 0 -1 4202560 8894 0 0 0 102 3 0 0 20 0 22 0 346452864 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140446897494968 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16646] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16646/stat : 16646 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346452864 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140446896442104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16647] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16647/stat : 16647 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346452864 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140446895389768 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16677] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16677/stat : 16677 (java) S 16627 16629 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346452930 3037372416 129483 33554432000 1073741824 1073778376 140736989438032 140446892229416 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ /proc/16629/task/16638/stat : 16638 (java) S 16627 16629 14772 0 -1 4202560 288 0 0 0 345 6 0 0 20 0 21 0 346452860 3037372416 179568 33554432000 1073741824 1073778376 140736989438032 140447386401448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16639] ppid=16627 vsize=2966184 CPUtime=3.79 cores=0,2,4,6 /proc/16629/task/16639/stat : 16639 (java) S 16627 16629 14772 0 -1 4202560 292 0 0 0 372 7 0 0 20 0 21 0 346452860 3037372416 179568 33554432000 1073741824 1073778376 140736989438032 140447385348904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16640] ppid=16627 vsize=2966184 CPUtime=9.02 cores=0,2,4,6 /proc/16629/task/16640/stat : 16640 (java) S 16627 16629 14772 0 -1 4202560 9158 0 0 0 838 64 0 0 20 0 21 0 346452861 3037372416 179568 33554432000 1073741824 1073778376 140736989438032 140446902757736 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16641] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16641/stat : 16641 (java) S 16627 16629 14772 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 346452862 3037372416 179568 33554432000 1073741824 1073778376 140736989438032 140446901704056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16642] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16642/stat : 16642 (java) S 16627 16629 14772 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 346452862 3037372416 179568 33554432000 1073741824 1073778376 140736989438032 140446900650888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16643] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16643/stat : 16643 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 346452864 3037372416 179568 33554432000 1073741824 1073778376 140736989438032 140446899599632 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16644] ppid=16627 vsize=2966184 CPUtime=1.4 cores=0,2,4,6 /proc/16629/task/16644/stat : 16644 (java) S 16627 16629 14772 0 -1 4202560 9589 0 0 0 137 3 0 0 20 0 21 0 346452864 3037372416 179568 33554432000 1073741824 1073778376 140736989438032 140446898547512 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16645] ppid=16627 vsize=2966184 CPUtime=1.41 cores=0,2,4,6 /proc/16629/task/16645/stat : 16645 (java) S 16627 16629 14772 0 -1 4202560 8900 0 0 0 138 3 0 0 20 0 21 0 346452864 3037372416 179568 33554432000 1073741824 1073778376 140736989438032 140446897494968 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16646] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16646/stat : 16646 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 346452864 3037372416 179568 33554432000 1073741824 1073778376 140736989438032 140446896442104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16647] ppid=16627 vsize=2966184 CPUtime=0.23 cores=0,2,4,6 /proc/16629/task/16647/stat : 16647 (java) S 16627 16629 14772 0 -1 4202560 35 0 0 0 11 12 0 0 20 0 21 0 346452864 3037372416 179568 33554432000 1073741824 1073778376 140736989438032 140446895389768 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16677] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16677/stat : 16677 (java) S 16627 16629 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 346452930 3037372416 179568 33554432000 1073741824 1073778376 140736989438032 140446892229416 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16678] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16678/stat : 16678 (java) S 16627 16629 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 346452932 3037372416 179568 33554432000 1073741824 1073778376 140736989438032 140446891176872 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16719] ppid=16627 vsize=2966184 CPUtime=75.54 cores=0,2,4,6 /proc/16629/task/16719/stat : 16719 (java) R 16627 16629 14772 0 -1 4202560 78 0 0 0 7553 1 0 0 20 0 21 0 346505167 3037372416 179568 33554432000 1073741824 1073778376 140736989438032 140446894333296 140447394568880 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1180.38 Current children cumulated vsize (KiB) 2966184 [startup+603.101 s] /proc/loadavg: 3.94 3.58 2.78 4/218 16719 /proc/meminfo: memFree=30287592/32873844 swapFree=7116/7116 [pid=16629] ppid=16627 vsize=2966184 CPUtime=1182.01 cores=0,2,4,6 /proc/16629/stat : 16629 (java) S 16627 16629 14772 0 -1 4202496 35496 0 11 0 118009 192 0 0 20 0 21 0 346452852 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140736989429168 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/16629/statm: 741546 179579 2289 9 0 732240 0 [pid=16629/tid=16631] ppid=16627 vsize=2966184 CPUtime=0.94 cores=0,2,4,6 /proc/16629/task/16631/stat : 16631 (java) S 16627 16629 14772 0 -1 4202560 2850 0 5 0 90 4 0 0 20 0 21 0 346452855 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140447525926024 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 2 0 0 [pid=16629/tid=16632] ppid=16627 vsize=2966184 CPUtime=3.71 cores=0,2,4,6 /proc/16629/task/16632/stat : 16632 (java) S 16627 16629 14772 0 -1 4202560 318 0 0 0 362 9 0 0 20 0 21 0 346452860 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140447512050088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16633] ppid=16627 vsize=2966184 CPUtime=3.7 cores=0,2,4,6 /proc/16629/task/16633/stat : 16633 (java) S 16627 16629 14772 0 -1 4202560 264 0 0 0 364 6 0 0 20 0 21 0 346452860 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140447391664680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16634] ppid=16627 vsize=2966184 CPUtime=3.59 cores=0,2,4,6 /proc/16629/task/16634/stat : 16634 (java) S 16627 16629 14772 0 -1 4202560 303 0 0 0 352 7 0 0 20 0 21 0 346452860 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140447390611624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16635] ppid=16627 vsize=2966184 CPUtime=3.8 cores=0,2,4,6 /proc/16629/task/16635/stat : 16635 (java) S 16627 16629 14772 0 -1 4202560 316 0 0 0 373 7 0 0 20 0 21 0 346452860 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140447389559080 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16636] ppid=16627 vsize=2966184 CPUtime=3.59 cores=0,2,4,6 /proc/16629/task/16636/stat : 16636 (java) S 16627 16629 14772 0 -1 4202560 285 0 0 0 351 8 0 0 20 0 21 0 346452860 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140447388507048 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16637] ppid=16627 vsize=2966184 CPUtime=3.61 cores=0,2,4,6 /proc/16629/task/16637/stat : 16637 (java) S 16627 16629 14772 0 -1 4202560 275 0 0 0 353 8 0 0 20 0 21 0 346452860 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140447387454504 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16638] ppid=16627 vsize=2966184 CPUtime=3.52 cores=0,2,4,6 /proc/16629/task/16638/stat : 16638 (java) S 16627 16629 14772 0 -1 4202560 288 0 0 0 346 6 0 0 20 0 21 0 346452860 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140447386401448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16639] ppid=16627 vsize=2966184 CPUtime=3.79 cores=0,2,4,6 /proc/16629/task/16639/stat : 16639 (java) S 16627 16629 14772 0 -1 4202560 292 0 0 0 372 7 0 0 20 0 21 0 346452860 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140447385348904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16640] ppid=16627 vsize=2966184 CPUtime=9.02 cores=0,2,4,6 /proc/16629/task/16640/stat : 16640 (java) S 16627 16629 14772 0 -1 4202560 9158 0 0 0 838 64 0 0 20 0 21 0 346452861 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140446902757736 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16641] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16641/stat : 16641 (java) S 16627 16629 14772 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 346452862 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140446901704056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16642] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16642/stat : 16642 (java) S 16627 16629 14772 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 346452862 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140446900650888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16643] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16643/stat : 16643 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 346452864 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140446899599632 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16644] ppid=16627 vsize=2966184 CPUtime=1.4 cores=0,2,4,6 /proc/16629/task/16644/stat : 16644 (java) S 16627 16629 14772 0 -1 4202560 9589 0 0 0 137 3 0 0 20 0 21 0 346452864 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140446898547512 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16645] ppid=16627 vsize=2966184 CPUtime=1.41 cores=0,2,4,6 /proc/16629/task/16645/stat : 16645 (java) S 16627 16629 14772 0 -1 4202560 8900 0 0 0 138 3 0 0 20 0 21 0 346452864 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140446897494968 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16646] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16646/stat : 16646 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 346452864 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140446896442104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16647] ppid=16627 vsize=2966184 CPUtime=0.24 cores=0,2,4,6 /proc/16629/task/16647/stat : 16647 (java) S 16627 16629 14772 0 -1 4202560 35 0 0 0 12 12 0 0 20 0 21 0 346452864 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140446895389768 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16677] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16677/stat : 16677 (java) S 16627 16629 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 346452930 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140446892229416 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16678] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16678/stat : 16678 (java) S 16627 16629 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 346452932 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140446891176872 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16719] ppid=16627 vsize=2966184 CPUtime=77.13 cores=0,2,4,6 /proc/16629/task/16719/stat : 16719 (java) R 16627 16629 14772 0 -1 4202560 80 0 0 0 7712 1 0 0 20 0 21 0 346505167 3037372416 179579 33554432000 1073741824 1073778376 140736989438032 140446894333296 140447394440288 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 2966184 [startup+603.907 s] /proc/loadavg: 3.94 3.58 2.78 3/217 16719 /proc/meminfo: memFree=30287592/32873844 swapFree=7116/7116 [pid=16629] ppid=16627 vsize=2966184 CPUtime=1182.27 cores=0,2,4,6 /proc/16629/stat : 16629 (java) S 16627 16629 14772 0 -1 4202496 35497 0 11 0 118033 194 0 0 20 0 20 0 346452852 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140736989429168 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/16629/statm: 741546 179576 2289 9 0 732240 0 [pid=16629/tid=16631] ppid=16627 vsize=2966184 CPUtime=1.03 cores=0,2,4,6 /proc/16629/task/16631/stat : 16631 (java) R 16627 16629 14772 0 -1 4202560 2850 0 5 0 99 4 0 0 20 0 20 0 346452855 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447525925640 140447394093540 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 [pid=16629/tid=16632] ppid=16627 vsize=2966184 CPUtime=3.71 cores=0,2,4,6 /proc/16629/task/16632/stat : 16632 (java) S 16627 16629 14772 0 -1 4202560 318 0 0 0 362 9 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447512050088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16633] ppid=16627 vsize=2966184 CPUtime=3.7 cores=0,2,4,6 /proc/16629/task/16633/stat : 16633 (java) S 16627 16629 14772 0 -1 4202560 264 0 0 0 364 6 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447391664680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16634] ppid=16627 vsize=2966184 CPUtime=3.59 cores=0,2,4,6 /proc/16629/task/16634/stat : 16634 (java) S 16627 16629 14772 0 -1 4202560 303 0 0 0 352 7 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447390611624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16635] ppid=16627 vsize=2966184 CPUtime=3.8 cores=0,2,4,6 /proc/16629/task/16635/stat : 16635 (java) S 16627 16629 14772 0 -1 4202560 316 0 0 0 373 7 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447389559080 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16636] ppid=16627 vsize=2966184 CPUtime=3.59 cores=0,2,4,6 /proc/16629/task/16636/stat : 16636 (java) S 16627 16629 14772 0 -1 4202560 285 0 0 0 351 8 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447388507048 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16637] ppid=16627 vsize=2966184 CPUtime=3.61 cores=0,2,4,6 /proc/16629/task/16637/stat : 16637 (java) S 16627 16629 14772 0 -1 4202560 275 0 0 0 353 8 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447387454504 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16638] ppid=16627 vsize=2966184 CPUtime=3.52 cores=0,2,4,6 /proc/16629/task/16638/stat : 16638 (java) S 16627 16629 14772 0 -1 4202560 288 0 0 0 346 6 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447386401448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16639] ppid=16627 vsize=2966184 CPUtime=3.79 cores=0,2,4,6 /proc/16629/task/16639/stat : 16639 (java) S 16627 16629 14772 0 -1 4202560 292 0 0 0 372 7 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447385348904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16640] ppid=16627 vsize=2966184 CPUtime=9.02 cores=0,2,4,6 /proc/16629/task/16640/stat : 16640 (java) S 16627 16629 14772 0 -1 4202560 9158 0 0 0 838 64 0 0 20 0 20 0 346452861 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446902757736 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16641] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16641/stat : 16641 (java) S 16627 16629 14772 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346452862 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446901704056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16642] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16642/stat : 16642 (java) S 16627 16629 14772 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 346452862 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446900650888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16643] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16643/stat : 16643 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346452864 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446899599632 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16644] ppid=16627 vsize=2966184 CPUtime=1.4 cores=0,2,4,6 /proc/16629/task/16644/stat : 16644 (java) S 16627 16629 14772 0 -1 4202560 9589 0 0 0 137 3 0 0 20 0 20 0 346452864 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446898547512 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16645] ppid=16627 vsize=2966184 CPUtime=1.42 cores=0,2,4,6 /proc/16629/task/16645/stat : 16645 (java) S 16627 16629 14772 0 -1 4202560 8901 0 0 0 139 3 0 0 20 0 20 0 346452864 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446897494968 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16646] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16646/stat : 16646 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346452864 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446896442104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16647] ppid=16627 vsize=2966184 CPUtime=0.24 cores=0,2,4,6 /proc/16629/task/16647/stat : 16647 (java) S 16627 16629 14772 0 -1 4202560 35 0 0 0 12 12 0 0 20 0 20 0 346452864 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446895389768 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16677] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16677/stat : 16677 (java) S 16627 16629 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346452930 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446892229416 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16678] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16678/stat : 16678 (java) S 16627 16629 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346452932 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446891176872 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 2966184 [startup+604.301 s] /proc/loadavg: 3.94 3.58 2.78 3/217 16719 /proc/meminfo: memFree=30287592/32873844 swapFree=7116/7116 [pid=16629] ppid=16627 vsize=2966184 CPUtime=1182.67 cores=0,2,4,6 /proc/16629/stat : 16629 (java) S 16627 16629 14772 0 -1 4202496 35497 0 11 0 118073 194 0 0 20 0 20 0 346452852 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140736989429168 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/16629/statm: 741546 179576 2289 9 0 732240 0 [pid=16629/tid=16631] ppid=16627 vsize=2966184 CPUtime=1.43 cores=0,2,4,6 /proc/16629/task/16631/stat : 16631 (java) R 16627 16629 14772 0 -1 4202560 2850 0 5 0 139 4 0 0 20 0 20 0 346452855 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447525925640 140447394093667 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 [pid=16629/tid=16632] ppid=16627 vsize=2966184 CPUtime=3.71 cores=0,2,4,6 /proc/16629/task/16632/stat : 16632 (java) S 16627 16629 14772 0 -1 4202560 318 0 0 0 362 9 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447512050088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16633] ppid=16627 vsize=2966184 CPUtime=3.7 cores=0,2,4,6 /proc/16629/task/16633/stat : 16633 (java) S 16627 16629 14772 0 -1 4202560 264 0 0 0 364 6 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447391664680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16634] ppid=16627 vsize=2966184 CPUtime=3.59 cores=0,2,4,6 /proc/16629/task/16634/stat : 16634 (java) S 16627 16629 14772 0 -1 4202560 303 0 0 0 352 7 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447390611624 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16635] ppid=16627 vsize=2966184 CPUtime=3.8 cores=0,2,4,6 /proc/16629/task/16635/stat : 16635 (java) S 16627 16629 14772 0 -1 4202560 316 0 0 0 373 7 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447389559080 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16636] ppid=16627 vsize=2966184 CPUtime=3.59 cores=0,2,4,6 /proc/16629/task/16636/stat : 16636 (java) S 16627 16629 14772 0 -1 4202560 285 0 0 0 351 8 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447388507048 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16637] ppid=16627 vsize=2966184 CPUtime=3.61 cores=0,2,4,6 /proc/16629/task/16637/stat : 16637 (java) S 16627 16629 14772 0 -1 4202560 275 0 0 0 353 8 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447387454504 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16638] ppid=16627 vsize=2966184 CPUtime=3.52 cores=0,2,4,6 /proc/16629/task/16638/stat : 16638 (java) S 16627 16629 14772 0 -1 4202560 288 0 0 0 346 6 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447386401448 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16639] ppid=16627 vsize=2966184 CPUtime=3.79 cores=0,2,4,6 /proc/16629/task/16639/stat : 16639 (java) S 16627 16629 14772 0 -1 4202560 292 0 0 0 372 7 0 0 20 0 20 0 346452860 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140447385348904 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16640] ppid=16627 vsize=2966184 CPUtime=9.02 cores=0,2,4,6 /proc/16629/task/16640/stat : 16640 (java) S 16627 16629 14772 0 -1 4202560 9158 0 0 0 838 64 0 0 20 0 20 0 346452861 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446902757736 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16641] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16641/stat : 16641 (java) S 16627 16629 14772 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346452862 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446901704056 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16642] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16642/stat : 16642 (java) S 16627 16629 14772 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 346452862 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446900650888 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16643] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16643/stat : 16643 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346452864 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446899599632 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16629/tid=16644] ppid=16627 vsize=2966184 CPUtime=1.4 cores=0,2,4,6 /proc/16629/task/16644/stat : 16644 (java) S 16627 16629 14772 0 -1 4202560 9589 0 0 0 137 3 0 0 20 0 20 0 346452864 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446898547512 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16645] ppid=16627 vsize=2966184 CPUtime=1.42 cores=0,2,4,6 /proc/16629/task/16645/stat : 16645 (java) S 16627 16629 14772 0 -1 4202560 8901 0 0 0 139 3 0 0 20 0 20 0 346452864 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446897494968 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16629/tid=16646] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16646/stat : 16646 (java) S 16627 16629 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346452864 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446896442104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16629/tid=16647] ppid=16627 vsize=2966184 CPUtime=0.24 cores=0,2,4,6 /proc/16629/task/16647/stat : 16647 (java) S 16627 16629 14772 0 -1 4202560 35 0 0 0 12 12 0 0 20 0 20 0 346452864 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446895389768 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16677] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16677/stat : 16677 (java) S 16627 16629 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346452930 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446892229416 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16629/tid=16678] ppid=16627 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16629/task/16678/stat : 16678 (java) S 16627 16629 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346452932 3037372416 179576 33554432000 1073741824 1073778376 140736989438032 140446891176872 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1182.67 Current children cumulated vsize (KiB) 2966184 Child status: 30 Real time (s): 604.332 CPU time (s): 1183.33 CPU user time (s): 1181.2 CPU system time (s): 2.12568 CPU usage (%): 195.807 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1181.2 system time used= 2.12568 maximum resident set size= 718328 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35506 page faults= 11 swaps= 0 block input operations= 3264 block output operations= 640 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 46854 involuntary context switches= 75268 runsolver used 2.14367 second user time and 5.63414 second system time The end
Begin job on node111 at 2012-06-04 11:47:39 IDJOB=3744112 IDBENCH=92690 IDSOLVER=2324 FILE ID=node111/3744112-1338803259 RUNJOBID= node111-1338803259-16611 PBS_JOBID= 14636821 Free space on /tmp= 67396 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_6_mh_ic.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744112-1338803259/watcher-3744112-1338803259 -o /tmp/evaluation-result-3744112-1338803259/solver-3744112-1338803259 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744112-1338803259.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b24b10929da03724a77e08494dd4be05 RANDOM SEED=1667126838 node111.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.152 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.30 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.152 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.152 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.152 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.152 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.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 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.152 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31848268 kB Buffers: 87192 kB Cached: 140312 kB SwapCached: 1404 kB Active: 174060 kB Inactive: 60992 kB Active(anon): 5072 kB Inactive(anon): 4840 kB Active(file): 168988 kB Inactive(file): 56152 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100152 kB Dirty: 1948 kB Writeback: 24 kB AnonPages: 13604 kB Mapped: 7012 kB Shmem: 0 kB Slab: 650516 kB SReclaimable: 92760 kB SUnreclaim: 557756 kB KernelStack: 1376 kB PageTables: 3860 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 108416 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 67384 MiB End job on node111 at 2012-06-04 11:57:43