Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat 4j PB Resolution 2.3.2 Snapshot | OPT | 130.34 | 128.107 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_9_mh_ic.opb |
| MD5SUM | e68c386be3005ac1db93713ad853c109 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3056260 |
| Best CPU time to get the best result obtained on this benchmark | 130.34 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 144703125 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 7285050849 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 144703125 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 7285050849 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.01/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.01/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.09 c See www.sat4j.org for details. 0.01/0.09 c version 2.3.2.v20120418 0.01/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.09 c java.vm.version 19.1-b02 0.01/0.09 c java.vm.vendor Sun Microsystems Inc. 0.01/0.09 c sun.arch.data.model 64 0.01/0.09 c java.version 1.6.0_24 0.01/0.09 c os.name Linux 0.01/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.09 c os.arch amd64 0.01/0.09 c Free memory 501472288 0.01/0.09 c Max memory 7480803328 0.01/0.09 c Total memory 504102912 0.01/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3690069-1337895715.opb 0.09/0.11 c reading problem ... 0.70/0.46 c ... done. Wall clock time 0.344s. 0.70/0.46 c declared #vars 9765 0.70/0.46 c #constraints 21927 0.70/0.46 c constraints type 0.70/0.46 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 0.70/0.46 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 0.70/0.46 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.70/0.46 c ignored satisfied constraints => 4 0.70/0.46 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 0.70/0.46 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 0.70/0.46 c 21931 constraints processed. 0.70/0.46 c objective function length is 4005 literals 1.18/0.62 c SATISFIABLE 1.18/0.62 c OPTIMIZING... 1.18/0.62 c Got one! Elapsed wall clock time (in seconds):0.511 1.18/0.62 o 3871053 1.65/0.90 c Got one! Elapsed wall clock time (in seconds):0.783 1.65/0.90 o 3789355 3.20/2.33 c cleaning 2921 clauses out of 5852 with flag 5002/5854 4.30/3.38 c Got one! Elapsed wall clock time (in seconds):3.271 4.30/3.38 o 3788257 4.42/3.42 c Got one! Elapsed wall clock time (in seconds):3.304 4.42/3.42 o 3723271 4.71/3.66 c cleaning 4067 clauses out of 8144 with flag 1000/11067 6.61/5.07 c cleaning 5038 clauses out of 10077 with flag 7000/17067 8.31/6.73 c cleaning 6016 clauses out of 12039 with flag 14000/24067 8.76/7.10 c Got one! Elapsed wall clock time (in seconds):6.99 8.76/7.10 o 3690857 9.60/7.92 c cleaning 5669 clauses out of 11368 with flag 4001/29412 10.90/9.28 c Got one! Elapsed wall clock time (in seconds):9.167 10.90/9.28 o 3690619 12.00/10.37 c cleaning 8251 clauses out of 16503 with flag 5001/40216 13.41/11.76 c cleaning 7119 clauses out of 14251 with flag 11000/46215 15.03/13.38 c cleaning 7057 clauses out of 14133 with flag 18001/53216 16.84/15.14 c cleaning 7531 clauses out of 15078 with flag 26003/61218 17.54/15.85 c Got one! Elapsed wall clock time (in seconds):15.734 17.54/15.85 o 3682282 17.94/16.23 c cleaning 6309 clauses out of 12643 with flag 2001/66314 19.25/17.55 c cleaning 6141 clauses out of 12334 with flag 8001/72314 20.84/19.15 c cleaning 6591 clauses out of 13192 with flag 15000/79313 22.76/21.03 c cleaning 7290 clauses out of 14602 with flag 23001/87314 24.77/23.09 c cleaning 8143 clauses out of 16313 with flag 32002/96315 27.08/25.37 c cleaning 9074 clauses out of 18168 with flag 42000/106313 29.57/27.82 c cleaning 10039 clauses out of 20094 with flag 53000/117313 32.08/30.38 c cleaning 11020 clauses out of 22056 with flag 65001/129314 33.09/31.35 c Got one! Elapsed wall clock time (in seconds):31.237 33.09/31.35 o 3665575 33.30/31.53 c cleaning 8307 clauses out of 16659 with flag 1001/134939 34.33/32.57 c cleaning 7155 clauses out of 14352 with flag 7001/140939 35.64/33.80 c cleaning 7091 clauses out of 14196 with flag 14000/147938 35.85/34.05 c Got one! Elapsed wall clock time (in seconds):33.938 35.85/34.05 o 3659493 35.85/34.07 c Got one! Elapsed wall clock time (in seconds):33.962 35.85/34.07 o 3646635 36.04/34.26 c Got one! Elapsed wall clock time (in seconds):34.149 36.04/34.26 o 3631686 36.74/34.91 c cleaning 6196 clauses out of 12402 with flag 3000/153236 37.94/36.18 c cleaning 6091 clauses out of 12207 with flag 9001/159237 39.45/37.69 c cleaning 6543 clauses out of 13116 with flag 16001/166237 41.25/39.43 c cleaning 7282 clauses out of 14572 with flag 24000/174236 43.05/41.22 c cleaning 8145 clauses out of 16290 with flag 33000/183236 45.36/43.54 c cleaning 9067 clauses out of 18145 with flag 43000/193236 47.77/45.93 c cleaning 10011 clauses out of 20078 with flag 54000/204236 48.50/46.66 c Got one! Elapsed wall clock time (in seconds):46.543 48.50/46.66 o 3607319 48.50/46.69 c Got one! Elapsed wall clock time (in seconds):46.582 48.50/46.69 o 3376962 48.60/46.72 c Got one! Elapsed wall clock time (in seconds):46.608 48.60/46.72 o 3375740 49.00/47.17 c cleaning 7791 clauses out of 15646 with flag 2000/209815 50.40/48.58 c cleaning 6911 clauses out of 13855 with flag 8000/215815 52.21/50.30 c cleaning 6963 clauses out of 13945 with flag 15001/222816 53.90/52.08 c cleaning 7481 clauses out of 14983 with flag 23002/230817 55.92/54.02 c cleaning 8238 clauses out of 16500 with flag 32000/239815 58.33/56.41 c Got one! Elapsed wall clock time (in seconds):56.297 58.33/56.41 o 3320018 58.43/56.52 c Got one! Elapsed wall clock time (in seconds):56.403 58.43/56.52 o 3307829 58.76/56.80 c Got one! Elapsed wall clock time (in seconds):56.686 58.76/56.80 o 3294491 58.76/56.84 c Got one! Elapsed wall clock time (in seconds):56.729 58.76/56.84 o 3282242 58.86/56.97 c Got one! Elapsed wall clock time (in seconds):56.855 58.86/56.97 o 3275779 58.96/57.01 c Got one! Elapsed wall clock time (in seconds):56.898 58.96/57.01 o 3274557 58.96/57.03 c Got one! Elapsed wall clock time (in seconds):56.916 58.96/57.03 o 3253509 58.96/57.08 c Got one! Elapsed wall clock time (in seconds):56.966 58.96/57.08 o 3226709 59.07/57.11 c Got one! Elapsed wall clock time (in seconds):57.001 59.07/57.11 o 3205661 59.07/57.14 c Got one! Elapsed wall clock time (in seconds):57.03 59.07/57.14 o 3168524 59.07/57.17 c Got one! Elapsed wall clock time (in seconds):57.059 59.07/57.17 o 3139418 59.07/57.19 c Got one! Elapsed wall clock time (in seconds):57.078 59.07/57.19 o 3122761 59.07/57.20 c Got one! Elapsed wall clock time (in seconds):57.086 59.07/57.20 o 3110512 59.16/57.24 c Got one! Elapsed wall clock time (in seconds):57.127 59.16/57.24 o 3068509 59.16/57.28 c Got one! Elapsed wall clock time (in seconds):57.166 59.16/57.28 o 3056260 60.16/58.22 c cleaning 13113 clauses out of 26245 with flag 4000/257798 61.44/59.44 c cleaning 9548 clauses out of 19132 with flag 10000/263798 63.13/61.12 c cleaning 8274 clauses out of 16584 with flag 17000/270798 64.94/62.99 c cleaning 8143 clauses out of 16310 with flag 25000/278798 66.84/64.87 c cleaning 8578 clauses out of 17169 with flag 34002/287800 69.15/67.19 c cleaning 9283 clauses out of 18590 with flag 44003/297801 71.65/69.68 c cleaning 10150 clauses out of 20305 with flag 55001/308799 74.35/72.34 c cleaning 11074 clauses out of 22157 with flag 67003/320801 77.06/75.07 c cleaning 12035 clauses out of 24081 with flag 80002/333800 80.07/78.09 c cleaning 13014 clauses out of 26044 with flag 94000/347798 82.87/80.80 c cleaning 14008 clauses out of 28030 with flag 109000/362798 86.08/84.01 c cleaning 15007 clauses out of 30024 with flag 125002/378800 89.38/87.37 c cleaning 15999 clauses out of 32013 with flag 142000/395798 93.10/91.03 c cleaning 17000 clauses out of 34014 with flag 160000/413798 96.64/94.58 c cleaning 18001 clauses out of 36014 with flag 179000/432798 100.54/98.48 c cleaning 18997 clauses out of 38014 with flag 199001/452799 104.54/102.46 c cleaning 20001 clauses out of 40013 with flag 220000/473798 108.76/106.67 c cleaning 21003 clauses out of 42010 with flag 242000/495798 113.05/110.96 c cleaning 21982 clauses out of 44006 with flag 265000/518798 117.56/115.47 c cleaning 22998 clauses out of 46024 with flag 289000/542798 122.38/120.26 c cleaning 24007 clauses out of 48027 with flag 314002/567800 126.90/124.72 c cleaning 25006 clauses out of 50017 with flag 340000/593798 130.22/128.08 c starts : 181 130.22/128.08 c conflicts : 616218 130.22/128.08 c decisions : 1567069 130.22/128.08 c propagations : 197910003 130.22/128.08 c inspects : 675781657 130.22/128.08 c shortcuts : 0 130.22/128.08 c learnt literals : 33 130.22/128.08 c learnt binary clauses : 112 130.22/128.08 c learnt ternary clauses : 103 130.22/128.08 c learnt constraints : 616184 130.22/128.08 c ignored constraints : 0 130.22/128.08 c root simplifications : 0 130.22/128.08 c removed literals (reason simplification) : 0 130.22/128.08 c reason swapping (by a shorter reason) : 0 130.22/128.08 c Calls to reduceDB : 54 130.22/128.08 c number of reductions to clauses (during analyze) : 0 130.22/128.08 c number of learned constraints concerned by reduction : 0 130.22/128.08 c number of learning phase by resolution : 0 130.22/128.08 c number of learning phase by cutting planes : 0 130.22/128.08 c speed (assignments/second) : 1551103.9241964684 130.22/128.08 c non guided choices 5979 130.22/128.08 c learnt constraints type 130.22/128.08 c constraints type 130.22/128.08 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 130.22/128.08 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 130.22/128.08 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 130.22/128.08 c ignored satisfied constraints => 4 130.22/128.08 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 130.22/128.08 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 130.22/128.08 c 21931 constraints processed. 130.22/128.08 s OPTIMUM FOUND 130.22/128.09 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 130.34/128.10 c objective function=3056260 130.34/128.10 c Total wall clock time (in seconds): 127.987
OK 3056260
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-3690069-1337895715/watcher-3690069-1337895715 -o /tmp/evaluation-result-3690069-1337895715/solver-3690069-1337895715 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690069-1337895715.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.94 2.06 2.05 3/194 30406 /proc/meminfo: memFree=25134948/32873844 swapFree=7616/7616 [pid=30406] ppid=30404 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/30406/stat : 30406 (java) D 30404 30406 24080 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 255695860 9515008 183 33554432000 1073741824 1073778376 140733210686944 140733210677976 209883840181 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0 /proc/30406/statm: 2323 183 140 9 0 71 0 [startup+0.0378611 s] /proc/loadavg: 1.94 2.06 2.05 3/194 30406 /proc/meminfo: memFree=25134948/32873844 swapFree=7616/7616 [pid=30406] ppid=30404 vsize=9092432 CPUtime=0.01 cores=1,3,5,7 /proc/30406/stat : 30406 (java) S 30404 30406 24080 0 -1 4202496 2919 0 1 0 1 0 0 0 20 0 11 0 255695860 9310650368 3618 33554432000 1073741824 1073778376 140737033070816 140737033061952 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/30406/statm: 2273108 3618 1644 9 0 2263809 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9092432 [startup+0.100279 s] /proc/loadavg: 1.94 2.06 2.05 3/194 30406 /proc/meminfo: memFree=25134948/32873844 swapFree=7616/7616 [pid=30406] ppid=30404 vsize=9558412 CPUtime=0.09 cores=1,3,5,7 /proc/30406/stat : 30406 (java) S 30404 30406 24080 0 -1 4202496 4276 0 1 0 8 1 0 0 20 0 18 0 255695860 9787813888 5468 33554432000 1073741824 1073778376 140737033070816 140737033061952 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/30406/statm: 2389603 5468 2108 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300261 s] /proc/loadavg: 1.94 2.06 2.05 3/194 30406 /proc/meminfo: memFree=25134948/32873844 swapFree=7616/7616 [pid=30406] ppid=30404 vsize=9558412 CPUtime=0.5 cores=1,3,5,7 /proc/30406/stat : 30406 (java) S 30404 30406 24080 0 -1 4202496 5797 0 1 0 48 2 0 0 20 0 18 0 255695860 9787813888 9726 33554432000 1073741824 1073778376 140737033070816 140737033061952 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/30406/statm: 2389603 9726 2219 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558412 [startup+0.700226 s] /proc/loadavg: 1.94 2.06 2.05 3/194 30406 /proc/meminfo: memFree=25134948/32873844 swapFree=7616/7616 [pid=30406] ppid=30404 vsize=9624976 CPUtime=1.41 cores=1,3,5,7 /proc/30406/stat : 30406 (java) S 30404 30406 24080 0 -1 4202496 7682 0 1 0 137 4 0 0 20 0 19 0 255695860 9855975424 22440 33554432000 1073741824 1073778376 140737033070816 140737033061952 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/30406/statm: 2406244 22440 2255 9 0 2396937 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 9624976 [startup+1.50073 s] /proc/loadavg: 1.94 2.06 2.05 3/213 30425 /proc/meminfo: memFree=25051220/32873844 swapFree=7616/7616 [pid=30406] ppid=30404 vsize=9624976 CPUtime=2.36 cores=1,3,5,7 /proc/30406/stat : 30406 (java) S 30404 30406 24080 0 -1 4202496 8160 0 1 0 232 4 0 0 20 0 19 0 255695860 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 140737033061952 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/30406/statm: 2406244 23052 2259 9 0 2396937 0 [pid=30406/tid=30408] ppid=30404 vsize=9624976 CPUtime=1.46 cores=1,3,5,7 /proc/30406/task/30408/stat : 30408 (java) R 30404 30406 24080 0 -1 4202560 2482 0 1 0 143 3 0 0 20 0 19 0 255695861 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139660029206816 139659871789785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30409] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30409/stat : 30409 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659990706472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30410] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30410/stat : 30410 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659989653672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30411] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30411/stat : 30411 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659870988840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=30406/tid=30412] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30412/stat : 30412 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659869936040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30413] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30413/stat : 30413 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659868883752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30414] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30414/stat : 30414 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659867830952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30415] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30415/stat : 30415 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659866778664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30416] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30416/stat : 30416 (java) S 30404 30406 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659865725864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30417] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30417/stat : 30417 (java) S 30404 30406 24080 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255695863 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659383396584 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30418] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30418/stat : 30418 (java) S 30404 30406 24080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255695864 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659382342648 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30419] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30419/stat : 30419 (java) S 30404 30406 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255695864 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659381290248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30420] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30420/stat : 30420 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659380238736 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30421] ppid=30404 vsize=9624976 CPUtime=0.46 cores=1,3,5,7 /proc/30406/task/30421/stat : 30421 (java) S 30404 30406 24080 0 -1 4202560 2387 0 0 0 44 2 0 0 20 0 19 0 255695866 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659379186360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30422] ppid=30404 vsize=9624976 CPUtime=0.41 cores=1,3,5,7 /proc/30406/task/30422/stat : 30422 (java) S 30404 30406 24080 0 -1 4202560 2090 0 0 0 41 0 0 0 20 0 19 0 255695866 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659378133560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30423] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30423/stat : 30423 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659377081464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30424] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30424/stat : 30424 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659376028872 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30425] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30425/stat : 30425 (java) S 30404 30406 24080 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255695909 9855975424 23052 33554432000 1073741824 1073778376 140737033070816 139659374973864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.36 Current children cumulated vsize (KiB) 9624976 [startup+3.10063 s] /proc/loadavg: 1.94 2.06 2.05 3/213 30425 /proc/meminfo: memFree=25048304/32873844 swapFree=7616/7616 [pid=30406] ppid=30404 vsize=9624976 CPUtime=4.09 cores=1,3,5,7 /proc/30406/stat : 30406 (java) S 30404 30406 24080 0 -1 4202496 8301 0 1 0 404 5 0 0 20 0 19 0 255695860 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 140737033061952 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/30406/statm: 2406244 28215 2284 9 0 2396937 0 [pid=30406/tid=30408] ppid=30404 vsize=9624976 CPUtime=3.01 cores=1,3,5,7 /proc/30406/task/30408/stat : 30408 (java) R 30404 30406 24080 0 -1 4202560 2486 0 1 0 298 3 0 0 20 0 19 0 255695861 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139660029215096 139659871789717 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30409] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30409/stat : 30409 (java) S 30404 30406 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659990706472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30410] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30410/stat : 30410 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659989653672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30411] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30411/stat : 30411 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659870988840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30412] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30412/stat : 30412 (java) S 30404 30406 24080 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659869936040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30413] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30413/stat : 30413 (java) S 30404 30406 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659868883752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30414] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30414/stat : 30414 (java) S 30404 30406 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659867830952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=30406/tid=30415] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30415/stat : 30415 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659866778664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30416] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30416/stat : 30416 (java) S 30404 30406 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659865725864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30417] ppid=30404 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/30406/task/30417/stat : 30417 (java) S 30404 30406 24080 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 255695863 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659383396584 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30418] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30418/stat : 30418 (java) S 30404 30406 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255695864 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659382342648 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30419] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30419/stat : 30419 (java) S 30404 30406 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255695864 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659381290248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30420] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30420/stat : 30420 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659380238736 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30421] ppid=30404 vsize=9624976 CPUtime=0.49 cores=1,3,5,7 /proc/30406/task/30421/stat : 30421 (java) S 30404 30406 24080 0 -1 4202560 2388 0 0 0 47 2 0 0 20 0 19 0 255695866 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659379186360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30422] ppid=30404 vsize=9624976 CPUtime=0.47 cores=1,3,5,7 /proc/30406/task/30422/stat : 30422 (java) S 30404 30406 24080 0 -1 4202560 2174 0 0 0 47 0 0 0 20 0 19 0 255695866 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659378133560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30423] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30423/stat : 30423 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659377081464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30424] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30424/stat : 30424 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659376028872 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30425] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30425/stat : 30425 (java) S 30404 30406 24080 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255695909 9855975424 28215 33554432000 1073741824 1073778376 140737033070816 139659374973864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.09 Current children cumulated vsize (KiB) 9624976 [startup+6.30064 s] /proc/loadavg: 1.95 2.06 2.05 3/213 30425 /proc/meminfo: memFree=25008052/32873844 swapFree=7616/7616 [pid=30406] ppid=30404 vsize=9624976 CPUtime=7.91 cores=1,3,5,7 /proc/30406/stat : 30406 (java) S 30404 30406 24080 0 -1 4202496 16964 0 1 0 784 7 0 0 20 0 19 0 255695860 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 140737033061952 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/30406/statm: 2406244 33461 2284 9 0 2396937 0 [pid=30406/tid=30408] ppid=30404 vsize=9624976 CPUtime=6.15 cores=1,3,5,7 /proc/30406/task/30408/stat : 30408 (java) R 30404 30406 24080 0 -1 4202560 2486 0 1 0 612 3 0 0 20 0 19 0 255695861 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139660029215008 139659871789022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30409] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30409/stat : 30409 (java) S 30404 30406 24080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659990706472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30410] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30410/stat : 30410 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659989653672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=30406/tid=30411] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30411/stat : 30411 (java) S 30404 30406 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659870988840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30412] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30412/stat : 30412 (java) S 30404 30406 24080 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659869936040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=30406/tid=30413] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30413/stat : 30413 (java) S 30404 30406 24080 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659868883752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30414] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30414/stat : 30414 (java) S 30404 30406 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659867830952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30415] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30415/stat : 30415 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659866778664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30416] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30416/stat : 30416 (java) S 30404 30406 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255695862 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659865725864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30417] ppid=30404 vsize=9624976 CPUtime=0.06 cores=1,3,5,7 /proc/30406/task/30417/stat : 30417 (java) S 30404 30406 24080 0 -1 4202560 35 0 0 0 6 0 0 0 20 0 19 0 255695863 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659383396584 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30418] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30418/stat : 30418 (java) S 30404 30406 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255695864 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659382342648 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30419] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30419/stat : 30419 (java) S 30404 30406 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255695864 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659381290248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30420] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30420/stat : 30420 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659380238736 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30421] ppid=30404 vsize=9624976 CPUtime=0.55 cores=1,3,5,7 /proc/30406/task/30421/stat : 30421 (java) S 30404 30406 24080 0 -1 4202560 2389 0 0 0 53 2 0 0 20 0 19 0 255695866 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659379186360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30422] ppid=30404 vsize=9624976 CPUtime=1.03 cores=1,3,5,7 /proc/30406/task/30422/stat : 30422 (java) S 30404 30406 24080 0 -1 4202560 10826 0 0 0 101 2 0 0 20 0 19 0 255695866 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659378133560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30423] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30423/stat : 30423 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659377081464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30424] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30424/stat : 30424 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659376028872 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30425] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30425/stat : 30425 (java) S 30404 30406 24080 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255695909 9855975424 33461 33554432000 1073741824 1073778376 140737033070816 139659374973864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.91 Current children cumulated vsize (KiB) 9624976 [startup+12.7006 s] ################ # More data... # ################ /proc/30406/task/30416/stat : 30416 (java) S 30404 30406 24080 0 -1 4202560 16 0 0 0 7 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659865725864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=30406/tid=30417] ppid=30404 vsize=9624976 CPUtime=1.56 cores=1,3,5,7 /proc/30406/task/30417/stat : 30417 (java) S 30404 30406 24080 0 -1 4202560 44 0 0 0 156 0 0 0 20 0 19 0 255695863 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659383396584 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30418] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30418/stat : 30418 (java) S 30404 30406 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255695864 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659382342648 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30419] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30419/stat : 30419 (java) S 30404 30406 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255695864 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659381290248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30420] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30420/stat : 30420 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659380238736 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30421] ppid=30404 vsize=9624976 CPUtime=0.68 cores=1,3,5,7 /proc/30406/task/30421/stat : 30421 (java) S 30404 30406 24080 0 -1 4202560 3459 0 0 0 66 2 0 0 20 0 19 0 255695866 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659379186360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30422] ppid=30404 vsize=9624976 CPUtime=1.05 cores=1,3,5,7 /proc/30406/task/30422/stat : 30422 (java) S 30404 30406 24080 0 -1 4202560 10827 0 0 0 103 2 0 0 20 0 19 0 255695866 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659378133560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30423] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30423/stat : 30423 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659377081464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30424] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30424/stat : 30424 (java) S 30404 30406 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659376028872 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30425] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30425/stat : 30425 (java) S 30404 30406 24080 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255695909 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659374973864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 128.52 Current children cumulated vsize (KiB) 9624976 [startup+127.101 s] /proc/loadavg: 2.08 2.06 2.05 3/213 30425 /proc/meminfo: memFree=24995540/32873844 swapFree=7616/7616 [pid=30406] ppid=30404 vsize=9624976 CPUtime=129.32 cores=1,3,5,7 /proc/30406/stat : 30406 (java) S 30404 30406 24080 0 -1 4202496 18229 0 1 0 12920 12 0 0 20 0 19 0 255695860 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 140737033061952 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/30406/statm: 2406244 36497 2285 9 0 2396937 0 [pid=30406/tid=30408] ppid=30404 vsize=9624976 CPUtime=124.87 cores=1,3,5,7 /proc/30406/task/30408/stat : 30408 (java) R 30404 30406 24080 0 -1 4202560 2538 0 1 0 12484 3 0 0 20 0 19 0 255695861 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139660029215040 139659871724645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30409] ppid=30404 vsize=9624976 CPUtime=0.08 cores=1,3,5,7 /proc/30406/task/30409/stat : 30409 (java) S 30404 30406 24080 0 -1 4202560 16 0 0 0 8 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659990706472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30410] ppid=30404 vsize=9624976 CPUtime=0.09 cores=1,3,5,7 /proc/30406/task/30410/stat : 30410 (java) S 30404 30406 24080 0 -1 4202560 40 0 0 0 9 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659989653672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30411] ppid=30404 vsize=9624976 CPUtime=0.09 cores=1,3,5,7 /proc/30406/task/30411/stat : 30411 (java) S 30404 30406 24080 0 -1 4202560 11 0 0 0 9 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659870988840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30412] ppid=30404 vsize=9624976 CPUtime=0.11 cores=1,3,5,7 /proc/30406/task/30412/stat : 30412 (java) S 30404 30406 24080 0 -1 4202560 39 0 0 0 11 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659869936040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30413] ppid=30404 vsize=9624976 CPUtime=0.08 cores=1,3,5,7 /proc/30406/task/30413/stat : 30413 (java) S 30404 30406 24080 0 -1 4202560 15 0 0 0 8 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659868883752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30414] ppid=30404 vsize=9624976 CPUtime=0.1 cores=1,3,5,7 /proc/30406/task/30414/stat : 30414 (java) S 30404 30406 24080 0 -1 4202560 23 0 0 0 10 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659867830952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30415] ppid=30404 vsize=9624976 CPUtime=0.07 cores=1,3,5,7 /proc/30406/task/30415/stat : 30415 (java) S 30404 30406 24080 0 -1 4202560 8 0 0 0 7 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659866778664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30416] ppid=30404 vsize=9624976 CPUtime=0.07 cores=1,3,5,7 /proc/30406/task/30416/stat : 30416 (java) S 30404 30406 24080 0 -1 4202560 16 0 0 0 7 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659865725864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=30406/tid=30417] ppid=30404 vsize=9624976 CPUtime=1.56 cores=1,3,5,7 /proc/30406/task/30417/stat : 30417 (java) S 30404 30406 24080 0 -1 4202560 44 0 0 0 156 0 0 0 20 0 19 0 255695863 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659383396584 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30418] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30418/stat : 30418 (java) S 30404 30406 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255695864 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659382342648 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30419] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30419/stat : 30419 (java) S 30404 30406 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255695864 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659381290248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30420] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30420/stat : 30420 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659380238736 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30421] ppid=30404 vsize=9624976 CPUtime=0.68 cores=1,3,5,7 /proc/30406/task/30421/stat : 30421 (java) S 30404 30406 24080 0 -1 4202560 3459 0 0 0 66 2 0 0 20 0 19 0 255695866 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659379186360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30422] ppid=30404 vsize=9624976 CPUtime=1.05 cores=1,3,5,7 /proc/30406/task/30422/stat : 30422 (java) S 30404 30406 24080 0 -1 4202560 10827 0 0 0 103 2 0 0 20 0 19 0 255695866 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659378133560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30423] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30423/stat : 30423 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659377081464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30424] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30424/stat : 30424 (java) S 30404 30406 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659376028872 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30425] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30425/stat : 30425 (java) S 30404 30406 24080 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255695909 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659374973864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 129.32 Current children cumulated vsize (KiB) 9624976 [startup+127.901 s] /proc/loadavg: 2.08 2.06 2.05 3/213 30425 /proc/meminfo: memFree=24995540/32873844 swapFree=7616/7616 [pid=30406] ppid=30404 vsize=9624976 CPUtime=130.12 cores=1,3,5,7 /proc/30406/stat : 30406 (java) S 30404 30406 24080 0 -1 4202496 18229 0 1 0 13000 12 0 0 20 0 19 0 255695860 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 140737033061952 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/30406/statm: 2406244 36497 2285 9 0 2396937 0 [pid=30406/tid=30408] ppid=30404 vsize=9624976 CPUtime=125.67 cores=1,3,5,7 /proc/30406/task/30408/stat : 30408 (java) R 30404 30406 24080 0 -1 4202560 2538 0 1 0 12564 3 0 0 20 0 19 0 255695861 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139660029215040 139659871803762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30409] ppid=30404 vsize=9624976 CPUtime=0.08 cores=1,3,5,7 /proc/30406/task/30409/stat : 30409 (java) S 30404 30406 24080 0 -1 4202560 16 0 0 0 8 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659990706472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30410] ppid=30404 vsize=9624976 CPUtime=0.09 cores=1,3,5,7 /proc/30406/task/30410/stat : 30410 (java) S 30404 30406 24080 0 -1 4202560 40 0 0 0 9 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659989653672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30411] ppid=30404 vsize=9624976 CPUtime=0.09 cores=1,3,5,7 /proc/30406/task/30411/stat : 30411 (java) S 30404 30406 24080 0 -1 4202560 11 0 0 0 9 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659870988840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30412] ppid=30404 vsize=9624976 CPUtime=0.11 cores=1,3,5,7 /proc/30406/task/30412/stat : 30412 (java) S 30404 30406 24080 0 -1 4202560 39 0 0 0 11 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659869936040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30413] ppid=30404 vsize=9624976 CPUtime=0.08 cores=1,3,5,7 /proc/30406/task/30413/stat : 30413 (java) S 30404 30406 24080 0 -1 4202560 15 0 0 0 8 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659868883752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30414] ppid=30404 vsize=9624976 CPUtime=0.1 cores=1,3,5,7 /proc/30406/task/30414/stat : 30414 (java) S 30404 30406 24080 0 -1 4202560 23 0 0 0 10 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659867830952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30415] ppid=30404 vsize=9624976 CPUtime=0.07 cores=1,3,5,7 /proc/30406/task/30415/stat : 30415 (java) S 30404 30406 24080 0 -1 4202560 8 0 0 0 7 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659866778664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30416] ppid=30404 vsize=9624976 CPUtime=0.07 cores=1,3,5,7 /proc/30406/task/30416/stat : 30416 (java) S 30404 30406 24080 0 -1 4202560 16 0 0 0 7 0 0 0 20 0 19 0 255695862 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659865725864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=30406/tid=30417] ppid=30404 vsize=9624976 CPUtime=1.56 cores=1,3,5,7 /proc/30406/task/30417/stat : 30417 (java) S 30404 30406 24080 0 -1 4202560 44 0 0 0 156 0 0 0 20 0 19 0 255695863 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659383396584 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30418] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30418/stat : 30418 (java) S 30404 30406 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255695864 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659382342648 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30419] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30419/stat : 30419 (java) S 30404 30406 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255695864 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659381290248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30420] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30420/stat : 30420 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659380238736 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30421] ppid=30404 vsize=9624976 CPUtime=0.68 cores=1,3,5,7 /proc/30406/task/30421/stat : 30421 (java) S 30404 30406 24080 0 -1 4202560 3459 0 0 0 66 2 0 0 20 0 19 0 255695866 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659379186360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30422] ppid=30404 vsize=9624976 CPUtime=1.05 cores=1,3,5,7 /proc/30406/task/30422/stat : 30422 (java) S 30404 30406 24080 0 -1 4202560 10827 0 0 0 103 2 0 0 20 0 19 0 255695866 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659378133560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30423] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30423/stat : 30423 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659377081464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30424] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30424/stat : 30424 (java) S 30404 30406 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255695866 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659376028872 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30425] ppid=30404 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30425/stat : 30425 (java) S 30404 30406 24080 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255695909 9855975424 36497 33554432000 1073741824 1073778376 140737033070816 139659374973864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 130.12 Current children cumulated vsize (KiB) 9624976 [startup+128.101 s] /proc/loadavg: 2.08 2.06 2.05 3/213 30425 /proc/meminfo: memFree=24995540/32873844 swapFree=7616/7616 [pid=30406] ppid=30404 vsize=9691540 CPUtime=130.34 cores=1,3,5,7 /proc/30406/stat : 30406 (java) S 30404 30406 24080 0 -1 4202496 18241 0 1 0 13022 12 0 0 20 0 20 0 255695860 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 140737033061952 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/30406/statm: 2422885 36508 2286 9 0 2413578 0 [pid=30406/tid=30408] ppid=30404 vsize=9691540 CPUtime=125.85 cores=1,3,5,7 /proc/30406/task/30408/stat : 30408 (java) S 30404 30406 24080 0 -1 4202560 2540 0 1 0 12582 3 0 0 20 0 20 0 255695861 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139660029215448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30409] ppid=30404 vsize=9691540 CPUtime=0.08 cores=1,3,5,7 /proc/30406/task/30409/stat : 30409 (java) S 30404 30406 24080 0 -1 4202560 16 0 0 0 8 0 0 0 20 0 20 0 255695862 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659990706472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30410] ppid=30404 vsize=9691540 CPUtime=0.09 cores=1,3,5,7 /proc/30406/task/30410/stat : 30410 (java) S 30404 30406 24080 0 -1 4202560 40 0 0 0 9 0 0 0 20 0 20 0 255695862 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659989653672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30411] ppid=30404 vsize=9691540 CPUtime=0.09 cores=1,3,5,7 /proc/30406/task/30411/stat : 30411 (java) S 30404 30406 24080 0 -1 4202560 11 0 0 0 9 0 0 0 20 0 20 0 255695862 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659870988840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30412] ppid=30404 vsize=9691540 CPUtime=0.11 cores=1,3,5,7 /proc/30406/task/30412/stat : 30412 (java) S 30404 30406 24080 0 -1 4202560 39 0 0 0 11 0 0 0 20 0 20 0 255695862 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659869936040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30413] ppid=30404 vsize=9691540 CPUtime=0.08 cores=1,3,5,7 /proc/30406/task/30413/stat : 30413 (java) S 30404 30406 24080 0 -1 4202560 15 0 0 0 8 0 0 0 20 0 20 0 255695862 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659868883752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30414] ppid=30404 vsize=9691540 CPUtime=0.1 cores=1,3,5,7 /proc/30406/task/30414/stat : 30414 (java) S 30404 30406 24080 0 -1 4202560 23 0 0 0 10 0 0 0 20 0 20 0 255695862 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659867830952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30415] ppid=30404 vsize=9691540 CPUtime=0.07 cores=1,3,5,7 /proc/30406/task/30415/stat : 30415 (java) S 30404 30406 24080 0 -1 4202560 8 0 0 0 7 0 0 0 20 0 20 0 255695862 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659866778664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30416] ppid=30404 vsize=9691540 CPUtime=0.07 cores=1,3,5,7 /proc/30406/task/30416/stat : 30416 (java) S 30404 30406 24080 0 -1 4202560 16 0 0 0 7 0 0 0 20 0 20 0 255695862 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659865725864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=30406/tid=30417] ppid=30404 vsize=9691540 CPUtime=1.56 cores=1,3,5,7 /proc/30406/task/30417/stat : 30417 (java) S 30404 30406 24080 0 -1 4202560 44 0 0 0 156 0 0 0 20 0 20 0 255695863 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659383396584 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30418] ppid=30404 vsize=9691540 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30418/stat : 30418 (java) S 30404 30406 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 255695864 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659382342648 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30419] ppid=30404 vsize=9691540 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30419/stat : 30419 (java) S 30404 30406 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 255695864 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659381290248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30420] ppid=30404 vsize=9691540 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30420/stat : 30420 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 255695866 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659380238736 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30421] ppid=30404 vsize=9691540 CPUtime=0.7 cores=1,3,5,7 /proc/30406/task/30421/stat : 30421 (java) S 30404 30406 24080 0 -1 4202560 3461 0 0 0 68 2 0 0 20 0 20 0 255695866 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659379186360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=30406/tid=30422] ppid=30404 vsize=9691540 CPUtime=1.06 cores=1,3,5,7 /proc/30406/task/30422/stat : 30422 (java) S 30404 30406 24080 0 -1 4202560 10827 0 0 0 103 3 0 0 20 0 20 0 255695866 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659378133560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30423] ppid=30404 vsize=9691540 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30423/stat : 30423 (java) S 30404 30406 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 255695866 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659377081464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=30406/tid=30424] ppid=30404 vsize=9691540 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30424/stat : 30424 (java) S 30404 30406 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 255695866 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659376028872 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=30406/tid=30425] ppid=30404 vsize=9691540 CPUtime=0 cores=1,3,5,7 /proc/30406/task/30425/stat : 30425 (java) S 30404 30406 24080 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 255695909 9924136960 36508 33554432000 1073741824 1073778376 140737033070816 139659374973864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 130.34 Current children cumulated vsize (KiB) 9691540 Child status: 30 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30406 and gives # childrusage.ru_utime.tv_sec=129 # childrusage.ru_utime.tv_usec=921248 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=222966 # CPU time returned by wait4() is 130.144 # while last known CPU time is 130.34 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 128.107 CPU time (s): 130.34 CPU user time (s): 130.22 CPU system time (s): 0.12 CPU usage (%): 101.743 Max. virtual memory (cumulated for all children) (KiB): 9691540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 129.921 system time used= 0.222966 maximum resident set size= 146036 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18243 page faults= 1 swaps= 0 block input operations= 0 block output operations= 176 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4406 involuntary context switches= 4009 runsolver used 0.442932 second user time and 1.01484 second system time The end
Begin job on node141 at 2012-05-24 23:41:55 IDJOB=3690069 IDBENCH=92685 IDSOLVER=2269 FILE ID=node141/3690069-1337895715 RUNJOBID= node141-1337889888-28800 PBS_JOBID= 14620063 Free space on /tmp= 71468 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_9_mh_ic.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690069-1337895715/watcher-3690069-1337895715 -o /tmp/evaluation-result-3690069-1337895715/solver-3690069-1337895715 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690069-1337895715.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e68c386be3005ac1db93713ad853c109 RANDOM SEED=1310546016 node141.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.744 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 : 5333.48 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.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 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.93 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.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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.744 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.744 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.92 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.744 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 25135304 kB Buffers: 233852 kB Cached: 3331156 kB SwapCached: 0 kB Active: 4011620 kB Inactive: 2946272 kB Active(anon): 3395488 kB Inactive(anon): 0 kB Active(file): 616132 kB Inactive(file): 2946272 kB Unevictable: 7616 kB Mlocked: 7616 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1144 kB Writeback: 0 kB AnonPages: 3400392 kB Mapped: 22520 kB Shmem: 200 kB Slab: 635332 kB SReclaimable: 77896 kB SUnreclaim: 557436 kB KernelStack: 1608 kB PageTables: 10796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 3907908 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 3284992 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= 71468 MiB End job on node141 at 2012-05-24 23:44:04