Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Res//CP 2.3.0 | SAT (TO) | 32 | 1800.47 | 914.2 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb |
| MD5SUM | f1fcceba4d2ff597685b8a775178b9b4 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 28 |
| Best CPU time to get the best result obtained on this benchmark | 75.1236 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 33 |
| Optimality of the best value was proved | NO |
| Number of variables | 11321 |
| Total number of constraints | 36630 |
| Number of constraints which are clauses | 36630 |
| 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 | 5515 |
| 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 | 5515 |
| 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 | 5515 |
| 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.03/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.08 c See www.sat4j.org for details. 0.03/0.08 c version 2.3.1.v20110525 0.03/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.08 c java.vm.version 19.1-b02 0.03/0.08 c java.vm.vendor Sun Microsystems Inc. 0.03/0.08 c sun.arch.data.model 64 0.03/0.08 c java.version 1.6.0_24 0.03/0.08 c os.name Linux 0.03/0.08 c os.version 2.6.18-164.el5 0.03/0.08 c os.arch amd64 0.03/0.08 c Free memory 9996466904 0.03/0.08 c Max memory 10048897024 0.03/0.08 c Total memory 10048897024 0.03/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3454087-1307193370.opb 0.10/0.11 c reading problem ... 1.19/0.64 c ... done. Wall clock time 0.499s. 1.19/0.64 c #vars 11321 1.19/0.64 c #constraints 36630 1.19/0.64 c constraints type 1.19/0.64 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5815 1.19/0.64 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 29778 1.19/0.64 c constraints type 1.19/0.64 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 29778 1.19/0.64 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5815 1.56/0.71 c And the winner is CuttingPlanes 1.68/1.15 c SATISFIABLE 1.68/1.15 c OPTIMIZING... 1.68/1.15 c Got one! Elapsed wall clock time (in seconds):1.041 1.68/1.15 o 43 1.89/1.20 c And the winner is Resolution 2.00/1.70 c Got one! Elapsed wall clock time (in seconds):1.594 2.00/1.70 o 42 2.00/1.73 c And the winner is Resolution 2.13/2.25 c Got one! Elapsed wall clock time (in seconds):2.138 2.13/2.25 o 41 2.13/2.28 c And the winner is Resolution 2.60/2.78 c Got one! Elapsed wall clock time (in seconds):2.675 2.60/2.78 o 40 2.99/2.94 c And the winner is Resolution 3.18/3.31 c Got one! Elapsed wall clock time (in seconds):3.208 3.18/3.31 o 39 3.40/3.49 c And the winner is Resolution 3.64/3.85 c Got one! Elapsed wall clock time (in seconds):3.741 3.64/3.85 o 37 4.07/4.02 c And the winner is Resolution 4.14/4.38 c Got one! Elapsed wall clock time (in seconds):4.274 4.14/4.38 o 35 10.83/7.71 c cleaning 3001 clauses out of 6007 with flag 5002/6007 18.71/11.56 c cleaning 4498 clauses out of 9004 with flag 11000/12005 21.51/12.94 c And the winner is Resolution 21.83/13.45 c Got one! Elapsed wall clock time (in seconds):13.34 21.83/13.45 o 34 24.95/15.00 c cleaning 4804 clauses out of 9616 with flag 3000/17115 31.90/18.55 c cleaning 5402 clauses out of 10812 with flag 9000/23115 40.67/22.93 c cleaning 6197 clauses out of 12410 with flag 16000/30115 49.42/27.38 c cleaning 7100 clauses out of 14213 with flag 24000/38115 55.96/30.71 c And the winner is Resolution 56.77/31.36 c Got one! Elapsed wall clock time (in seconds):31.258 56.77/31.37 o 33 60.68/33.38 c cleaning 8679 clauses out of 17371 with flag 5001/48373 67.22/36.63 c cleaning 7334 clauses out of 14691 with flag 11000/54372 75.73/40.93 c cleaning 7173 clauses out of 14357 with flag 18000/61372 85.07/45.64 c cleaning 7583 clauses out of 15184 with flag 26000/69372 96.40/51.37 c cleaning 8295 clauses out of 16601 with flag 35000/78372 108.94/57.65 c cleaning 9147 clauses out of 18307 with flag 45001/88373 121.32/63.89 c cleaning 10072 clauses out of 20160 with flag 56001/99373 134.87/70.64 c cleaning 11034 clauses out of 22087 with flag 68000/111372 149.40/77.96 c cleaning 12017 clauses out of 24053 with flag 81000/124372 165.93/86.21 c cleaning 13013 clauses out of 26036 with flag 95000/138372 182.24/94.50 c cleaning 14007 clauses out of 28023 with flag 110000/153372 202.96/104.86 c cleaning 15004 clauses out of 30016 with flag 126000/169372 223.68/115.28 c cleaning 15996 clauses out of 32012 with flag 143000/186372 243.83/125.36 c cleaning 17003 clauses out of 34016 with flag 161000/204372 264.70/135.88 c cleaning 18001 clauses out of 36014 with flag 180001/223373 286.42/146.75 c cleaning 18997 clauses out of 38012 with flag 200000/243372 312.52/159.80 c cleaning 20008 clauses out of 40016 with flag 221001/264373 341.06/174.17 c cleaning 20988 clauses out of 42007 with flag 243000/286372 371.29/189.34 c cleaning 21997 clauses out of 44019 with flag 266000/309372 399.40/203.42 c cleaning 23004 clauses out of 46022 with flag 290000/333372 430.31/218.98 c cleaning 24001 clauses out of 48020 with flag 315002/358374 462.19/234.91 c cleaning 25001 clauses out of 50018 with flag 341001/384373 496.05/251.92 c cleaning 26007 clauses out of 52017 with flag 368001/411373 527.91/267.90 c cleaning 26998 clauses out of 54009 with flag 396000/439372 561.38/284.79 c cleaning 27997 clauses out of 56012 with flag 425001/468373 595.27/301.78 c cleaning 28994 clauses out of 58015 with flag 455001/498373 633.45/320.94 c cleaning 30009 clauses out of 60021 with flag 486001/529373 665.51/337.00 c cleaning 30994 clauses out of 62011 with flag 518000/561372 698.94/353.90 c cleaning 32007 clauses out of 64018 with flag 551001/594373 737.99/373.41 c cleaning 32995 clauses out of 66010 with flag 585000/628372 779.88/394.56 c cleaning 34000 clauses out of 68016 with flag 620001/663373 819.95/414.63 c cleaning 35000 clauses out of 70016 with flag 656001/699373 859.65/434.64 c cleaning 35499 clauses out of 71016 with flag 692001/735373 904.12/457.01 c cleaning 35747 clauses out of 71516 with flag 728000/771372 943.82/477.18 c cleaning 35878 clauses out of 71770 with flag 764001/807373 981.90/496.31 c cleaning 35928 clauses out of 71891 with flag 800000/843372 1019.17/515.11 c cleaning 35971 clauses out of 71963 with flag 836000/879372 1059.04/535.20 c cleaning 35987 clauses out of 71992 with flag 872000/915372 1098.92/555.46 c cleaning 35992 clauses out of 72005 with flag 908000/951372 1139.94/576.13 c cleaning 36003 clauses out of 72014 with flag 944001/987373 1178.76/595.77 c cleaning 36002 clauses out of 72011 with flag 980001/1023373 1228.00/620.51 c cleaning 35989 clauses out of 72008 with flag 1016000/1059372 1273.79/643.74 c cleaning 35999 clauses out of 72019 with flag 1052000/1095372 1315.16/664.66 c cleaning 36001 clauses out of 72021 with flag 1088001/1131373 1329.31/671.91 c And the winner is CuttingPlanes 1329.37/672.20 c Got one! Elapsed wall clock time (in seconds):672.092 1329.37/672.20 o 32 1334.95/675.08 c cleaning 26453 clauses out of 52923 with flag 5000/1148276 1342.89/679.23 c cleaning 16231 clauses out of 32470 with flag 11000/1154276 1351.79/684.00 c cleaning 11615 clauses out of 23240 with flag 18001/1161277 1362.12/689.44 c cleaning 9812 clauses out of 19628 with flag 26004/1169280 1373.46/695.36 c cleaning 9400 clauses out of 18812 with flag 35000/1178276 1385.19/701.41 c cleaning 9696 clauses out of 19412 with flag 45000/1188276 1398.09/708.27 c cleaning 10351 clauses out of 20717 with flag 56001/1199277 1411.82/715.32 c cleaning 11172 clauses out of 22365 with flag 68000/1211276 1426.56/722.90 c cleaning 12091 clauses out of 24193 with flag 81000/1224276 1443.69/731.74 c cleaning 13048 clauses out of 26103 with flag 95001/1238277 1462.77/741.70 c cleaning 14022 clauses out of 28054 with flag 110000/1253276 1481.51/751.28 c cleaning 15012 clauses out of 30032 with flag 126000/1269276 1502.82/762.20 c cleaning 16003 clauses out of 32021 with flag 143001/1286277 1524.76/773.35 c cleaning 16994 clauses out of 34017 with flag 161000/1304276 1547.22/784.92 c cleaning 18005 clauses out of 36023 with flag 180000/1323276 1570.16/796.60 c cleaning 19007 clauses out of 38021 with flag 200003/1343279 1593.32/808.47 c cleaning 19994 clauses out of 40014 with flag 221003/1364279 1618.64/821.35 c cleaning 20995 clauses out of 42017 with flag 243000/1386276 1644.31/834.57 c cleaning 22000 clauses out of 44022 with flag 266000/1409276 1672.04/848.69 c cleaning 23001 clauses out of 46022 with flag 290000/1433276 1701.55/863.69 c cleaning 24000 clauses out of 48022 with flag 315001/1458277 1732.47/879.34 c cleaning 25005 clauses out of 50023 with flag 341002/1484278 1765.16/896.00 c cleaning 26002 clauses out of 52018 with flag 368002/1511278 1798.72/913.08 c cleaning 27004 clauses out of 54014 with flag 396000/1539276 1800.22/914.03 c starts : 17 1800.22/914.03 c conflicts : 1034 1800.22/914.03 c decisions : 165816 1800.22/914.03 c propagations : 1184768 1800.22/914.03 c inspects : 4618606 1800.22/914.03 c shortcuts : 0 1800.22/914.03 c learnt literals : 0 1800.22/914.03 c learnt binary clauses : 0 1800.22/914.03 c learnt ternary clauses : 0 1800.22/914.03 c learnt constraints : 1031 1800.22/914.03 c ignored constraints : 0 1800.22/914.03 c root simplifications : 0 1800.22/914.03 c removed literals (reason simplification) : 0 1800.22/914.03 c reason swapping (by a shorter reason) : 0 1800.22/914.03 c Calls to reduceDB : 0 1800.22/914.03 c number of reductions to clauses (during analyze) : 0 1800.22/914.03 c number of learned constraints concerned by reduction : 0 1800.22/914.03 c number of learning phase by resolution : 0 1800.22/914.03 c number of learning phase by cutting planes : 0 1800.22/914.03 c speed (assignments/second) : 4899.298663490803 1800.22/914.03 c non guided choices 0 1800.22/914.03 c learnt constraints type 1800.22/914.03 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 58 1800.22/914.03 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 16 1800.22/914.03 c org.sat4j.pb.constraints.pb.MaxWatchPb => 957 1800.22/914.03 c constraints type 1800.22/914.03 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5815 1800.22/914.03 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.22/914.03 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 29778 1800.22/914.03 c constraints type 1800.22/914.03 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 29778 1800.22/914.03 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5815 1800.22/914.03 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.22/914.03 s SATISFIABLE 1800.22/914.04 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 x288 -x289 x290 x291 x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 x6024 x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 x6284 x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 x6316 x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 x6792 x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 x7058 x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 x7256 x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 x8231 x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 x8599 x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 x8611 x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 x8745 x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 x9428 x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 x9552 x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 x10242 x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 x10354 x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 x10524 x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 x10884 x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 x10914 x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 x11020 x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 x11124 x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 x11200 x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 x11268 x11269 -x11270 -x11271 -x11272 -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 x11286 x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 x11296 x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 x11304 x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 x11312 x11313 x11314 x11315 -x11316 -x11317 x11318 x11319 -x11320 -x11321 1800.22/914.05 c objective function=32 1800.22/914.05 c Total wall clock time (in seconds): 913.947
OK 32
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3454087-1307193370/watcher-3454087-1307193370 -o /tmp/evaluation-result-3454087-1307193370/solver-3454087-1307193370 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454087-1307193370.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.41 3.62 3.38 3/394 22679 /proc/meminfo: memFree=21709244/32951124 swapFree=37148216/67111528 [pid=22679] ppid=22677 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/22679/stat : 22679 (java) S 22677 22679 19222 0 -1 4202496 3299 0 1 0 0 0 0 0 23 0 2 0 830937427 10694979584 3001 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/22679/statm: 2611079 3016 917 9 0 2602235 0 [pid=22679/tid=22680] ppid=22677 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22680/stat : 22680 (java) R 22677 22679 19222 0 -1 4202560 3943 0 1 0 0 0 0 0 25 0 2 0 830937427 10694979584 4758 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.037987 s] /proc/loadavg: 3.41 3.62 3.38 3/394 22679 /proc/meminfo: memFree=21709244/32951124 swapFree=37148216/67111528 [pid=22679] ppid=22677 vsize=10467480 CPUtime=0.03 cores=1,3,5,7 /proc/22679/stat : 22679 (java) S 22677 22679 19222 0 -1 4202496 11155 0 1 0 2 1 0 0 23 0 13 0 830937427 10718699520 10852 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/22679/statm: 2616870 10853 1653 9 0 2607618 0 [pid=22679/tid=22680] ppid=22677 vsize=10467480 CPUtime=0.03 cores=1,3,5,7 /proc/22679/task/22680/stat : 22680 (java) R 22677 22679 19222 0 -1 4202560 10009 0 1 0 2 1 0 0 25 0 13 0 830937427 10718699520 10853 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 47450246555160 0 4 0 16784584 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10467480 [startup+0.100976 s] /proc/loadavg: 3.41 3.62 3.38 3/394 22679 /proc/meminfo: memFree=21709244/32951124 swapFree=37148216/67111528 [pid=22679] ppid=22677 vsize=10539568 CPUtime=0.1 cores=1,3,5,7 /proc/22679/stat : 22679 (java) S 22677 22679 19222 0 -1 4202496 13105 0 1 0 9 1 0 0 23 0 18 0 830937427 10792517632 12762 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/22679/statm: 2634892 12764 2093 9 0 2625626 0 [pid=22679/tid=22680] ppid=22677 vsize=10539568 CPUtime=0.08 cores=1,3,5,7 /proc/22679/task/22680/stat : 22680 (java) R 22677 22679 19222 0 -1 4202560 11151 0 1 0 7 1 0 0 18 0 18 0 830937427 10792517632 12764 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 47450247990099 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539568 [startup+0.300939 s] /proc/loadavg: 3.41 3.62 3.38 3/394 22679 /proc/meminfo: memFree=21709244/32951124 swapFree=37148216/67111528 [pid=22679] ppid=22677 vsize=10542336 CPUtime=0.52 cores=1,3,5,7 /proc/22679/stat : 22679 (java) S 22677 22679 19222 0 -1 4202496 17507 0 1 0 50 2 0 0 23 0 18 0 830937427 10795352064 16304 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/22679/statm: 2635477 16307 2202 9 0 2626211 0 [pid=22679/tid=22680] ppid=22677 vsize=10541908 CPUtime=0.28 cores=1,3,5,7 /proc/22679/task/22680/stat : 22680 (java) R 22677 22679 19222 0 -1 4202560 13636 0 1 0 27 1 0 0 18 0 18 0 830937427 10794913792 16307 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 46912505366048 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 10542336 [startup+0.700832 s] /proc/loadavg: 3.41 3.62 3.38 3/394 22679 /proc/meminfo: memFree=21709244/32951124 swapFree=37148216/67111528 [pid=22679] ppid=22677 vsize=10547548 CPUtime=1.56 cores=1,3,5,7 /proc/22679/stat : 22679 (java) S 22677 22679 19222 0 -1 4202496 42115 0 1 0 151 5 0 0 23 0 22 0 830937427 10800689152 38761 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/22679/statm: 2636887 38761 2235 9 0 2627621 0 [pid=22679/tid=22680] ppid=22677 vsize=10547548 CPUtime=0.59 cores=1,3,5,7 /proc/22679/task/22680/stat : 22680 (java) S 22677 22679 19222 0 -1 4202560 33735 0 1 0 56 3 0 0 19 0 22 0 830937427 10800689152 38761 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.56 Current children cumulated vsize (KiB) 10547548 [startup+1.50072 s] /proc/loadavg: 3.41 3.62 3.38 2/413 22702 /proc/meminfo: memFree=21561356/32951124 swapFree=37148216/67111528 [pid=22679] ppid=22677 vsize=10547548 CPUtime=1.95 cores=1,3,5,7 /proc/22679/stat : 22679 (java) S 22677 22679 19222 0 -1 4202496 42979 0 1 0 190 5 0 0 23 0 19 0 830937427 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/22679/statm: 2636887 39625 2236 9 0 2627621 0 [pid=22679/tid=22680] ppid=22677 vsize=10547548 CPUtime=0.65 cores=1,3,5,7 /proc/22679/task/22680/stat : 22680 (java) S 22677 22679 19222 0 -1 4202560 34278 0 1 0 62 3 0 0 17 0 19 0 830937427 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22682] ppid=22677 vsize=10547548 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22682/stat : 22682 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937429 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22683] ppid=22677 vsize=10547548 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22683/stat : 22683 (java) S 22677 22679 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830937429 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22684] ppid=22677 vsize=10547548 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22684/stat : 22684 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937429 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22685] ppid=22677 vsize=10547548 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22685/stat : 22685 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937429 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22686] ppid=22677 vsize=10547548 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22686/stat : 22686 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937429 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22687] ppid=22677 vsize=10547548 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22687/stat : 22687 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937429 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22688] ppid=22677 vsize=10547548 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22688/stat : 22688 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937429 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22689] ppid=22677 vsize=10547548 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22689/stat : 22689 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937429 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22690] ppid=22677 vsize=10547548 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22690/stat : 22690 (java) S 22677 22679 19222 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 830937430 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 0 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22691] ppid=22677 vsize=10547548 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22691/stat : 22691 (java) S 22677 22679 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830937430 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22692] ppid=22677 vsize=10547548 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22692/stat : 22692 (java) S 22677 22679 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830937430 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22693] ppid=22677 vsize=10547548 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22693/stat : 22693 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937432 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820989361 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22694] ppid=22677 vsize=10547548 CPUtime=0.49 cores=1,3,5,7 /proc/22679/task/22694/stat : 22694 (java) S 22677 22679 19222 0 -1 4202560 3539 0 0 0 49 0 0 0 15 0 19 0 830937432 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22695] ppid=22677 vsize=10547548 CPUtime=0.48 cores=1,3,5,7 /proc/22679/task/22695/stat : 22695 (java) S 22677 22679 19222 0 -1 4202560 3217 0 0 0 48 0 0 0 15 0 19 0 830937432 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22696] ppid=22677 vsize=10547548 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22696/stat : 22696 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937432 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 [pid=22679/tid=22697] ppid=22677 vsize=10547548 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22697/stat : 22697 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830937432 10800689152 39625 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.95 Current children cumulated vsize (KiB) 10547548 [startup+3.10143 s] /proc/loadavg: 3.41 3.62 3.38 3/413 22708 /proc/meminfo: memFree=21554164/32951124 swapFree=37148216/67111528 [pid=22679] ppid=22677 vsize=10547720 CPUtime=3.15 cores=1,3,5,7 /proc/22679/stat : 22679 (java) S 22677 22679 19222 0 -1 4202496 46105 0 1 0 310 5 0 0 23 0 19 0 830937427 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/22679/statm: 2636930 42749 2243 9 0 2627664 0 [pid=22679/tid=22680] ppid=22677 vsize=10547720 CPUtime=0.75 cores=1,3,5,7 /proc/22679/task/22680/stat : 22680 (java) S 22677 22679 19222 0 -1 4202560 35809 0 1 0 72 3 0 0 17 0 19 0 830937427 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22682] ppid=22677 vsize=10547720 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22682/stat : 22682 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937429 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22683] ppid=22677 vsize=10547720 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22683/stat : 22683 (java) S 22677 22679 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830937429 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22684] ppid=22677 vsize=10547720 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22684/stat : 22684 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937429 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22685] ppid=22677 vsize=10547720 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22685/stat : 22685 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937429 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22686] ppid=22677 vsize=10547720 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22686/stat : 22686 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937429 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22687] ppid=22677 vsize=10547720 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22687/stat : 22687 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937429 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22688] ppid=22677 vsize=10547720 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22688/stat : 22688 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937429 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22689] ppid=22677 vsize=10547720 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22689/stat : 22689 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937429 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22690] ppid=22677 vsize=10547720 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22690/stat : 22690 (java) S 22677 22679 19222 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 830937430 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 0 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22691] ppid=22677 vsize=10547720 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22691/stat : 22691 (java) S 22677 22679 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830937430 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22692] ppid=22677 vsize=10547720 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22692/stat : 22692 (java) S 22677 22679 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830937430 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22693] ppid=22677 vsize=10547720 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22693/stat : 22693 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937432 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820989361 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22694] ppid=22677 vsize=10547720 CPUtime=0.69 cores=1,3,5,7 /proc/22679/task/22694/stat : 22694 (java) S 22677 22679 19222 0 -1 4202560 3564 0 0 0 69 0 0 0 15 0 19 0 830937432 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 [pid=22679/tid=22695] ppid=22677 vsize=10547720 CPUtime=0.68 cores=1,3,5,7 /proc/22679/task/22695/stat : 22695 (java) S 22677 22679 19222 0 -1 4202560 3288 0 0 0 68 0 0 0 15 0 19 0 830937432 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22696] ppid=22677 vsize=10547720 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22696/stat : 22696 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830937432 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 [pid=22679/tid=22697] ppid=22677 vsize=10547720 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22697/stat : 22697 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830937432 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 [pid=22679/tid=22705] ppid=22677 vsize=10547720 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22705/stat : 22705 (java) S 22677 22679 19222 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 830937544 10800865280 42749 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.15 Current children cumulated vsize (KiB) 10547720 [startup+6.30081 s] /proc/loadavg: 3.38 3.61 3.38 5/416 22723 /proc/meminfo: memFree=21523256/32951124 swapFree=37148216/67111528 [pid=22679] ppid=22677 vsize=10547248 CPUtime=8.2 cores=1,3,5,7 /proc/22679/stat : 22679 (java) S 22677 22679 19222 0 -1 4202496 55214 0 1 0 814 6 0 0 23 0 22 0 830937427 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/22679/statm: 2636812 51099 2244 9 0 2627546 0 [pid=22679/tid=22680] ppid=22677 vsize=10547248 CPUtime=0.85 cores=1,3,5,7 /proc/22679/task/22680/stat : 22680 (java) S 22677 22679 19222 0 -1 4202560 37340 0 1 0 81 4 0 0 15 0 22 0 830937427 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22682] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22682/stat : 22682 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830937429 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22683] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22683/stat : 22683 (java) S 22677 22679 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830937429 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22684] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22684/stat : 22684 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830937429 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22685] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22685/stat : 22685 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830937429 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22686] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22686/stat : 22686 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830937429 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22687] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22687/stat : 22687 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830937429 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22688] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22688/stat : 22688 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830937429 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22689] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22689/stat : 22689 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830937429 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22690] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22690/stat : 22690 (java) S 22677 22679 19222 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 830937430 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 0 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22691] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22691/stat : 22691 (java) S 22677 22679 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830937430 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22692] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22692/stat : 22692 (java) S 22677 22679 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830937430 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22693] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22693/stat : 22693 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830937432 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820989361 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22694] ppid=22677 vsize=10547248 CPUtime=0.91 cores=1,3,5,7 /proc/22679/task/22694/stat : 22694 (java) S 22677 22679 19222 0 -1 4202560 4062 0 0 0 91 0 0 0 15 0 22 0 830937432 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 [pid=22679/tid=22695] ppid=22677 vsize=10547248 CPUtime=0.86 cores=1,3,5,7 /proc/22679/task/22695/stat : 22695 (java) S 22677 22679 19222 0 -1 4202560 3454 0 0 0 86 0 0 0 15 0 22 0 830937432 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22696] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22696/stat : 22696 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830937432 10800381952 51099 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=15311004/32951124 swapFree=37148216/67111528 [pid=22679] ppid=22677 vsize=10547248 CPUtime=1619.89 cores=1,3,5,7 /proc/22679/stat : 22679 (java) S 22677 22679 19222 0 -1 4202496 961720 0 1 0 161887 102 0 0 23 0 22 0 830937427 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/22679/statm: 2636812 954159 2270 9 0 2627546 0 [pid=22679/tid=22680] ppid=22677 vsize=10547248 CPUtime=0.94 cores=1,3,5,7 /proc/22679/task/22680/stat : 22680 (java) S 22677 22679 19222 0 -1 4202560 37365 0 1 0 90 4 0 0 15 0 22 0 830937427 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22682] ppid=22677 vsize=10547248 CPUtime=0.63 cores=1,3,5,7 /proc/22679/task/22682/stat : 22682 (java) S 22677 22679 19222 0 -1 4202560 8376 0 0 0 62 1 0 0 16 0 22 0 830937429 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22683] ppid=22677 vsize=10547248 CPUtime=0.57 cores=1,3,5,7 /proc/22679/task/22683/stat : 22683 (java) S 22677 22679 19222 0 -1 4202560 10401 0 0 0 56 1 0 0 15 0 22 0 830937429 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 [pid=22679/tid=22684] ppid=22677 vsize=10547248 CPUtime=0.55 cores=1,3,5,7 /proc/22679/task/22684/stat : 22684 (java) S 22677 22679 19222 0 -1 4202560 7914 0 0 0 54 1 0 0 15 0 22 0 830937429 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22685] ppid=22677 vsize=10547248 CPUtime=0.61 cores=1,3,5,7 /proc/22679/task/22685/stat : 22685 (java) S 22677 22679 19222 0 -1 4202560 10093 0 0 0 60 1 0 0 15 0 22 0 830937429 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22686] ppid=22677 vsize=10547248 CPUtime=0.6 cores=1,3,5,7 /proc/22679/task/22686/stat : 22686 (java) S 22677 22679 19222 0 -1 4202560 10311 0 0 0 59 1 0 0 15 0 22 0 830937429 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22687] ppid=22677 vsize=10547248 CPUtime=0.55 cores=1,3,5,7 /proc/22679/task/22687/stat : 22687 (java) S 22677 22679 19222 0 -1 4202560 12342 0 0 0 55 0 0 0 15 0 22 0 830937429 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22688] ppid=22677 vsize=10547248 CPUtime=0.61 cores=1,3,5,7 /proc/22679/task/22688/stat : 22688 (java) S 22677 22679 19222 0 -1 4202560 11215 0 0 0 60 1 0 0 15 0 22 0 830937429 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22689] ppid=22677 vsize=10547248 CPUtime=0.56 cores=1,3,5,7 /proc/22679/task/22689/stat : 22689 (java) S 22677 22679 19222 0 -1 4202560 7591 0 0 0 56 0 0 0 15 0 22 0 830937429 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 [pid=22679/tid=22690] ppid=22677 vsize=10547248 CPUtime=20.65 cores=1,3,5,7 /proc/22679/task/22690/stat : 22690 (java) S 22677 22679 19222 0 -1 4202560 22409 0 0 0 2062 3 0 0 16 0 22 0 830937430 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 0 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22691] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22691/stat : 22691 (java) S 22677 22679 19222 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830937430 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22692] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22692/stat : 22692 (java) S 22677 22679 19222 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 830937430 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22693] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22693/stat : 22693 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830937432 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820989361 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22694] ppid=22677 vsize=10547248 CPUtime=1.23 cores=1,3,5,7 /proc/22679/task/22694/stat : 22694 (java) S 22677 22679 19222 0 -1 4202560 4114 0 0 0 123 0 0 0 15 0 22 0 830937432 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22695] ppid=22677 vsize=10547248 CPUtime=0.98 cores=1,3,5,7 /proc/22679/task/22695/stat : 22695 (java) S 22677 22679 19222 0 -1 4202560 3464 0 0 0 98 0 0 0 15 0 22 0 830937432 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22696] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22696/stat : 22696 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830937432 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 [pid=22679/tid=22697] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22697/stat : 22697 (java) S 22677 22679 19222 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 830937432 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22792] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22792/stat : 22792 (java) S 22677 22679 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830940564 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22822] ppid=22677 vsize=10547248 CPUtime=139.71 cores=1,3,5,7 /proc/22679/task/22822/stat : 22822 (java) R 22677 22679 19222 0 -1 4202560 10 0 0 0 13971 0 0 0 18 0 22 0 831004648 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 46912505899801 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=22679/tid=22823] ppid=22677 vsize=10547248 CPUtime=139.72 cores=1,3,5,7 /proc/22679/task/22823/stat : 22823 (java) R 22677 22679 19222 0 -1 4202560 11 0 0 0 13972 0 0 0 18 0 22 0 831004648 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 46912505981920 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22679/tid=22824] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22824/stat : 22824 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831004648 10800381952 954159 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1619.89 Current children cumulated vsize (KiB) 10547248 [startup+882.301 s] /proc/loadavg: 3.85 3.92 3.70 5/416 22830 /proc/meminfo: memFree=15303036/32951124 swapFree=37148216/67111528 [pid=22679] ppid=22677 vsize=10547248 CPUtime=1737.71 cores=1,3,5,7 /proc/22679/stat : 22679 (java) S 22677 22679 19222 0 -1 4202496 963814 0 1 0 173669 102 0 0 23 0 22 0 830937427 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/22679/statm: 2636812 956161 2270 9 0 2627546 0 [pid=22679/tid=22680] ppid=22677 vsize=10547248 CPUtime=0.94 cores=1,3,5,7 /proc/22679/task/22680/stat : 22680 (java) S 22677 22679 19222 0 -1 4202560 37369 0 1 0 90 4 0 0 15 0 22 0 830937427 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22682] ppid=22677 vsize=10547248 CPUtime=0.68 cores=1,3,5,7 /proc/22679/task/22682/stat : 22682 (java) S 22677 22679 19222 0 -1 4202560 8617 0 0 0 67 1 0 0 16 0 22 0 830937429 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22683] ppid=22677 vsize=10547248 CPUtime=0.61 cores=1,3,5,7 /proc/22679/task/22683/stat : 22683 (java) S 22677 22679 19222 0 -1 4202560 10479 0 0 0 60 1 0 0 16 0 22 0 830937429 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 [pid=22679/tid=22684] ppid=22677 vsize=10547248 CPUtime=0.58 cores=1,3,5,7 /proc/22679/task/22684/stat : 22684 (java) S 22677 22679 19222 0 -1 4202560 8083 0 0 0 57 1 0 0 15 0 22 0 830937429 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22685] ppid=22677 vsize=10547248 CPUtime=0.66 cores=1,3,5,7 /proc/22679/task/22685/stat : 22685 (java) S 22677 22679 19222 0 -1 4202560 10351 0 0 0 65 1 0 0 15 0 22 0 830937429 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22686] ppid=22677 vsize=10547248 CPUtime=0.64 cores=1,3,5,7 /proc/22679/task/22686/stat : 22686 (java) S 22677 22679 19222 0 -1 4202560 10575 0 0 0 63 1 0 0 16 0 22 0 830937429 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22687] ppid=22677 vsize=10547248 CPUtime=0.62 cores=1,3,5,7 /proc/22679/task/22687/stat : 22687 (java) S 22677 22679 19222 0 -1 4202560 12689 0 0 0 61 1 0 0 16 0 22 0 830937429 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22688] ppid=22677 vsize=10547248 CPUtime=0.66 cores=1,3,5,7 /proc/22679/task/22688/stat : 22688 (java) S 22677 22679 19222 0 -1 4202560 11655 0 0 0 65 1 0 0 15 0 22 0 830937429 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22689] ppid=22677 vsize=10547248 CPUtime=0.6 cores=1,3,5,7 /proc/22679/task/22689/stat : 22689 (java) S 22677 22679 19222 0 -1 4202560 7865 0 0 0 60 0 0 0 15 0 22 0 830937429 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 [pid=22679/tid=22690] ppid=22677 vsize=10547248 CPUtime=22.95 cores=1,3,5,7 /proc/22679/task/22690/stat : 22690 (java) S 22677 22679 19222 0 -1 4202560 22413 0 0 0 2292 3 0 0 15 0 22 0 830937430 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 0 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22691] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22691/stat : 22691 (java) S 22677 22679 19222 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830937430 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22692] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22692/stat : 22692 (java) S 22677 22679 19222 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 830937430 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22693] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22693/stat : 22693 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830937432 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820989361 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22694] ppid=22677 vsize=10547248 CPUtime=1.23 cores=1,3,5,7 /proc/22679/task/22694/stat : 22694 (java) S 22677 22679 19222 0 -1 4202560 4114 0 0 0 123 0 0 0 15 0 22 0 830937432 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22695] ppid=22677 vsize=10547248 CPUtime=0.98 cores=1,3,5,7 /proc/22679/task/22695/stat : 22695 (java) S 22677 22679 19222 0 -1 4202560 3464 0 0 0 98 0 0 0 15 0 22 0 830937432 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22696] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22696/stat : 22696 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830937432 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 [pid=22679/tid=22697] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22697/stat : 22697 (java) S 22677 22679 19222 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830937432 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22792] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22792/stat : 22792 (java) S 22677 22679 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830940564 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22822] ppid=22677 vsize=10547248 CPUtime=197.31 cores=1,3,5,7 /proc/22679/task/22822/stat : 22822 (java) R 22677 22679 19222 0 -1 4202560 16 0 0 0 19731 0 0 0 22 0 22 0 831004648 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 46912506087108 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=22679/tid=22823] ppid=22677 vsize=10547248 CPUtime=197.31 cores=1,3,5,7 /proc/22679/task/22823/stat : 22823 (java) R 22677 22679 19222 0 -1 4202560 16 0 0 0 19731 0 0 0 22 0 22 0 831004648 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 46912506153829 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22679/tid=22824] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22824/stat : 22824 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831004648 10800381952 956161 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1737.71 Current children cumulated vsize (KiB) 10547248 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+914.001 s] /proc/loadavg: 4.05 3.95 3.72 5/416 22831 /proc/meminfo: memFree=15302760/32951124 swapFree=37148216/67111528 [pid=22679] ppid=22677 vsize=10547248 CPUtime=1800.22 cores=1,3,5,7 /proc/22679/stat : 22679 (java) S 22677 22679 19222 0 -1 4202496 963828 0 1 0 179919 103 0 0 23 0 22 0 830937427 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/22679/statm: 2636812 956163 2270 9 0 2627546 0 [pid=22679/tid=22680] ppid=22677 vsize=10547248 CPUtime=0.94 cores=1,3,5,7 /proc/22679/task/22680/stat : 22680 (java) S 22677 22679 19222 0 -1 4202560 37371 0 1 0 90 4 0 0 15 0 22 0 830937427 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22682] ppid=22677 vsize=10547248 CPUtime=0.71 cores=1,3,5,7 /proc/22679/task/22682/stat : 22682 (java) S 22677 22679 19222 0 -1 4202560 8617 0 0 0 70 1 0 0 15 0 22 0 830937429 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22683] ppid=22677 vsize=10547248 CPUtime=0.62 cores=1,3,5,7 /proc/22679/task/22683/stat : 22683 (java) S 22677 22679 19222 0 -1 4202560 10479 0 0 0 61 1 0 0 15 0 22 0 830937429 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 [pid=22679/tid=22684] ppid=22677 vsize=10547248 CPUtime=0.62 cores=1,3,5,7 /proc/22679/task/22684/stat : 22684 (java) S 22677 22679 19222 0 -1 4202560 8083 0 0 0 61 1 0 0 15 0 22 0 830937429 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22685] ppid=22677 vsize=10547248 CPUtime=0.67 cores=1,3,5,7 /proc/22679/task/22685/stat : 22685 (java) S 22677 22679 19222 0 -1 4202560 10353 0 0 0 66 1 0 0 15 0 22 0 830937429 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22686] ppid=22677 vsize=10547248 CPUtime=0.67 cores=1,3,5,7 /proc/22679/task/22686/stat : 22686 (java) S 22677 22679 19222 0 -1 4202560 10575 0 0 0 66 1 0 0 15 0 22 0 830937429 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22687] ppid=22677 vsize=10547248 CPUtime=0.66 cores=1,3,5,7 /proc/22679/task/22687/stat : 22687 (java) S 22677 22679 19222 0 -1 4202560 12689 0 0 0 65 1 0 0 15 0 22 0 830937429 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22688] ppid=22677 vsize=10547248 CPUtime=0.7 cores=1,3,5,7 /proc/22679/task/22688/stat : 22688 (java) S 22677 22679 19222 0 -1 4202560 11655 0 0 0 69 1 0 0 16 0 22 0 830937429 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22689] ppid=22677 vsize=10547248 CPUtime=0.62 cores=1,3,5,7 /proc/22679/task/22689/stat : 22689 (java) S 22677 22679 19222 0 -1 4202560 7865 0 0 0 62 0 0 0 15 0 22 0 830937429 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 [pid=22679/tid=22690] ppid=22677 vsize=10547248 CPUtime=23.99 cores=1,3,5,7 /proc/22679/task/22690/stat : 22690 (java) S 22677 22679 19222 0 -1 4202560 22415 0 0 0 2396 3 0 0 16 0 22 0 830937430 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 0 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22691] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22691/stat : 22691 (java) S 22677 22679 19222 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830937430 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22692] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22692/stat : 22692 (java) S 22677 22679 19222 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 830937430 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22693] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22693/stat : 22693 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830937432 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820989361 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 [pid=22679/tid=22694] ppid=22677 vsize=10547248 CPUtime=1.23 cores=1,3,5,7 /proc/22679/task/22694/stat : 22694 (java) S 22677 22679 19222 0 -1 4202560 4114 0 0 0 123 0 0 0 15 0 22 0 830937432 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22695] ppid=22677 vsize=10547248 CPUtime=0.98 cores=1,3,5,7 /proc/22679/task/22695/stat : 22695 (java) S 22677 22679 19222 0 -1 4202560 3464 0 0 0 98 0 0 0 15 0 22 0 830937432 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22696] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22696/stat : 22696 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830937432 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820981657 0 4 0 16800975 18446604456247176192 0 0 -1 1 0 0 0 [pid=22679/tid=22697] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22697/stat : 22697 (java) S 22677 22679 19222 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830937432 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 5 0 0 0 [pid=22679/tid=22792] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22792/stat : 22792 (java) S 22677 22679 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830940564 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 7 0 0 0 [pid=22679/tid=22822] ppid=22677 vsize=10547248 CPUtime=227.93 cores=1,3,5,7 /proc/22679/task/22822/stat : 22822 (java) R 22677 22679 19222 0 -1 4202560 20 0 0 0 22793 0 0 0 21 0 22 0 831004648 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 46912505772998 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=22679/tid=22823] ppid=22677 vsize=10547248 CPUtime=227.93 cores=1,3,5,7 /proc/22679/task/22823/stat : 22823 (java) R 22677 22679 19222 0 -1 4202560 18 0 0 0 22793 0 0 0 21 0 22 0 831004648 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 46912506140677 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22679/tid=22824] ppid=22677 vsize=10547248 CPUtime=0 cores=1,3,5,7 /proc/22679/task/22824/stat : 22824 (java) S 22677 22679 19222 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831004648 10800381952 956163 33554432000 1073741824 1073778376 140734779023584 18446744073709551615 230820982272 0 4 0 16800975 18446604456247176192 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 10547248 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+914.133 s] /proc/loadavg: 4.05 3.95 3.72 5/416 22831 /proc/meminfo: memFree=15302760/32951124 swapFree=37148216/67111528 [pid=22679] ppid=22677 vsize=0 CPUtime=1800.39 cores=1,3,5,7 /proc/22679/stat : 22679 (java) Z 22677 22679 19222 0 -1 4203548 963858 0 1 0 179930 109 0 0 17 0 2 0 830937427 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/22679/statm: 0 0 0 0 0 0 0 [pid=22679/tid=22823] ppid=22677 vsize=0 CPUtime=228.02 cores=1,3,5,7 /proc/22679/task/22823/stat : 22823 (java) R 22677 22679 19222 0 -1 4203588 18 0 0 0 22796 6 0 0 21 0 2 0 831004648 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 914.2 CPU time (s): 1800.47 CPU user time (s): 1799.31 CPU system time (s): 1.15982 CPU usage (%): 196.945 Max. virtual memory (cumulated for all children) (KiB): 10547720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.31 system time used= 1.15982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 963858 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26351 involuntary context switches= 15495 runsolver used 3.37949 second user time and 7.96479 second system time The end
Begin job on node104 at 2011-06-04 15:16:10 IDJOB=3454087 IDBENCH=24973 IDSOLVER=1950 FILE ID=node104/3454087-1307193370 RUNJOBID= node104-1307192391-22208 PBS_JOBID= 13508864 Free space on /tmp= 73952 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454087-1307193370/watcher-3454087-1307193370 -o /tmp/evaluation-result-3454087-1307193370/solver-3454087-1307193370 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454087-1307193370.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f1fcceba4d2ff597685b8a775178b9b4 RANDOM SEED=1839897292 node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.71 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5293.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21709648 kB Buffers: 420860 kB Cached: 7648896 kB SwapCached: 163904 kB Active: 4830232 kB Inactive: 6071052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21709648 kB SwapTotal: 67111528 kB SwapFree: 37148216 kB Dirty: 1892 kB Writeback: 8 kB AnonPages: 2691324 kB Mapped: 19300 kB Slab: 183372 kB PageTables: 91008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 98102724 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73948 MiB End job on node104 at 2011-06-04 15:31:26