Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 45 | 1800.85 | 1797.39 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_026_area_delay.opb |
MD5SUM | 4c21c441bf9f3f3be8f0cdb52c39f9b4 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 28 |
Best CPU time to get the best result obtained on this benchmark | 23.6794 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of variables | 12852 |
Total number of constraints | 41686 |
Number of constraints which are clauses | 41686 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 6267 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6267 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 6267 |
Number of bits of the biggest sum of numbers | 13 |
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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.04/0.09 c version 2.3.2.v20120418 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 501472288 0.04/0.09 c Max memory 7480803328 0.04/0.09 c Total memory 504102912 0.04/0.09 c Number of processors 8 0.09/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.12 c configuring ORDERS 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=true 0.09/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3710935-1338160341.opb 0.09/0.12 c reading problem ... 0.94/0.55 c ... done. Wall clock time 0.432s. 0.94/0.55 c declared #vars 12852 0.94/0.55 c #constraints 41686 0.94/0.55 c constraints type 0.94/0.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6595 0.94/0.55 c org.sat4j.minisat.constraints.cnf.UnitClause => 1194 0.94/0.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 33897 0.94/0.55 c 41686 constraints processed. 1.40/0.70 c SATISFIABLE 1.40/0.70 c OPTIMIZING... 1.40/0.70 c Got one! Elapsed wall clock time (in seconds):0.574 1.40/0.70 o 58 3.40/2.43 c Got one! Elapsed wall clock time (in seconds):2.305 3.40/2.43 o 57 4.95/3.98 c Got one! Elapsed wall clock time (in seconds):3.858 4.95/3.98 o 56 5.80/4.73 c Got one! Elapsed wall clock time (in seconds):4.609 5.80/4.73 o 55 6.01/4.92 c Got one! Elapsed wall clock time (in seconds):4.8 6.01/4.92 o 54 6.01/4.94 c Got one! Elapsed wall clock time (in seconds):4.815 6.01/4.94 o 53 6.01/4.95 c Got one! Elapsed wall clock time (in seconds):4.828 6.01/4.95 o 52 6.01/4.96 c Got one! Elapsed wall clock time (in seconds):4.842 6.01/4.96 o 51 6.01/4.98 c Got one! Elapsed wall clock time (in seconds):4.855 6.01/4.98 o 50 6.16/5.00 c Got one! Elapsed wall clock time (in seconds):4.875 6.16/5.00 o 49 6.76/5.69 c cleaning 3271 clauses out of 6543 with flag 1000/6543 10.84/9.69 c cleaning 4637 clauses out of 9273 with flag 7001/12544 12.16/10.92 c Got one! Elapsed wall clock time (in seconds):10.796 12.16/10.92 o 48 12.65/11.45 c Got one! Elapsed wall clock time (in seconds):11.329 12.65/11.45 o 47 14.85/13.68 c cleaning 5555 clauses out of 11117 with flag 4000/19025 16.36/15.18 c Got one! Elapsed wall clock time (in seconds):15.06 16.36/15.18 o 46 18.16/16.96 c cleaning 5719 clauses out of 11443 with flag 3000/24906 21.91/20.69 c cleaning 5850 clauses out of 11724 with flag 9000/30906 26.11/24.89 c cleaning 6428 clauses out of 12874 with flag 16000/37906 30.71/29.49 c cleaning 7212 clauses out of 14447 with flag 24001/45907 32.92/31.66 c Got one! Elapsed wall clock time (in seconds):31.536 32.92/31.66 o 45 34.11/32.83 c cleaning 6426 clauses out of 12860 with flag 2000/51532 37.92/36.64 c cleaning 6201 clauses out of 12434 with flag 8000/57532 42.03/40.74 c cleaning 6608 clauses out of 13233 with flag 15000/64532 47.02/45.80 c cleaning 7294 clauses out of 14625 with flag 23000/72532 53.06/51.74 c cleaning 8155 clauses out of 16333 with flag 32002/81534 57.88/56.56 c cleaning 9074 clauses out of 18176 with flag 42000/91532 64.18/62.80 c cleaning 10046 clauses out of 20102 with flag 53000/102532 70.08/68.73 c cleaning 11021 clauses out of 22056 with flag 65000/114532 78.39/77.04 c cleaning 12012 clauses out of 24035 with flag 78000/127532 86.18/84.82 c cleaning 13004 clauses out of 26023 with flag 92000/141532 94.60/93.26 c cleaning 14005 clauses out of 28020 with flag 107001/156533 102.64/101.26 c cleaning 14994 clauses out of 30014 with flag 123000/172532 112.36/110.90 c cleaning 15999 clauses out of 32020 with flag 140000/189532 124.36/122.94 c cleaning 16999 clauses out of 34021 with flag 158000/207532 134.57/133.19 c cleaning 17994 clauses out of 36022 with flag 177000/226532 148.79/147.40 c cleaning 19007 clauses out of 38029 with flag 197001/246533 163.70/162.27 c cleaning 19985 clauses out of 40021 with flag 218000/267532 176.42/174.96 c cleaning 21009 clauses out of 42036 with flag 240000/289532 191.54/190.08 c cleaning 22001 clauses out of 44027 with flag 263000/312532 205.55/204.00 c cleaning 23006 clauses out of 46027 with flag 287001/336533 221.97/220.42 c cleaning 23976 clauses out of 48020 with flag 312000/361532 241.71/240.16 c cleaning 25010 clauses out of 50044 with flag 338000/387532 259.34/257.75 c cleaning 26007 clauses out of 52034 with flag 365000/414532 275.65/274.05 c cleaning 27006 clauses out of 54028 with flag 393001/442533 293.76/292.17 c cleaning 27991 clauses out of 56021 with flag 422000/471532 315.19/313.52 c cleaning 28999 clauses out of 58030 with flag 452000/501532 338.22/336.52 c cleaning 30002 clauses out of 60031 with flag 483000/532532 357.53/355.86 c cleaning 30998 clauses out of 62029 with flag 515000/564532 376.56/374.88 c cleaning 32013 clauses out of 64031 with flag 548000/597532 397.98/396.24 c cleaning 32992 clauses out of 66018 with flag 582000/631532 421.91/420.16 c cleaning 33995 clauses out of 68026 with flag 617000/666532 443.21/441.42 c cleaning 35007 clauses out of 70031 with flag 653000/702532 465.94/464.11 c cleaning 36001 clauses out of 72025 with flag 690001/739533 495.35/493.53 c cleaning 36995 clauses out of 74023 with flag 728000/777532 518.46/516.60 c cleaning 38000 clauses out of 76028 with flag 767000/816532 542.08/540.23 c cleaning 39006 clauses out of 78029 with flag 807001/856533 567.30/565.40 c cleaning 39969 clauses out of 80022 with flag 848000/897532 591.62/589.70 c cleaning 41018 clauses out of 82053 with flag 890000/939532 614.82/612.95 c cleaning 42011 clauses out of 84035 with flag 933000/982532 642.33/640.45 c cleaning 42998 clauses out of 86024 with flag 977000/1026532 674.47/672.59 c cleaning 43999 clauses out of 88026 with flag 1022000/1071532 701.28/699.35 c cleaning 44997 clauses out of 90027 with flag 1068000/1117532 727.90/725.99 c cleaning 46009 clauses out of 92030 with flag 1115000/1164532 759.63/757.68 c cleaning 47002 clauses out of 94021 with flag 1163000/1212532 798.24/796.22 c cleaning 47992 clauses out of 96019 with flag 1212000/1261532 833.66/831.64 c cleaning 49002 clauses out of 98027 with flag 1262000/1311532 865.08/863.08 c cleaning 50009 clauses out of 100025 with flag 1313000/1362532 897.63/895.53 c cleaning 51003 clauses out of 102016 with flag 1365000/1414532 930.65/928.55 c cleaning 51998 clauses out of 104013 with flag 1418000/1467532 960.78/958.60 c cleaning 52998 clauses out of 106015 with flag 1472000/1521532 997.49/995.35 c cleaning 53997 clauses out of 108017 with flag 1527000/1576532 1040.54/1038.34 c cleaning 54993 clauses out of 110020 with flag 1583000/1632532 1067.64/1065.46 c cleaning 56004 clauses out of 112027 with flag 1640000/1689532 1096.68/1094.45 c cleaning 57000 clauses out of 114023 with flag 1698000/1747532 1131.71/1129.41 c cleaning 57993 clauses out of 116024 with flag 1757001/1806533 1172.83/1170.51 c cleaning 59000 clauses out of 118030 with flag 1817000/1866532 1217.87/1215.55 c cleaning 60006 clauses out of 120030 with flag 1878000/1927532 1262.28/1259.97 c cleaning 60991 clauses out of 122024 with flag 1940000/1989532 1300.32/1297.95 c cleaning 61997 clauses out of 124033 with flag 2003000/2052532 1337.74/1335.39 c cleaning 63010 clauses out of 126036 with flag 2067000/2116532 1375.57/1373.13 c cleaning 64005 clauses out of 128026 with flag 2132000/2181532 1414.39/1411.97 c cleaning 65004 clauses out of 130021 with flag 2198000/2247532 1452.62/1450.19 c cleaning 65998 clauses out of 132017 with flag 2265000/2314532 1489.16/1486.67 c cleaning 66999 clauses out of 134019 with flag 2333000/2382532 1530.08/1527.50 c cleaning 68000 clauses out of 136020 with flag 2402000/2451532 1570.71/1568.15 c cleaning 68998 clauses out of 138020 with flag 2472000/2521532 1617.12/1614.56 c cleaning 69996 clauses out of 140022 with flag 2543000/2592532 1659.36/1656.71 c cleaning 71001 clauses out of 142027 with flag 2615001/2664533 1699.09/1696.41 c cleaning 72005 clauses out of 144025 with flag 2688000/2737532 1740.83/1738.19 c cleaning 72986 clauses out of 146020 with flag 2762000/2811532 1783.06/1780.34 c cleaning 74013 clauses out of 148035 with flag 2837001/2886533 1800.10/1797.32 c starts : 245 1800.10/1797.32 c conflicts : 2917832 1800.10/1797.32 c decisions : 8649836 1800.10/1797.32 c propagations : 9218628986 1800.10/1797.32 c inspects : 9751290674 1800.10/1797.32 c shortcuts : 0 1800.10/1797.32 c learnt literals : 0 1800.10/1797.32 c learnt binary clauses : 0 1800.10/1797.32 c learnt ternary clauses : 2 1800.10/1797.32 c learnt constraints : 2917832 1800.10/1797.32 c ignored constraints : 0 1800.10/1797.32 c root simplifications : 245 1800.10/1797.32 c removed literals (reason simplification) : 2434822 1800.10/1797.32 c reason swapping (by a shorter reason) : 0 1800.10/1797.32 c Calls to reduceDB : 78 1800.10/1797.32 c number of reductions to clauses (during analyze) : 0 1800.10/1797.32 c number of learned constraints concerned by reduction : 0 1800.10/1797.32 c number of learning phase by resolution : 0 1800.10/1797.32 c number of learning phase by cutting planes : 0 1800.10/1797.32 c speed (assignments/second) : 5130761.634006535 1800.10/1797.32 c non guided choices 7883 1800.10/1797.34 c learnt constraints type 1800.10/1797.34 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 105368 1800.10/1797.34 c constraints type 1800.10/1797.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6595 1800.10/1797.34 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.10/1797.34 c org.sat4j.minisat.constraints.cnf.UnitClause => 1194 1800.10/1797.34 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 33897 1800.10/1797.34 c 41687 constraints processed. 1800.10/1797.34 s SATISFIABLE 1800.10/1797.36 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 x319 -x320 -x321 x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 x4695 x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 x5603 x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 x7605 x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 x7699 x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 x8009 x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 x8570 x8571 -x8572 -x8573 -x8574 x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 x8840 x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 x8854 x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 x9420 x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 x10080 x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 x10284 x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 x11219 x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 x11271 x11272 -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11722 -x11723 -x11724 x11725 x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11733 -x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 -x11744 -x11745 -x11746 -x11747 -x11748 -x11749 -x11750 -x11751 -x11752 -x11753 -x11754 -x11755 -x11756 -x11757 -x11758 -x11759 -x11760 -x11761 -x11762 -x11763 -x11764 -x11765 -x11766 -x11767 -x11768 -x11769 -x11770 -x11771 -x11772 -x11773 -x11774 -x11775 -x11776 -x11777 -x11778 -x11779 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 x11787 x11788 -x11789 -x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11796 -x11797 -x11798 -x11799 -x11800 -x11801 -x11802 -x11803 -x11804 -x11805 -x11806 -x11807 -x11808 -x11809 -x11810 -x11811 -x11812 -x11813 -x11814 -x11815 -x11816 -x11817 -x11818 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11825 -x11826 -x11827 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834 -x11835 -x11836 -x11837 -x11838 -x11839 -x11840 -x11841 -x11842 -x11843 -x11844 -x11845 -x11846 -x11847 -x11848 x11849 x11850 -x11851 -x11852 -x11853 -x11854 -x11855 -x11856 -x11857 -x11858 -x11859 -x11860 -x11861 -x11862 -x11863 -x11864 -x11865 -x11866 -x11867 -x11868 -x11869 -x11870 -x11871 -x11872 -x11873 -x11874 -x11875 -x11876 -x11877 -x11878 -x11879 -x11880 -x11881 -x11882 -x11883 -x11884 -x11885 -x11886 -x11887 -x11888 -x11889 -x11890 -x11891 -x11892 -x11893 -x11894 -x11895 -x11896 -x11897 -x11898 -x11899 -x11900 -x11901 -x11902 -x11903 -x11904 -x11905 -x11906 -x11907 -x11908 -x11909 -x11910 -x11911 -x11912 -x11913 -x11914 -x11915 -x11916 -x11917 -x11918 -x11919 -x11920 -x11921 -x11922 -x11923 -x11924 -x11925 -x11926 -x11927 -x11928 -x11929 -x11930 -x11931 -x11932 -x11933 -x11934 -x11935 -x11936 -x11937 -x11938 -x11939 -x11940 -x11941 -x11942 -x11943 -x11944 -x11945 -x11946 -x11947 -x11948 -x11949 -x11950 -x11951 -x11952 -x11953 -x11954 -x11955 -x11956 -x11957 -x11958 -x11959 -x11960 -x11961 -x11962 -x11963 -x11964 -x11965 -x11966 -x11967 -x11968 -x11969 -x11970 -x11971 -x11972 -x11973 -x11974 -x11975 -x11976 -x11977 -x11978 -x11979 -x11980 -x11981 -x11982 -x11983 -x11984 -x11985 -x11986 -x11987 -x11988 -x11989 -x11990 -x11991 -x11992 -x11993 -x11994 -x11995 -x11996 -x11997 -x11998 -x11999 -x12000 -x12001 -x12002 -x12003 -x12004 -x12005 -x12006 -x12007 -x12008 -x12009 -x12010 -x12011 -x12012 -x12013 -x12014 -x12015 -x12016 -x12017 -x12018 -x12019 -x12020 -x12021 -x12022 -x12023 -x12024 -x12025 -x12026 -x12027 -x12028 -x12029 -x12030 -x12031 -x12032 -x12033 -x12034 -x12035 -x12036 -x12037 -x12038 -x12039 -x12040 -x12041 -x12042 -x12043 -x12044 -x12045 -x12046 -x12047 -x12048 -x12049 -x12050 -x12051 -x12052 -x12053 -x12054 -x12055 -x12056 -x12057 -x12058 -x12059 -x12060 -x12061 -x12062 -x12063 -x12064 -x12065 -x12066 -x12067 -x12068 -x12069 -x12070 -x12071 -x12072 -x12073 -x12074 -x12075 -x12076 -x12077 -x12078 -x12079 -x12080 -x12081 -x12082 -x12083 -x12084 -x12085 -x12086 -x12087 -x12088 -x12089 -x12090 -x12091 -x12092 -x12093 -x12094 -x12095 -x12096 -x12097 -x12098 -x12099 -x12100 -x12101 -x12102 -x12103 -x12104 -x12105 -x12106 -x12107 -x12108 -x12109 -x12110 -x12111 -x12112 -x12113 -x12114 -x12115 -x12116 -x12117 -x12118 -x12119 -x12120 -x12121 -x12122 -x12123 -x12124 -x12125 -x12126 -x12127 -x12128 -x12129 -x12130 -x12131 -x12132 -x12133 -x12134 -x12135 -x12136 -x12137 -x12138 -x12139 -x12140 -x12141 -x12142 -x12143 -x12144 -x12145 -x12146 -x12147 -x12148 -x12149 -x12150 -x12151 -x12152 -x12153 -x12154 -x12155 -x12156 -x12157 -x12158 -x12159 -x12160 -x12161 -x12162 -x12163 -x12164 -x12165 -x12166 -x12167 -x12168 -x12169 -x12170 -x12171 -x12172 -x12173 -x12174 -x12175 -x12176 -x12177 -x12178 -x12179 -x12180 -x12181 -x12182 -x12183 -x12184 -x12185 -x12186 -x12187 -x12188 -x12189 -x12190 -x12191 -x12192 -x12193 -x12194 -x12195 -x12196 -x12197 -x12198 -x12199 -x12200 -x12201 -x12202 -x12203 -x12204 -x12205 -x12206 -x12207 -x12208 -x12209 -x12210 -x12211 -x12212 -x12213 -x12214 -x12215 x12216 -x12217 -x12218 -x12219 -x12220 -x12221 -x12222 -x12223 -x12224 -x12225 -x12226 -x12227 -x12228 -x12229 -x12230 -x12231 -x12232 -x12233 -x12234 -x12235 -x12236 x12237 x12238 -x12239 -x12240 -x12241 -x12242 -x12243 -x12244 x12245 x12246 -x12247 -x12248 -x12249 -x12250 -x12251 -x12252 -x12253 -x12254 -x12255 -x12256 -x12257 -x12258 -x12259 -x12260 -x12261 -x12262 -x12263 -x12264 -x12265 -x12266 -x12267 -x12268 -x12269 -x12270 -x12271 -x12272 -x12273 -x12274 -x12275 -x12276 -x12277 -x12278 -x12279 -x12280 -x12281 -x12282 -x12283 -x12284 -x12285 -x12286 -x12287 -x12288 -x12289 -x12290 -x12291 -x12292 -x12293 -x12294 -x12295 -x12296 -x12297 -x12298 -x12299 -x12300 -x12301 -x12302 -x12303 -x12304 -x12305 -x12306 -x12307 -x12308 -x12309 -x12310 -x12311 -x12312 -x12313 -x12314 -x12315 -x12316 -x12317 -x12318 -x12319 -x12320 -x12321 -x12322 -x12323 -x12324 -x12325 -x12326 -x12327 -x12328 -x12329 -x12330 -x12331 -x12332 -x12333 -x12334 -x12335 -x12336 -x12337 -x12338 -x12339 -x12340 -x12341 -x12342 -x12343 -x12344 -x12345 -x12346 -x12347 -x12348 -x12349 -x12350 -x12351 -x12352 -x12353 -x12354 x12355 x12356 -x12357 -x12358 -x12359 -x12360 -x12361 -x12362 -x12363 -x12364 -x12365 -x12366 -x12367 -x12368 -x12369 -x12370 -x12371 -x12372 -x12373 -x12374 -x12375 -x12376 -x12377 -x12378 -x12379 -x12380 -x12381 -x12382 -x12383 -x12384 -x12385 -x12386 -x12387 -x12388 -x12389 -x12390 -x12391 -x12392 -x12393 -x12394 -x12395 -x12396 -x12397 -x12398 -x12399 -x12400 -x12401 -x12402 -x12403 -x12404 -x12405 -x12406 -x12407 -x12408 -x12409 -x12410 -x12411 -x12412 -x12413 -x12414 -x12415 -x12416 -x12417 -x12418 -x12419 -x12420 -x12421 -x12422 -x12423 -x12424 -x12425 -x12426 -x12427 -x12428 -x12429 -x12430 -x12431 -x12432 -x12433 -x12434 -x12435 -x12436 -x12437 -x12438 -x12439 -x12440 -x12441 -x12442 -x12443 -x12444 -x12445 -x12446 -x12447 -x12448 -x12449 -x12450 -x12451 -x12452 -x12453 -x12454 -x12455 -x12456 -x12457 -x12458 -x12459 -x12460 -x12461 -x12462 -x12463 -x12464 -x12465 -x12466 -x12467 -x12468 -x12469 -x12470 -x12471 -x12472 -x12473 -x12474 -x12475 -x12476 -x12477 -x12478 -x12479 -x12480 -x12481 -x12482 -x12483 -x12484 -x12485 -x12486 -x12487 -x12488 -x12489 -x12490 -x12491 -x12492 -x12493 -x12494 -x12495 -x12496 -x12497 -x12498 -x12499 -x12500 -x12501 -x12502 -x12503 -x12504 -x12505 -x12506 -x12507 -x12508 -x12509 -x12510 -x12511 -x12512 -x12513 -x12514 -x12515 -x12516 -x12517 -x12518 -x12519 -x12520 -x12521 -x12522 -x12523 -x12524 -x12525 -x12526 -x12527 -x12528 x12529 x12530 x12531 x12532 -x12533 -x12534 -x12535 -x12536 -x12537 -x12538 -x12539 -x12540 -x12541 -x12542 -x12543 -x12544 -x12545 -x12546 -x12547 -x12548 -x12549 -x12550 -x12551 -x12552 -x12553 -x12554 -x12555 -x12556 -x12557 -x12558 -x12559 -x12560 -x12561 -x12562 x12563 x12564 -x12565 -x12566 -x12567 -x12568 x12569 x12570 -x12571 -x12572 -x12573 -x12574 -x12575 -x12576 -x12577 -x12578 -x12579 -x12580 -x12581 -x12582 -x12583 -x12584 -x12585 -x12586 -x12587 -x12588 -x12589 -x12590 -x12591 -x12592 -x12593 -x12594 -x12595 -x12596 -x12597 -x12598 -x12599 -x12600 -x12601 -x12602 -x12603 -x12604 -x12605 -x12606 -x12607 -x12608 -x12609 -x12610 -x12611 -x12612 -x12613 -x12614 -x12615 -x12616 -x12617 -x12618 -x12619 -x12620 -x12621 -x12622 x12623 x12624 -x12625 -x12626 -x12627 -x12628 -x12629 -x12630 -x12631 -x12632 -x12633 -x12634 -x12635 -x12636 x12637 x12638 -x12639 -x12640 -x12641 -x12642 -x12643 -x12644 -x12645 -x12646 -x12647 -x12648 -x12649 -x12650 -x12651 -x12652 -x12653 -x12654 -x12655 -x12656 -x12657 -x12658 -x12659 -x12660 -x12661 -x12662 -x12663 -x12664 -x12665 -x12666 -x12667 -x12668 -x12669 -x12670 -x12671 -x12672 -x12673 -x12674 -x12675 -x12676 -x12677 -x12678 -x12679 -x12680 -x12681 -x12682 -x12683 -x12684 -x12685 -x12686 -x12687 -x12688 -x12689 -x12690 -x12691 -x12692 -x12693 -x12694 -x12695 -x12696 -x12697 -x12698 -x12699 -x12700 -x12701 -x12702 -x12703 -x12704 -x12705 -x12706 -x12707 -x12708 -x12709 -x12710 -x12711 -x12712 -x12713 -x12714 -x12715 -x12716 -x12717 -x12718 -x12719 -x12720 -x12721 -x12722 -x12723 -x12724 -x12725 -x12726 -x12727 -x12728 -x12729 -x12730 -x12731 -x12732 -x12733 -x12734 -x12735 -x12736 -x12737 -x12738 -x12739 -x12740 -x12741 -x12742 -x12743 -x12744 -x12745 -x12746 -x12747 -x12748 -x12749 -x12750 -x12751 -x12752 -x12753 -x12754 -x12755 -x12756 -x12757 -x12758 -x12759 -x12760 -x12761 -x12762 -x12763 -x12764 x12765 x12766 -x12767 -x12768 -x12769 -x12770 -x12771 -x12772 x12773 x12774 -x12775 -x12776 -x12777 -x12778 -x12779 -x12780 -x12781 -x12782 -x12783 -x12784 -x12785 -x12786 -x12787 -x12788 -x12789 -x12790 x12791 x12792 -x12793 -x12794 -x12795 -x12796 -x12797 -x12798 -x12799 -x12800 -x12801 -x12802 -x12803 -x12804 -x12805 -x12806 -x12807 -x12808 -x12809 -x12810 -x12811 -x12812 -x12813 -x12814 -x12815 -x12816 -x12817 -x12818 -x12819 -x12820 -x12821 -x12822 -x12823 -x12824 -x12825 -x12826 -x12827 -x12828 -x12829 -x12830 -x12831 -x12832 -x12833 -x12834 -x12835 -x12836 -x12837 -x12838 -x12839 -x12840 x12841 x12842 x12843 x12844 -x12845 -x12846 -x12847 -x12848 -x12849 -x12850 x12851 x12852 1800.10/1797.37 c objective function=45 1800.10/1797.37 c Total wall clock time (in seconds): 1797.246
OK 45
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-3710935-1338160341/watcher-3710935-1338160341 -o /tmp/evaluation-result-3710935-1338160341/solver-3710935-1338160341 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710935-1338160341.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.96 2.00 1.97 3/194 13272 /proc/meminfo: memFree=30973076/32873844 swapFree=7372/7372 [pid=13272] ppid=13270 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/13272/stat : 13272 (java) D 13270 13272 12979 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 282160178 9515008 183 33554432000 1073741824 1073778376 140736559550640 140736559541672 251032059573 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/13272/statm: 2323 183 140 9 0 71 0 [startup+0.0684781 s] /proc/loadavg: 1.96 2.00 1.97 3/194 13272 /proc/meminfo: memFree=30973076/32873844 swapFree=7372/7372 [pid=13272] ppid=13270 vsize=9558440 CPUtime=0.04 cores=1,3,5,7 /proc/13272/stat : 13272 (java) S 13270 13272 12979 0 -1 4202496 3201 0 1 0 3 1 0 0 20 0 18 0 282160178 9787842560 4408 33554432000 1073741824 1073778376 140736943460144 140736943451280 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13272/statm: 2389610 4409 1764 9 0 2380296 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9558440 [startup+0.100331 s] /proc/loadavg: 1.96 2.00 1.97 3/194 13272 /proc/meminfo: memFree=30973076/32873844 swapFree=7372/7372 [pid=13272] ppid=13270 vsize=9558440 CPUtime=0.09 cores=1,3,5,7 /proc/13272/stat : 13272 (java) S 13270 13272 12979 0 -1 4202496 4249 0 1 0 8 1 0 0 20 0 18 0 282160178 9787842560 5455 33554432000 1073741824 1073778376 140736943460144 140736943451280 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13272/statm: 2389610 5455 2113 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.300291 s] /proc/loadavg: 1.96 2.00 1.97 3/194 13272 /proc/meminfo: memFree=30973076/32873844 swapFree=7372/7372 [pid=13272] ppid=13270 vsize=9558440 CPUtime=0.49 cores=1,3,5,7 /proc/13272/stat : 13272 (java) S 13270 13272 12979 0 -1 4202496 5597 0 1 0 47 2 0 0 20 0 18 0 282160178 9787842560 8880 33554432000 1073741824 1073778376 140736943460144 140736943451280 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13272/statm: 2389610 8880 2224 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558440 [startup+0.700298 s] /proc/loadavg: 1.96 2.00 1.97 3/194 13272 /proc/meminfo: memFree=30973076/32873844 swapFree=7372/7372 [pid=13272] ppid=13270 vsize=9625004 CPUtime=1.4 cores=1,3,5,7 /proc/13272/stat : 13272 (java) S 13270 13272 12979 0 -1 4202496 8335 0 1 0 136 4 0 0 20 0 19 0 282160178 9856004096 28937 33554432000 1073741824 1073778376 140736943460144 140736943451280 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13272/statm: 2406251 28937 2255 9 0 2396937 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 9625004 [startup+1.50066 s] /proc/loadavg: 1.96 2.00 1.97 4/213 13291 /proc/meminfo: memFree=30865124/32873844 swapFree=7372/7372 [pid=13272] ppid=13270 vsize=9625004 CPUtime=2.49 cores=1,3,5,7 /proc/13272/stat : 13272 (java) S 13270 13272 12979 0 -1 4202496 9123 0 1 0 244 5 0 0 20 0 19 0 282160178 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 140736943451280 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13272/statm: 2406251 29453 2259 9 0 2396937 0 [pid=13272/tid=13274] ppid=13270 vsize=9625004 CPUtime=1.46 cores=1,3,5,7 /proc/13272/task/13274/stat : 13274 (java) R 13270 13272 12979 0 -1 4202560 2549 0 1 0 143 3 0 0 20 0 19 0 282160179 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139719481081928 139719330337764 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13275] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13275/stat : 13275 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139719453535272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13276] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13276/stat : 13276 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139719452482472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13277] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13277/stat : 13277 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139719451429672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13272/tid=13278] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13278/stat : 13278 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139719450376872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13279] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13279/stat : 13279 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139719449324072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13280] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13280/stat : 13280 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139719448271272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13281] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13281/stat : 13281 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139719318481192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13282] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13282/stat : 13282 (java) S 13270 13272 12979 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139719317428392 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13283] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13283/stat : 13283 (java) S 13270 13272 12979 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139718834482152 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13284] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13284/stat : 13284 (java) S 13270 13272 12979 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139718833428216 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13285] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13285/stat : 13285 (java) S 13270 13272 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139718832375304 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13286] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13286/stat : 13286 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139718831323792 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13287] ppid=13270 vsize=9625004 CPUtime=0.52 cores=1,3,5,7 /proc/13272/task/13287/stat : 13287 (java) S 13270 13272 12979 0 -1 4202560 3287 0 0 0 52 0 0 0 20 0 19 0 282160185 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139718830270904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13288] ppid=13270 vsize=9625004 CPUtime=0.46 cores=1,3,5,7 /proc/13272/task/13288/stat : 13288 (java) S 13270 13272 12979 0 -1 4202560 2087 0 0 0 46 0 0 0 20 0 19 0 282160185 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139718829218104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13289] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13289/stat : 13289 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139718828165496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13290] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13290/stat : 13290 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139718827112904 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13291] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13291/stat : 13291 (java) S 13270 13272 12979 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282160237 9856004096 29453 33554432000 1073741824 1073778376 140736943460144 139718826059432 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.49 Current children cumulated vsize (KiB) 9625004 [startup+3.10075 s] /proc/loadavg: 1.96 2.00 1.97 3/213 13291 /proc/meminfo: memFree=30862704/32873844 swapFree=7372/7372 [pid=13272] ppid=13270 vsize=9625004 CPUtime=4.15 cores=1,3,5,7 /proc/13272/stat : 13272 (java) S 13270 13272 12979 0 -1 4202496 9298 0 1 0 410 5 0 0 20 0 19 0 282160178 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 140736943451280 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13272/statm: 2406251 29966 2259 9 0 2396937 0 [pid=13272/tid=13274] ppid=13270 vsize=9625004 CPUtime=3.06 cores=1,3,5,7 /proc/13272/task/13274/stat : 13274 (java) R 13270 13272 12979 0 -1 4202560 2551 0 1 0 303 3 0 0 20 0 19 0 282160179 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139719481082504 139719330272944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13275] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13275/stat : 13275 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139719453535272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13276] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13276/stat : 13276 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139719452482472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13277] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13277/stat : 13277 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139719451429672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13272/tid=13278] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13278/stat : 13278 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139719450376872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13279] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13279/stat : 13279 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139719449324072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13280] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13280/stat : 13280 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139719448271272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13281] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13281/stat : 13281 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139719318481192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13282] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13282/stat : 13282 (java) S 13270 13272 12979 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139719317428392 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13283] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13283/stat : 13283 (java) S 13270 13272 12979 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139718834482152 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13284] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13284/stat : 13284 (java) S 13270 13272 12979 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139718833428216 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13285] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13285/stat : 13285 (java) S 13270 13272 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139718832375304 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13286] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13286/stat : 13286 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139718831323792 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13287] ppid=13270 vsize=9625004 CPUtime=0.54 cores=1,3,5,7 /proc/13272/task/13287/stat : 13287 (java) S 13270 13272 12979 0 -1 4202560 3287 0 0 0 54 0 0 0 20 0 19 0 282160185 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139718830270904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13288] ppid=13270 vsize=9625004 CPUtime=0.5 cores=1,3,5,7 /proc/13272/task/13288/stat : 13288 (java) S 13270 13272 12979 0 -1 4202560 2259 0 0 0 50 0 0 0 20 0 19 0 282160185 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139718829218104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13289] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13289/stat : 13289 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139718828165496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13290] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13290/stat : 13290 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139718827112904 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13291] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13291/stat : 13291 (java) S 13270 13272 12979 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282160237 9856004096 29966 33554432000 1073741824 1073778376 140736943460144 139718826059432 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.15 Current children cumulated vsize (KiB) 9625004 [startup+6.30065 s] /proc/loadavg: 2.12 2.03 1.98 3/213 13291 /proc/meminfo: memFree=30847880/32873844 swapFree=7372/7372 [pid=13272] ppid=13270 vsize=9625004 CPUtime=7.52 cores=1,3,5,7 /proc/13272/stat : 13272 (java) S 13270 13272 12979 0 -1 4202496 9492 0 1 0 746 6 0 0 20 0 19 0 282160178 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 140736943451280 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13272/statm: 2406251 38679 2289 9 0 2396937 0 [pid=13272/tid=13274] ppid=13270 vsize=9625004 CPUtime=6.23 cores=1,3,5,7 /proc/13272/task/13274/stat : 13274 (java) R 13270 13272 12979 0 -1 4202560 2562 0 1 0 619 4 0 0 20 0 19 0 282160179 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139719481082312 139719329973200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13275] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13275/stat : 13275 (java) S 13270 13272 12979 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139719453535272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13276] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13276/stat : 13276 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139719452482472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13277] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13277/stat : 13277 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139719451429672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13272/tid=13278] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13278/stat : 13278 (java) S 13270 13272 12979 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139719450376872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13279] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13279/stat : 13279 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139719449324072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13280] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13280/stat : 13280 (java) S 13270 13272 12979 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139719448271272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13281] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13281/stat : 13281 (java) S 13270 13272 12979 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139719318481192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13272/tid=13282] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13282/stat : 13282 (java) S 13270 13272 12979 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282160181 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139719317428392 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13283] ppid=13270 vsize=9625004 CPUtime=0.02 cores=1,3,5,7 /proc/13272/task/13283/stat : 13283 (java) S 13270 13272 12979 0 -1 4202560 36 0 0 0 2 0 0 0 20 0 19 0 282160182 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139718834482152 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13284] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13284/stat : 13284 (java) S 13270 13272 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139718833428216 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13285] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13285/stat : 13285 (java) S 13270 13272 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139718832375304 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13286] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13286/stat : 13286 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139718831323792 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13287] ppid=13270 vsize=9625004 CPUtime=0.59 cores=1,3,5,7 /proc/13272/task/13287/stat : 13287 (java) S 13270 13272 12979 0 -1 4202560 3295 0 0 0 59 0 0 0 20 0 19 0 282160185 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139718830270904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13288] ppid=13270 vsize=9625004 CPUtime=0.59 cores=1,3,5,7 /proc/13272/task/13288/stat : 13288 (java) S 13270 13272 12979 0 -1 4202560 2374 0 0 0 59 0 0 0 20 0 19 0 282160185 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139718829218104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13289] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13289/stat : 13289 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139718828165496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13290] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13290/stat : 13290 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139718827112904 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13291] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13291/stat : 13291 (java) S 13270 13272 12979 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282160237 9856004096 38679 33554432000 1073741824 1073778376 140736943460144 139718826059432 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.52 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=13272/tid=13280] ppid=13270 vsize=9625004 CPUtime=0.27 cores=1,3,5,7 /proc/13272/task/13280/stat : 13280 (java) S 13270 13272 12979 0 -1 4202560 57 0 0 0 27 0 0 0 20 0 19 0 282160181 9856004096 53233 33554432000 1073741824 1073778376 140736943460144 139719448271272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13281] ppid=13270 vsize=9625004 CPUtime=0.31 cores=1,3,5,7 /proc/13272/task/13281/stat : 13281 (java) S 13270 13272 12979 0 -1 4202560 42 0 0 0 30 1 0 0 20 0 19 0 282160181 9856004096 53233 33554432000 1073741824 1073778376 140736943460144 139719318481192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13282] ppid=13270 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/13272/task/13282/stat : 13282 (java) S 13270 13272 12979 0 -1 4202560 83 0 0 0 29 0 0 0 20 0 19 0 282160181 9856004096 53233 33554432000 1073741824 1073778376 140736943460144 139719317428392 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13283] ppid=13270 vsize=9625004 CPUtime=3.33 cores=1,3,5,7 /proc/13272/task/13283/stat : 13283 (java) S 13270 13272 12979 0 -1 4202560 172 0 0 0 330 3 0 0 20 0 19 0 282160182 9856004096 53233 33554432000 1073741824 1073778376 140736943460144 139718834482152 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13284] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13284/stat : 13284 (java) S 13270 13272 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 53233 33554432000 1073741824 1073778376 140736943460144 139718833428216 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13285] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13285/stat : 13285 (java) S 13270 13272 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 53233 33554432000 1073741824 1073778376 140736943460144 139718832375304 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13286] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13286/stat : 13286 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 53233 33554432000 1073741824 1073778376 140736943460144 139718831323792 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13287] ppid=13270 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/13272/task/13287/stat : 13287 (java) S 13270 13272 12979 0 -1 4202560 3688 0 0 0 66 2 0 0 20 0 19 0 282160185 9856004096 53233 33554432000 1073741824 1073778376 140736943460144 139718830270904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13288] ppid=13270 vsize=9625004 CPUtime=0.61 cores=1,3,5,7 /proc/13272/task/13288/stat : 13288 (java) S 13270 13272 12979 0 -1 4202560 2374 0 0 0 61 0 0 0 20 0 19 0 282160185 9856004096 53233 33554432000 1073741824 1073778376 140736943460144 139718829218104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13289] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13289/stat : 13289 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 53233 33554432000 1073741824 1073778376 140736943460144 139718828165496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13290] ppid=13270 vsize=9625004 CPUtime=0.27 cores=1,3,5,7 /proc/13272/task/13290/stat : 13290 (java) S 13270 13272 12979 0 -1 4202560 99 0 0 0 11 16 0 0 20 0 19 0 282160185 9856004096 53233 33554432000 1073741824 1073778376 140736943460144 139718827112904 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13291] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13291/stat : 13291 (java) S 13270 13272 12979 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282160237 9856004096 53233 33554432000 1073741824 1073778376 140736943460144 139718826059432 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1725.03 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 13423 /proc/meminfo: memFree=30722412/32873844 swapFree=7372/7372 [pid=13272] ppid=13270 vsize=9625004 CPUtime=1785.09 cores=1,3,5,7 /proc/13272/stat : 13272 (java) S 13270 13272 12979 0 -1 4202496 10480 0 1 0 178481 28 0 0 20 0 19 0 282160178 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 140736943451280 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13272/statm: 2406251 53745 2290 9 0 2396937 0 [pid=13272/tid=13274] ppid=13270 vsize=9625004 CPUtime=1778.06 cores=1,3,5,7 /proc/13272/task/13274/stat : 13274 (java) R 13270 13272 12979 0 -1 4202560 2637 0 1 0 177773 33 0 0 20 0 19 0 282160179 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139719481082224 139719330304665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13275] ppid=13270 vsize=9625004 CPUtime=0.27 cores=1,3,5,7 /proc/13272/task/13275/stat : 13275 (java) S 13270 13272 12979 0 -1 4202560 52 0 0 0 27 0 0 0 20 0 19 0 282160181 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139719453535272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13276] ppid=13270 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/13272/task/13276/stat : 13276 (java) S 13270 13272 12979 0 -1 4202560 28 0 0 0 29 0 0 0 20 0 19 0 282160181 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139719452482472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13277] ppid=13270 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/13272/task/13277/stat : 13277 (java) S 13270 13272 12979 0 -1 4202560 16 0 0 0 28 0 0 0 20 0 19 0 282160181 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139719451429672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13278] ppid=13270 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/13272/task/13278/stat : 13278 (java) S 13270 13272 12979 0 -1 4202560 25 0 0 0 30 0 0 0 20 0 19 0 282160181 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139719450376872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13272/tid=13279] ppid=13270 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/13272/task/13279/stat : 13279 (java) S 13270 13272 12979 0 -1 4202560 12 0 0 0 27 1 0 0 20 0 19 0 282160181 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139719449324072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13272/tid=13280] ppid=13270 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/13272/task/13280/stat : 13280 (java) S 13270 13272 12979 0 -1 4202560 57 0 0 0 28 0 0 0 20 0 19 0 282160181 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139719448271272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13281] ppid=13270 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/13272/task/13281/stat : 13281 (java) S 13270 13272 12979 0 -1 4202560 42 0 0 0 31 1 0 0 20 0 19 0 282160181 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139719318481192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13282] ppid=13270 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/13272/task/13282/stat : 13282 (java) S 13270 13272 12979 0 -1 4202560 83 0 0 0 30 0 0 0 20 0 19 0 282160181 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139719317428392 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13283] ppid=13270 vsize=9625004 CPUtime=3.45 cores=1,3,5,7 /proc/13272/task/13283/stat : 13283 (java) S 13270 13272 12979 0 -1 4202560 177 0 0 0 342 3 0 0 20 0 19 0 282160182 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139718834482152 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13284] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13284/stat : 13284 (java) S 13270 13272 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139718833428216 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13285] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13285/stat : 13285 (java) S 13270 13272 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139718832375304 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13286] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13286/stat : 13286 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139718831323792 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13287] ppid=13270 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/13272/task/13287/stat : 13287 (java) S 13270 13272 12979 0 -1 4202560 3688 0 0 0 66 2 0 0 20 0 19 0 282160185 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139718830270904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13288] ppid=13270 vsize=9625004 CPUtime=0.61 cores=1,3,5,7 /proc/13272/task/13288/stat : 13288 (java) S 13270 13272 12979 0 -1 4202560 2374 0 0 0 61 0 0 0 20 0 19 0 282160185 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139718829218104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13289] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13289/stat : 13289 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139718828165496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13290] ppid=13270 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/13272/task/13290/stat : 13290 (java) S 13270 13272 12979 0 -1 4202560 103 0 0 0 12 17 0 0 20 0 19 0 282160185 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139718827112904 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13291] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13291/stat : 13291 (java) S 13270 13272 12979 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282160237 9856004096 53745 33554432000 1073741824 1073778376 140736943460144 139718826059432 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1785.09 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 13423 /proc/meminfo: memFree=30720488/32873844 swapFree=7372/7372 [pid=13272] ppid=13270 vsize=9625004 CPUtime=1800.1 cores=1,3,5,7 /proc/13272/stat : 13272 (java) S 13270 13272 12979 0 -1 4202496 10480 0 1 0 179982 28 0 0 20 0 19 0 282160178 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 140736943451280 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13272/statm: 2406251 54175 2290 9 0 2396937 0 [pid=13272/tid=13274] ppid=13270 vsize=9625004 CPUtime=1793.07 cores=1,3,5,7 /proc/13272/task/13274/stat : 13274 (java) R 13270 13272 12979 0 -1 4202560 2637 0 1 0 179274 33 0 0 20 0 19 0 282160179 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719481082224 139719330248933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13275] ppid=13270 vsize=9625004 CPUtime=0.27 cores=1,3,5,7 /proc/13272/task/13275/stat : 13275 (java) S 13270 13272 12979 0 -1 4202560 52 0 0 0 27 0 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719453535272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13276] ppid=13270 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/13272/task/13276/stat : 13276 (java) S 13270 13272 12979 0 -1 4202560 28 0 0 0 29 0 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719452482472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13277] ppid=13270 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/13272/task/13277/stat : 13277 (java) S 13270 13272 12979 0 -1 4202560 16 0 0 0 28 0 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719451429672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13278] ppid=13270 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/13272/task/13278/stat : 13278 (java) S 13270 13272 12979 0 -1 4202560 25 0 0 0 30 0 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719450376872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13272/tid=13279] ppid=13270 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/13272/task/13279/stat : 13279 (java) S 13270 13272 12979 0 -1 4202560 12 0 0 0 27 1 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719449324072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13272/tid=13280] ppid=13270 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/13272/task/13280/stat : 13280 (java) S 13270 13272 12979 0 -1 4202560 57 0 0 0 28 0 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719448271272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13281] ppid=13270 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/13272/task/13281/stat : 13281 (java) S 13270 13272 12979 0 -1 4202560 42 0 0 0 31 1 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719318481192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13282] ppid=13270 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/13272/task/13282/stat : 13282 (java) S 13270 13272 12979 0 -1 4202560 83 0 0 0 30 0 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719317428392 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13283] ppid=13270 vsize=9625004 CPUtime=3.45 cores=1,3,5,7 /proc/13272/task/13283/stat : 13283 (java) S 13270 13272 12979 0 -1 4202560 177 0 0 0 342 3 0 0 20 0 19 0 282160182 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718834482152 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13284] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13284/stat : 13284 (java) S 13270 13272 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718833428216 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13285] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13285/stat : 13285 (java) S 13270 13272 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718832375304 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13286] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13286/stat : 13286 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718831323792 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13287] ppid=13270 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/13272/task/13287/stat : 13287 (java) S 13270 13272 12979 0 -1 4202560 3688 0 0 0 66 2 0 0 20 0 19 0 282160185 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718830270904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13288] ppid=13270 vsize=9625004 CPUtime=0.61 cores=1,3,5,7 /proc/13272/task/13288/stat : 13288 (java) S 13270 13272 12979 0 -1 4202560 2374 0 0 0 61 0 0 0 20 0 19 0 282160185 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718829218104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13289] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13289/stat : 13289 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718828165496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13290] ppid=13270 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/13272/task/13290/stat : 13290 (java) S 13270 13272 12979 0 -1 4202560 103 0 0 0 12 17 0 0 20 0 19 0 282160185 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718827112904 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13291] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13291/stat : 13291 (java) S 13270 13272 12979 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282160237 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718826059432 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 13423 /proc/meminfo: memFree=30720488/32873844 swapFree=7372/7372 [pid=13272] ppid=13270 vsize=9625004 CPUtime=1800.1 cores=1,3,5,7 /proc/13272/stat : 13272 (java) S 13270 13272 12979 0 -1 4202496 10480 0 1 0 179982 28 0 0 20 0 19 0 282160178 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 140736943451280 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13272/statm: 2406251 54175 2290 9 0 2396937 0 [pid=13272/tid=13274] ppid=13270 vsize=9625004 CPUtime=1793.07 cores=1,3,5,7 /proc/13272/task/13274/stat : 13274 (java) R 13270 13272 12979 0 -1 4202560 2637 0 1 0 179274 33 0 0 20 0 19 0 282160179 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719481082224 139719330248933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13275] ppid=13270 vsize=9625004 CPUtime=0.27 cores=1,3,5,7 /proc/13272/task/13275/stat : 13275 (java) S 13270 13272 12979 0 -1 4202560 52 0 0 0 27 0 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719453535272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13276] ppid=13270 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/13272/task/13276/stat : 13276 (java) S 13270 13272 12979 0 -1 4202560 28 0 0 0 29 0 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719452482472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13277] ppid=13270 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/13272/task/13277/stat : 13277 (java) S 13270 13272 12979 0 -1 4202560 16 0 0 0 28 0 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719451429672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13278] ppid=13270 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/13272/task/13278/stat : 13278 (java) S 13270 13272 12979 0 -1 4202560 25 0 0 0 30 0 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719450376872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13272/tid=13279] ppid=13270 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/13272/task/13279/stat : 13279 (java) S 13270 13272 12979 0 -1 4202560 12 0 0 0 27 1 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719449324072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13272/tid=13280] ppid=13270 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/13272/task/13280/stat : 13280 (java) S 13270 13272 12979 0 -1 4202560 57 0 0 0 28 0 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719448271272 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13281] ppid=13270 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/13272/task/13281/stat : 13281 (java) S 13270 13272 12979 0 -1 4202560 42 0 0 0 31 1 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719318481192 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13282] ppid=13270 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/13272/task/13282/stat : 13282 (java) S 13270 13272 12979 0 -1 4202560 83 0 0 0 30 0 0 0 20 0 19 0 282160181 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139719317428392 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13283] ppid=13270 vsize=9625004 CPUtime=3.45 cores=1,3,5,7 /proc/13272/task/13283/stat : 13283 (java) S 13270 13272 12979 0 -1 4202560 177 0 0 0 342 3 0 0 20 0 19 0 282160182 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718834482152 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13272/tid=13284] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13284/stat : 13284 (java) S 13270 13272 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718833428216 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13285] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13285/stat : 13285 (java) S 13270 13272 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282160182 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718832375304 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13286] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13286/stat : 13286 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718831323792 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13287] ppid=13270 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/13272/task/13287/stat : 13287 (java) S 13270 13272 12979 0 -1 4202560 3688 0 0 0 66 2 0 0 20 0 19 0 282160185 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718830270904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13288] ppid=13270 vsize=9625004 CPUtime=0.61 cores=1,3,5,7 /proc/13272/task/13288/stat : 13288 (java) S 13270 13272 12979 0 -1 4202560 2374 0 0 0 61 0 0 0 20 0 19 0 282160185 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718829218104 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13289] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13289/stat : 13289 (java) S 13270 13272 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282160185 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718828165496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13272/tid=13290] ppid=13270 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/13272/task/13290/stat : 13290 (java) S 13270 13272 12979 0 -1 4202560 103 0 0 0 12 17 0 0 20 0 19 0 282160185 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718827112904 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13272/tid=13291] ppid=13270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/13272/task/13291/stat : 13291 (java) S 13270 13272 12979 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282160237 9856004096 54175 33554432000 1073741824 1073778376 140736943460144 139718826059432 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 9625004 Child status: 143 Real time (s): 1797.39 CPU time (s): 1800.85 CPU user time (s): 1800.14 CPU system time (s): 0.714891 CPU usage (%): 100.193 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.14 system time used= 0.714891 maximum resident set size= 216824 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10513 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1672 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40144 involuntary context switches= 16299 runsolver used 5.61914 second user time and 14.1638 second system time The end
Begin job on node118 at 2012-05-28 01:12:21 IDJOB=3710935 IDBENCH=25001 IDSOLVER=2289 FILE ID=node118/3710935-1338160341 RUNJOBID= node118-1338156758-12996 PBS_JOBID= 14624527 Free space on /tmp= 71668 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_026_area_delay.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710935-1338160341/watcher-3710935-1338160341 -o /tmp/evaluation-result-3710935-1338160341/solver-3710935-1338160341 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710935-1338160341.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4c21c441bf9f3f3be8f0cdb52c39f9b4 RANDOM SEED=1505525486 node118.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.212 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.42 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.212 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 : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 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 : 5320.68 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.212 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.212 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.212 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: 30973340 kB Buffers: 370240 kB Cached: 495596 kB SwapCached: 0 kB Active: 684568 kB Inactive: 377512 kB Active(anon): 186412 kB Inactive(anon): 11320 kB Active(file): 498156 kB Inactive(file): 366192 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 2040 kB Writeback: 0 kB AnonPages: 204420 kB Mapped: 19896 kB Shmem: 200 kB Slab: 695460 kB SReclaimable: 136628 kB SUnreclaim: 558832 kB KernelStack: 1584 kB PageTables: 4868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 697200 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 176128 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= 71668 MiB End job on node118 at 2012-05-28 01:42:20