Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | OPT | -13 | 523.886 | 262.78 |
| Name | /OPT-BIGINT-LIN/heinz/ normalized-ns1685374.opb |
| MD5SUM | 50acc4afebeb32cddb95c5011f072af8 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -13 |
| Best CPU time to get the best result obtained on this benchmark | 523.886 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10000 |
| Total number of constraints | 43295 |
| Number of constraints which are clauses | 9074 |
| Number of constraints which are cardinality constraints (but not clauses) | 200 |
| Number of constraints which are nor clauses,nor cardinality constraints | 34021 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 97 |
| Number of terms in the objective function | 100 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1000000000 |
| Number of bits of the biggest number in a constraint | 30 |
| Biggest sum of numbers in a constraint | 2000000032 |
| Number of bits of the biggest sum of numbers | 31 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 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.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 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.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4080839-1465269902.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 2.96/1.73 c ... done. Wall clock time 1.608s. 2.96/1.73 c declared #vars 10000 2.96/1.73 c #constraints 43495 2.96/1.73 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 2.96/1.73 c constraints type 2.96/1.73 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9170 2.96/1.73 c org.sat4j.minisat.constraints.cnf.UnitClauses => 100 2.96/1.73 c org.sat4j.specs.Constr$1 => 100 2.96/1.73 c org.sat4j.minisat.constraints.card.MinWatchCard => 34021 2.96/1.73 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4 2.96/1.73 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100 2.96/1.73 c 43495 constraints processed. 2.96/1.73 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 2.96/1.73 c constraints type 2.96/1.73 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4 2.96/1.73 c org.sat4j.specs.Constr$1 => 100 2.96/1.73 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 9170 2.96/1.73 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 34021 2.96/1.73 c org.sat4j.pb.constraints.pb.UnitClausesPB => 100 2.96/1.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 100 2.96/1.73 c 43495 constraints processed. 2.96/1.73 c objective function length is 100 literals 11.89/5.59 c cleaning 2502 clauses out of 5003 with flag 116891/5004 15.37/7.22 c cleaning 4212 clauses out of 8499 with flag 557300/11002 19.78/9.43 c cleaning 5643 clauses out of 11287 with flag 1025502/18002 25.40/12.21 c cleaning 6811 clauses out of 13642 with flag 1623765/26000 31.44/15.25 c cleaning 7915 clauses out of 15831 with flag 2237702/35000 39.04/19.01 c cleaning 8960 clauses out of 17923 with flag 3086607/45007 47.04/23.00 c cleaning 9979 clauses out of 19958 with flag 4071711/56002 57.43/28.23 c cleaning 10901 clauses out of 21976 with flag 5148326/68000 90.65/44.86 c cleaning 11988 clauses out of 24072 with flag 5810929/81000 131.35/65.18 c cleaning 13035 clauses out of 26081 with flag 7245939/95000 172.11/85.46 c cleaning 13987 clauses out of 28055 with flag 9025497/110009 216.51/107.64 c cleaning 14943 clauses out of 30059 with flag 11150440/126000 269.62/134.20 c cleaning 16006 clauses out of 32116 with flag 13727148/143000 307.33/152.82 c And the winner is solver1 307.44/153.29 c SATISFIABLE 307.44/153.29 c OPTIMIZING... 307.44/153.29 c Got one! Elapsed wall clock time (in seconds):153.168 307.44/153.29 o -8 309.82/154.49 c And the winner is solver1 310.03/154.79 c Got one! Elapsed wall clock time (in seconds):154.67 310.03/154.79 o -9 311.67/155.64 c cleaning 17316 clauses out of 34648 with flag 33029/161538 314.47/157.06 c And the winner is solver1 314.63/157.29 c Got one! Elapsed wall clock time (in seconds):157.171 314.63/157.29 o -10 321.26/160.57 c cleaning 13953 clauses out of 27907 with flag 25217/172113 325.45/162.68 c cleaning 9974 clauses out of 19951 with flag 53776/178110 325.65/162.77 c And the winner is solver1 325.82/162.82 c Got one! Elapsed wall clock time (in seconds):162.704 325.82/162.82 o -11 328.44/164.11 c cleaning 7525 clauses out of 15063 with flag 54008/183196 331.44/165.66 c cleaning 6787 clauses out of 13573 with flag 135635/189231 337.64/168.73 c cleaning 6875 clauses out of 13755 with flag 200043/196200 343.24/171.78 c cleaning 7438 clauses out of 14876 with flag 286050/204196 348.82/174.51 c cleaning 8215 clauses out of 16440 with flag 409930/213198 355.42/177.83 c cleaning 9111 clauses out of 18225 with flag 545170/223198 361.83/181.01 c cleaning 10058 clauses out of 20122 with flag 686363/234206 370.02/185.16 c cleaning 11023 clauses out of 22056 with flag 856792/246198 377.82/189.09 c cleaning 12006 clauses out of 24032 with flag 1035691/259197 391.71/195.98 c cleaning 13009 clauses out of 26025 with flag 1228530/273196 409.08/204.59 c cleaning 14009 clauses out of 28017 with flag 1299867/288197 426.53/213.19 c cleaning 14998 clauses out of 30008 with flag 1368851/304197 447.01/223.75 c cleaning 16006 clauses out of 32016 with flag 1458232/321203 467.70/234.07 c And the winner is solver1 467.89/234.12 c Got one! Elapsed wall clock time (in seconds):233.999 467.89/234.12 o -12 471.04/235.71 c cleaning 18921 clauses out of 37857 with flag 53069/343050 477.25/238.78 c cleaning 12463 clauses out of 24939 with flag 91237/349053 483.86/242.06 c cleaning 9735 clauses out of 19474 with flag 137957/356051 490.66/245.45 c cleaning 8864 clauses out of 17738 with flag 188713/364050 500.84/250.49 c cleaning 8926 clauses out of 17874 with flag 242675/373050 510.23/255.20 c cleaning 9480 clauses out of 18965 with flag 308860/383067 511.03/255.50 c And the winner is solver1 511.07/255.72 c Got one! Elapsed wall clock time (in seconds):255.597 511.07/255.72 o -13 513.82/257.19 c cleaning 7434 clauses out of 14867 with flag 52596/388449 516.63/258.59 c cleaning 6706 clauses out of 13430 with flag 109497/394446 521.23/260.80 c cleaning 6852 clauses out of 13722 with flag 191484/401444 522.62/261.41 c And the winner is solver1 523.67/262.73 c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<< 523.67/262.73 c starts : 5458 523.67/262.73 c conflicts : 403744 523.67/262.73 c decisions : 2313942 523.67/262.73 c propagations : 263186317 523.67/262.73 c inspects : 2628203210 523.67/262.73 c shortcuts : 0 523.67/262.73 c learnt literals : 8 523.67/262.73 c learnt binary clauses : 331 523.67/262.73 c learnt ternary clauses : 655 523.67/262.73 c learnt constraints : 403736 523.67/262.73 c ignored constraints : 0 523.67/262.73 c root simplifications : 0 523.67/262.73 c removed literals (reason simplification) : 8396703 523.67/262.73 c reason swapping (by a shorter reason) : 0 523.67/262.73 c Calls to reduceDB : 38 523.67/262.73 c Number of update (reduction) of LBD : 276907 523.67/262.73 c Imported unit clauses : 0 523.67/262.73 c number of reductions to clauses (during analyze) : 0 523.67/262.73 c number of learned constraints concerned by reduction : 0 523.67/262.73 c number of learning phase by resolution : 0 523.67/262.73 c number of learning phase by cutting planes : 0 523.67/262.73 c speed (assignments/second) : 3.7528349778981894E7 523.67/262.73 c non guided choices 211 523.67/262.73 c learnt constraints type 523.67/262.73 c >>>>>>>>>> Solver number 1 (7 answers) <<<<<<<<<<<<<<<<<< 523.67/262.73 c starts : 27 523.67/262.73 c conflicts : 6133 523.67/262.73 c decisions : 104327 523.67/262.73 c propagations : 2111438 523.67/262.73 c inspects : 80451261 523.67/262.73 c shortcuts : 0 523.67/262.73 c learnt literals : 0 523.67/262.73 c learnt binary clauses : 3 523.67/262.73 c learnt ternary clauses : 4 523.67/262.73 c learnt constraints : 6132 523.67/262.73 c ignored constraints : 0 523.67/262.73 c root simplifications : 0 523.67/262.73 c removed literals (reason simplification) : 0 523.67/262.73 c reason swapping (by a shorter reason) : 0 523.67/262.73 c Calls to reduceDB : 0 523.67/262.73 c Number of update (reduction) of LBD : 0 523.67/262.73 c Imported unit clauses : 0 523.67/262.73 c number of reductions to clauses (during analyze) : 0 523.67/262.73 c number of learned constraints concerned by reduction : 0 523.67/262.73 c number of learning phase by resolution : 0 523.67/262.73 c number of learning phase by cutting planes : 0 523.67/262.73 c speed (assignments/second) : 8090.265724083759 523.67/262.73 c non guided choices 290 523.67/262.73 c learnt constraints type 523.67/262.73 s OPTIMUM FOUND 523.67/262.73 c Found 6 solution(s) 523.67/262.74 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 523.67/262.75 c objective function=-13 523.67/262.75 c Total wall clock time (in seconds): 262.634
OK -13
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-4080839-1465269902/watcher-4080839-1465269902 -o /tmp/evaluation-result-4080839-1465269902/solver-4080839-1465269902 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465261736-14348 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080839-1465269902.opb pid=17318 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: 3.97 4.07 4.02 4/197 17321 /proc/meminfo: memFree=29456736/32872528 swapFree=9100/9100 [pid=17321] ppid=17318 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/17321/stat : 17321 (java) R 17318 17321 14331 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 108921332 2560000 46 33554432000 1073741824 1073778376 140733220881440 140733220878568 243756264743 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/17321/statm: 625 46 37 9 0 29 0 [startup+0.100164 s] /proc/loadavg: 3.97 4.07 4.02 4/197 17321 /proc/meminfo: memFree=29456736/32872528 swapFree=9100/9100 [pid=17321] ppid=17318 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/17321/stat : 17321 (java) S 17318 17321 14331 0 -1 4202496 4409 0 1 0 8 1 0 0 20 0 18 0 108921332 9787879424 6043 33554432000 1073741824 1073778376 140733220881440 140733220872576 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17321/statm: 2389619 6043 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.20023 s] /proc/loadavg: 3.97 4.07 4.02 4/197 17321 /proc/meminfo: memFree=29456736/32872528 swapFree=9100/9100 [pid=17321] ppid=17318 vsize=9558476 CPUtime=0.26 cores=1,3,5,7 /proc/17321/stat : 17321 (java) S 17318 17321 14331 0 -1 4202496 4717 0 1 0 24 2 0 0 20 0 18 0 108921332 9787879424 7806 33554432000 1073741824 1073778376 140733220881440 140733220872576 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17321/statm: 2389619 7806 2213 9 0 2380296 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9558476 [startup+0.300249 s] /proc/loadavg: 3.97 4.07 4.02 4/197 17321 /proc/meminfo: memFree=29456736/32872528 swapFree=9100/9100 [pid=17321] ppid=17318 vsize=9559684 CPUtime=0.55 cores=1,3,5,7 /proc/17321/stat : 17321 (java) S 17318 17321 14331 0 -1 4202496 11273 0 1 0 52 3 0 0 20 0 18 0 108921332 9789116416 14268 33554432000 1073741824 1073778376 140733220881440 140733220872576 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17321/statm: 2389921 14297 2232 9 0 2380598 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 9559684 [startup+0.700218 s] /proc/loadavg: 3.97 4.07 4.02 4/197 17321 /proc/meminfo: memFree=29456736/32872528 swapFree=9100/9100 [pid=17321] ppid=17318 vsize=9558476 CPUtime=1.57 cores=1,3,5,7 /proc/17321/stat : 17321 (java) S 17318 17321 14331 0 -1 4202496 15427 0 1 0 147 10 0 0 20 0 18 0 108921332 9787879424 82154 33554432000 1073741824 1073778376 140733220881440 140733220872576 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17321/statm: 2389619 82154 2262 9 0 2380296 0 Current children cumulated CPU time (s) 1.57 Current children cumulated vsize (KiB) 9558476 [startup+1.50088 s] /proc/loadavg: 3.97 4.07 4.02 4/215 17339 /proc/meminfo: memFree=28410700/32872528 swapFree=9100/9100 [pid=17321] ppid=17318 vsize=9558476 CPUtime=2.69 cores=1,3,5,7 /proc/17321/stat : 17321 (java) S 17318 17321 14331 0 -1 4202496 17274 0 1 0 242 27 0 0 20 0 18 0 108921332 9787879424 347153 33554432000 1073741824 1073778376 140733220881440 140733220872576 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17321/statm: 2389619 347153 2263 9 0 2380296 0 [pid=17321/tid=17323] ppid=17318 vsize=9558476 CPUtime=1.37 cores=1,3,5,7 /proc/17321/task/17323/stat : 17323 (java) R 17318 17321 14331 0 -1 4202560 3550 0 1 0 117 20 0 0 20 0 18 0 108921333 9787879424 347153 33554432000 1073741824 1073778376 140733220881440 140394085486512 140393908427168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17324] ppid=17318 vsize=9558476 CPUtime=0.04 cores=1,3,5,7 /proc/17321/task/17324/stat : 17324 (java) S 17318 17321 14331 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 18 0 108921334 9787879424 347153 33554432000 1073741824 1073778376 140733220881440 140394046987176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17325] ppid=17318 vsize=9558476 CPUtime=0.02 cores=1,3,5,7 /proc/17321/task/17325/stat : 17325 (java) S 17318 17321 14331 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 18 0 108921334 9787879424 347153 33554432000 1073741824 1073778376 140733220881440 140394045934632 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17326] ppid=17318 vsize=9558476 CPUtime=0.02 cores=1,3,5,7 /proc/17321/task/17326/stat : 17326 (java) S 17318 17321 14331 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 18 0 108921334 9787879424 347665 33554432000 1073741824 1073778376 140733220881440 140394044881576 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17327] ppid=17318 vsize=9558476 CPUtime=0.03 cores=1,3,5,7 /proc/17321/task/17327/stat : 17327 (java) S 17318 17321 14331 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 18 0 108921334 9787879424 347665 33554432000 1073741824 1073778376 140733220881440 140394043829032 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17328] ppid=17318 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/17321/task/17328/stat : 17328 (java) S 17318 17321 14331 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 18 0 108921334 9787879424 347665 33554432000 1073741824 1073778376 140733220881440 140394042775976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17329] ppid=17318 vsize=9558476 CPUtime=0.02 cores=1,3,5,7 /proc/17321/task/17329/stat : 17329 (java) S 17318 17321 14331 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 18 0 108921334 9787879424 347665 33554432000 1073741824 1073778376 140733220881440 140394041723432 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17330] ppid=17318 vsize=9558476 CPUtime=0.02 cores=1,3,5,7 /proc/17321/task/17330/stat : 17330 (java) S 17318 17321 14331 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 108921334 9787879424 347665 33554432000 1073741824 1073778376 140733220881440 140394040670376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17331] ppid=17318 vsize=9558476 CPUtime=0.02 cores=1,3,5,7 /proc/17321/task/17331/stat : 17331 (java) S 17318 17321 14331 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 108921334 9787879424 347665 33554432000 1073741824 1073778376 140733220881440 140394039617832 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17332] ppid=17318 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17332/stat : 17332 (java) S 17318 17321 14331 0 -1 4202560 935 0 0 0 0 0 0 0 20 0 18 0 108921335 9787879424 347665 33554432000 1073741824 1073778376 140733220881440 140394027207528 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17333] ppid=17318 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17333/stat : 17333 (java) S 17318 17321 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 108921336 9787879424 347665 33554432000 1073741824 1073778376 140733220881440 140393907742584 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17334] ppid=17318 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17334/stat : 17334 (java) S 17318 17321 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 108921336 9787879424 347665 33554432000 1073741824 1073778376 140733220881440 140393906689416 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17335] ppid=17318 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17335/stat : 17335 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108921338 9787879424 347665 33554432000 1073741824 1073778376 140733220881440 140393905638160 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17336] ppid=17318 vsize=9558476 CPUtime=0.46 cores=1,3,5,7 /proc/17321/task/17336/stat : 17336 (java) S 17318 17321 14331 0 -1 4202560 5401 0 0 0 45 1 0 0 20 0 18 0 108921338 9787879424 347665 33554432000 1073741824 1073778376 140733220881440 140393904585016 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17337] ppid=17318 vsize=9558476 CPUtime=0.53 cores=1,3,5,7 /proc/17321/task/17337/stat : 17337 (java) S 17318 17321 14331 0 -1 4202560 5962 0 0 0 51 2 0 0 20 0 18 0 108921338 9787879424 347665 33554432000 1073741824 1073778376 140733220881440 140393903532472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17338] ppid=17318 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17338/stat : 17338 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108921338 9787879424 347665 33554432000 1073741824 1073778376 140733220881440 140393902479608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17339] ppid=17318 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17339/stat : 17339 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108921338 9787879424 347665 33554432000 1073741824 1073778376 140733220881440 140393901427272 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.69 Current children cumulated vsize (KiB) 9558476 [startup+3.10101 s] /proc/loadavg: 3.97 4.07 4.02 5/219 17343 /proc/meminfo: memFree=27701904/32872528 swapFree=9100/9100 [pid=17321] ppid=17318 vsize=9824732 CPUtime=6.9 cores=1,3,5,7 /proc/17321/stat : 17321 (java) S 17318 17321 14331 0 -1 4202496 18892 0 1 0 655 35 0 0 20 0 22 0 108921332 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140733220872576 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17321/statm: 2456183 448648 2287 9 0 2446860 0 [pid=17321/tid=17323] ppid=17318 vsize=9824732 CPUtime=1.6 cores=1,3,5,7 /proc/17321/task/17323/stat : 17323 (java) S 17318 17321 14331 0 -1 4202560 3726 0 1 0 135 25 0 0 20 0 22 0 108921333 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140394085495672 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17324] ppid=17318 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/17321/task/17324/stat : 17324 (java) S 17318 17321 14331 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 22 0 108921334 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140394046987176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17325] ppid=17318 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/17321/task/17325/stat : 17325 (java) S 17318 17321 14331 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 108921334 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140394045934632 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17326] ppid=17318 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/17321/task/17326/stat : 17326 (java) S 17318 17321 14331 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 108921334 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140394044881576 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17327] ppid=17318 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/17321/task/17327/stat : 17327 (java) S 17318 17321 14331 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 108921334 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140394043829032 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17328] ppid=17318 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/17321/task/17328/stat : 17328 (java) S 17318 17321 14331 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 22 0 108921334 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140394042775976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17329] ppid=17318 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/17321/task/17329/stat : 17329 (java) S 17318 17321 14331 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 22 0 108921334 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140394041723432 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17330] ppid=17318 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/17321/task/17330/stat : 17330 (java) S 17318 17321 14331 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 108921334 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140394040670376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17331] ppid=17318 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/17321/task/17331/stat : 17331 (java) S 17318 17321 14331 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 108921334 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140394039617832 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17332] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17332/stat : 17332 (java) S 17318 17321 14331 0 -1 4202560 937 0 0 0 0 0 0 0 20 0 22 0 108921335 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140394027207528 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17333] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17333/stat : 17333 (java) S 17318 17321 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108921336 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140393907742584 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17334] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17334/stat : 17334 (java) S 17318 17321 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108921336 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140393906689416 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17335] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17335/stat : 17335 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108921338 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140393905638160 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17336] ppid=17318 vsize=9824732 CPUtime=1.08 cores=1,3,5,7 /proc/17321/task/17336/stat : 17336 (java) S 17318 17321 14331 0 -1 4202560 5437 0 0 0 106 2 0 0 20 0 22 0 108921338 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140393904585016 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17337] ppid=17318 vsize=9824732 CPUtime=1.16 cores=1,3,5,7 /proc/17321/task/17337/stat : 17337 (java) S 17318 17321 14331 0 -1 4202560 7271 0 0 0 114 2 0 0 20 0 22 0 108921338 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140393903532472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17338] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17338/stat : 17338 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108921338 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140393902479608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17339] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17339/stat : 17339 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108921338 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140393901427272 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17340] ppid=17318 vsize=9824732 CPUtime=1.34 cores=1,3,5,7 /proc/17321/task/17340/stat : 17340 (java) R 17318 17321 14331 0 -1 4202560 18 0 0 0 134 0 0 0 20 0 22 0 108921506 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140393900373240 140393908672253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17341] ppid=17318 vsize=9824732 CPUtime=1.35 cores=1,3,5,7 /proc/17321/task/17341/stat : 17341 (java) R 17318 17321 14331 0 -1 4202560 63 0 0 0 133 2 0 0 20 0 22 0 108921506 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140393899318336 140393908736803 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17342] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17342/stat : 17342 (java) S 17318 17321 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108921507 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140393898267944 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17343] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17343/stat : 17343 (java) S 17318 17321 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108921507 10060525568 448648 33554432000 1073741824 1073778376 140733220881440 140393897215400 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.9 Current children cumulated vsize (KiB) 9824732 [startup+6.30097 s] /proc/loadavg: 3.97 4.07 4.02 5/219 17343 /proc/meminfo: memFree=27551932/32872528 swapFree=9100/9100 [pid=17321] ppid=17318 vsize=9824732 CPUtime=13.52 cores=1,3,5,7 /proc/17321/stat : 17321 (java) S 17318 17321 14331 0 -1 4202496 18971 0 1 0 1315 37 0 0 20 0 22 0 108921332 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140733220872576 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17321/statm: 2456183 481292 2292 9 0 2446860 0 [pid=17321/tid=17323] ppid=17318 vsize=9824732 CPUtime=1.6 cores=1,3,5,7 /proc/17321/task/17323/stat : 17323 (java) S 17318 17321 14331 0 -1 4202560 3726 0 1 0 135 25 0 0 20 0 22 0 108921333 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140394085495672 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17324] ppid=17318 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/17321/task/17324/stat : 17324 (java) S 17318 17321 14331 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 22 0 108921334 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140394046987176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17325] ppid=17318 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/17321/task/17325/stat : 17325 (java) S 17318 17321 14331 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 108921334 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140394045934632 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17326] ppid=17318 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/17321/task/17326/stat : 17326 (java) S 17318 17321 14331 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 108921334 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140394044881576 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17327] ppid=17318 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/17321/task/17327/stat : 17327 (java) S 17318 17321 14331 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 108921334 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140394043829032 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17328] ppid=17318 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/17321/task/17328/stat : 17328 (java) S 17318 17321 14331 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 22 0 108921334 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140394042775976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17329] ppid=17318 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/17321/task/17329/stat : 17329 (java) S 17318 17321 14331 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 22 0 108921334 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140394041723432 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17330] ppid=17318 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/17321/task/17330/stat : 17330 (java) S 17318 17321 14331 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 108921334 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140394040670376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17331] ppid=17318 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/17321/task/17331/stat : 17331 (java) S 17318 17321 14331 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 108921334 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140394039617832 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17332] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17332/stat : 17332 (java) S 17318 17321 14331 0 -1 4202560 937 0 0 0 0 0 0 0 20 0 22 0 108921335 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140394027207528 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17333] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17333/stat : 17333 (java) S 17318 17321 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108921336 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140393907742584 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17334] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17334/stat : 17334 (java) S 17318 17321 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108921336 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140393906689416 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17335] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17335/stat : 17335 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108921338 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140393905638160 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17336] ppid=17318 vsize=9824732 CPUtime=1.25 cores=1,3,5,7 /proc/17321/task/17336/stat : 17336 (java) S 17318 17321 14331 0 -1 4202560 5448 0 0 0 123 2 0 0 20 0 22 0 108921338 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140393904585016 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17337] ppid=17318 vsize=9824732 CPUtime=1.21 cores=1,3,5,7 /proc/17321/task/17337/stat : 17337 (java) S 17318 17321 14331 0 -1 4202560 7273 0 0 0 119 2 0 0 20 0 22 0 108921338 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140393903532472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17338] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17338/stat : 17338 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108921338 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140393902479608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17339] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17339/stat : 17339 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108921338 10060525568 481292 33554432000 1073741824 1073778376 140733220881440 140393901427272 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17340] ppid=17318 vsize=9824732 CPUtime=4.54 cores=1,3,5,7 ################ # More data... # ################ [pid=17321/tid=17326] ppid=17318 vsize=9824732 CPUtime=0.63 cores=1,3,5,7 /proc/17321/task/17326/stat : 17326 (java) S 17318 17321 14331 0 -1 4202560 237 0 0 0 51 12 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394044881576 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17327] ppid=17318 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/17321/task/17327/stat : 17327 (java) S 17318 17321 14331 0 -1 4202560 124 0 0 0 38 5 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394043829032 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17328] ppid=17318 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/17321/task/17328/stat : 17328 (java) S 17318 17321 14331 0 -1 4202560 165 0 0 0 42 7 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394042775976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17329] ppid=17318 vsize=9824732 CPUtime=0.61 cores=1,3,5,7 /proc/17321/task/17329/stat : 17329 (java) S 17318 17321 14331 0 -1 4202560 213 0 0 0 53 8 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394041723432 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17330] ppid=17318 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/17321/task/17330/stat : 17330 (java) S 17318 17321 14331 0 -1 4202560 205 0 0 0 55 9 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394040670376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17331] ppid=17318 vsize=9824732 CPUtime=0.41 cores=1,3,5,7 /proc/17321/task/17331/stat : 17331 (java) S 17318 17321 14331 0 -1 4202560 132 0 0 0 35 6 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394039617832 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17332] ppid=17318 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/17321/task/17332/stat : 17332 (java) S 17318 17321 14331 0 -1 4202560 1684 0 0 0 152 3 0 0 20 0 19 0 108921335 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394027207528 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17333] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17333/stat : 17333 (java) S 17318 17321 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108921336 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393907742584 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17334] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17334/stat : 17334 (java) S 17318 17321 14331 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 108921336 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393906689416 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17335] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17335/stat : 17335 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393905638160 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17336] ppid=17318 vsize=9824732 CPUtime=1.76 cores=1,3,5,7 /proc/17321/task/17336/stat : 17336 (java) S 17318 17321 14331 0 -1 4202560 5464 0 0 0 174 2 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393904585016 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17337] ppid=17318 vsize=9824732 CPUtime=1.62 cores=1,3,5,7 /proc/17321/task/17337/stat : 17337 (java) S 17318 17321 14331 0 -1 4202560 7278 0 0 0 160 2 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393903532472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17338] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17338/stat : 17338 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393902479608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17339] ppid=17318 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/17321/task/17339/stat : 17339 (java) S 17318 17321 14331 0 -1 4202560 15 0 0 0 3 6 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393901427272 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17342] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17342/stat : 17342 (java) S 17318 17321 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108921507 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393898267944 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 522.67 Current children cumulated vsize (KiB) 9824732 [startup+262.401 s] /proc/loadavg: 4.01 4.03 4.00 4/216 17366 /proc/meminfo: memFree=25269932/32872528 swapFree=9100/9100 [pid=17321] ppid=17318 vsize=9824732 CPUtime=523.37 cores=1,3,5,7 /proc/17321/stat : 17321 (java) S 17318 17321 14331 0 -1 4202496 21562 0 1 0 52202 135 0 0 20 0 19 0 108921332 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140733220872576 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17321/statm: 2456183 838511 2302 9 0 2446860 0 [pid=17321/tid=17323] ppid=17318 vsize=9824732 CPUtime=2.3 cores=1,3,5,7 /proc/17321/task/17323/stat : 17323 (java) R 17318 17321 14331 0 -1 4202560 3737 0 1 0 205 25 0 0 20 0 19 0 108921333 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394085495352 140393908017078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17324] ppid=17318 vsize=9824732 CPUtime=0.72 cores=1,3,5,7 /proc/17321/task/17324/stat : 17324 (java) S 17318 17321 14331 0 -1 4202560 237 0 0 0 62 10 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394046987176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17325] ppid=17318 vsize=9824732 CPUtime=0.7 cores=1,3,5,7 /proc/17321/task/17325/stat : 17325 (java) S 17318 17321 14331 0 -1 4202560 191 0 0 0 61 9 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394045934632 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17326] ppid=17318 vsize=9824732 CPUtime=0.63 cores=1,3,5,7 /proc/17321/task/17326/stat : 17326 (java) S 17318 17321 14331 0 -1 4202560 237 0 0 0 51 12 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394044881576 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17327] ppid=17318 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/17321/task/17327/stat : 17327 (java) S 17318 17321 14331 0 -1 4202560 124 0 0 0 38 5 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394043829032 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17328] ppid=17318 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/17321/task/17328/stat : 17328 (java) S 17318 17321 14331 0 -1 4202560 165 0 0 0 42 7 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394042775976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17329] ppid=17318 vsize=9824732 CPUtime=0.61 cores=1,3,5,7 /proc/17321/task/17329/stat : 17329 (java) S 17318 17321 14331 0 -1 4202560 213 0 0 0 53 8 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394041723432 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17330] ppid=17318 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/17321/task/17330/stat : 17330 (java) S 17318 17321 14331 0 -1 4202560 205 0 0 0 55 9 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394040670376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17331] ppid=17318 vsize=9824732 CPUtime=0.41 cores=1,3,5,7 /proc/17321/task/17331/stat : 17331 (java) S 17318 17321 14331 0 -1 4202560 132 0 0 0 35 6 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394039617832 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17332] ppid=17318 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/17321/task/17332/stat : 17332 (java) S 17318 17321 14331 0 -1 4202560 1684 0 0 0 152 3 0 0 20 0 19 0 108921335 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394027207528 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17333] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17333/stat : 17333 (java) S 17318 17321 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108921336 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393907742584 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17334] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17334/stat : 17334 (java) S 17318 17321 14331 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 108921336 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393906689416 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17335] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17335/stat : 17335 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393905638160 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17336] ppid=17318 vsize=9824732 CPUtime=1.76 cores=1,3,5,7 /proc/17321/task/17336/stat : 17336 (java) S 17318 17321 14331 0 -1 4202560 5464 0 0 0 174 2 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393904585016 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17337] ppid=17318 vsize=9824732 CPUtime=1.64 cores=1,3,5,7 /proc/17321/task/17337/stat : 17337 (java) S 17318 17321 14331 0 -1 4202560 7278 0 0 0 162 2 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393903532472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17338] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17338/stat : 17338 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393902479608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17339] ppid=17318 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/17321/task/17339/stat : 17339 (java) S 17318 17321 14331 0 -1 4202560 15 0 0 0 3 6 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393901427272 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17342] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17342/stat : 17342 (java) S 17318 17321 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108921507 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393898267944 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 523.37 Current children cumulated vsize (KiB) 9824732 [startup+262.601 s] /proc/loadavg: 4.01 4.03 4.00 4/216 17366 /proc/meminfo: memFree=25269932/32872528 swapFree=9100/9100 [pid=17321] ppid=17318 vsize=9824732 CPUtime=523.57 cores=1,3,5,7 /proc/17321/stat : 17321 (java) S 17318 17321 14331 0 -1 4202496 21562 0 1 0 52222 135 0 0 20 0 19 0 108921332 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140733220872576 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17321/statm: 2456183 838511 2302 9 0 2446860 0 [pid=17321/tid=17323] ppid=17318 vsize=9824732 CPUtime=2.5 cores=1,3,5,7 /proc/17321/task/17323/stat : 17323 (java) R 17318 17321 14331 0 -1 4202560 3737 0 1 0 225 25 0 0 20 0 19 0 108921333 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394085493248 140393908017072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17324] ppid=17318 vsize=9824732 CPUtime=0.72 cores=1,3,5,7 /proc/17321/task/17324/stat : 17324 (java) S 17318 17321 14331 0 -1 4202560 237 0 0 0 62 10 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394046987176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17325] ppid=17318 vsize=9824732 CPUtime=0.7 cores=1,3,5,7 /proc/17321/task/17325/stat : 17325 (java) S 17318 17321 14331 0 -1 4202560 191 0 0 0 61 9 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394045934632 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17326] ppid=17318 vsize=9824732 CPUtime=0.63 cores=1,3,5,7 /proc/17321/task/17326/stat : 17326 (java) S 17318 17321 14331 0 -1 4202560 237 0 0 0 51 12 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394044881576 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17327] ppid=17318 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/17321/task/17327/stat : 17327 (java) S 17318 17321 14331 0 -1 4202560 124 0 0 0 38 5 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394043829032 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17328] ppid=17318 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/17321/task/17328/stat : 17328 (java) S 17318 17321 14331 0 -1 4202560 165 0 0 0 42 7 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394042775976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17329] ppid=17318 vsize=9824732 CPUtime=0.61 cores=1,3,5,7 /proc/17321/task/17329/stat : 17329 (java) S 17318 17321 14331 0 -1 4202560 213 0 0 0 53 8 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394041723432 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17330] ppid=17318 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/17321/task/17330/stat : 17330 (java) S 17318 17321 14331 0 -1 4202560 205 0 0 0 55 9 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394040670376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17331] ppid=17318 vsize=9824732 CPUtime=0.41 cores=1,3,5,7 /proc/17321/task/17331/stat : 17331 (java) S 17318 17321 14331 0 -1 4202560 132 0 0 0 35 6 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394039617832 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17332] ppid=17318 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/17321/task/17332/stat : 17332 (java) S 17318 17321 14331 0 -1 4202560 1684 0 0 0 152 3 0 0 20 0 19 0 108921335 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394027207528 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17333] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17333/stat : 17333 (java) S 17318 17321 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108921336 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393907742584 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17334] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17334/stat : 17334 (java) S 17318 17321 14331 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 108921336 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393906689416 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17335] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17335/stat : 17335 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393905638160 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17336] ppid=17318 vsize=9824732 CPUtime=1.76 cores=1,3,5,7 /proc/17321/task/17336/stat : 17336 (java) S 17318 17321 14331 0 -1 4202560 5464 0 0 0 174 2 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393904585016 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17337] ppid=17318 vsize=9824732 CPUtime=1.64 cores=1,3,5,7 /proc/17321/task/17337/stat : 17337 (java) S 17318 17321 14331 0 -1 4202560 7278 0 0 0 162 2 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393903532472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17338] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17338/stat : 17338 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393902479608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17339] ppid=17318 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/17321/task/17339/stat : 17339 (java) S 17318 17321 14331 0 -1 4202560 15 0 0 0 3 6 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393901427272 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17342] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17342/stat : 17342 (java) S 17318 17321 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108921507 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393898267944 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 523.57 Current children cumulated vsize (KiB) 9824732 [startup+262.701 s] /proc/loadavg: 4.01 4.03 4.00 4/216 17366 /proc/meminfo: memFree=25269932/32872528 swapFree=9100/9100 [pid=17321] ppid=17318 vsize=9824732 CPUtime=523.67 cores=1,3,5,7 /proc/17321/stat : 17321 (java) S 17318 17321 14331 0 -1 4202496 21563 0 1 0 52232 135 0 0 20 0 19 0 108921332 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140733220872576 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17321/statm: 2456183 838511 2302 9 0 2446860 0 [pid=17321/tid=17323] ppid=17318 vsize=9824732 CPUtime=2.6 cores=1,3,5,7 /proc/17321/task/17323/stat : 17323 (java) R 17318 17321 14331 0 -1 4202560 3738 0 1 0 235 25 0 0 20 0 19 0 108921333 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394085495432 140393909279493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17324] ppid=17318 vsize=9824732 CPUtime=0.72 cores=1,3,5,7 /proc/17321/task/17324/stat : 17324 (java) S 17318 17321 14331 0 -1 4202560 237 0 0 0 62 10 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394046987176 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17325] ppid=17318 vsize=9824732 CPUtime=0.7 cores=1,3,5,7 /proc/17321/task/17325/stat : 17325 (java) S 17318 17321 14331 0 -1 4202560 191 0 0 0 61 9 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394045934632 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17326] ppid=17318 vsize=9824732 CPUtime=0.63 cores=1,3,5,7 /proc/17321/task/17326/stat : 17326 (java) S 17318 17321 14331 0 -1 4202560 237 0 0 0 51 12 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394044881576 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17327] ppid=17318 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/17321/task/17327/stat : 17327 (java) S 17318 17321 14331 0 -1 4202560 124 0 0 0 38 5 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394043829032 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17328] ppid=17318 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/17321/task/17328/stat : 17328 (java) S 17318 17321 14331 0 -1 4202560 165 0 0 0 42 7 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394042775976 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17329] ppid=17318 vsize=9824732 CPUtime=0.61 cores=1,3,5,7 /proc/17321/task/17329/stat : 17329 (java) S 17318 17321 14331 0 -1 4202560 213 0 0 0 53 8 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394041723432 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17330] ppid=17318 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/17321/task/17330/stat : 17330 (java) S 17318 17321 14331 0 -1 4202560 205 0 0 0 55 9 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394040670376 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17331] ppid=17318 vsize=9824732 CPUtime=0.41 cores=1,3,5,7 /proc/17321/task/17331/stat : 17331 (java) S 17318 17321 14331 0 -1 4202560 132 0 0 0 35 6 0 0 20 0 19 0 108921334 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394039617832 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17332] ppid=17318 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/17321/task/17332/stat : 17332 (java) S 17318 17321 14331 0 -1 4202560 1684 0 0 0 152 3 0 0 20 0 19 0 108921335 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140394027207528 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17333] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17333/stat : 17333 (java) S 17318 17321 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108921336 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393907742584 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17334] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17334/stat : 17334 (java) S 17318 17321 14331 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 108921336 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393906689416 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17335] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17335/stat : 17335 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393905638160 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17336] ppid=17318 vsize=9824732 CPUtime=1.76 cores=1,3,5,7 /proc/17321/task/17336/stat : 17336 (java) S 17318 17321 14331 0 -1 4202560 5464 0 0 0 174 2 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393904585016 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17321/tid=17337] ppid=17318 vsize=9824732 CPUtime=1.64 cores=1,3,5,7 /proc/17321/task/17337/stat : 17337 (java) S 17318 17321 14331 0 -1 4202560 7278 0 0 0 162 2 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393903532472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17321/tid=17338] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17338/stat : 17338 (java) S 17318 17321 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393902479608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17321/tid=17339] ppid=17318 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/17321/task/17339/stat : 17339 (java) S 17318 17321 14331 0 -1 4202560 15 0 0 0 3 6 0 0 20 0 19 0 108921338 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393901427272 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17321/tid=17342] ppid=17318 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17321/task/17342/stat : 17342 (java) S 17318 17321 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108921507 10060525568 838511 33554432000 1073741824 1073778376 140733220881440 140393898267944 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 523.67 Current children cumulated vsize (KiB) 9824732 Child status: 30 Real time (s): 262.78 CPU time (s): 523.886 CPU user time (s): 522.343 CPU system time (s): 1.54377 CPU usage (%): 199.363 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 522.343 system time used= 1.54377 maximum resident set size= 3354076 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21576 page faults= 1 swaps= 0 block input operations= 0 block output operations= 344 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7358 involuntary context switches= 5990 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.79973 second user time and 2.49562 second system time The end
Begin job on node151 at 2016-06-07 05:25:02 IDJOB=4080839 IDBENCH=89891 IDSOLVER=2543 FILE ID=node151/4080839-1465269902 RUNJOBID= node151-1465261736-14348 PBS_JOBID= 19843295 Free space on /tmp= 71744 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-ns1685374.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080839-1465269902/watcher-4080839-1465269902 -o /tmp/evaluation-result-4080839-1465269902/solver-4080839-1465269902 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465261736-14348 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080839-1465269902.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 50acc4afebeb32cddb95c5011f072af8 RANDOM SEED=1743167129 node151.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.334 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.66 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.334 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.334 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.55 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.334 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.334 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.55 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.334 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.334 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.54 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.334 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29457008 kB Buffers: 75704 kB Cached: 171108 kB SwapCached: 2184 kB Active: 2493348 kB Inactive: 149644 kB Active(anon): 2396892 kB Inactive(anon): 1808 kB Active(file): 96456 kB Inactive(file): 147836 kB Unevictable: 9100 kB Mlocked: 9100 kB SwapTotal: 67108856 kB SwapFree: 67098860 kB Dirty: 2428 kB Writeback: 0 kB AnonPages: 2488108 kB Mapped: 16512 kB Shmem: 0 kB Slab: 610372 kB SReclaimable: 54020 kB SUnreclaim: 556352 kB KernelStack: 1808 kB PageTables: 8968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3274416 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2433024 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= 71744 MiB End job on node151 at 2016-06-07 05:29:25