Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 27 | 1800.2 | 906.264 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_021_area_delay.opb |
| MD5SUM | 5c1765191809ee7ecd7781ce5c7fb9aa |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 3.79742 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 9333 |
| Total number of constraints | 28773 |
| Number of constraints which are clauses | 28773 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 4585 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 4585 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 4585 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.09 c version 2.2.0.v20100531 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 1349517296 0.04/0.09 c Max memory 1356595200 0.04/0.09 c Total memory 1356595200 0.04/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c Stops conflict analysis at the first Unique Implication Point 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c Stops conflict analysis at the first Unique Implication Point 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 0.08/0.12 c solving HOME/instance-3735572-1338749026.opb 0.08/0.12 c reading problem ... 1.39/0.62 c ... done. Wall clock time 0.497s. 1.39/0.62 c #vars 9333 1.39/0.62 c #constraints 28773 1.39/0.62 c constraints type 1.39/0.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4757 1.39/0.62 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23125 1.39/0.62 c constraints type 1.39/0.62 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 23125 1.39/0.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4757 2.56/0.96 c And the winner is Resolution 2.90/1.65 c SATISFIABLE 2.90/1.65 c OPTIMIZING... 2.90/1.65 c Got one! Elapsed wall clock time (in seconds):1.527 2.90/1.65 o 30 3.99/2.00 c And the winner is Resolution 4.13/2.69 c Got one! Elapsed wall clock time (in seconds):2.572 4.13/2.69 o 29 5.98/3.57 c And the winner is Resolution 6.20/3.72 c Got one! Elapsed wall clock time (in seconds):3.603 6.20/3.72 o 28 9.18/5.14 c cleaning 2494 clauses out of 5002 with flag 5002/5002 14.72/7.83 c cleaning 4250 clauses out of 8507 with flag 11001/11001 20.69/10.86 c cleaning 5624 clauses out of 11258 with flag 18002/18002 27.56/14.25 c cleaning 6814 clauses out of 13633 with flag 26001/26001 32.73/16.89 c And the winner is Resolution 34.58/18.75 c Got one! Elapsed wall clock time (in seconds):18.63 34.58/18.75 o 27 36.52/19.73 c cleaning 7903 clauses out of 15818 with flag 35000/35000 44.26/23.63 c cleaning 8953 clauses out of 17915 with flag 45000/45000 53.83/28.50 c cleaning 9980 clauses out of 19963 with flag 56001/56001 65.03/34.04 c cleaning 10983 clauses out of 21982 with flag 68000/68000 76.71/39.97 c cleaning 11993 clauses out of 23999 with flag 81000/81000 88.64/45.98 c cleaning 12995 clauses out of 26006 with flag 95000/95000 100.34/51.86 c cleaning 14000 clauses out of 28012 with flag 110001/110001 114.29/58.85 c cleaning 15001 clauses out of 30011 with flag 126000/126000 129.41/66.46 c cleaning 16003 clauses out of 32013 with flag 143003/143003 144.95/74.21 c cleaning 16997 clauses out of 34008 with flag 161001/161001 160.11/81.89 c cleaning 17996 clauses out of 36010 with flag 180000/180000 176.67/90.15 c cleaning 19004 clauses out of 38016 with flag 200002/200002 194.72/99.20 c cleaning 19999 clauses out of 40011 with flag 221001/221001 215.30/109.59 c cleaning 20993 clauses out of 42011 with flag 243000/243000 237.90/120.87 c cleaning 22004 clauses out of 44020 with flag 266002/266002 259.48/131.63 c cleaning 22998 clauses out of 46014 with flag 290000/290000 279.87/141.95 c cleaning 23995 clauses out of 48016 with flag 315000/315000 304.81/154.40 c cleaning 25003 clauses out of 50021 with flag 341000/341000 327.44/165.77 c cleaning 26005 clauses out of 52019 with flag 368001/368001 350.61/177.36 c cleaning 27002 clauses out of 54013 with flag 396000/396000 374.67/189.46 c cleaning 27503 clauses out of 55012 with flag 424001/424001 396.84/200.58 c cleaning 27750 clauses out of 55509 with flag 452001/452001 422.04/213.10 c cleaning 27876 clauses out of 55759 with flag 480001/480001 444.40/224.31 c cleaning 27932 clauses out of 55883 with flag 508001/508001 465.83/235.11 c cleaning 27966 clauses out of 55950 with flag 536000/536000 487.31/245.95 c cleaning 27984 clauses out of 55986 with flag 564002/564002 510.55/257.63 c cleaning 27994 clauses out of 56000 with flag 592000/592000 534.87/269.85 c cleaning 27999 clauses out of 56008 with flag 620002/620002 564.88/284.91 c cleaning 27997 clauses out of 56008 with flag 648001/648001 589.93/297.51 c cleaning 28000 clauses out of 56011 with flag 676001/676001 615.08/310.16 c cleaning 28000 clauses out of 56010 with flag 704000/704000 641.86/323.58 c cleaning 27993 clauses out of 56010 with flag 732000/732000 668.61/337.04 c cleaning 27998 clauses out of 56017 with flag 760000/760000 692.47/349.04 c cleaning 28001 clauses out of 56021 with flag 788002/788002 714.30/360.00 c cleaning 28002 clauses out of 56019 with flag 816001/816001 737.03/371.45 c cleaning 27997 clauses out of 56021 with flag 844005/844005 759.58/382.87 c cleaning 27994 clauses out of 56020 with flag 872001/872001 782.99/394.66 c cleaning 28006 clauses out of 56025 with flag 900000/900000 806.06/406.23 c cleaning 27998 clauses out of 56020 with flag 928001/928001 829.51/418.05 c cleaning 28003 clauses out of 56022 with flag 956001/956001 854.58/430.73 c cleaning 27993 clauses out of 56018 with flag 984000/984000 881.06/444.03 c cleaning 27998 clauses out of 56025 with flag 1012000/1012000 906.23/456.67 c cleaning 28003 clauses out of 56027 with flag 1040000/1040000 932.34/469.75 c cleaning 27998 clauses out of 56024 with flag 1068000/1068000 959.01/483.28 c cleaning 28006 clauses out of 56026 with flag 1096000/1096000 986.40/497.03 c cleaning 28004 clauses out of 56021 with flag 1124001/1124001 1014.10/510.96 c cleaning 27993 clauses out of 56017 with flag 1152001/1152001 1041.82/524.87 c cleaning 28005 clauses out of 56024 with flag 1180001/1180001 1067.13/537.62 c cleaning 27996 clauses out of 56018 with flag 1208000/1208000 1091.99/550.13 c cleaning 27997 clauses out of 56022 with flag 1236000/1236000 1116.49/562.41 c cleaning 28002 clauses out of 56025 with flag 1264000/1264000 1141.18/574.88 c cleaning 28000 clauses out of 56023 with flag 1292000/1292000 1166.25/587.52 c cleaning 27997 clauses out of 56023 with flag 1320000/1320000 1190.77/599.81 c cleaning 28009 clauses out of 56026 with flag 1348000/1348000 1215.92/612.40 c cleaning 27999 clauses out of 56017 with flag 1376000/1376000 1238.55/623.89 c cleaning 27997 clauses out of 56019 with flag 1404001/1404001 1262.50/635.95 c cleaning 27999 clauses out of 56022 with flag 1432001/1432001 1287.57/648.52 c cleaning 28005 clauses out of 56023 with flag 1460001/1460001 1309.21/659.45 c cleaning 27997 clauses out of 56018 with flag 1488001/1488001 1330.68/670.28 c cleaning 28005 clauses out of 56023 with flag 1516003/1516003 1354.61/682.32 c cleaning 28000 clauses out of 56016 with flag 1544001/1544001 1378.83/694.54 c cleaning 27999 clauses out of 56018 with flag 1572003/1572003 1403.98/707.20 c cleaning 27995 clauses out of 56016 with flag 1600000/1600000 1429.50/719.91 c cleaning 28000 clauses out of 56022 with flag 1628001/1628001 1459.48/735.05 c cleaning 28004 clauses out of 56021 with flag 1656000/1656000 1487.58/749.16 c cleaning 27988 clauses out of 56017 with flag 1684000/1684000 1517.72/764.28 c cleaning 28010 clauses out of 56033 with flag 1712004/1712004 1547.72/779.28 c cleaning 27990 clauses out of 56019 with flag 1740000/1740000 1579.14/795.09 c cleaning 27999 clauses out of 56029 with flag 1768000/1768000 1604.81/807.91 c cleaning 28002 clauses out of 56030 with flag 1796000/1796000 1630.13/820.64 c cleaning 28001 clauses out of 56028 with flag 1824000/1824000 1656.06/833.61 c cleaning 27999 clauses out of 56028 with flag 1852001/1852001 1681.58/846.57 c cleaning 28002 clauses out of 56029 with flag 1880001/1880001 1708.08/859.87 c cleaning 28000 clauses out of 56026 with flag 1908000/1908000 1734.63/873.14 c cleaning 28000 clauses out of 56026 with flag 1936000/1936000 1760.68/886.26 c cleaning 28001 clauses out of 56026 with flag 1964000/1964000 1787.22/899.62 c cleaning 27995 clauses out of 56025 with flag 1992000/1992000 1800.20/906.21 c starts : 225 1800.20/906.21 c conflicts : 2006863 1800.20/906.21 c decisions : 6679262 1800.20/906.21 c propagations : 3607720129 1800.20/906.21 c inspects : 3901987791 1800.20/906.21 c learnt literals : 0 1800.20/906.21 c learnt binary clauses : 0 1800.20/906.21 c learnt ternary clauses : 1 1800.20/906.21 c learnt clauses : 2006863 1800.20/906.21 c ignored clauses : 0 1800.20/906.21 c root simplifications : 0 1800.20/906.21 c removed literals (reason simplification) : 4251412 1800.20/906.21 c reason swapping (by a shorter reason) : 0 1800.20/906.21 c Calls to reduceDB : 81 1800.20/906.21 c number of reductions to clauses (during analyze) : 0 1800.20/906.21 c number of learned constraints concerned by reduction : 0 1800.20/906.21 c number of learning phase by resolution : 0 1800.20/906.21 c number of learning phase by cutting planes : 0 1800.20/906.21 c speed (assignments/second) : 4065233.762311864 1800.20/906.21 c non guided choices 11541 1800.20/906.23 c learnt constraints type 1800.20/906.23 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 42964 1800.20/906.23 c constraints type 1800.20/906.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4757 1800.20/906.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.20/906.23 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23125 1800.20/906.23 c constraints type 1800.20/906.23 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 23125 1800.20/906.23 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4757 1800.20/906.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.20/906.23 s SATISFIABLE 1800.20/906.24 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 1800.20/906.25 c objective function=27 1800.20/906.25 c Total wall clock time (in seconds): 906.133
OK 27
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-3735572-1338749026/watcher-3735572-1338749026 -o /tmp/evaluation-result-3735572-1338749026/solver-3735572-1338749026 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735572-1338749026.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: 3.74 3.86 3.75 4/197 14499 /proc/meminfo: memFree=26076392/32873844 swapFree=7628/7628 [pid=14499] ppid=14497 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/14499/stat : 14499 (java6) D 14497 14499 11909 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 341027020 9515008 183 33554432000 1073741824 1073778376 140737460924592 140737460915624 254750310069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/14499/statm: 2323 183 140 9 0 71 0 [startup+0.0645361 s] /proc/loadavg: 3.74 3.86 3.75 4/197 14499 /proc/meminfo: memFree=26076392/32873844 swapFree=7628/7628 [pid=14499] ppid=14497 vsize=2367080 CPUtime=0.04 cores=1,3,5,7 /proc/14499/stat : 14499 (java) S 14497 14499 11909 0 -1 4202496 3750 0 1 0 3 1 0 0 20 0 13 0 341027020 2423889920 5468 33554432000 1073741824 1073778376 140737200407168 140737200398304 254753669181 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14499/statm: 591770 5468 1709 9 0 582471 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2367080 [startup+0.100294 s] /proc/loadavg: 3.74 3.86 3.75 4/197 14499 /proc/meminfo: memFree=26076392/32873844 swapFree=7628/7628 [pid=14499] ppid=14497 vsize=2699928 CPUtime=0.08 cores=1,3,5,7 /proc/14499/stat : 14499 (java) S 14497 14499 11909 0 -1 4202496 4319 0 1 0 7 1 0 0 20 0 18 0 341027020 2764726272 6032 33554432000 1073741824 1073778376 140737200407168 140737200398304 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14499/statm: 674982 6044 2025 9 0 665676 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2699928 [startup+0.300274 s] /proc/loadavg: 3.74 3.86 3.75 4/197 14499 /proc/meminfo: memFree=26076392/32873844 swapFree=7628/7628 [pid=14499] ppid=14497 vsize=2699928 CPUtime=0.5 cores=1,3,5,7 /proc/14499/stat : 14499 (java) S 14497 14499 11909 0 -1 4202496 6649 0 1 0 48 2 0 0 20 0 18 0 341027020 2764726272 9474 33554432000 1073741824 1073778376 140737200407168 140737200398304 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14499/statm: 674982 9474 2218 9 0 665676 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 2699928 [startup+0.700224 s] /proc/loadavg: 3.74 3.86 3.75 4/197 14499 /proc/meminfo: memFree=26076392/32873844 swapFree=7628/7628 [pid=14499] ppid=14497 vsize=2833056 CPUtime=1.76 cores=1,3,5,7 /proc/14499/stat : 14499 (java) S 14497 14499 11909 0 -1 4202496 16261 0 1 0 171 5 0 0 20 0 20 0 341027020 2901049344 33367 33554432000 1073741824 1073778376 140737200407168 140737200398304 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14499/statm: 708264 33367 2243 9 0 698958 0 Current children cumulated CPU time (s) 1.76 Current children cumulated vsize (KiB) 2833056 [startup+1.50067 s] /proc/loadavg: 3.74 3.86 3.75 4/217 14521 /proc/meminfo: memFree=25945660/32873844 swapFree=7628/7628 [pid=14499] ppid=14497 vsize=2966184 CPUtime=2.9 cores=1,3,5,7 /proc/14499/stat : 14499 (java) S 14497 14499 11909 0 -1 4202496 16359 0 1 0 283 7 0 0 20 0 20 0 341027020 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140737200398304 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14499/statm: 741546 34975 2262 9 0 732240 0 [pid=14499/tid=14501] ppid=14497 vsize=2966184 CPUtime=0.58 cores=1,3,5,7 /proc/14499/task/14501/stat : 14501 (java) S 14497 14499 11909 0 -1 4202560 2833 0 1 0 55 3 0 0 20 0 20 0 341027021 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281664885912 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14502] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14502/stat : 14502 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341027022 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281649167016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14503] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14503/stat : 14503 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341027022 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281648114472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14504] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14504/stat : 14504 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341027022 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281647061928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14499/tid=14505] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14505/stat : 14505 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341027022 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281646009384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14506] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14506/stat : 14506 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341027022 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281644955816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14507] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14507/stat : 14507 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341027022 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281643903272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14508] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14508/stat : 14508 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341027022 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281642850728 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14509] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14509/stat : 14509 (java) S 14497 14499 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341027022 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281641798184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14510] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14510/stat : 14510 (java) S 14497 14499 11909 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 341027023 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281629387368 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14511] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14511/stat : 14511 (java) S 14497 14499 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341027024 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281628333688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14512] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14512/stat : 14512 (java) S 14497 14499 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341027024 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281627281032 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14513] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14513/stat : 14513 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341027027 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281626229776 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14514] ppid=14497 vsize=2966184 CPUtime=0.78 cores=1,3,5,7 /proc/14499/task/14514/stat : 14514 (java) S 14497 14499 11909 0 -1 4202560 5678 0 0 0 77 1 0 0 20 0 20 0 341027027 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281625176120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14515] ppid=14497 vsize=2966184 CPUtime=0.8 cores=1,3,5,7 /proc/14499/task/14515/stat : 14515 (java) S 14497 14499 11909 0 -1 4202560 6547 0 0 0 80 0 0 0 20 0 20 0 341027027 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281624123576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14516] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14516/stat : 14516 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341027027 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281623071224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14517] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14517/stat : 14517 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341027027 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281622018888 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14520] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14520/stat : 14520 (java) S 14497 14499 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341027102 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281500395048 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14521] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14521/stat : 14521 (java) S 14497 14499 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341027102 3037372416 34975 33554432000 1073741824 1073778376 140737200407168 140281499342504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.9 Current children cumulated vsize (KiB) 2966184 [startup+3.10073 s] /proc/loadavg: 3.92 3.90 3.76 5/217 14523 /proc/meminfo: memFree=25930448/32873844 swapFree=7628/7628 [pid=14499] ppid=14497 vsize=2966184 CPUtime=5.15 cores=1,3,5,7 /proc/14499/stat : 14499 (java) S 14497 14499 11909 0 -1 4202496 16386 0 1 0 505 10 0 0 20 0 22 0 341027020 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140737200398304 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14499/statm: 741546 43173 2263 9 0 732240 0 [pid=14499/tid=14501] ppid=14497 vsize=2966184 CPUtime=0.67 cores=1,3,5,7 /proc/14499/task/14501/stat : 14501 (java) S 14497 14499 11909 0 -1 4202560 2834 0 1 0 63 4 0 0 20 0 22 0 341027021 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281664885912 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14502] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14502/stat : 14502 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027022 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281649167016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14503] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14503/stat : 14503 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027022 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281648114472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14504] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14504/stat : 14504 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027022 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281647061928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14499/tid=14505] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14505/stat : 14505 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027022 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281646009384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14506] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14506/stat : 14506 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027022 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281644955816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14507] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14507/stat : 14507 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027022 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281643903272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14508] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14508/stat : 14508 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027022 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281642850728 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14509] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14509/stat : 14509 (java) S 14497 14499 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341027022 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281641798184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14510] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14510/stat : 14510 (java) S 14497 14499 11909 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341027023 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281629387368 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14511] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14511/stat : 14511 (java) S 14497 14499 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 341027024 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281628333688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14512] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14512/stat : 14512 (java) S 14497 14499 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341027024 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281627281032 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14513] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14513/stat : 14513 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027027 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281626229776 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14514] ppid=14497 vsize=2966184 CPUtime=1.09 cores=1,3,5,7 /proc/14499/task/14514/stat : 14514 (java) S 14497 14499 11909 0 -1 4202560 5679 0 0 0 108 1 0 0 20 0 22 0 341027027 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281625176120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14515] ppid=14497 vsize=2966184 CPUtime=1.12 cores=1,3,5,7 /proc/14499/task/14515/stat : 14515 (java) S 14497 14499 11909 0 -1 4202560 6547 0 0 0 112 0 0 0 20 0 22 0 341027027 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281624123576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14516] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14516/stat : 14516 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027027 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281623071224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14517] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14517/stat : 14517 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027027 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281622018888 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14520] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14520/stat : 14520 (java) S 14497 14499 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341027102 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281500395048 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14521] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14521/stat : 14521 (java) S 14497 14499 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341027102 3037372416 43173 33554432000 1073741824 1073778376 140737200407168 140281499342504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 5.15 Current children cumulated vsize (KiB) 2966184 [startup+6.30087 s] /proc/loadavg: 3.92 3.90 3.76 5/219 14527 /proc/meminfo: memFree=25841896/32873844 swapFree=7628/7628 [pid=14499] ppid=14497 vsize=2966184 CPUtime=11.61 cores=1,3,5,7 /proc/14499/stat : 14499 (java) S 14497 14499 11909 0 -1 4202496 16538 0 1 0 1147 14 0 0 20 0 22 0 341027020 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140737200398304 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14499/statm: 741546 60504 2287 9 0 732240 0 [pid=14499/tid=14501] ppid=14497 vsize=2966184 CPUtime=0.7 cores=1,3,5,7 /proc/14499/task/14501/stat : 14501 (java) S 14497 14499 11909 0 -1 4202560 2835 0 1 0 66 4 0 0 20 0 22 0 341027021 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281664885928 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14502] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14502/stat : 14502 (java) S 14497 14499 11909 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341027022 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281649167016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14503] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14503/stat : 14503 (java) S 14497 14499 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341027022 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281648114472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14504] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14504/stat : 14504 (java) S 14497 14499 11909 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 341027022 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281647061928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14499/tid=14505] ppid=14497 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/14499/task/14505/stat : 14505 (java) S 14497 14499 11909 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 341027022 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281646009384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14506] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14506/stat : 14506 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027022 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281644955816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14499/tid=14507] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14507/stat : 14507 (java) S 14497 14499 11909 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 341027022 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281643903272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14499/tid=14508] ppid=14497 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/14499/task/14508/stat : 14508 (java) S 14497 14499 11909 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 341027022 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281642850728 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14509] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14509/stat : 14509 (java) S 14497 14499 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341027022 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281641798184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14510] ppid=14497 vsize=2966184 CPUtime=0.04 cores=1,3,5,7 /proc/14499/task/14510/stat : 14510 (java) S 14497 14499 11909 0 -1 4202560 37 0 0 0 4 0 0 0 20 0 22 0 341027023 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281629387368 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14511] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14511/stat : 14511 (java) S 14497 14499 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341027024 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281628333688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14512] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14512/stat : 14512 (java) S 14497 14499 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341027024 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281627281032 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14513] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14513/stat : 14513 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027027 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281626229776 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14514] ppid=14497 vsize=2966184 CPUtime=1.23 cores=1,3,5,7 /proc/14499/task/14514/stat : 14514 (java) S 14497 14499 11909 0 -1 4202560 5684 0 0 0 122 1 0 0 20 0 22 0 341027027 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281625176120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14515] ppid=14497 vsize=2966184 CPUtime=1.33 cores=1,3,5,7 /proc/14499/task/14515/stat : 14515 (java) S 14497 14499 11909 0 -1 4202560 6569 0 0 0 133 0 0 0 20 0 22 0 341027027 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281624123576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14516] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14516/stat : 14516 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027027 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281623071224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14517] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14517/stat : 14517 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027027 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281622018888 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14520] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14520/stat : 14520 (java) S 14497 14499 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341027102 3037372416 60504 33554432000 1073741824 1073778376 140737200407168 140281500395048 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 ################ # More data... # ################ /proc/14499/statm: 741546 195170 2289 9 0 732240 0 [pid=14499/tid=14501] ppid=14497 vsize=2966184 CPUtime=0.75 cores=1,3,5,7 /proc/14499/task/14501/stat : 14501 (java) S 14497 14499 11909 0 -1 4202560 2850 0 1 0 71 4 0 0 20 0 22 0 341027021 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281664885928 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14502] ppid=14497 vsize=2966184 CPUtime=4.14 cores=1,3,5,7 /proc/14499/task/14502/stat : 14502 (java) S 14497 14499 11909 0 -1 4202560 175 0 0 0 404 10 0 0 20 0 22 0 341027022 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281649167016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14503] ppid=14497 vsize=2966184 CPUtime=4.17 cores=1,3,5,7 /proc/14499/task/14503/stat : 14503 (java) S 14497 14499 11909 0 -1 4202560 194 0 0 0 410 7 0 0 20 0 22 0 341027022 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281648114472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14504] ppid=14497 vsize=2966184 CPUtime=4.14 cores=1,3,5,7 /proc/14499/task/14504/stat : 14504 (java) S 14497 14499 11909 0 -1 4202560 156 0 0 0 406 8 0 0 20 0 22 0 341027022 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281647061928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14505] ppid=14497 vsize=2966184 CPUtime=4.16 cores=1,3,5,7 /proc/14499/task/14505/stat : 14505 (java) S 14497 14499 11909 0 -1 4202560 199 0 0 0 408 8 0 0 20 0 22 0 341027022 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281646009384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14499/tid=14506] ppid=14497 vsize=2966184 CPUtime=4.15 cores=1,3,5,7 /proc/14499/task/14506/stat : 14506 (java) S 14497 14499 11909 0 -1 4202560 179 0 0 0 407 8 0 0 20 0 22 0 341027022 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281644955816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14507] ppid=14497 vsize=2966184 CPUtime=4.02 cores=1,3,5,7 /proc/14499/task/14507/stat : 14507 (java) S 14497 14499 11909 0 -1 4202560 174 0 0 0 394 8 0 0 20 0 22 0 341027022 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281643903272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14499/tid=14508] ppid=14497 vsize=2966184 CPUtime=4.25 cores=1,3,5,7 /proc/14499/task/14508/stat : 14508 (java) S 14497 14499 11909 0 -1 4202560 177 0 0 0 417 8 0 0 20 0 22 0 341027022 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281642850728 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14509] ppid=14497 vsize=2966184 CPUtime=4.34 cores=1,3,5,7 /proc/14499/task/14509/stat : 14509 (java) S 14497 14499 11909 0 -1 4202560 174 0 0 0 426 8 0 0 20 0 22 0 341027022 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281641798184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14499/tid=14510] ppid=14497 vsize=2966184 CPUtime=20.26 cores=1,3,5,7 /proc/14499/task/14510/stat : 14510 (java) S 14497 14499 11909 0 -1 4202560 5337 0 0 0 1970 56 0 0 20 0 22 0 341027023 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281629387368 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14511] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14511/stat : 14511 (java) S 14497 14499 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341027024 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281628333688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14512] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14512/stat : 14512 (java) S 14497 14499 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341027024 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281627281032 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14513] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14513/stat : 14513 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027027 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281626229776 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14514] ppid=14497 vsize=2966184 CPUtime=1.56 cores=1,3,5,7 /proc/14499/task/14514/stat : 14514 (java) S 14497 14499 11909 0 -1 4202560 5695 0 0 0 155 1 0 0 20 0 22 0 341027027 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281625176120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14499/tid=14515] ppid=14497 vsize=2966184 CPUtime=1.4 cores=1,3,5,7 /proc/14499/task/14515/stat : 14515 (java) S 14497 14499 11909 0 -1 4202560 6570 0 0 0 140 0 0 0 20 0 22 0 341027027 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281624123576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14516] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14516/stat : 14516 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027027 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281623071224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14517] ppid=14497 vsize=2966184 CPUtime=0.39 cores=1,3,5,7 /proc/14499/task/14517/stat : 14517 (java) S 14497 14499 11909 0 -1 4202560 46 0 0 0 20 19 0 0 20 0 22 0 341027027 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281622018888 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14520] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14520/stat : 14520 (java) S 14497 14499 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341027102 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281500395048 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14521] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14521/stat : 14521 (java) S 14497 14499 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341027102 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281499342504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14528] ppid=14497 vsize=2966184 CPUtime=770.83 cores=1,3,5,7 /proc/14499/task/14528/stat : 14528 (java) R 14497 14499 11909 0 -1 4202560 657 0 0 0 77068 15 0 0 20 0 22 0 341028895 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281620963352 140281501529512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14529] ppid=14497 vsize=2966184 CPUtime=771.05 cores=1,3,5,7 /proc/14499/task/14529/stat : 14529 (java) R 14497 14499 11909 0 -1 4202560 529 0 0 0 77091 14 0 0 20 0 22 0 341028896 3037372416 195170 33554432000 1073741824 1073778376 140737200407168 140281619909456 140281501575358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1633.21 Current children cumulated vsize (KiB) 2966184 [startup+882.301 s] /proc/loadavg: 3.82 3.85 3.81 5/219 14609 /proc/meminfo: memFree=25300496/32873844 swapFree=7628/7628 [pid=14499] ppid=14497 vsize=2966184 CPUtime=1752.81 cores=1,3,5,7 /proc/14499/stat : 14499 (java) S 14497 14499 11909 0 -1 4202496 24816 0 1 0 175109 172 0 0 20 0 22 0 341027020 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140737200398304 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14499/statm: 741546 199367 2289 9 0 732240 0 [pid=14499/tid=14501] ppid=14497 vsize=2966184 CPUtime=0.75 cores=1,3,5,7 /proc/14499/task/14501/stat : 14501 (java) S 14497 14499 11909 0 -1 4202560 2852 0 1 0 71 4 0 0 20 0 22 0 341027021 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281664885928 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14502] ppid=14497 vsize=2966184 CPUtime=4.53 cores=1,3,5,7 /proc/14499/task/14502/stat : 14502 (java) S 14497 14499 11909 0 -1 4202560 195 0 0 0 443 10 0 0 20 0 22 0 341027022 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281649167016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14503] ppid=14497 vsize=2966184 CPUtime=4.59 cores=1,3,5,7 /proc/14499/task/14503/stat : 14503 (java) S 14497 14499 11909 0 -1 4202560 218 0 0 0 452 7 0 0 20 0 22 0 341027022 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281648114472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14504] ppid=14497 vsize=2966184 CPUtime=4.5 cores=1,3,5,7 /proc/14499/task/14504/stat : 14504 (java) S 14497 14499 11909 0 -1 4202560 166 0 0 0 441 9 0 0 20 0 22 0 341027022 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281647061928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14505] ppid=14497 vsize=2966184 CPUtime=4.61 cores=1,3,5,7 /proc/14499/task/14505/stat : 14505 (java) S 14497 14499 11909 0 -1 4202560 217 0 0 0 452 9 0 0 20 0 22 0 341027022 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281646009384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14506] ppid=14497 vsize=2966184 CPUtime=4.51 cores=1,3,5,7 /proc/14499/task/14506/stat : 14506 (java) S 14497 14499 11909 0 -1 4202560 187 0 0 0 443 8 0 0 20 0 22 0 341027022 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281644955816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14499/tid=14507] ppid=14497 vsize=2966184 CPUtime=4.47 cores=1,3,5,7 /proc/14499/task/14507/stat : 14507 (java) S 14497 14499 11909 0 -1 4202560 193 0 0 0 438 9 0 0 20 0 22 0 341027022 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281643903272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14508] ppid=14497 vsize=2966184 CPUtime=4.62 cores=1,3,5,7 /proc/14499/task/14508/stat : 14508 (java) S 14497 14499 11909 0 -1 4202560 184 0 0 0 454 8 0 0 20 0 22 0 341027022 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281642850728 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14499/tid=14509] ppid=14497 vsize=2966184 CPUtime=4.77 cores=1,3,5,7 /proc/14499/task/14509/stat : 14509 (java) S 14497 14499 11909 0 -1 4202560 189 0 0 0 468 9 0 0 20 0 22 0 341027022 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281641798184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14510] ppid=14497 vsize=2966184 CPUtime=21.96 cores=1,3,5,7 /proc/14499/task/14510/stat : 14510 (java) S 14497 14499 11909 0 -1 4202560 5341 0 0 0 2137 59 0 0 20 0 22 0 341027023 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281629387368 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14511] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14511/stat : 14511 (java) S 14497 14499 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341027024 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281628333688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14512] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14512/stat : 14512 (java) S 14497 14499 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341027024 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281627281032 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14513] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14513/stat : 14513 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027027 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281626229776 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14514] ppid=14497 vsize=2966184 CPUtime=1.56 cores=1,3,5,7 /proc/14499/task/14514/stat : 14514 (java) S 14497 14499 11909 0 -1 4202560 5695 0 0 0 155 1 0 0 20 0 22 0 341027027 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281625176120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14499/tid=14515] ppid=14497 vsize=2966184 CPUtime=1.4 cores=1,3,5,7 /proc/14499/task/14515/stat : 14515 (java) S 14497 14499 11909 0 -1 4202560 6570 0 0 0 140 0 0 0 20 0 22 0 341027027 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281624123576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14516] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14516/stat : 14516 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027027 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281623071224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14517] ppid=14497 vsize=2966184 CPUtime=0.41 cores=1,3,5,7 /proc/14499/task/14517/stat : 14517 (java) S 14497 14499 11909 0 -1 4202560 50 0 0 0 21 20 0 0 20 0 22 0 341027027 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281622018888 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14520] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14520/stat : 14520 (java) S 14497 14499 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341027102 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281500395048 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14521] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14521/stat : 14521 (java) S 14497 14499 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341027102 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281499342504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14528] ppid=14497 vsize=2966184 CPUtime=828.04 cores=1,3,5,7 /proc/14499/task/14528/stat : 14528 (java) R 14497 14499 11909 0 -1 4202560 710 0 0 0 82788 16 0 0 20 0 22 0 341028895 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281620962192 140281501628373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14529] ppid=14497 vsize=2966184 CPUtime=828.25 cores=1,3,5,7 /proc/14499/task/14529/stat : 14529 (java) R 14497 14499 11909 0 -1 4202560 559 0 0 0 82809 16 0 0 20 0 22 0 341028896 3037372416 199367 33554432000 1073741824 1073778376 140737200407168 140281619910272 140281501575314 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1752.81 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+906.201 s] /proc/loadavg: 3.95 3.88 3.82 5/219 14609 /proc/meminfo: memFree=25294352/32873844 swapFree=7628/7628 [pid=14499] ppid=14497 vsize=2966184 CPUtime=1800.2 cores=1,3,5,7 /proc/14499/stat : 14499 (java) S 14497 14499 11909 0 -1 4202496 24870 0 1 0 179845 175 0 0 20 0 22 0 341027020 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140737200398304 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14499/statm: 741546 200916 2289 9 0 732240 0 [pid=14499/tid=14501] ppid=14497 vsize=2966184 CPUtime=0.75 cores=1,3,5,7 /proc/14499/task/14501/stat : 14501 (java) S 14497 14499 11909 0 -1 4202560 2854 0 1 0 71 4 0 0 20 0 22 0 341027021 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281664885928 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14502] ppid=14497 vsize=2966184 CPUtime=4.7 cores=1,3,5,7 /proc/14499/task/14502/stat : 14502 (java) S 14497 14499 11909 0 -1 4202560 195 0 0 0 460 10 0 0 20 0 22 0 341027022 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281649167016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14503] ppid=14497 vsize=2966184 CPUtime=4.77 cores=1,3,5,7 /proc/14499/task/14503/stat : 14503 (java) S 14497 14499 11909 0 -1 4202560 219 0 0 0 469 8 0 0 20 0 22 0 341027022 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281648114472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14504] ppid=14497 vsize=2966184 CPUtime=4.69 cores=1,3,5,7 /proc/14499/task/14504/stat : 14504 (java) S 14497 14499 11909 0 -1 4202560 168 0 0 0 460 9 0 0 20 0 22 0 341027022 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281647061928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14505] ppid=14497 vsize=2966184 CPUtime=4.79 cores=1,3,5,7 /proc/14499/task/14505/stat : 14505 (java) S 14497 14499 11909 0 -1 4202560 221 0 0 0 470 9 0 0 20 0 22 0 341027022 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281646009384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14499/tid=14506] ppid=14497 vsize=2966184 CPUtime=4.7 cores=1,3,5,7 /proc/14499/task/14506/stat : 14506 (java) S 14497 14499 11909 0 -1 4202560 190 0 0 0 462 8 0 0 20 0 22 0 341027022 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281644955816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14507] ppid=14497 vsize=2966184 CPUtime=4.65 cores=1,3,5,7 /proc/14499/task/14507/stat : 14507 (java) S 14497 14499 11909 0 -1 4202560 195 0 0 0 456 9 0 0 20 0 22 0 341027022 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281643903272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14499/tid=14508] ppid=14497 vsize=2966184 CPUtime=4.8 cores=1,3,5,7 /proc/14499/task/14508/stat : 14508 (java) S 14497 14499 11909 0 -1 4202560 187 0 0 0 472 8 0 0 20 0 22 0 341027022 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281642850728 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14509] ppid=14497 vsize=2966184 CPUtime=4.97 cores=1,3,5,7 /proc/14499/task/14509/stat : 14509 (java) S 14497 14499 11909 0 -1 4202560 192 0 0 0 488 9 0 0 20 0 22 0 341027022 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281641798184 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14510] ppid=14497 vsize=2966184 CPUtime=22.93 cores=1,3,5,7 /proc/14499/task/14510/stat : 14510 (java) S 14497 14499 11909 0 -1 4202560 5343 0 0 0 2232 61 0 0 20 0 22 0 341027023 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281629387368 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14511] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14511/stat : 14511 (java) S 14497 14499 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341027024 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281628333688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14512] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14512/stat : 14512 (java) S 14497 14499 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341027024 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281627281032 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14513] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14513/stat : 14513 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027027 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281626229776 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14514] ppid=14497 vsize=2966184 CPUtime=1.56 cores=1,3,5,7 /proc/14499/task/14514/stat : 14514 (java) S 14497 14499 11909 0 -1 4202560 5695 0 0 0 155 1 0 0 20 0 22 0 341027027 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281625176120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14499/tid=14515] ppid=14497 vsize=2966184 CPUtime=1.4 cores=1,3,5,7 /proc/14499/task/14515/stat : 14515 (java) S 14497 14499 11909 0 -1 4202560 6570 0 0 0 140 0 0 0 20 0 22 0 341027027 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281624123576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14516] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14516/stat : 14516 (java) S 14497 14499 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341027027 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281623071224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14499/tid=14517] ppid=14497 vsize=2966184 CPUtime=0.42 cores=1,3,5,7 /proc/14499/task/14517/stat : 14517 (java) S 14497 14499 11909 0 -1 4202560 52 0 0 0 22 20 0 0 20 0 22 0 341027027 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281622018888 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14520] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14520/stat : 14520 (java) S 14497 14499 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341027102 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281500395048 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14521] ppid=14497 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/14499/task/14521/stat : 14521 (java) S 14497 14499 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341027102 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281499342504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14499/tid=14528] ppid=14497 vsize=2966184 CPUtime=850.48 cores=1,3,5,7 /proc/14499/task/14528/stat : 14528 (java) R 14497 14499 11909 0 -1 4202560 728 0 0 0 85032 16 0 0 20 0 22 0 341028895 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281620963216 140281501897648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14499/tid=14529] ppid=14497 vsize=2966184 CPUtime=850.67 cores=1,3,5,7 /proc/14499/task/14529/stat : 14529 (java) R 14497 14499 11909 0 -1 4202560 571 0 0 0 85051 16 0 0 20 0 22 0 341028896 3037372416 200916 33554432000 1073741824 1073778376 140737200407168 140281619909456 140281501031156 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 2966184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14499 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=800148 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=180668 # CPU time returned by wait4() is 1796.98 # while last known CPU time is 1800.2 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 906.264 CPU time (s): 1800.2 CPU user time (s): 1798.45 CPU system time (s): 1.75 CPU usage (%): 198.64 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.8 system time used= 2.18067 maximum resident set size= 803780 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24900 page faults= 1 swaps= 0 block input operations= 0 block output operations= 960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 58918 involuntary context switches= 97183 runsolver used 3.49247 second user time and 8.75467 second system time The end
Begin job on node145 at 2012-06-03 20:43:47 IDJOB=3735572 IDBENCH=24975 IDSOLVER=2324 FILE ID=node145/3735572-1338749026 RUNJOBID= node145-1338737268-11926 PBS_JOBID= 14636762 Free space on /tmp= 70908 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_021_area_delay.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735572-1338749026/watcher-3735572-1338749026 -o /tmp/evaluation-result-3735572-1338749026/solver-3735572-1338749026 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735572-1338749026.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5c1765191809ee7ecd7781ce5c7fb9aa RANDOM SEED=1917745820 node145.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 : 2667.149 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 : 5334.29 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 : 2667.149 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 : 2667.149 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 : 5313.38 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 : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 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 : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 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.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26076400 kB Buffers: 447492 kB Cached: 4833204 kB SwapCached: 0 kB Active: 2327048 kB Inactive: 3599552 kB Active(anon): 636872 kB Inactive(anon): 10916 kB Active(file): 1690176 kB Inactive(file): 3588636 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1036 kB Writeback: 0 kB AnonPages: 656992 kB Mapped: 22384 kB Shmem: 200 kB Slab: 725516 kB SReclaimable: 167012 kB SUnreclaim: 558504 kB KernelStack: 1624 kB PageTables: 4812 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1573172 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 608256 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= 70924 MiB End job on node145 at 2012-06-03 20:58:55