Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 32 | 1800.11 | 913.083 |
| 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 | 36.5074 |
| 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.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.11 c version 2.3.1.v20110525 0.07/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.11 c java.vm.version 19.1-b02 0.07/0.11 c java.vm.vendor Sun Microsystems Inc. 0.07/0.11 c sun.arch.data.model 64 0.07/0.11 c java.version 1.6.0_24 0.07/0.11 c os.name Linux 0.07/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.11 c os.arch amd64 0.07/0.11 c Free memory 9996466904 0.07/0.11 c Max memory 10048897024 0.07/0.11 c Total memory 10048897024 0.07/0.11 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3735553-1338695603.opb 0.07/0.13 c reading problem ... 1.14/0.62 c ... done. Wall clock time 0.485s. 1.14/0.62 c #vars 11321 1.14/0.62 c #constraints 36630 1.14/0.62 c constraints type 1.14/0.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5815 1.14/0.62 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 29778 1.14/0.62 c constraints type 1.14/0.62 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 29778 1.14/0.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5815 1.51/0.75 c And the winner is CuttingPlanes 1.76/1.16 c SATISFIABLE 1.76/1.16 c OPTIMIZING... 1.76/1.16 c Got one! Elapsed wall clock time (in seconds):1.025 1.76/1.16 o 43 1.93/1.22 c And the winner is CuttingPlanes 2.15/1.72 c Got one! Elapsed wall clock time (in seconds):1.586 2.15/1.72 o 42 2.15/1.74 c And the winner is Resolution 2.31/2.26 c Got one! Elapsed wall clock time (in seconds):2.131 2.31/2.26 o 41 2.52/2.30 c And the winner is Resolution 2.88/2.80 c Got one! Elapsed wall clock time (in seconds):2.666 2.88/2.80 o 40 3.20/2.92 c And the winner is Resolution 3.37/3.33 c Got one! Elapsed wall clock time (in seconds):3.198 3.37/3.33 o 39 3.58/3.49 c And the winner is Resolution 3.83/3.86 c Got one! Elapsed wall clock time (in seconds):3.73 3.83/3.86 o 37 4.22/4.02 c And the winner is Resolution 4.32/4.39 c Got one! Elapsed wall clock time (in seconds):4.262 4.32/4.39 o 35 10.33/7.37 c cleaning 3001 clauses out of 6007 with flag 5002/6007 18.04/11.12 c cleaning 4498 clauses out of 9004 with flag 11000/12005 20.64/12.47 c And the winner is Resolution 21.20/12.99 c Got one! Elapsed wall clock time (in seconds):12.858 21.20/12.99 o 34 24.03/14.48 c cleaning 4804 clauses out of 9616 with flag 3000/17115 30.99/17.92 c cleaning 5402 clauses out of 10812 with flag 9000/23115 39.36/22.16 c cleaning 6197 clauses out of 12410 with flag 16000/30115 47.95/26.44 c cleaning 7100 clauses out of 14213 with flag 24000/38115 54.29/29.65 c And the winner is Resolution 54.57/30.07 c Got one! Elapsed wall clock time (in seconds):29.939 54.57/30.07 o 33 58.45/32.01 c cleaning 8679 clauses out of 17371 with flag 5001/48373 64.38/35.08 c cleaning 7334 clauses out of 14691 with flag 11000/54372 72.69/39.20 c cleaning 7173 clauses out of 14357 with flag 18000/61372 81.63/43.70 c cleaning 7583 clauses out of 15184 with flag 26000/69372 92.36/49.18 c cleaning 8295 clauses out of 16601 with flag 35000/78372 104.52/55.20 c cleaning 9147 clauses out of 18307 with flag 45001/88373 116.43/61.24 c cleaning 10072 clauses out of 20160 with flag 56001/99373 129.46/67.78 c cleaning 11034 clauses out of 22087 with flag 68000/111372 143.42/74.80 c cleaning 12017 clauses out of 24053 with flag 81000/124372 159.54/82.86 c cleaning 13013 clauses out of 26036 with flag 95000/138372 175.24/90.78 c cleaning 14007 clauses out of 28023 with flag 110000/153372 195.57/100.98 c cleaning 15004 clauses out of 30016 with flag 126000/169372 216.11/111.25 c cleaning 15996 clauses out of 32012 with flag 143000/186372 235.23/120.88 c cleaning 17003 clauses out of 34016 with flag 161000/204372 255.13/130.89 c cleaning 18001 clauses out of 36014 with flag 180001/223373 275.64/141.16 c cleaning 18997 clauses out of 38012 with flag 200000/243372 300.76/153.77 c cleaning 20008 clauses out of 40016 with flag 221001/264373 328.08/167.47 c cleaning 20988 clauses out of 42007 with flag 243000/286372 357.53/182.23 c cleaning 21997 clauses out of 44019 with flag 266000/309372 384.84/195.91 c cleaning 23004 clauses out of 46022 with flag 290000/333372 415.54/211.38 c cleaning 24001 clauses out of 48020 with flag 315002/358374 447.29/227.26 c cleaning 25001 clauses out of 50018 with flag 341001/384373 481.54/244.45 c cleaning 26007 clauses out of 52017 with flag 368001/411373 513.03/260.20 c cleaning 26998 clauses out of 54009 with flag 396000/439372 546.14/276.87 c cleaning 27997 clauses out of 56012 with flag 425001/468373 580.61/294.12 c cleaning 28994 clauses out of 58015 with flag 455001/498373 617.41/312.67 c cleaning 30009 clauses out of 60021 with flag 486001/529373 649.03/328.54 c cleaning 30994 clauses out of 62011 with flag 518000/561372 683.11/345.69 c cleaning 32007 clauses out of 64018 with flag 551001/594373 722.62/365.48 c cleaning 32995 clauses out of 66010 with flag 585000/628372 765.81/387.15 c cleaning 34000 clauses out of 68016 with flag 620001/663373 806.25/407.43 c cleaning 35000 clauses out of 70016 with flag 656001/699373 846.14/427.44 c cleaning 35499 clauses out of 71016 with flag 692001/735373 888.69/448.85 c cleaning 35747 clauses out of 71516 with flag 728000/771372 926.83/468.14 c cleaning 35878 clauses out of 71770 with flag 764001/807373 963.10/486.45 c cleaning 35928 clauses out of 71891 with flag 800000/843372 999.02/504.50 c cleaning 35971 clauses out of 71963 with flag 836000/879372 1037.90/524.14 c cleaning 35987 clauses out of 71992 with flag 872000/915372 1078.78/544.87 c cleaning 35992 clauses out of 72005 with flag 908000/951372 1118.84/565.05 c cleaning 36003 clauses out of 72014 with flag 944001/987373 1157.34/584.44 c cleaning 36002 clauses out of 72011 with flag 980001/1023373 1207.39/609.65 c cleaning 35989 clauses out of 72008 with flag 1016000/1059372 1253.46/632.94 c cleaning 35999 clauses out of 72019 with flag 1052000/1095372 1295.52/654.19 c cleaning 36001 clauses out of 72021 with flag 1088001/1131373 1339.19/676.15 c cleaning 36001 clauses out of 72020 with flag 1124001/1167373 1360.55/687.04 c And the winner is CuttingPlanes 1357.48/687.17 c Got one! Elapsed wall clock time (in seconds):687.037 1357.48/687.17 o 32 1363.16/690.01 c cleaning 29409 clauses out of 58827 with flag 5000/1190181 1370.47/694.07 c cleaning 17705 clauses out of 35418 with flag 11000/1196181 1378.62/698.31 c cleaning 12352 clauses out of 24716 with flag 18003/1203184 1387.75/703.11 c cleaning 10174 clauses out of 20362 with flag 26001/1211182 1398.26/708.63 c cleaning 9590 clauses out of 19187 with flag 35000/1220181 1409.33/714.56 c cleaning 9796 clauses out of 19598 with flag 45001/1230182 1422.26/721.23 c cleaning 10398 clauses out of 20802 with flag 56001/1241182 1436.80/728.73 c cleaning 11194 clauses out of 22403 with flag 68000/1253181 1450.53/735.89 c cleaning 12102 clauses out of 24209 with flag 81000/1266181 1467.36/744.63 c cleaning 13042 clauses out of 26107 with flag 95000/1280181 1485.87/754.15 c cleaning 14027 clauses out of 28065 with flag 110000/1295181 1504.99/763.91 c cleaning 15015 clauses out of 30040 with flag 126002/1311183 1525.16/774.24 c cleaning 16005 clauses out of 32024 with flag 143001/1328182 1545.84/784.98 c cleaning 16990 clauses out of 34018 with flag 161000/1346181 1567.79/796.11 c cleaning 18011 clauses out of 36029 with flag 180001/1365182 1591.98/808.42 c cleaning 19001 clauses out of 38017 with flag 200000/1385181 1617.75/821.52 c cleaning 20002 clauses out of 40016 with flag 221000/1406181 1644.05/835.03 c cleaning 20994 clauses out of 42014 with flag 243000/1428181 1671.98/849.25 c cleaning 22003 clauses out of 44020 with flag 266000/1451181 1699.09/863.08 c cleaning 23002 clauses out of 46018 with flag 290001/1475182 1728.06/877.74 c cleaning 24000 clauses out of 48015 with flag 315000/1500181 1757.58/892.81 c cleaning 25002 clauses out of 50015 with flag 341000/1526181 1786.73/907.66 c cleaning 25998 clauses out of 52013 with flag 368000/1553181 1797.02/913.02 c starts : 17 1797.02/913.02 c conflicts : 1028 1797.02/913.02 c decisions : 165560 1797.02/913.02 c propagations : 1183357 1797.02/913.02 c inspects : 4538407 1797.02/913.02 c shortcuts : 0 1797.02/913.02 c learnt literals : 0 1797.02/913.02 c learnt binary clauses : 0 1797.02/913.02 c learnt ternary clauses : 0 1797.02/913.02 c learnt constraints : 1025 1797.02/913.02 c ignored constraints : 0 1797.02/913.02 c root simplifications : 0 1797.02/913.02 c removed literals (reason simplification) : 0 1797.02/913.02 c reason swapping (by a shorter reason) : 0 1797.02/913.02 c Calls to reduceDB : 0 1797.02/913.02 c number of reductions to clauses (during analyze) : 0 1797.02/913.02 c number of learned constraints concerned by reduction : 0 1797.02/913.02 c number of learning phase by resolution : 0 1797.02/913.02 c number of learning phase by cutting planes : 0 1797.02/913.02 c speed (assignments/second) : 5239.802515054906 1797.02/913.02 c non guided choices 0 1797.02/913.02 c learnt constraints type 1797.02/913.02 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 58 1797.02/913.02 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 16 1797.02/913.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 951 1797.02/913.02 c constraints type 1797.02/913.02 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5815 1797.02/913.02 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1797.02/913.02 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 29778 1797.02/913.02 c constraints type 1797.02/913.02 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 29778 1797.02/913.02 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5815 1797.02/913.02 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1797.02/913.02 s SATISFIABLE 1797.02/913.03 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 1797.02/913.05 c objective function=32 1797.02/913.05 c Total wall clock time (in seconds): 912.922
OK 32
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735553-1338695603/watcher-3735553-1338695603 -o /tmp/evaluation-result-3735553-1338695603/solver-3735553-1338695603 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735553-1338695603.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.86 3.88 3.82 3/197 7744 /proc/meminfo: memFree=23205808/32873844 swapFree=7628/7628 [pid=7744] ppid=7742 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/7744/stat : 7744 (java) R 7742 7744 442 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 335684670 9515008 183 33554432000 1073741824 1073778376 140737003197888 140737003188920 254750310069 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7744/statm: 2323 183 140 9 0 71 0 [startup+0.0644049 s] /proc/loadavg: 3.86 3.88 3.82 3/197 7744 /proc/meminfo: memFree=23205808/32873844 swapFree=7628/7628 [pid=7744] ppid=7742 vsize=11253516 CPUtime=0.04 cores=0,2,4,6 /proc/7744/stat : 7744 (java) S 7742 7744 442 0 -1 4202496 3789 0 1 0 3 1 0 0 20 0 13 0 335684670 11523600384 12151 33554432000 1073741824 1073778376 140735852631920 140735852623056 254753669181 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7744/statm: 2813379 12151 1705 9 0 2804080 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11253516 [startup+0.100233 s] /proc/loadavg: 3.86 3.88 3.82 3/197 7744 /proc/meminfo: memFree=23205808/32873844 swapFree=7628/7628 [pid=7744] ppid=7742 vsize=11586392 CPUtime=0.07 cores=0,2,4,6 /proc/7744/stat : 7744 (java) S 7742 7744 442 0 -1 4202496 3965 0 1 0 6 1 0 0 20 0 18 0 335684670 11864465408 12838 33554432000 1073741824 1073778376 140735852631920 140735852623056 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7744/statm: 2896598 12838 1779 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.300239 s] /proc/loadavg: 3.86 3.88 3.82 3/197 7744 /proc/meminfo: memFree=23205808/32873844 swapFree=7628/7628 [pid=7744] ppid=7742 vsize=11586392 CPUtime=0.46 cores=0,2,4,6 /proc/7744/stat : 7744 (java) S 7742 7744 442 0 -1 4202496 6021 0 1 0 43 3 0 0 20 0 18 0 335684670 11864465408 16401 33554432000 1073741824 1073778376 140735852631920 140735852623056 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7744/statm: 2896598 16401 2223 9 0 2887285 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 11586392 [startup+0.700172 s] /proc/loadavg: 3.86 3.88 3.82 3/197 7744 /proc/meminfo: memFree=23205808/32873844 swapFree=7628/7628 [pid=7744] ppid=7742 vsize=11852648 CPUtime=1.51 cores=0,2,4,6 /proc/7744/stat : 7744 (java) S 7742 7744 442 0 -1 4202496 10756 0 1 0 146 5 0 0 20 0 22 0 335684670 12137111552 40448 33554432000 1073741824 1073778376 140735852631920 140735852623056 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7744/statm: 2963162 40448 2254 9 0 2953849 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 11852648 [startup+1.50069 s] /proc/loadavg: 3.86 3.88 3.82 3/216 7766 /proc/meminfo: memFree=23052860/32873844 swapFree=7628/7628 [pid=7744] ppid=7742 vsize=11852648 CPUtime=2.14 cores=0,2,4,6 /proc/7744/stat : 7744 (java) S 7742 7744 442 0 -1 4202496 11581 0 1 0 205 9 0 0 20 0 19 0 335684670 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140735852623056 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7744/statm: 2963162 42047 2259 9 0 2953849 0 [pid=7744/tid=7746] ppid=7742 vsize=11852648 CPUtime=0.65 cores=0,2,4,6 /proc/7744/task/7746/stat : 7746 (java) S 7742 7744 442 0 -1 4202560 2922 0 1 0 62 3 0 0 20 0 19 0 335684671 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140448152442008 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7747] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7747/stat : 7747 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140448120851496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7748] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7748/stat : 7748 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140448119798696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7749] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7749/stat : 7749 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140448118745896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7750] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7750/stat : 7750 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140448117693096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7751] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7751/stat : 7751 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140448116640296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7752] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7752/stat : 7752 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140447983831464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7753] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7753/stat : 7753 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140447982778664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7754] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7754/stat : 7754 (java) S 7742 7744 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140447510948008 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7755] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7755/stat : 7755 (java) S 7742 7744 442 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335684674 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140447498750952 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7756] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7756/stat : 7756 (java) S 7742 7744 442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335684675 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140447497697016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7757] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7757/stat : 7757 (java) S 7742 7744 442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335684675 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140447496644104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7758] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7758/stat : 7758 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684677 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140447495592592 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7759] ppid=7742 vsize=11852648 CPUtime=0.52 cores=0,2,4,6 /proc/7744/task/7759/stat : 7759 (java) S 7742 7744 442 0 -1 4202560 3332 0 0 0 51 1 0 0 20 0 19 0 335684677 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140447494539704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7760] ppid=7742 vsize=11852648 CPUtime=0.58 cores=0,2,4,6 /proc/7744/task/7760/stat : 7760 (java) S 7742 7744 442 0 -1 4202560 4021 0 0 0 56 2 0 0 20 0 19 0 335684677 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140447493486904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7761] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7761/stat : 7761 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684678 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140447492434296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7762] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7762/stat : 7762 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684678 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140447491381704 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7766] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7766/stat : 7766 (java) S 7742 7744 442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335684737 12137111552 42047 33554432000 1073741824 1073778376 140735852631920 140447487112488 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.14 Current children cumulated vsize (KiB) 11852648 [startup+3.10069 s] /proc/loadavg: 3.86 3.88 3.82 3/216 7772 /proc/meminfo: memFree=23018364/32873844 swapFree=7628/7628 [pid=7744] ppid=7742 vsize=11852648 CPUtime=3.37 cores=0,2,4,6 /proc/7744/stat : 7744 (java) S 7742 7744 442 0 -1 4202496 11621 0 1 0 321 16 0 0 20 0 19 0 335684670 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140735852623056 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7744/statm: 2963162 47688 2267 9 0 2953849 0 [pid=7744/tid=7746] ppid=7742 vsize=11852648 CPUtime=0.77 cores=0,2,4,6 /proc/7744/task/7746/stat : 7746 (java) S 7742 7744 442 0 -1 4202560 2927 0 1 0 73 4 0 0 20 0 19 0 335684671 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140448152441992 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7747] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7747/stat : 7747 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140448120851496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7748] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7748/stat : 7748 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140448119798696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7749] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7749/stat : 7749 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140448118745896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7750] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7750/stat : 7750 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140448117693096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7751] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7751/stat : 7751 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140448116640296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7752] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7752/stat : 7752 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140447983831464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7753] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7753/stat : 7753 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140447982778664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7754] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7754/stat : 7754 (java) S 7742 7744 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335684673 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140447510948008 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7755] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7755/stat : 7755 (java) S 7742 7744 442 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335684674 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140447498750952 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7756] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7756/stat : 7756 (java) S 7742 7744 442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335684675 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140447497697016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7757] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7757/stat : 7757 (java) S 7742 7744 442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335684675 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140447496644104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7758] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7758/stat : 7758 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684677 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140447495592592 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7759] ppid=7742 vsize=11852648 CPUtime=0.71 cores=0,2,4,6 /proc/7744/task/7759/stat : 7759 (java) S 7742 7744 442 0 -1 4202560 3335 0 0 0 70 1 0 0 20 0 19 0 335684677 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140447494539704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7760] ppid=7742 vsize=11852648 CPUtime=0.79 cores=0,2,4,6 /proc/7744/task/7760/stat : 7760 (java) S 7742 7744 442 0 -1 4202560 4025 0 0 0 77 2 0 0 20 0 19 0 335684677 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140447493486904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7761] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7761/stat : 7761 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684678 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140447492434296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7762] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7762/stat : 7762 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335684678 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140447491381704 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7772] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7772/stat : 7772 (java) S 7742 7744 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335684844 12137111552 47688 33554432000 1073741824 1073778376 140735852631920 140447488165416 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.37 Current children cumulated vsize (KiB) 11852648 [startup+6.3007 s] /proc/loadavg: 3.87 3.88 3.82 5/219 7787 /proc/meminfo: memFree=22967820/32873844 swapFree=7628/7628 [pid=7744] ppid=7742 vsize=11852648 CPUtime=8.33 cores=0,2,4,6 /proc/7744/stat : 7744 (java) S 7742 7744 442 0 -1 4202496 12475 0 1 0 812 21 0 0 20 0 22 0 335684670 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140735852623056 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7744/statm: 2963162 58496 2268 9 0 2953849 0 [pid=7744/tid=7746] ppid=7742 vsize=11852648 CPUtime=0.87 cores=0,2,4,6 /proc/7744/task/7746/stat : 7746 (java) S 7742 7744 442 0 -1 4202560 2933 0 1 0 83 4 0 0 20 0 22 0 335684671 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140448152441992 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7747] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7747/stat : 7747 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684673 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140448120851496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7748] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7748/stat : 7748 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684673 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140448119798696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7749] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7749/stat : 7749 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684673 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140448118745896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7750] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7750/stat : 7750 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684673 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140448117693096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7751] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7751/stat : 7751 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684673 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140448116640296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7752] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7752/stat : 7752 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684673 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140447983831464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7753] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7753/stat : 7753 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684673 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140447982778664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7754] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7754/stat : 7754 (java) S 7742 7744 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335684673 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140447510948008 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7755] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7755/stat : 7755 (java) S 7742 7744 442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 335684674 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140447498750952 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7756] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7756/stat : 7756 (java) S 7742 7744 442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335684675 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140447497697016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7757] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7757/stat : 7757 (java) S 7742 7744 442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335684675 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140447496644104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7758] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7758/stat : 7758 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684677 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140447495592592 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7759] ppid=7742 vsize=11852648 CPUtime=0.91 cores=0,2,4,6 /proc/7744/task/7759/stat : 7759 (java) S 7742 7744 442 0 -1 4202560 4135 0 0 0 90 1 0 0 20 0 22 0 335684677 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140447494539704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7760] ppid=7742 vsize=11852648 CPUtime=0.97 cores=0,2,4,6 /proc/7744/task/7760/stat : 7760 (java) S 7742 7744 442 0 -1 4202560 4025 0 0 0 95 2 0 0 20 0 22 0 335684677 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140447493486904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7761] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7761/stat : 7761 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684678 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140447492434296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7762] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7762/stat : 7762 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684678 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140447491381704 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7772] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7772/stat : 7772 (java) S 7742 7744 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335684844 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140447488165416 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7785] ppid=7742 vsize=11852648 CPUtime=1.87 cores=0,2,4,6 /proc/7744/task/7785/stat : 7785 (java) R 7742 7744 442 0 -1 4202560 5 0 0 0 187 0 0 0 20 0 22 0 335685110 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140447489216904 140447998489981 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7786] ppid=7742 vsize=11852648 CPUtime=1.86 cores=0,2,4,6 /proc/7744/task/7786/stat : 7786 (java) R 7742 7744 442 0 -1 4202560 20 0 0 0 186 0 0 0 20 0 22 0 335685110 12137111552 58496 33554432000 1073741824 1073778376 140735852631920 140447490269464 140447998596741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=7744/tid=7750] ppid=7742 vsize=11852648 CPUtime=1.19 cores=0,2,4,6 /proc/7744/task/7750/stat : 7750 (java) S 7742 7744 442 0 -1 4202560 125 0 0 0 113 6 0 0 20 0 22 0 335684673 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140448117693096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7751] ppid=7742 vsize=11852648 CPUtime=1 cores=0,2,4,6 /proc/7744/task/7751/stat : 7751 (java) S 7742 7744 442 0 -1 4202560 105 0 0 0 96 4 0 0 20 0 22 0 335684673 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140448116640296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7752] ppid=7742 vsize=11852648 CPUtime=1.01 cores=0,2,4,6 /proc/7744/task/7752/stat : 7752 (java) S 7742 7744 442 0 -1 4202560 128 0 0 0 95 6 0 0 20 0 22 0 335684673 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140447983831464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7753] ppid=7742 vsize=11852648 CPUtime=1.07 cores=0,2,4,6 /proc/7744/task/7753/stat : 7753 (java) S 7742 7744 442 0 -1 4202560 96 0 0 0 102 5 0 0 20 0 22 0 335684673 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140447982778664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7754] ppid=7742 vsize=11852648 CPUtime=1.1 cores=0,2,4,6 /proc/7744/task/7754/stat : 7754 (java) S 7742 7744 442 0 -1 4202560 88 0 0 0 105 5 0 0 20 0 22 0 335684673 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140447510948008 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7755] ppid=7742 vsize=11852648 CPUtime=20.69 cores=0,2,4,6 /proc/7744/task/7755/stat : 7755 (java) R 7742 7744 442 0 -1 4202560 126 0 0 0 2058 11 0 0 20 0 22 0 335684674 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140447498751072 254753694133 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7756] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7756/stat : 7756 (java) S 7742 7744 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335684675 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140447497697016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7757] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7757/stat : 7757 (java) S 7742 7744 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335684675 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140447496644104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7758] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7758/stat : 7758 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684677 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140447495592592 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7759] ppid=7742 vsize=11852648 CPUtime=1.07 cores=0,2,4,6 /proc/7744/task/7759/stat : 7759 (java) S 7742 7744 442 0 -1 4202560 4145 0 0 0 106 1 0 0 20 0 22 0 335684677 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140447494539704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7760] ppid=7742 vsize=11852648 CPUtime=1.23 cores=0,2,4,6 /proc/7744/task/7760/stat : 7760 (java) S 7742 7744 442 0 -1 4202560 4045 0 0 0 121 2 0 0 20 0 22 0 335684677 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140447493486904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7761] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7761/stat : 7761 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684678 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140447492434296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7762] ppid=7742 vsize=11852648 CPUtime=0.25 cores=0,2,4,6 /proc/7744/task/7762/stat : 7762 (java) S 7742 7744 442 0 -1 4202560 46 0 0 0 15 10 0 0 20 0 22 0 335684678 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140447491381704 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7793] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7793/stat : 7793 (java) S 7742 7744 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335687678 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140447489217448 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7822] ppid=7742 vsize=11852648 CPUtime=124.68 cores=0,2,4,6 /proc/7744/task/7822/stat : 7822 (java) R 7742 7744 442 0 -1 4202560 10 0 0 0 12467 1 0 0 20 0 22 0 335753388 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140447487111208 140447998007371 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7823] ppid=7742 vsize=11852648 CPUtime=124.67 cores=0,2,4,6 /proc/7744/task/7823/stat : 7823 (java) R 7742 7744 442 0 -1 4202560 13 0 0 0 12466 1 0 0 20 0 22 0 335753388 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140447488162744 140447998138286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7824] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7824/stat : 7824 (java) S 7742 7744 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335753388 12137111552 953922 33554432000 1073741824 1073778376 140735852631920 140447490270760 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1618.6 Current children cumulated vsize (KiB) 11852648 [startup+882.301 s] /proc/loadavg: 3.92 3.91 3.87 5/219 7905 /proc/meminfo: memFree=19407912/32873844 swapFree=7628/7628 [pid=7744] ppid=7742 vsize=11852648 CPUtime=1736.51 cores=0,2,4,6 /proc/7744/stat : 7744 (java) S 7742 7744 442 0 -1 4202496 15425 0 1 0 173487 164 0 0 20 0 22 0 335684670 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140735852623056 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7744/statm: 2963162 956497 2294 9 0 2953849 0 [pid=7744/tid=7746] ppid=7742 vsize=11852648 CPUtime=0.99 cores=0,2,4,6 /proc/7744/task/7746/stat : 7746 (java) S 7742 7744 442 0 -1 4202560 2966 0 1 0 94 5 0 0 20 0 22 0 335684671 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140448152441992 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7747] ppid=7742 vsize=11852648 CPUtime=1.15 cores=0,2,4,6 /proc/7744/task/7747/stat : 7747 (java) S 7742 7744 442 0 -1 4202560 150 0 0 0 107 8 0 0 20 0 22 0 335684673 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140448120851496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7748] ppid=7742 vsize=11852648 CPUtime=1.13 cores=0,2,4,6 /proc/7744/task/7748/stat : 7748 (java) S 7742 7744 442 0 -1 4202560 92 0 0 0 109 4 0 0 20 0 22 0 335684673 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140448119798696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7749] ppid=7742 vsize=11852648 CPUtime=1.23 cores=0,2,4,6 /proc/7744/task/7749/stat : 7749 (java) S 7742 7744 442 0 -1 4202560 164 0 0 0 115 8 0 0 20 0 22 0 335684673 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140448118745896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7750] ppid=7742 vsize=11852648 CPUtime=1.25 cores=0,2,4,6 /proc/7744/task/7750/stat : 7750 (java) S 7742 7744 442 0 -1 4202560 129 0 0 0 119 6 0 0 20 0 22 0 335684673 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140448117693096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7751] ppid=7742 vsize=11852648 CPUtime=1.06 cores=0,2,4,6 /proc/7744/task/7751/stat : 7751 (java) S 7742 7744 442 0 -1 4202560 106 0 0 0 102 4 0 0 20 0 22 0 335684673 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140448116640296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7752] ppid=7742 vsize=11852648 CPUtime=1.11 cores=0,2,4,6 /proc/7744/task/7752/stat : 7752 (java) S 7742 7744 442 0 -1 4202560 131 0 0 0 105 6 0 0 20 0 22 0 335684673 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140447983831464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7753] ppid=7742 vsize=11852648 CPUtime=1.17 cores=0,2,4,6 /proc/7744/task/7753/stat : 7753 (java) S 7742 7744 442 0 -1 4202560 108 0 0 0 112 5 0 0 20 0 22 0 335684673 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140447982778664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7754] ppid=7742 vsize=11852648 CPUtime=1.16 cores=0,2,4,6 /proc/7744/task/7754/stat : 7754 (java) S 7742 7744 442 0 -1 4202560 94 0 0 0 111 5 0 0 20 0 22 0 335684673 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140447510948008 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7755] ppid=7742 vsize=11852648 CPUtime=23.02 cores=0,2,4,6 /proc/7744/task/7755/stat : 7755 (java) S 7742 7744 442 0 -1 4202560 130 0 0 0 2290 12 0 0 20 0 22 0 335684674 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140447498750952 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7756] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7756/stat : 7756 (java) S 7742 7744 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335684675 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140447497697016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7757] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7757/stat : 7757 (java) S 7742 7744 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335684675 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140447496644104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7758] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7758/stat : 7758 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684677 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140447495592592 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7759] ppid=7742 vsize=11852648 CPUtime=1.08 cores=0,2,4,6 /proc/7744/task/7759/stat : 7759 (java) S 7742 7744 442 0 -1 4202560 4146 0 0 0 107 1 0 0 20 0 22 0 335684677 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140447494539704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7760] ppid=7742 vsize=11852648 CPUtime=1.23 cores=0,2,4,6 /proc/7744/task/7760/stat : 7760 (java) S 7742 7744 442 0 -1 4202560 4045 0 0 0 121 2 0 0 20 0 22 0 335684677 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140447493486904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7761] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7761/stat : 7761 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684678 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140447492434296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7762] ppid=7742 vsize=11852648 CPUtime=0.27 cores=0,2,4,6 /proc/7744/task/7762/stat : 7762 (java) S 7742 7744 442 0 -1 4202560 50 0 0 0 15 12 0 0 20 0 22 0 335684678 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140447491381704 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7793] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7793/stat : 7793 (java) S 7742 7744 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335687678 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140447489217448 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7822] ppid=7742 vsize=11852648 CPUtime=182.01 cores=0,2,4,6 /proc/7744/task/7822/stat : 7822 (java) R 7742 7744 442 0 -1 4202560 18 0 0 0 18199 2 0 0 20 0 22 0 335753388 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140447487111248 140447998408937 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7823] ppid=7742 vsize=11852648 CPUtime=182.01 cores=0,2,4,6 /proc/7744/task/7823/stat : 7823 (java) R 7742 7744 442 0 -1 4202560 16 0 0 0 18199 2 0 0 20 0 22 0 335753388 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140447488162512 140447998596732 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7824] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7824/stat : 7824 (java) S 7742 7744 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335753388 12137111552 956497 33554432000 1073741824 1073778376 140735852631920 140447490270760 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1736.51 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+913.007 s] /proc/loadavg: 3.95 3.92 3.87 4/219 7905 /proc/meminfo: memFree=19385508/32873844 swapFree=7628/7628 [pid=7744] ppid=7742 vsize=11852648 CPUtime=1797.02 cores=0,2,4,6 /proc/7744/stat : 7744 (java) S 7742 7744 442 0 -1 4202496 15471 0 1 0 179538 164 0 0 20 0 22 0 335684670 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140735852623056 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7744/statm: 2963162 956531 2294 9 0 2953849 0 [pid=7744/tid=7746] ppid=7742 vsize=11852648 CPUtime=0.99 cores=0,2,4,6 /proc/7744/task/7746/stat : 7746 (java) S 7742 7744 442 0 -1 4202560 2966 0 1 0 94 5 0 0 20 0 22 0 335684671 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140448152441992 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7747] ppid=7742 vsize=11852648 CPUtime=1.2 cores=0,2,4,6 /proc/7744/task/7747/stat : 7747 (java) S 7742 7744 442 0 -1 4202560 150 0 0 0 112 8 0 0 20 0 22 0 335684673 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140448120851496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7748] ppid=7742 vsize=11852648 CPUtime=1.17 cores=0,2,4,6 /proc/7744/task/7748/stat : 7748 (java) S 7742 7744 442 0 -1 4202560 93 0 0 0 113 4 0 0 20 0 22 0 335684673 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140448119798696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7749] ppid=7742 vsize=11852648 CPUtime=1.27 cores=0,2,4,6 /proc/7744/task/7749/stat : 7749 (java) S 7742 7744 442 0 -1 4202560 164 0 0 0 119 8 0 0 20 0 22 0 335684673 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140448118745896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7750] ppid=7742 vsize=11852648 CPUtime=1.31 cores=0,2,4,6 /proc/7744/task/7750/stat : 7750 (java) S 7742 7744 442 0 -1 4202560 153 0 0 0 125 6 0 0 20 0 22 0 335684673 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140448117693096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7751] ppid=7742 vsize=11852648 CPUtime=1.11 cores=0,2,4,6 /proc/7744/task/7751/stat : 7751 (java) S 7742 7744 442 0 -1 4202560 106 0 0 0 107 4 0 0 20 0 22 0 335684673 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140448116640296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7752] ppid=7742 vsize=11852648 CPUtime=1.17 cores=0,2,4,6 /proc/7744/task/7752/stat : 7752 (java) S 7742 7744 442 0 -1 4202560 131 0 0 0 111 6 0 0 20 0 22 0 335684673 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140447983831464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7753] ppid=7742 vsize=11852648 CPUtime=1.21 cores=0,2,4,6 /proc/7744/task/7753/stat : 7753 (java) S 7742 7744 442 0 -1 4202560 117 0 0 0 116 5 0 0 20 0 22 0 335684673 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140447982778664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7754] ppid=7742 vsize=11852648 CPUtime=1.19 cores=0,2,4,6 /proc/7744/task/7754/stat : 7754 (java) S 7742 7744 442 0 -1 4202560 94 0 0 0 114 5 0 0 20 0 22 0 335684673 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140447510948008 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7755] ppid=7742 vsize=11852648 CPUtime=24.06 cores=0,2,4,6 /proc/7744/task/7755/stat : 7755 (java) S 7742 7744 442 0 -1 4202560 132 0 0 0 2394 12 0 0 20 0 22 0 335684674 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140447498750952 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7756] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7756/stat : 7756 (java) S 7742 7744 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335684675 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140447497697016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7757] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7757/stat : 7757 (java) S 7742 7744 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335684675 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140447496644104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7758] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7758/stat : 7758 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684677 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140447495592592 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7759] ppid=7742 vsize=11852648 CPUtime=1.08 cores=0,2,4,6 /proc/7744/task/7759/stat : 7759 (java) S 7742 7744 442 0 -1 4202560 4146 0 0 0 107 1 0 0 20 0 22 0 335684677 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140447494539704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7760] ppid=7742 vsize=11852648 CPUtime=1.23 cores=0,2,4,6 /proc/7744/task/7760/stat : 7760 (java) S 7742 7744 442 0 -1 4202560 4045 0 0 0 121 2 0 0 20 0 22 0 335684677 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140447493486904 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7761] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7761/stat : 7761 (java) S 7742 7744 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335684678 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140447492434296 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7762] ppid=7742 vsize=11852648 CPUtime=0.28 cores=0,2,4,6 /proc/7744/task/7762/stat : 7762 (java) S 7742 7744 442 0 -1 4202560 52 0 0 0 16 12 0 0 20 0 22 0 335684678 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140447491381704 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7744/tid=7793] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7793/stat : 7793 (java) S 7742 7744 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335687678 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140447489217448 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7744/tid=7822] ppid=7742 vsize=11852648 CPUtime=211.51 cores=0,2,4,6 /proc/7744/task/7822/stat : 7822 (java) R 7742 7744 442 0 -1 4202560 24 0 0 0 21148 3 0 0 20 0 22 0 335753388 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140447487111248 140447998553728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=7744/tid=7823] ppid=7742 vsize=11852648 CPUtime=211.51 cores=0,2,4,6 /proc/7744/task/7823/stat : 7823 (java) R 7742 7744 442 0 -1 4202560 18 0 0 0 21148 3 0 0 20 0 22 0 335753388 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140447488162768 140447998367388 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=7744/tid=7824] ppid=7742 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/7744/task/7824/stat : 7824 (java) S 7742 7744 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335753388 12137111552 956531 33554432000 1073741824 1073778376 140735852631920 140447490270760 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1797.02 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 7744 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=438203 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=922707 # CPU time returned by wait4() is 1796.36 # while last known CPU time is 1797.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 3.08995 # lost CPU user time (s): 3.27 # lost CPU system time (s): -0.18 Real time (s): 913.083 CPU time (s): 1800.11 CPU user time (s): 1798.65 CPU system time (s): 1.46 CPU usage (%): 197.146 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.44 system time used= 1.92271 maximum resident set size= 3826244 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15503 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1008 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27220 involuntary context switches= 33673 runsolver used 3.24051 second user time and 7.94379 second system time The end
Begin job on node145 at 2012-06-03 05:53:23 IDJOB=3735553 IDBENCH=24973 IDSOLVER=2328 FILE ID=node145/3735553-1338695603 RUNJOBID= node145-1338678626-461 PBS_JOBID= 14636668 Free space on /tmp= 70924 MiB SOLVER NAME= PB11: 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-3735553-1338695603/watcher-3735553-1338695603 -o /tmp/evaluation-result-3735553-1338695603/solver-3735553-1338695603 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735553-1338695603.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f1fcceba4d2ff597685b8a775178b9b4 RANDOM SEED=900234069 node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5313.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 23205816 kB Buffers: 433460 kB Cached: 4786480 kB SwapCached: 0 kB Active: 5176548 kB Inactive: 3606636 kB Active(anon): 3554372 kB Inactive(anon): 10916 kB Active(file): 1622176 kB Inactive(file): 3595720 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1368 kB Writeback: 0 kB AnonPages: 3592732 kB Mapped: 22312 kB Shmem: 200 kB Slab: 716808 kB SReclaimable: 158092 kB SUnreclaim: 558716 kB KernelStack: 1616 kB PageTables: 11068 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10459464 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 3536896 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70920 MiB End job on node145 at 2012-06-03 06:08:38