Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j PB 2.3.6 Resolution PB16 | OPT | 29 | 403.408 | 400.632 |
Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb |
MD5SUM | ab5ea8306af8700174d1bacaebcc6943 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 29 |
Best CPU time to get the best result obtained on this benchmark | 403.408 |
Has Objective Function | |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | |
Total number of constraints | |
Number of constraints which are clauses | |
Number of constraints which are cardinality constraints (but not clauses) | |
Number of constraints which are nor clauses,nor cardinality constraints | |
Minimum length of a constraint | |
Maximum length of a constraint | |
Number of terms in the objective function | |
Biggest coefficient in the objective function | |
Number of bits for the biggest coefficient in the objective function | |
Sum of the numbers in the objective function | |
Number of bits of the sum of numbers in the objective function | |
Biggest number in a constraint | |
Number of bits of the biggest number in a constraint | |
Biggest sum of numbers in a constraint | |
Number of bits of the biggest sum of numbers | |
Number of products (including duplicates) | |
Sum of products size (including duplicates) | |
Number of different products | |
Sum of products size |
0.06/0.20 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.06/0.20 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.20 c See www.sat4j.org for details. 0.06/0.21 c version PB16.v20160501 0.06/0.21 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.21 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.21 c java.vm.version 19.1-b02 0.06/0.21 c java.vm.vendor Sun Microsystems Inc. 0.06/0.21 c sun.arch.data.model 64 0.06/0.21 c java.version 1.6.0_24 0.06/0.21 c os.name Linux 0.06/0.21 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.21 c os.arch amd64 0.06/0.21 c Free memory 501472288 0.06/0.21 c Max memory 7480803328 0.06/0.21 c Total memory 504102912 0.06/0.21 c Number of processors 8 0.06/0.23 c Pseudo Boolean Optimization by upper bound 0.06/0.23 c --- Begin Solver configuration --- 0.06/0.23 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.06/0.23 c Learn all clauses as in MiniSAT 0.06/0.23 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.23 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.23 c No reason simplification 0.06/0.23 c Glucose 2.1 dynamic restart strategy 0.06/0.23 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.06/0.23 c timeout=2147483s 0.06/0.23 c DB Simplification allowed=false 0.06/0.23 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.06/0.23 c --- End Solver configuration --- 0.06/0.23 c solving HOME/instance-4119892-1467278960.opb 0.06/0.23 c reading problem ... 0.06/0.24 c objective function found 0.48/0.49 c ... done. Wall clock time 0.262s. 0.48/0.49 c declared #vars 10432 0.48/0.49 c #constraints 716 0.48/0.49 c constraints type 0.75/0.50 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 325 0.75/0.50 c org.sat4j.minisat.constraints.card.MinWatchCard => 325 0.75/0.50 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66 0.75/0.50 c 716 constraints processed. 0.75/0.50 c objective function length is 32 literals 1.67/1.08 c cleaning 2488 clauses out of 5000 with flag 12361/5000 2.32/1.64 c cleaning 4241 clauses out of 8512 with flag 25288/11000 3.08/2.39 c cleaning 5627 clauses out of 11272 with flag 42671/18001 4.09/3.33 c cleaning 6811 clauses out of 13645 with flag 63514/26001 5.12/4.30 c SATISFIABLE 5.12/4.30 c OPTIMIZING... 5.12/4.30 c Got one! Elapsed wall clock time (in seconds):4.065 5.12/4.30 o 32 5.45/4.66 c cleaning 9855 clauses out of 19725 with flag 16443/38892 5.96/5.16 c cleaning 7925 clauses out of 15868 with flag 39555/44890 6.55/5.74 c cleaning 7462 clauses out of 14943 with flag 73286/51890 7.05/6.27 c Got one! Elapsed wall clock time (in seconds):6.034 7.05/6.27 o 31 7.52/6.70 c cleaning 9136 clauses out of 18293 with flag 18826/62702 8.12/7.25 c cleaning 7572 clauses out of 15158 with flag 47063/68703 8.72/7.82 c cleaning 7280 clauses out of 14585 with flag 72519/75702 9.62/8.70 c cleaning 7646 clauses out of 15305 with flag 99690/83702 10.62/9.70 c cleaning 8321 clauses out of 16659 with flag 136623/92702 11.82/10.97 c cleaning 9152 clauses out of 18338 with flag 183819/102702 13.22/12.39 c cleaning 10077 clauses out of 20186 with flag 219906/113702 14.92/14.02 c cleaning 11044 clauses out of 22111 with flag 268601/125704 16.92/16.04 c cleaning 12018 clauses out of 24067 with flag 314747/138704 19.22/18.30 c cleaning 13006 clauses out of 26048 with flag 365049/152703 21.82/20.93 c cleaning 14003 clauses out of 28041 with flag 410277/167702 24.37/23.44 c cleaning 15003 clauses out of 30038 with flag 477531/183702 27.48/26.54 c cleaning 16002 clauses out of 32035 with flag 543112/200702 30.97/30.04 c cleaning 17001 clauses out of 34034 with flag 623257/218703 34.37/33.40 c cleaning 18000 clauses out of 36032 with flag 689903/237702 38.27/37.32 c cleaning 18992 clauses out of 38032 with flag 749276/257702 42.47/41.54 c cleaning 20011 clauses out of 40042 with flag 816969/278704 47.00/46.05 c cleaning 20994 clauses out of 42029 with flag 894774/300702 51.50/50.52 c cleaning 22002 clauses out of 44035 with flag 968412/323702 56.39/55.42 c cleaning 22998 clauses out of 46033 with flag 1059417/347702 61.60/60.64 c cleaning 24002 clauses out of 48035 with flag 1143650/372702 67.18/66.16 c cleaning 25002 clauses out of 50033 with flag 1236145/398702 72.98/71.90 c cleaning 26001 clauses out of 52031 with flag 1330947/425702 79.18/78.15 c cleaning 27002 clauses out of 54032 with flag 1419553/453704 86.28/85.26 c cleaning 27995 clauses out of 56028 with flag 1509327/482702 93.29/92.15 c cleaning 29000 clauses out of 58034 with flag 1623391/512703 101.19/100.10 c cleaning 30005 clauses out of 60033 with flag 1741123/543702 110.00/108.84 c cleaning 30993 clauses out of 62030 with flag 1835727/575704 119.19/118.01 c cleaning 31996 clauses out of 64037 with flag 1949229/608704 129.02/127.75 c cleaning 33001 clauses out of 66039 with flag 2094872/642702 138.61/137.39 c cleaning 34000 clauses out of 68040 with flag 2227836/677704 149.96/148.55 c cleaning 34998 clauses out of 70040 with flag 2370700/713704 160.65/159.26 c cleaning 36000 clauses out of 72040 with flag 2514717/750702 172.05/170.66 c cleaning 36998 clauses out of 74040 with flag 2663428/788702 181.60/180.07 c cleaning 38004 clauses out of 76042 with flag 2806848/827702 183.30/181.78 c Got one! Elapsed wall clock time (in seconds):181.551 183.30/181.78 o 30 183.73/182.18 c cleaning 28563 clauses out of 57147 with flag 13047/846811 184.24/182.69 c cleaning 17278 clauses out of 34583 with flag 30799/852810 184.93/183.30 c cleaning 12134 clauses out of 24305 with flag 52021/859810 185.63/184.03 c cleaning 10072 clauses out of 20171 with flag 74709/867810 186.54/184.95 c cleaning 9533 clauses out of 19102 with flag 102635/876813 187.54/185.99 c cleaning 9769 clauses out of 19566 with flag 131691/886810 188.83/187.29 c cleaning 10385 clauses out of 20798 with flag 163985/897811 190.42/188.77 c cleaning 11189 clauses out of 22413 with flag 201495/909811 192.22/190.52 c cleaning 12097 clauses out of 24225 with flag 240387/922812 194.23/192.53 c cleaning 13049 clauses out of 26127 with flag 284651/936811 196.53/194.85 c cleaning 14026 clauses out of 28077 with flag 330434/951810 199.12/197.49 c cleaning 15012 clauses out of 30052 with flag 377730/967811 202.12/200.40 c cleaning 16002 clauses out of 32042 with flag 429609/984813 205.52/203.71 c cleaning 17002 clauses out of 34037 with flag 485142/1002810 208.82/207.09 c cleaning 18008 clauses out of 36036 with flag 540341/1021811 210.52/208.70 c cleaning 18992 clauses out of 38027 with flag 588935/1041810 213.42/211.68 c cleaning 19998 clauses out of 40035 with flag 634403/1062810 216.62/214.84 c cleaning 20999 clauses out of 42037 with flag 688751/1084810 220.27/218.44 c cleaning 22002 clauses out of 44039 with flag 742928/1107811 224.09/222.25 c cleaning 22992 clauses out of 46036 with flag 804997/1131810 227.88/226.05 c cleaning 24003 clauses out of 48045 with flag 863294/1156811 232.71/230.81 c cleaning 24998 clauses out of 50042 with flag 920667/1182811 237.91/236.02 c cleaning 26002 clauses out of 52043 with flag 982349/1209810 243.61/241.73 c cleaning 26996 clauses out of 54041 with flag 1047987/1237810 250.11/248.21 c cleaning 28002 clauses out of 56045 with flag 1115380/1266810 257.32/255.48 c cleaning 28995 clauses out of 58043 with flag 1182643/1296810 265.03/263.10 c cleaning 29997 clauses out of 60049 with flag 1253423/1327811 272.82/270.85 c cleaning 31000 clauses out of 62051 with flag 1329794/1359810 280.22/278.30 c cleaning 32003 clauses out of 64053 with flag 1405537/1392812 289.33/287.31 c cleaning 32996 clauses out of 66048 with flag 1482331/1426810 299.60/297.51 c cleaning 34001 clauses out of 68053 with flag 1560720/1461811 310.30/308.27 c cleaning 35000 clauses out of 70051 with flag 1640960/1497810 320.61/318.46 c cleaning 36002 clauses out of 72052 with flag 1724539/1534811 332.01/329.85 c cleaning 37001 clauses out of 74049 with flag 1810247/1572810 343.68/341.42 c cleaning 38003 clauses out of 76048 with flag 1899883/1611810 351.28/349.02 c cleaning 39013 clauses out of 78047 with flag 1998466/1651812 355.35/353.09 c cleaning 40006 clauses out of 80034 with flag 2105406/1692812 362.85/360.52 c cleaning 41002 clauses out of 82026 with flag 2194679/1734810 374.23/371.89 c cleaning 42000 clauses out of 84026 with flag 2284919/1777812 380.12/377.74 c cleaning 42996 clauses out of 86025 with flag 2379520/1821811 384.35/381.91 c cleaning 44002 clauses out of 88029 with flag 2513643/1866811 387.55/385.12 c cleaning 45005 clauses out of 90026 with flag 2630200/1912810 391.79/389.30 c cleaning 45993 clauses out of 92021 with flag 2755641/1959810 402.62/400.14 c Got one! Elapsed wall clock time (in seconds):399.91 402.62/400.14 o 29 403.06/400.59 c starts : 570 403.06/400.59 c conflicts : 2011492 403.06/400.59 c decisions : 2973326 403.06/400.59 c propagations : 129314024 403.06/400.59 c inspects : 6912727417 403.06/400.59 c shortcuts : 0 403.06/400.59 c learnt literals : 9 403.06/400.59 c learnt binary clauses : 7 403.06/400.59 c learnt ternary clauses : 8 403.06/400.59 c learnt constraints : 2011482 403.06/400.59 c ignored constraints : 0 403.06/400.59 c root simplifications : 0 403.06/400.59 c removed literals (reason simplification) : 0 403.06/400.59 c reason swapping (by a shorter reason) : 0 403.06/400.59 c Calls to reduceDB : 85 403.06/400.59 c Number of update (reduction) of LBD : 262423 403.06/400.59 c Imported unit clauses : 0 403.06/400.59 c number of reductions to clauses (during analyze) : 0 403.06/400.59 c number of learned constraints concerned by reduction : 0 403.06/400.59 c number of learning phase by resolution : 0 403.06/400.59 c number of learning phase by cutting planes : 0 403.06/400.59 c speed (assignments/second) : 323217.18439127784 403.06/400.59 c non guided choices 215789 403.06/400.59 c learnt constraints type 403.06/400.59 s OPTIMUM FOUND 403.06/400.59 c Found 4 solution(s) 403.15/400.60 v x1 x2 x3 x4 x5 x6 x7 x8 x9 -x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 -x20 x21 x22 -x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 x2630 -x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479 -x3480 -x3481 -x3482 x3483 x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 x3659 -x3660 -x3661 x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 x3694 -x3695 -x3696 x3697 -x3698 -x3699 -x3700 x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 x3715 -x3716 -x3717 -x3718 -x3719 -x3720 x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 x3884 -x3885 x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 x4342 -x4343 -x4344 x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4366 -x4367 -x4368 -x4369 x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 x4684 -x4685 -x4686 -x4687 -x4688 x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 x4828 -x4829 -x4830 -x4831 x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 x4924 -x4925 -x4926 -x4927 -x4928 x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 x5490 -x5491 -x5492 -x5493 x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 x5778 -x5779 -x5780 -x5781 -x5782 x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 x6566 x6567 x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 x6598 -x6599 -x6600 x6601 -x6602 x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 x6873 -x6874 -x6875 -x6876 x6877 -x6878 -x6879 -x6880 -x6881 -x6882 x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 x6998 -x6999 x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 x7642 -x7643 -x7644 -x7645 x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 x7676 -x7677 -x7678 -x7679 x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 x7778 x7779 -x7780 -x7781 x7782 x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 x8065 x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 x8122 x8123 -x8124 -x8125 -x8126 -x8127 -x8128 x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 x8760 -x8761 -x8762 -x8763 -x8764 x8765 -x8766 x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 x8877 -x8878 x8879 x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 x9096 -x9097 -x9098 -x9099 x9100 -x9101 -x9102 x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 x9249 -x9250 -x9251 -x9252 -x9253 -x9254 x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 x9302 x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 x9468 -x9469 x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 x9519 -x9520 -x9521 -x9522 -x9523 x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 x9649 -x9650 -x9651 -x9652 -x9653 x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 x9661 -x9662 -x9663 -x9664 -x9665 x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 x9705 -x9706 -x9707 x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 x10282 -x10283 -x10284 x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 x10391 -x10392 -x10393 x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 403.15/400.61 c objective function=29 403.15/400.61 c Total wall clock time (in seconds): 400.382
OK 29
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4119892-1467278960/watcher-4119892-1467278960 -o /tmp/evaluation-result-4119892-1467278960/solver-4119892-1467278960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467278960-13409 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119892-1467278960.opb pid=13424 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.07 2.01 3/172 13427 /proc/meminfo: memFree=30418184/32872528 swapFree=242912/249044 [pid=13427] ppid=13424 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/13427/stat : 13427 (java) R 13424 13427 11473 0 -1 4202496 158 0 1 0 0 0 0 0 20 0 1 0 9002358 278528 34 33554432000 1073741824 1073778376 140735317314912 140735317312088 247055084725 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/13427/statm: 68 34 25 9 0 25 0 [startup+0.100074 s] /proc/loadavg: 2.03 2.07 2.01 3/172 13427 /proc/meminfo: memFree=30418184/32872528 swapFree=242912/249044 [pid=13427] ppid=13424 vsize=9016616 CPUtime=0.01 cores=1,3,5,7 /proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 2464 0 25 0 0 1 0 0 20 0 10 0 9002358 9233014784 3109 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 5 0 0 /proc/13427/statm: 2254154 3109 1231 9 0 2244855 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9016616 [startup+0.200256 s] /proc/loadavg: 2.03 2.07 2.01 3/172 13427 /proc/meminfo: memFree=30418184/32872528 swapFree=242912/249044 [pid=13427] ppid=13424 vsize=9558476 CPUtime=0.06 cores=1,3,5,7 /proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 3686 0 26 0 5 1 0 0 20 0 18 0 9002358 9787879424 4842 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0 /proc/13427/statm: 2389619 4852 1920 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558476 [startup+0.300169 s] /proc/loadavg: 2.03 2.07 2.01 3/172 13427 /proc/meminfo: memFree=30418184/32872528 swapFree=242912/249044 [pid=13427] ppid=13424 vsize=9558476 CPUtime=0.23 cores=1,3,5,7 /proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 4688 0 26 0 21 2 0 0 20 0 18 0 9002358 9787879424 6788 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0 /proc/13427/statm: 2389619 6788 2201 9 0 2380296 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9558476 [startup+0.700175 s] /proc/loadavg: 2.03 2.07 2.01 3/172 13427 /proc/meminfo: memFree=30418184/32872528 swapFree=242912/249044 [pid=13427] ppid=13424 vsize=9625040 CPUtime=1.29 cores=1,3,5,7 /proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 9474 0 26 0 125 4 0 0 20 0 19 0 9002358 9856040960 22590 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0 /proc/13427/statm: 2406260 22590 2257 9 0 2396937 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 9625040 [startup+1.50073 s] /proc/loadavg: 2.03 2.07 2.01 4/213 13475 /proc/meminfo: memFree=30129320/32872528 swapFree=242912/249044 [pid=13427] ppid=13424 vsize=9625040 CPUtime=2.19 cores=1,3,5,7 /proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 10118 0 26 0 214 5 0 0 20 0 19 0 9002358 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0 /proc/13427/statm: 2406260 25159 2265 9 0 2396937 0 [pid=13427/tid=13429] ppid=13424 vsize=9625040 CPUtime=1.34 cores=1,3,5,7 /proc/13427/task/13429/stat : 13429 (java) R 13424 13427 11473 0 -1 4202560 2429 0 7 0 131 3 0 0 20 0 19 0 9002365 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891489141080 139891330136475 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 [pid=13427/tid=13435] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13435/stat : 13435 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891450632872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13436] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13436/stat : 13436 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891449580328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13437] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13437/stat : 13437 (java) S 13424 13427 11473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891448527784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13427/tid=13438] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13438/stat : 13438 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891329461288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13427/tid=13439] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13439/stat : 13439 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891328407720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13440] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13440/stat : 13440 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891327355176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13427/tid=13441] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13441/stat : 13441 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891326302632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13442] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13442/stat : 13442 (java) S 13424 13427 11473 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139891325250088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13450] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13450/stat : 13450 (java) S 13424 13427 11473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9002369 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890842921576 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13459] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13459/stat : 13459 (java) S 13424 13427 11473 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890841867896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13460] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13460/stat : 13460 (java) S 13424 13427 11473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890840815240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13464] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13464/stat : 13464 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890839763984 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13465] ppid=13424 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/13427/task/13465/stat : 13465 (java) S 13424 13427 11473 0 -1 4202560 2814 0 0 0 40 0 0 0 20 0 19 0 9002374 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890838710328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13427/tid=13466] ppid=13424 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/13427/task/13466/stat : 13466 (java) S 13424 13427 11473 0 -1 4202560 3614 0 0 0 40 2 0 0 20 0 19 0 9002374 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890837657784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13467] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13467/stat : 13467 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890836605432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13469] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13469/stat : 13469 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890835553096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13474] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13474/stat : 13474 (java) S 13424 13427 11473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9002409 9856040960 25159 33554432000 1073741824 1073778376 140734077742448 139890834498856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.19 Current children cumulated vsize (KiB) 9625040 [startup+3.10074 s] /proc/loadavg: 2.03 2.07 2.01 3/213 13475 /proc/meminfo: memFree=30112052/32872528 swapFree=242912/249044 [pid=13427] ppid=13424 vsize=9625040 CPUtime=3.89 cores=1,3,5,7 /proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 11111 0 26 0 384 5 0 0 20 0 19 0 9002358 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0 /proc/13427/statm: 2406260 28743 2265 9 0 2396937 0 [pid=13427/tid=13429] ppid=13424 vsize=9625040 CPUtime=2.93 cores=1,3,5,7 /proc/13427/task/13429/stat : 13429 (java) R 13424 13427 11473 0 -1 4202560 2437 0 7 0 290 3 0 0 20 0 19 0 9002365 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891489141048 139891330358266 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 [pid=13427/tid=13435] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13435/stat : 13435 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891450632872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13436] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13436/stat : 13436 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891449580328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13437] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13437/stat : 13437 (java) S 13424 13427 11473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891448527784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13427/tid=13438] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13438/stat : 13438 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891329461288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13427/tid=13439] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13439/stat : 13439 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891328407720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13440] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13440/stat : 13440 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891327355176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13427/tid=13441] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13441/stat : 13441 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891326302632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13442] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13442/stat : 13442 (java) S 13424 13427 11473 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139891325250088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13450] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13450/stat : 13450 (java) S 13424 13427 11473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9002369 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890842921576 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13459] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13459/stat : 13459 (java) S 13424 13427 11473 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890841867896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13460] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13460/stat : 13460 (java) S 13424 13427 11473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890840815240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13464] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13464/stat : 13464 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890839763984 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13465] ppid=13424 vsize=9625040 CPUtime=0.48 cores=1,3,5,7 /proc/13427/task/13465/stat : 13465 (java) S 13424 13427 11473 0 -1 4202560 3799 0 0 0 48 0 0 0 20 0 19 0 9002374 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890838710328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13427/tid=13466] ppid=13424 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/13427/task/13466/stat : 13466 (java) S 13424 13427 11473 0 -1 4202560 3614 0 0 0 42 2 0 0 20 0 19 0 9002374 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890837657784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13467] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13467/stat : 13467 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890836605432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13469] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13469/stat : 13469 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890835553096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13474] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13474/stat : 13474 (java) S 13424 13427 11473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9002409 9856040960 28743 33554432000 1073741824 1073778376 140734077742448 139890834498856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.89 Current children cumulated vsize (KiB) 9625040 [startup+6.30077 s] /proc/loadavg: 2.03 2.06 2.01 3/213 13475 /proc/meminfo: memFree=30020080/32872528 swapFree=242912/249044 [pid=13427] ppid=13424 vsize=9625040 CPUtime=7.19 cores=1,3,5,7 /proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 11575 0 26 0 713 6 0 0 20 0 19 0 9002358 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0 /proc/13427/statm: 2406260 39117 2266 9 0 2396937 0 [pid=13427/tid=13429] ppid=13424 vsize=9625040 CPUtime=6.12 cores=1,3,5,7 /proc/13427/task/13429/stat : 13429 (java) R 13424 13427 11473 0 -1 4202560 2459 0 7 0 609 3 0 0 20 0 19 0 9002365 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891489132240 139891330213888 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 [pid=13427/tid=13435] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13435/stat : 13435 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891450632872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13436] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13436/stat : 13436 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891449580328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13437] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13437/stat : 13437 (java) S 13424 13427 11473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891448527784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13427/tid=13438] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13438/stat : 13438 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891329461288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13427/tid=13439] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13439/stat : 13439 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891328407720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13440] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13440/stat : 13440 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891327355176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13427/tid=13441] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13441/stat : 13441 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891326302632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13442] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13442/stat : 13442 (java) S 13424 13427 11473 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9002366 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139891325250088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13450] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13450/stat : 13450 (java) S 13424 13427 11473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9002369 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890842921576 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13459] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13459/stat : 13459 (java) S 13424 13427 11473 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890841867896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13460] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13460/stat : 13460 (java) S 13424 13427 11473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890840815240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13464] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13464/stat : 13464 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890839763984 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13465] ppid=13424 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/13427/task/13465/stat : 13465 (java) S 13424 13427 11473 0 -1 4202560 4170 0 0 0 52 1 0 0 20 0 19 0 9002374 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890838710328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13427/tid=13466] ppid=13424 vsize=9625040 CPUtime=0.49 cores=1,3,5,7 /proc/13427/task/13466/stat : 13466 (java) S 13424 13427 11473 0 -1 4202560 3684 0 0 0 47 2 0 0 20 0 19 0 9002374 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890837657784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13467] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13467/stat : 13467 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890836605432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13469] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13469/stat : 13469 (java) S 13424 13427 11473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890835553096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13474] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13474/stat : 13474 (java) S 13424 13427 11473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9002409 9856040960 39117 33554432000 1073741824 1073778376 140734077742448 139890834498856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 7.19 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=13427/tid=13436] ppid=13424 vsize=9625040 CPUtime=0.27 cores=1,3,5,7 /proc/13427/task/13436/stat : 13436 (java) S 13424 13427 11473 0 -1 4202560 179 0 0 0 21 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891449580328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13427/tid=13437] ppid=13424 vsize=9625040 CPUtime=0.22 cores=1,3,5,7 /proc/13427/task/13437/stat : 13437 (java) S 13424 13427 11473 0 -1 4202560 254 0 0 0 17 5 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891448527784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13438] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7 /proc/13427/task/13438/stat : 13438 (java) S 13424 13427 11473 0 -1 4202560 279 0 0 0 20 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891329461288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13439] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7 /proc/13427/task/13439/stat : 13439 (java) S 13424 13427 11473 0 -1 4202560 136 0 0 0 19 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891328407720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13440] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7 /proc/13427/task/13440/stat : 13440 (java) S 13424 13427 11473 0 -1 4202560 238 0 0 0 20 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891327355176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13427/tid=13441] ppid=13424 vsize=9625040 CPUtime=0.28 cores=1,3,5,7 /proc/13427/task/13441/stat : 13441 (java) S 13424 13427 11473 0 -1 4202560 252 0 0 0 21 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891326302632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13442] ppid=13424 vsize=9625040 CPUtime=0.22 cores=1,3,5,7 /proc/13427/task/13442/stat : 13442 (java) S 13424 13427 11473 0 -1 4202560 142 0 0 0 16 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891325250088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13450] ppid=13424 vsize=9625040 CPUtime=0.1 cores=1,3,5,7 /proc/13427/task/13450/stat : 13450 (java) S 13424 13427 11473 0 -1 4202560 126 0 0 0 8 2 0 0 20 0 19 0 9002369 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890842921576 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13459] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13459/stat : 13459 (java) S 13424 13427 11473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890841867896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13460] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13460/stat : 13460 (java) S 13424 13427 11473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890840815240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13464] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13464/stat : 13464 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890839763984 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13465] ppid=13424 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/13427/task/13465/stat : 13465 (java) S 13424 13427 11473 0 -1 4202560 4677 0 0 0 57 1 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890838710328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13427/tid=13466] ppid=13424 vsize=9625040 CPUtime=0.49 cores=1,3,5,7 /proc/13427/task/13466/stat : 13466 (java) S 13424 13427 11473 0 -1 4202560 3684 0 0 0 47 2 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890837657784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13467] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13467/stat : 13467 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890836605432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13469] ppid=13424 vsize=9625040 CPUtime=0.08 cores=1,3,5,7 /proc/13427/task/13469/stat : 13469 (java) S 13424 13427 11473 0 -1 4202560 24 0 0 0 3 5 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890835553096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13474] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13474/stat : 13474 (java) S 13424 13427 11473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9002409 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890834498856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 400.92 Current children cumulated vsize (KiB) 9625040 [startup+400.001 s] /proc/loadavg: 2.13 2.09 2.02 3/213 13486 /proc/meminfo: memFree=28313604/32872528 swapFree=242912/249044 [pid=13427] ppid=13424 vsize=9625040 CPUtime=402.52 cores=1,3,5,7 /proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 13899 0 26 0 40192 60 0 0 20 0 19 0 9002358 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0 /proc/13427/statm: 2406260 123225 2288 9 0 2396937 0 [pid=13427/tid=13429] ppid=13424 vsize=9625040 CPUtime=399.14 cores=1,3,5,7 /proc/13427/task/13429/stat : 13429 (java) R 13424 13427 11473 0 -1 4202560 2485 0 7 0 39904 10 0 0 20 0 19 0 9002365 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891489139936 139891330092274 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 [pid=13427/tid=13435] ppid=13424 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/13427/task/13435/stat : 13435 (java) S 13424 13427 11473 0 -1 4202560 177 0 0 0 23 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891450632872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13427/tid=13436] ppid=13424 vsize=9625040 CPUtime=0.27 cores=1,3,5,7 /proc/13427/task/13436/stat : 13436 (java) S 13424 13427 11473 0 -1 4202560 179 0 0 0 21 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891449580328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13427/tid=13437] ppid=13424 vsize=9625040 CPUtime=0.22 cores=1,3,5,7 /proc/13427/task/13437/stat : 13437 (java) S 13424 13427 11473 0 -1 4202560 254 0 0 0 17 5 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891448527784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13438] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7 /proc/13427/task/13438/stat : 13438 (java) S 13424 13427 11473 0 -1 4202560 279 0 0 0 20 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891329461288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13439] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7 /proc/13427/task/13439/stat : 13439 (java) S 13424 13427 11473 0 -1 4202560 136 0 0 0 19 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891328407720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13440] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7 /proc/13427/task/13440/stat : 13440 (java) S 13424 13427 11473 0 -1 4202560 238 0 0 0 20 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891327355176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13427/tid=13441] ppid=13424 vsize=9625040 CPUtime=0.28 cores=1,3,5,7 /proc/13427/task/13441/stat : 13441 (java) S 13424 13427 11473 0 -1 4202560 252 0 0 0 21 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891326302632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13442] ppid=13424 vsize=9625040 CPUtime=0.22 cores=1,3,5,7 /proc/13427/task/13442/stat : 13442 (java) S 13424 13427 11473 0 -1 4202560 142 0 0 0 16 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891325250088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13450] ppid=13424 vsize=9625040 CPUtime=0.1 cores=1,3,5,7 /proc/13427/task/13450/stat : 13450 (java) S 13424 13427 11473 0 -1 4202560 126 0 0 0 8 2 0 0 20 0 19 0 9002369 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890842921576 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13459] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13459/stat : 13459 (java) S 13424 13427 11473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890841867896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13460] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13460/stat : 13460 (java) S 13424 13427 11473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890840815240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13464] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13464/stat : 13464 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890839763984 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13465] ppid=13424 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/13427/task/13465/stat : 13465 (java) S 13424 13427 11473 0 -1 4202560 4677 0 0 0 57 1 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890838710328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13427/tid=13466] ppid=13424 vsize=9625040 CPUtime=0.49 cores=1,3,5,7 /proc/13427/task/13466/stat : 13466 (java) S 13424 13427 11473 0 -1 4202560 3684 0 0 0 47 2 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890837657784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13467] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13467/stat : 13467 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890836605432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13469] ppid=13424 vsize=9625040 CPUtime=0.08 cores=1,3,5,7 /proc/13427/task/13469/stat : 13469 (java) S 13424 13427 11473 0 -1 4202560 24 0 0 0 3 5 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890835553096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13474] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13474/stat : 13474 (java) S 13424 13427 11473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9002409 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890834498856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 402.52 Current children cumulated vsize (KiB) 9625040 [startup+400.401 s] /proc/loadavg: 2.12 2.09 2.02 3/213 13486 /proc/meminfo: memFree=28313604/32872528 swapFree=242912/249044 [pid=13427] ppid=13424 vsize=9625040 CPUtime=402.95 cores=1,3,5,7 /proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 13901 0 26 0 40235 60 0 0 20 0 19 0 9002358 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0 /proc/13427/statm: 2406260 123225 2288 9 0 2396937 0 [pid=13427/tid=13429] ppid=13424 vsize=9625040 CPUtime=399.54 cores=1,3,5,7 /proc/13427/task/13429/stat : 13429 (java) R 13424 13427 11473 0 -1 4202560 2486 0 7 0 39944 10 0 0 20 0 19 0 9002365 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891489139912 139891330370484 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 [pid=13427/tid=13435] ppid=13424 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/13427/task/13435/stat : 13435 (java) S 13424 13427 11473 0 -1 4202560 177 0 0 0 23 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891450632872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13427/tid=13436] ppid=13424 vsize=9625040 CPUtime=0.27 cores=1,3,5,7 /proc/13427/task/13436/stat : 13436 (java) S 13424 13427 11473 0 -1 4202560 179 0 0 0 21 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891449580328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13427/tid=13437] ppid=13424 vsize=9625040 CPUtime=0.22 cores=1,3,5,7 /proc/13427/task/13437/stat : 13437 (java) S 13424 13427 11473 0 -1 4202560 254 0 0 0 17 5 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891448527784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13438] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7 /proc/13427/task/13438/stat : 13438 (java) S 13424 13427 11473 0 -1 4202560 279 0 0 0 20 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891329461288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13439] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7 /proc/13427/task/13439/stat : 13439 (java) S 13424 13427 11473 0 -1 4202560 136 0 0 0 19 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891328407720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13440] ppid=13424 vsize=9625040 CPUtime=0.26 cores=1,3,5,7 /proc/13427/task/13440/stat : 13440 (java) S 13424 13427 11473 0 -1 4202560 238 0 0 0 20 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891327355176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13427/tid=13441] ppid=13424 vsize=9625040 CPUtime=0.28 cores=1,3,5,7 /proc/13427/task/13441/stat : 13441 (java) S 13424 13427 11473 0 -1 4202560 252 0 0 0 21 7 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891326302632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13442] ppid=13424 vsize=9625040 CPUtime=0.22 cores=1,3,5,7 /proc/13427/task/13442/stat : 13442 (java) S 13424 13427 11473 0 -1 4202560 142 0 0 0 16 6 0 0 20 0 19 0 9002366 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139891325250088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13450] ppid=13424 vsize=9625040 CPUtime=0.1 cores=1,3,5,7 /proc/13427/task/13450/stat : 13450 (java) S 13424 13427 11473 0 -1 4202560 126 0 0 0 8 2 0 0 20 0 19 0 9002369 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890842921576 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13459] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13459/stat : 13459 (java) S 13424 13427 11473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890841867896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13460] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13460/stat : 13460 (java) S 13424 13427 11473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9002370 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890840815240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13464] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13464/stat : 13464 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890839763984 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13465] ppid=13424 vsize=9625040 CPUtime=0.6 cores=1,3,5,7 /proc/13427/task/13465/stat : 13465 (java) R 13424 13427 11473 0 -1 4202560 4678 0 0 0 59 1 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890838710328 247067620412 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13466] ppid=13424 vsize=9625040 CPUtime=0.5 cores=1,3,5,7 /proc/13427/task/13466/stat : 13466 (java) S 13424 13427 11473 0 -1 4202560 3684 0 0 0 48 2 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890837657784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13467] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13467/stat : 13467 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890836605432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13469] ppid=13424 vsize=9625040 CPUtime=0.08 cores=1,3,5,7 /proc/13427/task/13469/stat : 13469 (java) S 13424 13427 11473 0 -1 4202560 24 0 0 0 3 5 0 0 20 0 19 0 9002374 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890835553096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13474] ppid=13424 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13474/stat : 13474 (java) S 13424 13427 11473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9002409 9856040960 123225 33554432000 1073741824 1073778376 140734077742448 139890834498856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 402.95 Current children cumulated vsize (KiB) 9625040 [startup+400.601 s] /proc/loadavg: 2.12 2.09 2.02 3/213 13486 /proc/meminfo: memFree=28313604/32872528 swapFree=242912/249044 [pid=13427] ppid=13424 vsize=9691604 CPUtime=403.15 cores=1,3,5,7 /proc/13427/stat : 13427 (java) S 13424 13427 11473 0 -1 4202496 13911 0 26 0 40255 60 0 0 20 0 19 0 9002358 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 140734077733584 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 5 0 0 /proc/13427/statm: 2422901 123233 2289 9 0 2413578 0 [pid=13427/tid=13429] ppid=13424 vsize=9691604 CPUtime=399.74 cores=1,3,5,7 /proc/13427/task/13429/stat : 13429 (java) S 13424 13427 11473 0 -1 4202560 2488 0 7 0 39964 10 0 0 20 0 19 0 9002365 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891489141464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 5 0 0 [pid=13427/tid=13435] ppid=13424 vsize=9691604 CPUtime=0.3 cores=1,3,5,7 /proc/13427/task/13435/stat : 13435 (java) S 13424 13427 11473 0 -1 4202560 177 0 0 0 23 7 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891450632872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13427/tid=13436] ppid=13424 vsize=9691604 CPUtime=0.27 cores=1,3,5,7 /proc/13427/task/13436/stat : 13436 (java) S 13424 13427 11473 0 -1 4202560 179 0 0 0 21 6 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891449580328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13427/tid=13437] ppid=13424 vsize=9691604 CPUtime=0.22 cores=1,3,5,7 /proc/13427/task/13437/stat : 13437 (java) S 13424 13427 11473 0 -1 4202560 254 0 0 0 17 5 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891448527784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13438] ppid=13424 vsize=9691604 CPUtime=0.26 cores=1,3,5,7 /proc/13427/task/13438/stat : 13438 (java) S 13424 13427 11473 0 -1 4202560 279 0 0 0 20 6 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891329461288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13439] ppid=13424 vsize=9691604 CPUtime=0.26 cores=1,3,5,7 /proc/13427/task/13439/stat : 13439 (java) S 13424 13427 11473 0 -1 4202560 136 0 0 0 19 7 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891328407720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13440] ppid=13424 vsize=9691604 CPUtime=0.26 cores=1,3,5,7 /proc/13427/task/13440/stat : 13440 (java) S 13424 13427 11473 0 -1 4202560 238 0 0 0 20 6 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891327355176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13427/tid=13441] ppid=13424 vsize=9691604 CPUtime=0.28 cores=1,3,5,7 /proc/13427/task/13441/stat : 13441 (java) S 13424 13427 11473 0 -1 4202560 252 0 0 0 21 7 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891326302632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13442] ppid=13424 vsize=9691604 CPUtime=0.22 cores=1,3,5,7 /proc/13427/task/13442/stat : 13442 (java) S 13424 13427 11473 0 -1 4202560 142 0 0 0 16 6 0 0 20 0 19 0 9002366 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139891325250088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13450] ppid=13424 vsize=9691604 CPUtime=0.1 cores=1,3,5,7 /proc/13427/task/13450/stat : 13450 (java) S 13424 13427 11473 0 -1 4202560 126 0 0 0 8 2 0 0 20 0 19 0 9002369 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890842921576 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13459] ppid=13424 vsize=9691604 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13459/stat : 13459 (java) S 13424 13427 11473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9002370 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890841867896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13460] ppid=13424 vsize=9691604 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13460/stat : 13460 (java) S 13424 13427 11473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9002370 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890840815240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13464] ppid=13424 vsize=9691604 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13464/stat : 13464 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890839763984 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13465] ppid=13424 vsize=9691604 CPUtime=0.6 cores=1,3,5,7 /proc/13427/task/13465/stat : 13465 (java) S 13424 13427 11473 0 -1 4202560 4678 0 0 0 59 1 0 0 20 0 19 0 9002374 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890838710328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13466] ppid=13424 vsize=9691604 CPUtime=0.5 cores=1,3,5,7 /proc/13427/task/13466/stat : 13466 (java) S 13424 13427 11473 0 -1 4202560 3684 0 0 0 48 2 0 0 20 0 19 0 9002374 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890837657784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13427/tid=13467] ppid=13424 vsize=9691604 CPUtime=0 cores=1,3,5,7 /proc/13427/task/13467/stat : 13467 (java) S 13424 13427 11473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9002374 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890836605432 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13427/tid=13469] ppid=13424 vsize=9691604 CPUtime=0.08 cores=1,3,5,7 /proc/13427/task/13469/stat : 13469 (java) S 13424 13427 11473 0 -1 4202560 24 0 0 0 3 5 0 0 20 0 19 0 9002374 9924202496 123233 33554432000 1073741824 1073778376 140734077742448 139890835553096 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 403.15 Current children cumulated vsize (KiB) 9691604 Child status: 30 Real time (s): 400.632 CPU time (s): 403.408 CPU user time (s): 402.562 CPU system time (s): 0.845871 CPU usage (%): 100.693 Max. virtual memory (cumulated for all children) (KiB): 9691604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 402.562 system time used= 0.845871 maximum resident set size= 581436 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13919 page faults= 26 swaps= 0 block input operations= 18224 block output operations= 440 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9431 involuntary context switches= 2754 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.84357 second user time and 3.70544 second system time The end
Begin job on node103 at 2016-06-30 11:29:20 IDJOB=4119892 IDBENCH=111817 IDSOLVER=2546 FILE ID=node103/4119892-1467278960 RUNJOBID= node103-1467278960-13409 PBS_JOBID= 20004489 Free space on /tmp= 71716 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119892-1467278960/watcher-4119892-1467278960 -o /tmp/evaluation-result-4119892-1467278960/solver-4119892-1467278960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467278960-13409 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119892-1467278960.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ab5ea8306af8700174d1bacaebcc6943 RANDOM SEED=2031853035 node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.91 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.456 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 : 5332.55 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 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.456 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 : 5332.55 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.456 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 : 5332.54 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.456 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 : 5332.55 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.456 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 : 5332.55 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.456 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30419936 kB Buffers: 100328 kB Cached: 1338792 kB SwapCached: 0 kB Active: 679932 kB Inactive: 782952 kB Active(anon): 17792 kB Inactive(anon): 8560 kB Active(file): 662140 kB Inactive(file): 774392 kB Unevictable: 249044 kB Mlocked: 242912 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1188 kB Writeback: 0 kB AnonPages: 377404 kB Mapped: 13912 kB Shmem: 204 kB Slab: 607588 kB SReclaimable: 51896 kB SUnreclaim: 555692 kB KernelStack: 1416 kB PageTables: 4304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 355612 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 120832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71712 MiB End job on node103 at 2016-06-30 11:36:01