Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 1801.74 | 906.958 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_4.opb |
| MD5SUM | b9760eca078029bee17418839cb4525f |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3452273 |
| Best CPU time to get the best result obtained on this benchmark | 1800.15 |
| 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 | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 153130375 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 77399784670 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 153130375 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 77399784670 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.07 c See www.sat4j.org for details. 0.04/0.08 c version 2.2.0.v20100531 0.04/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.08 c java.vm.version 19.1-b02 0.04/0.08 c java.vm.vendor Sun Microsystems Inc. 0.04/0.08 c sun.arch.data.model 64 0.04/0.08 c java.version 1.6.0_24 0.04/0.08 c os.name Linux 0.04/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.08 c os.arch amd64 0.04/0.08 c Free memory 1349517296 0.04/0.08 c Max memory 1356595200 0.04/0.08 c Total memory 1356595200 0.04/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c Stops conflict analysis at the first Unique Implication Point 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c Stops conflict analysis at the first Unique Implication Point 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5b2558d6 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 0.10/0.11 c solving HOME/instance-3744316-1338806900.opb 0.10/0.11 c reading problem ... 1.42/0.65 c ... done. Wall clock time 0.542s. 1.42/0.65 c #vars 9940 1.42/0.65 c #constraints 24648 1.42/0.65 c constraints type 1.42/0.65 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.42/0.65 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.42/0.65 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.42/0.65 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2625 1.42/0.65 c constraints type 1.42/0.65 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390 1.42/0.65 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486 1.42/0.65 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1.42/0.65 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2625 3.60/1.23 c And the winner is Resolution 3.79/1.71 c SATISFIABLE 3.79/1.71 c OPTIMIZING... 3.79/1.71 c Got one! Elapsed wall clock time (in seconds):1.598 3.79/1.71 o 3499455 4.04/1.85 c And the winner is Resolution 4.19/2.78 c Got one! Elapsed wall clock time (in seconds):2.669 4.19/2.78 o 3480389 4.30/2.86 c And the winner is Resolution 4.47/3.85 c Got one! Elapsed wall clock time (in seconds):3.739 4.47/3.85 o 3471965 4.63/3.92 c And the winner is Resolution 4.94/4.92 c Got one! Elapsed wall clock time (in seconds):4.811 4.94/4.92 o 3471695 4.94/4.98 c And the winner is Resolution 5.16/5.99 c Got one! Elapsed wall clock time (in seconds):5.879 5.16/5.99 o 3465599 5.23/6.05 c And the winner is Resolution 5.42/7.06 c Got one! Elapsed wall clock time (in seconds):6.948 5.42/7.06 o 3464927 5.55/7.19 c And the winner is Resolution 5.81/8.12 c Got one! Elapsed wall clock time (in seconds):8.016 5.81/8.12 o 3462929 24.76/17.48 c cleaning 2500 clauses out of 5001 with flag 5001/5001 42.80/26.34 c cleaning 4248 clauses out of 8500 with flag 11000/11000 64.04/36.75 c cleaning 5619 clauses out of 11252 with flag 18000/18000 92.62/51.04 c cleaning 6812 clauses out of 13633 with flag 26000/26000 121.54/65.58 c cleaning 7904 clauses out of 15822 with flag 35001/35001 144.08/76.80 c cleaning 8954 clauses out of 17916 with flag 45000/45000 163.21/86.41 c cleaning 9977 clauses out of 19962 with flag 56000/56000 176.12/92.98 c cleaning 10984 clauses out of 21985 with flag 68000/68000 205.79/107.88 c cleaning 12001 clauses out of 24001 with flag 81000/81000 249.52/129.71 c cleaning 12968 clauses out of 26001 with flag 95001/95001 293.29/151.63 c cleaning 14004 clauses out of 28032 with flag 110001/110001 319.71/164.85 c cleaning 15008 clauses out of 30027 with flag 126000/126000 365.20/187.54 c cleaning 15962 clauses out of 32021 with flag 143002/143002 391.60/200.75 c cleaning 17017 clauses out of 34057 with flag 161000/161000 415.86/212.97 c cleaning 18022 clauses out of 36043 with flag 180003/180003 447.53/228.71 c cleaning 19008 clauses out of 38018 with flag 200000/200000 483.18/246.60 c cleaning 19996 clauses out of 40010 with flag 221000/221000 507.67/258.98 c cleaning 21000 clauses out of 42015 with flag 243001/243001 534.95/272.60 c cleaning 22008 clauses out of 44015 with flag 266001/266001 589.83/300.09 c cleaning 22994 clauses out of 46005 with flag 290000/290000 618.67/314.50 c cleaning 23999 clauses out of 48012 with flag 315001/315001 645.98/328.20 c cleaning 24498 clauses out of 49013 with flag 340001/340001 682.88/346.72 c cleaning 24752 clauses out of 49514 with flag 365000/365000 733.79/372.26 c cleaning 24874 clauses out of 49763 with flag 390001/390001 772.87/391.89 c cleaning 24938 clauses out of 49889 with flag 415001/415001 820.30/415.54 c cleaning 24967 clauses out of 49951 with flag 440001/440001 857.83/434.36 c cleaning 24980 clauses out of 49983 with flag 465000/465000 909.46/460.14 c cleaning 24988 clauses out of 50003 with flag 490000/490000 937.06/474.01 c cleaning 24996 clauses out of 50016 with flag 515001/515001 968.01/489.52 c cleaning 25005 clauses out of 50019 with flag 540000/540000 1000.71/505.96 c cleaning 24998 clauses out of 50015 with flag 565001/565001 1032.16/521.76 c cleaning 24995 clauses out of 50016 with flag 590000/590000 1069.93/540.63 c cleaning 24996 clauses out of 50021 with flag 615000/615000 1100.04/555.76 c cleaning 25005 clauses out of 50025 with flag 640000/640000 1130.40/570.91 c cleaning 25001 clauses out of 50021 with flag 665001/665001 1157.08/584.30 c cleaning 24992 clauses out of 50021 with flag 690002/690002 1185.86/598.80 c cleaning 24998 clauses out of 50027 with flag 715000/715000 1215.66/613.72 c cleaning 25002 clauses out of 50030 with flag 740001/740001 1241.71/626.84 c cleaning 24998 clauses out of 50027 with flag 765000/765000 1267.57/639.82 c cleaning 24996 clauses out of 50029 with flag 790000/790000 1300.67/656.42 c cleaning 25007 clauses out of 50033 with flag 815000/815000 1325.53/668.96 c cleaning 25005 clauses out of 50026 with flag 840000/840000 1350.43/681.48 c cleaning 25004 clauses out of 50021 with flag 865000/865000 1377.96/695.21 c cleaning 25005 clauses out of 50018 with flag 890001/890001 1439.62/726.01 c cleaning 24997 clauses out of 50013 with flag 915001/915001 1472.58/742.55 c cleaning 24997 clauses out of 50015 with flag 940000/940000 1509.93/761.27 c cleaning 24994 clauses out of 50019 with flag 965001/965001 1537.90/775.28 c cleaning 24993 clauses out of 50025 with flag 990001/990001 1563.34/788.06 c cleaning 25001 clauses out of 50031 with flag 1015000/1015000 1592.14/802.47 c cleaning 24995 clauses out of 50030 with flag 1040000/1040000 1620.06/816.41 c cleaning 24994 clauses out of 50035 with flag 1065000/1065000 1648.59/830.73 c cleaning 25006 clauses out of 50041 with flag 1090000/1090000 1676.00/844.55 c cleaning 25007 clauses out of 50035 with flag 1115000/1115000 1704.06/858.64 c cleaning 25004 clauses out of 50030 with flag 1140002/1140002 1731.58/872.47 c cleaning 24994 clauses out of 50024 with flag 1165000/1165000 1759.12/886.22 c cleaning 25006 clauses out of 50030 with flag 1190000/1190000 1784.89/899.22 c cleaning 25004 clauses out of 50025 with flag 1215001/1215001 1800.17/906.91 c starts : 197 1800.17/906.91 c conflicts : 1230549 1800.17/906.91 c decisions : 1634098 1800.17/906.91 c propagations : 109242478 1800.17/906.91 c inspects : 643766143 1800.17/906.91 c learnt literals : 3 1800.17/906.91 c learnt binary clauses : 378 1800.17/906.91 c learnt ternary clauses : 15347 1800.17/906.91 c learnt clauses : 1230546 1800.17/906.91 c ignored clauses : 0 1800.17/906.91 c root simplifications : 0 1800.17/906.91 c removed literals (reason simplification) : 140570077 1800.17/906.91 c reason swapping (by a shorter reason) : 0 1800.17/906.91 c Calls to reduceDB : 57 1800.17/906.91 c number of reductions to clauses (during analyze) : 0 1800.17/906.91 c number of learned constraints concerned by reduction : 0 1800.17/906.91 c number of learning phase by resolution : 0 1800.17/906.91 c number of learning phase by cutting planes : 0 1800.17/906.91 c speed (assignments/second) : 121546.7823211526 1800.17/906.91 c non guided choices 637 1800.17/906.93 c learnt constraints type 1800.17/906.93 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 40226 1800.17/906.93 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 378 1800.17/906.93 c constraints type 1800.17/906.93 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1800.17/906.93 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.17/906.93 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1800.17/906.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2626 1800.17/906.93 c constraints type 1800.17/906.93 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390 1800.17/906.93 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486 1800.17/906.93 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1800.17/906.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2626 1800.17/906.93 s SATISFIABLE 1800.17/906.94 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 1800.17/906.95 c objective function=3462929 1800.17/906.95 c Total wall clock time (in seconds): 906.839
OK 3462929
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744316-1338806900/watcher-3744316-1338806900 -o /tmp/evaluation-result-3744316-1338806900/solver-3744316-1338806900 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744316-1338806900.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.85 3.81 3.71 3/194 2735 /proc/meminfo: memFree=20770960/32873844 swapFree=7112/7112 [pid=2735] ppid=2733 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/2735/stat : 2735 (java) R 2733 2735 6982 0 -1 4202496 987 0 0 0 0 0 0 0 20 0 1 0 346818572 23793664 714 33554432000 1073741824 1073778376 140735615987488 140735615976552 235365512552 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/2735/statm: 5809 714 529 9 0 128 0 [startup+0.066483 s] /proc/loadavg: 3.85 3.81 3.71 3/194 2735 /proc/meminfo: memFree=20770960/32873844 swapFree=7112/7112 [pid=2735] ppid=2733 vsize=2699928 CPUtime=0.04 cores=0,2,4,6 /proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 3856 0 1 0 4 0 0 0 20 0 18 0 346818572 2764726272 5575 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2735/statm: 674982 5575 1759 9 0 665676 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2699928 [startup+0.100305 s] /proc/loadavg: 3.85 3.81 3.71 3/194 2735 /proc/meminfo: memFree=20770960/32873844 swapFree=7112/7112 [pid=2735] ppid=2733 vsize=2699928 CPUtime=0.1 cores=0,2,4,6 /proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 4725 0 1 0 9 1 0 0 20 0 18 0 346818572 2764726272 6421 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2735/statm: 674982 6421 2109 9 0 665676 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2699928 [startup+0.300161 s] /proc/loadavg: 3.85 3.81 3.71 3/194 2735 /proc/meminfo: memFree=20770960/32873844 swapFree=7112/7112 [pid=2735] ppid=2733 vsize=2699928 CPUtime=0.52 cores=0,2,4,6 /proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 6851 0 1 0 50 2 0 0 20 0 18 0 346818572 2764726272 11327 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2735/statm: 674982 11327 2220 9 0 665676 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 2699928 [startup+0.700172 s] /proc/loadavg: 3.85 3.81 3.71 3/194 2735 /proc/meminfo: memFree=20770960/32873844 swapFree=7112/7112 [pid=2735] ppid=2733 vsize=2833056 CPUtime=1.7 cores=0,2,4,6 /proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 15481 0 1 0 166 4 0 0 20 0 20 0 346818572 2901049344 31215 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2735/statm: 708264 31215 2246 9 0 698958 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 2833056 [startup+1.5007 s] /proc/loadavg: 3.85 3.81 3.71 6/215 2757 /proc/meminfo: memFree=20626700/32873844 swapFree=7112/7112 [pid=2735] ppid=2733 vsize=2966184 CPUtime=3.74 cores=0,2,4,6 /proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 17069 0 1 0 368 6 0 0 20 0 20 0 346818572 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2735/statm: 741546 54334 2261 9 0 732240 0 [pid=2735/tid=2737] ppid=2733 vsize=2966184 CPUtime=0.63 cores=0,2,4,6 /proc/2735/task/2737/stat : 2737 (java) S 2733 2735 6982 0 -1 4202560 2828 0 1 0 61 2 0 0 20 0 20 0 346818573 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651723465880 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2738] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2738/stat : 2738 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651707746472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2739] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2739/stat : 2739 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651706693928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2740] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2740/stat : 2740 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651705641384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2741] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2741/stat : 2741 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651704588840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2742] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2742/stat : 2742 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651703536296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2743] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2743/stat : 2743 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651702483752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2744] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2744/stat : 2744 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651701431208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2745] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2745/stat : 2745 (java) S 2733 2735 6982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651700378664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2746] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2746/stat : 2746 (java) S 2733 2735 6982 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651687966824 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2747] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2747/stat : 2747 (java) S 2733 2735 6982 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651686913144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2748] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2748/stat : 2748 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651685860488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2749] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2749/stat : 2749 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651684809232 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2750] ppid=2733 vsize=2966184 CPUtime=0.9 cores=0,2,4,6 /proc/2735/task/2750/stat : 2750 (java) S 2733 2735 6982 0 -1 4202560 6895 0 0 0 89 1 0 0 20 0 20 0 346818578 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651683756600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2751] ppid=2733 vsize=2966184 CPUtime=1 cores=0,2,4,6 /proc/2735/task/2751/stat : 2751 (java) S 2733 2735 6982 0 -1 4202560 6003 0 0 0 99 1 0 0 20 0 20 0 346818578 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651682704056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2752] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2752/stat : 2752 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651681651704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2753] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2753/stat : 2753 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651680599368 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2756] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2756/stat : 2756 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346818652 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651677439016 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2757] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2757/stat : 2757 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346818652 3037372416 54334 33554432000 1073741824 1073778376 140735615987488 139651676386472 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.74 Current children cumulated vsize (KiB) 2966184 [startup+3.10071 s] /proc/loadavg: 3.85 3.81 3.71 3/215 2761 /proc/meminfo: memFree=20495008/32873844 swapFree=7112/7112 [pid=2735] ppid=2733 vsize=2966184 CPUtime=4.47 cores=0,2,4,6 /proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 17123 0 1 0 436 11 0 0 20 0 20 0 346818572 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2735/statm: 741546 77374 2261 9 0 732240 0 [pid=2735/tid=2737] ppid=2733 vsize=2966184 CPUtime=0.79 cores=0,2,4,6 /proc/2735/task/2737/stat : 2737 (java) S 2733 2735 6982 0 -1 4202560 2835 0 1 0 76 3 0 0 20 0 20 0 346818573 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651723465880 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2738] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2738/stat : 2738 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651707746472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2739] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2739/stat : 2739 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651706693928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2740] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2740/stat : 2740 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651705641384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2741] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2741/stat : 2741 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651704588840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2742] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2742/stat : 2742 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651703536296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2743] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2743/stat : 2743 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651702483752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2744] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2744/stat : 2744 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651701431208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2745] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2745/stat : 2745 (java) S 2733 2735 6982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651700378664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2746] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2746/stat : 2746 (java) S 2733 2735 6982 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651687966824 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2747] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2747/stat : 2747 (java) S 2733 2735 6982 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651686913144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2748] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2748/stat : 2748 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651685860488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2749] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2749/stat : 2749 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651684809232 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2750] ppid=2733 vsize=2966184 CPUtime=1.02 cores=0,2,4,6 /proc/2735/task/2750/stat : 2750 (java) S 2733 2735 6982 0 -1 4202560 6895 0 0 0 100 2 0 0 20 0 20 0 346818578 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651683756600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2751] ppid=2733 vsize=2966184 CPUtime=1.05 cores=0,2,4,6 /proc/2735/task/2751/stat : 2751 (java) S 2733 2735 6982 0 -1 4202560 6003 0 0 0 104 1 0 0 20 0 20 0 346818578 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651682704056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2752] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2752/stat : 2752 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651681651704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2753] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2753/stat : 2753 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651680599368 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2756] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2756/stat : 2756 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346818652 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651677439016 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2757] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2757/stat : 2757 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346818652 3037372416 77374 33554432000 1073741824 1073778376 140735615987488 139651676386472 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.47 Current children cumulated vsize (KiB) 2966184 [startup+6.30077 s] /proc/loadavg: 3.78 3.79 3.70 3/215 2769 /proc/meminfo: memFree=20348972/32873844 swapFree=7112/7112 [pid=2735] ppid=2733 vsize=2966184 CPUtime=5.42 cores=0,2,4,6 /proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 17232 0 1 0 524 18 0 0 20 0 20 0 346818572 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2735/statm: 741546 99794 2275 9 0 732240 0 [pid=2735/tid=2737] ppid=2733 vsize=2966184 CPUtime=0.98 cores=0,2,4,6 /proc/2735/task/2737/stat : 2737 (java) S 2733 2735 6982 0 -1 4202560 2839 0 1 0 95 3 0 0 20 0 20 0 346818573 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651723465896 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2738] ppid=2733 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/2735/task/2738/stat : 2738 (java) S 2733 2735 6982 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651707746472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2739] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2739/stat : 2739 (java) S 2733 2735 6982 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651706693928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2740] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2740/stat : 2740 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651705641384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2741] ppid=2733 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/2735/task/2741/stat : 2741 (java) S 2733 2735 6982 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651704588840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2742] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2742/stat : 2742 (java) S 2733 2735 6982 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651703536296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2743] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2743/stat : 2743 (java) S 2733 2735 6982 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651702483752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2744] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2744/stat : 2744 (java) S 2733 2735 6982 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651701431208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2745] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2745/stat : 2745 (java) S 2733 2735 6982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346818574 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651700378664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2746] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2746/stat : 2746 (java) S 2733 2735 6982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651687966824 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2747] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2747/stat : 2747 (java) S 2733 2735 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651686913144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2748] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2748/stat : 2748 (java) S 2733 2735 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346818575 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651685860488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2749] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2749/stat : 2749 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651684809232 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2750] ppid=2733 vsize=2966184 CPUtime=1.06 cores=0,2,4,6 /proc/2735/task/2750/stat : 2750 (java) S 2733 2735 6982 0 -1 4202560 6895 0 0 0 104 2 0 0 20 0 20 0 346818578 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651683756600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2751] ppid=2733 vsize=2966184 CPUtime=1.1 cores=0,2,4,6 /proc/2735/task/2751/stat : 2751 (java) S 2733 2735 6982 0 -1 4202560 6003 0 0 0 108 2 0 0 20 0 20 0 346818578 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651682704056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2752] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2752/stat : 2752 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651681651704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2753] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2753/stat : 2753 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346818578 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651680599368 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2756] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2756/stat : 2756 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346818652 3037372416 99794 33554432000 1073741824 1073778376 140735615987488 139651677439016 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=2735/tid=2757] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2757/stat : 2757 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346818652 3037372416 159947 33554432000 1073741824 1073778376 140735615987488 139651676386472 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2774] ppid=2733 vsize=2966184 CPUtime=799.41 cores=0,2,4,6 /proc/2735/task/2774/stat : 2774 (java) R 2733 2735 6982 0 -1 4202560 579 0 0 0 79925 16 0 0 20 0 22 0 346819387 3037372416 159947 33554432000 1073741824 1073778376 140735615987488 139651678489776 139651550666114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2775] ppid=2733 vsize=2966184 CPUtime=799.4 cores=0,2,4,6 /proc/2735/task/2775/stat : 2775 (java) R 2733 2735 6982 0 -1 4202560 687 0 0 0 79923 17 0 0 20 0 22 0 346819387 3037372416 159947 33554432000 1073741824 1073778376 140735615987488 139651679541328 139651550007985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1631.75 Current children cumulated vsize (KiB) 2966184 [startup+882.301 s] /proc/loadavg: 3.91 3.93 3.83 5/217 2815 /proc/meminfo: memFree=19802912/32873844 swapFree=7112/7112 [pid=2735] ppid=2733 vsize=2966184 CPUtime=1751.28 cores=0,2,4,6 /proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 45748 0 1 0 174971 157 0 0 20 0 22 0 346818572 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2735/statm: 741546 160002 2289 9 0 732240 0 [pid=2735/tid=2737] ppid=2733 vsize=2966184 CPUtime=1.13 cores=0,2,4,6 /proc/2735/task/2737/stat : 2737 (java) S 2733 2735 6982 0 -1 4202560 2850 0 1 0 110 3 0 0 20 0 22 0 346818573 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651723465896 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2738] ppid=2733 vsize=2966184 CPUtime=2.51 cores=0,2,4,6 /proc/2735/task/2738/stat : 2738 (java) S 2733 2735 6982 0 -1 4202560 155 0 0 0 244 7 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651707746472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2739] ppid=2733 vsize=2966184 CPUtime=2.48 cores=0,2,4,6 /proc/2735/task/2739/stat : 2739 (java) S 2733 2735 6982 0 -1 4202560 150 0 0 0 243 5 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651706693928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2740] ppid=2733 vsize=2966184 CPUtime=2.59 cores=0,2,4,6 /proc/2735/task/2740/stat : 2740 (java) S 2733 2735 6982 0 -1 4202560 111 0 0 0 254 5 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651705641384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2741] ppid=2733 vsize=2966184 CPUtime=2.55 cores=0,2,4,6 /proc/2735/task/2741/stat : 2741 (java) S 2733 2735 6982 0 -1 4202560 144 0 0 0 249 6 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651704588840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2742] ppid=2733 vsize=2966184 CPUtime=2.54 cores=0,2,4,6 /proc/2735/task/2742/stat : 2742 (java) S 2733 2735 6982 0 -1 4202560 129 0 0 0 249 5 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651703536296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2743] ppid=2733 vsize=2966184 CPUtime=2.42 cores=0,2,4,6 /proc/2735/task/2743/stat : 2743 (java) S 2733 2735 6982 0 -1 4202560 126 0 0 0 236 6 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651702483752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2744] ppid=2733 vsize=2966184 CPUtime=2.45 cores=0,2,4,6 /proc/2735/task/2744/stat : 2744 (java) S 2733 2735 6982 0 -1 4202560 143 0 0 0 238 7 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651701431208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2745] ppid=2733 vsize=2966184 CPUtime=2.51 cores=0,2,4,6 /proc/2735/task/2745/stat : 2745 (java) S 2733 2735 6982 0 -1 4202560 147 0 0 0 245 6 0 0 20 0 22 0 346818574 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651700378664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2746] ppid=2733 vsize=2966184 CPUtime=8.84 cores=0,2,4,6 /proc/2735/task/2746/stat : 2746 (java) S 2733 2735 6982 0 -1 4202560 19577 0 0 0 813 71 0 0 20 0 22 0 346818575 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651687966824 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2747] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2747/stat : 2747 (java) S 2733 2735 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346818575 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651686913144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2748] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2748/stat : 2748 (java) S 2733 2735 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346818575 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651685860488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2749] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2749/stat : 2749 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346818578 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651684809232 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2750] ppid=2733 vsize=2966184 CPUtime=1.66 cores=0,2,4,6 /proc/2735/task/2750/stat : 2750 (java) S 2733 2735 6982 0 -1 4202560 13338 0 0 0 163 3 0 0 20 0 22 0 346818578 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651683756600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2751] ppid=2733 vsize=2966184 CPUtime=1.42 cores=0,2,4,6 /proc/2735/task/2751/stat : 2751 (java) S 2733 2735 6982 0 -1 4202560 6019 0 0 0 140 2 0 0 20 0 22 0 346818578 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651682704056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2752] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2752/stat : 2752 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346818578 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651681651704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2753] ppid=2733 vsize=2966184 CPUtime=0.28 cores=0,2,4,6 /proc/2735/task/2753/stat : 2753 (java) S 2733 2735 6982 0 -1 4202560 50 0 0 0 16 12 0 0 20 0 22 0 346818578 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651680599368 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2756] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2756/stat : 2756 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346818652 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651677439016 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2757] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2757/stat : 2757 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346818652 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651676386472 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2774] ppid=2733 vsize=2966184 CPUtime=858.28 cores=0,2,4,6 /proc/2735/task/2774/stat : 2774 (java) R 2733 2735 6982 0 -1 4202560 638 0 0 0 85810 18 0 0 20 0 22 0 346819387 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651678489808 139651550447287 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2775] ppid=2733 vsize=2966184 CPUtime=858.26 cores=0,2,4,6 /proc/2735/task/2775/stat : 2775 (java) R 2733 2735 6982 0 -1 4202560 733 0 0 0 85808 18 0 0 20 0 22 0 346819387 3037372416 160002 33554432000 1073741824 1073778376 140735615987488 139651679541328 139651550637504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1751.28 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+906.901 s] /proc/loadavg: 3.94 3.94 3.83 5/217 2879 /proc/meminfo: memFree=20135884/32873844 swapFree=7112/7112 [pid=2735] ppid=2733 vsize=2966184 CPUtime=1800.17 cores=0,2,4,6 /proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 46603 0 1 0 179857 160 0 0 20 0 22 0 346818572 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2735/statm: 741546 160032 2289 9 0 732240 0 [pid=2735/tid=2737] ppid=2733 vsize=2966184 CPUtime=1.13 cores=0,2,4,6 /proc/2735/task/2737/stat : 2737 (java) S 2733 2735 6982 0 -1 4202560 2851 0 1 0 110 3 0 0 20 0 22 0 346818573 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651723465896 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2738] ppid=2733 vsize=2966184 CPUtime=2.56 cores=0,2,4,6 /proc/2735/task/2738/stat : 2738 (java) S 2733 2735 6982 0 -1 4202560 164 0 0 0 249 7 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651707746472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2739] ppid=2733 vsize=2966184 CPUtime=2.53 cores=0,2,4,6 /proc/2735/task/2739/stat : 2739 (java) S 2733 2735 6982 0 -1 4202560 153 0 0 0 248 5 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651706693928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2740] ppid=2733 vsize=2966184 CPUtime=2.65 cores=0,2,4,6 /proc/2735/task/2740/stat : 2740 (java) S 2733 2735 6982 0 -1 4202560 113 0 0 0 260 5 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651705641384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2741] ppid=2733 vsize=2966184 CPUtime=2.6 cores=0,2,4,6 /proc/2735/task/2741/stat : 2741 (java) S 2733 2735 6982 0 -1 4202560 144 0 0 0 254 6 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651704588840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2742] ppid=2733 vsize=2966184 CPUtime=2.59 cores=0,2,4,6 /proc/2735/task/2742/stat : 2742 (java) S 2733 2735 6982 0 -1 4202560 137 0 0 0 254 5 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651703536296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2743] ppid=2733 vsize=2966184 CPUtime=2.47 cores=0,2,4,6 /proc/2735/task/2743/stat : 2743 (java) S 2733 2735 6982 0 -1 4202560 131 0 0 0 241 6 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651702483752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2744] ppid=2733 vsize=2966184 CPUtime=2.48 cores=0,2,4,6 /proc/2735/task/2744/stat : 2744 (java) S 2733 2735 6982 0 -1 4202560 144 0 0 0 241 7 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651701431208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2745] ppid=2733 vsize=2966184 CPUtime=2.56 cores=0,2,4,6 /proc/2735/task/2745/stat : 2745 (java) S 2733 2735 6982 0 -1 4202560 147 0 0 0 250 6 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651700378664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2746] ppid=2733 vsize=2966184 CPUtime=9.21 cores=0,2,4,6 /proc/2735/task/2746/stat : 2746 (java) S 2733 2735 6982 0 -1 4202560 20357 0 0 0 848 73 0 0 20 0 22 0 346818575 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651687966824 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2747] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2747/stat : 2747 (java) S 2733 2735 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346818575 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651686913144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2748] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2748/stat : 2748 (java) S 2733 2735 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346818575 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651685860488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2749] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2749/stat : 2749 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651684809232 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2750] ppid=2733 vsize=2966184 CPUtime=1.66 cores=0,2,4,6 /proc/2735/task/2750/stat : 2750 (java) S 2733 2735 6982 0 -1 4202560 13338 0 0 0 163 3 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651683756600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2751] ppid=2733 vsize=2966184 CPUtime=1.42 cores=0,2,4,6 /proc/2735/task/2751/stat : 2751 (java) S 2733 2735 6982 0 -1 4202560 6019 0 0 0 140 2 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651682704056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2752] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2752/stat : 2752 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651681651704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2753] ppid=2733 vsize=2966184 CPUtime=0.29 cores=0,2,4,6 /proc/2735/task/2753/stat : 2753 (java) S 2733 2735 6982 0 -1 4202560 52 0 0 0 16 13 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651680599368 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2756] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2756/stat : 2756 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346818652 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651677439016 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2757] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2757/stat : 2757 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346818652 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651676386472 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2774] ppid=2733 vsize=2966184 CPUtime=882.35 cores=0,2,4,6 /proc/2735/task/2774/stat : 2774 (java) R 2733 2735 6982 0 -1 4202560 670 0 0 0 88217 18 0 0 20 0 22 0 346819387 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651678488864 139651550556071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2775] ppid=2733 vsize=2966184 CPUtime=882.35 cores=0,2,4,6 /proc/2735/task/2775/stat : 2775 (java) R 2733 2735 6982 0 -1 4202560 745 0 0 0 88217 18 0 0 20 0 22 0 346819387 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651679542224 139651550008045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 2966184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+906.901 s] /proc/loadavg: 3.94 3.94 3.83 5/217 2879 /proc/meminfo: memFree=20135884/32873844 swapFree=7112/7112 [pid=2735] ppid=2733 vsize=2966184 CPUtime=1800.17 cores=0,2,4,6 /proc/2735/stat : 2735 (java) S 2733 2735 6982 0 -1 4202496 46603 0 1 0 179857 160 0 0 20 0 22 0 346818572 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 140735615978624 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2735/statm: 741546 160032 2289 9 0 732240 0 [pid=2735/tid=2737] ppid=2733 vsize=2966184 CPUtime=1.13 cores=0,2,4,6 /proc/2735/task/2737/stat : 2737 (java) S 2733 2735 6982 0 -1 4202560 2851 0 1 0 110 3 0 0 20 0 22 0 346818573 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651723465896 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2738] ppid=2733 vsize=2966184 CPUtime=2.56 cores=0,2,4,6 /proc/2735/task/2738/stat : 2738 (java) S 2733 2735 6982 0 -1 4202560 164 0 0 0 249 7 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651707746472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2739] ppid=2733 vsize=2966184 CPUtime=2.53 cores=0,2,4,6 /proc/2735/task/2739/stat : 2739 (java) S 2733 2735 6982 0 -1 4202560 153 0 0 0 248 5 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651706693928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2740] ppid=2733 vsize=2966184 CPUtime=2.65 cores=0,2,4,6 /proc/2735/task/2740/stat : 2740 (java) S 2733 2735 6982 0 -1 4202560 113 0 0 0 260 5 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651705641384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2741] ppid=2733 vsize=2966184 CPUtime=2.6 cores=0,2,4,6 /proc/2735/task/2741/stat : 2741 (java) S 2733 2735 6982 0 -1 4202560 144 0 0 0 254 6 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651704588840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2742] ppid=2733 vsize=2966184 CPUtime=2.59 cores=0,2,4,6 /proc/2735/task/2742/stat : 2742 (java) S 2733 2735 6982 0 -1 4202560 137 0 0 0 254 5 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651703536296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2743] ppid=2733 vsize=2966184 CPUtime=2.47 cores=0,2,4,6 /proc/2735/task/2743/stat : 2743 (java) S 2733 2735 6982 0 -1 4202560 131 0 0 0 241 6 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651702483752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2744] ppid=2733 vsize=2966184 CPUtime=2.48 cores=0,2,4,6 /proc/2735/task/2744/stat : 2744 (java) S 2733 2735 6982 0 -1 4202560 144 0 0 0 241 7 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651701431208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2745] ppid=2733 vsize=2966184 CPUtime=2.56 cores=0,2,4,6 /proc/2735/task/2745/stat : 2745 (java) S 2733 2735 6982 0 -1 4202560 147 0 0 0 250 6 0 0 20 0 22 0 346818574 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651700378664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2746] ppid=2733 vsize=2966184 CPUtime=9.21 cores=0,2,4,6 /proc/2735/task/2746/stat : 2746 (java) S 2733 2735 6982 0 -1 4202560 20357 0 0 0 848 73 0 0 20 0 22 0 346818575 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651687966824 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2747] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2747/stat : 2747 (java) S 2733 2735 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346818575 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651686913144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2748] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2748/stat : 2748 (java) S 2733 2735 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346818575 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651685860488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2749] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2749/stat : 2749 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651684809232 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2750] ppid=2733 vsize=2966184 CPUtime=1.66 cores=0,2,4,6 /proc/2735/task/2750/stat : 2750 (java) S 2733 2735 6982 0 -1 4202560 13338 0 0 0 163 3 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651683756600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2735/tid=2751] ppid=2733 vsize=2966184 CPUtime=1.42 cores=0,2,4,6 /proc/2735/task/2751/stat : 2751 (java) S 2733 2735 6982 0 -1 4202560 6019 0 0 0 140 2 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651682704056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2752] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2752/stat : 2752 (java) S 2733 2735 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651681651704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2735/tid=2753] ppid=2733 vsize=2966184 CPUtime=0.29 cores=0,2,4,6 /proc/2735/task/2753/stat : 2753 (java) S 2733 2735 6982 0 -1 4202560 52 0 0 0 16 13 0 0 20 0 22 0 346818578 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651680599368 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2756] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2756/stat : 2756 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346818652 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651677439016 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2757] ppid=2733 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/2735/task/2757/stat : 2757 (java) S 2733 2735 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346818652 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651676386472 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2735/tid=2774] ppid=2733 vsize=2966184 CPUtime=882.35 cores=0,2,4,6 /proc/2735/task/2774/stat : 2774 (java) R 2733 2735 6982 0 -1 4202560 670 0 0 0 88217 18 0 0 20 0 22 0 346819387 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651678488864 139651550556071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2735/tid=2775] ppid=2733 vsize=2966184 CPUtime=882.35 cores=0,2,4,6 /proc/2735/task/2775/stat : 2775 (java) R 2733 2735 6982 0 -1 4202560 745 0 0 0 88217 18 0 0 20 0 22 0 346819387 3037372416 160032 33554432000 1073741824 1073778376 140735615987488 139651679542224 139651550008045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 2966184 Child status: 143 Real time (s): 906.958 CPU time (s): 1801.74 CPU user time (s): 1799.66 CPU system time (s): 2.08168 CPU usage (%): 198.657 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 2.08168 maximum resident set size= 641960 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46633 page faults= 1 swaps= 0 block input operations= 0 block output operations= 944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 60565 involuntary context switches= 77143 runsolver used 2.87156 second user time and 8.17476 second system time The end
Begin job on node104 at 2012-06-04 12:48:20 IDJOB=3744316 IDBENCH=92725 IDSOLVER=2324 FILE ID=node104/3744316-1338806900 RUNJOBID= node104-1338804170-1996 PBS_JOBID= 14636834 Free space on /tmp= 66432 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_4.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744316-1338806900/watcher-3744316-1338806900 -o /tmp/evaluation-result-3744316-1338806900/solver-3744316-1338806900 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744316-1338806900.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b9760eca078029bee17418839cb4525f RANDOM SEED=73061879 node104.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.266 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.53 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.266 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.266 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.266 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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.266 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.266 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.266 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.266 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 20771084 kB Buffers: 3057492 kB Cached: 7470572 kB SwapCached: 708 kB Active: 7818356 kB Inactive: 3204124 kB Active(anon): 476272 kB Inactive(anon): 8092 kB Active(file): 7342084 kB Inactive(file): 3196032 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67105164 kB Dirty: 3136 kB Writeback: 40 kB AnonPages: 492736 kB Mapped: 22456 kB Shmem: 8 kB Slab: 938128 kB SReclaimable: 379400 kB SUnreclaim: 558728 kB KernelStack: 1600 kB PageTables: 5240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1564036 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 428032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 66432 MiB End job on node104 at 2012-06-04 13:03:29