Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 32 | 1800.07 | 1797.36 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_021_area_delay.opb |
| MD5SUM | 5c1765191809ee7ecd7781ce5c7fb9aa |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 3.79742 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 9333 |
| Total number of constraints | 28773 |
| Number of constraints which are clauses | 28773 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 4585 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 4585 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 4585 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.00/0.08 c version 2.3.2.v20120418 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.09/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.12 c configuring ORDERS 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=true 0.09/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3710930-1338158217.opb 0.09/0.12 c reading problem ... 0.73/0.47 c ... done. Wall clock time 0.35s. 0.73/0.47 c declared #vars 9333 0.73/0.47 c #constraints 28773 0.73/0.47 c constraints type 0.73/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4757 0.73/0.47 c org.sat4j.minisat.constraints.cnf.UnitClause => 891 0.73/0.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23125 0.73/0.47 c 28773 constraints processed. 0.95/0.59 c SATISFIABLE 0.95/0.59 c OPTIMIZING... 0.95/0.59 c Got one! Elapsed wall clock time (in seconds):0.473 0.95/0.59 o 51 1.49/0.74 c Got one! Elapsed wall clock time (in seconds):0.622 1.49/0.74 o 43 2.58/1.63 c Got one! Elapsed wall clock time (in seconds):1.512 2.58/1.63 o 42 3.42/2.45 c Got one! Elapsed wall clock time (in seconds):2.327 3.42/2.45 o 41 3.55/2.54 c Got one! Elapsed wall clock time (in seconds):2.418 3.55/2.54 o 40 3.78/2.71 c Got one! Elapsed wall clock time (in seconds):2.59 3.78/2.71 o 39 5.09/4.06 c Got one! Elapsed wall clock time (in seconds):3.941 5.09/4.06 o 38 5.71/4.63 c Got one! Elapsed wall clock time (in seconds):4.514 5.71/4.63 o 37 6.31/5.22 c cleaning 3914 clauses out of 7832 with flag 1000/7832 7.07/5.98 c Got one! Elapsed wall clock time (in seconds):5.857 7.07/5.98 o 36 7.47/6.36 c Got one! Elapsed wall clock time (in seconds):6.241 7.47/6.36 o 35 9.59/8.40 c cleaning 5098 clauses out of 10203 with flag 4001/14117 12.39/11.21 c cleaning 5549 clauses out of 11104 with flag 10000/20116 14.75/13.51 c Got one! Elapsed wall clock time (in seconds):13.39 14.75/13.51 o 34 15.25/14.01 c cleaning 5599 clauses out of 11200 with flag 1001/25761 16.89/15.63 c Got one! Elapsed wall clock time (in seconds):15.514 16.89/15.63 o 33 17.80/16.55 c cleaning 5627 clauses out of 11261 with flag 2000/31421 19.89/18.61 c Got one! Elapsed wall clock time (in seconds):18.489 19.89/18.61 o 32 20.40/19.12 c cleaning 5364 clauses out of 10732 with flag 1000/36519 23.00/21.72 c cleaning 5681 clauses out of 11369 with flag 7001/42520 26.50/25.23 c cleaning 6341 clauses out of 12687 with flag 14000/49519 30.01/28.73 c cleaning 7159 clauses out of 14346 with flag 22000/57519 33.91/32.60 c cleaning 8088 clauses out of 16187 with flag 31000/66519 38.52/37.24 c cleaning 9047 clauses out of 18099 with flag 41000/76519 43.13/41.81 c cleaning 10022 clauses out of 20052 with flag 52000/87519 47.83/46.53 c cleaning 10993 clauses out of 22030 with flag 64000/99519 53.54/52.26 c cleaning 12006 clauses out of 24037 with flag 77000/112519 59.94/58.69 c cleaning 13012 clauses out of 26032 with flag 91001/126520 67.46/66.10 c cleaning 14004 clauses out of 28019 with flag 106000/141519 74.55/73.21 c cleaning 15001 clauses out of 30015 with flag 122000/157519 82.56/81.28 c cleaning 16000 clauses out of 32014 with flag 139000/174519 91.38/90.00 c cleaning 17004 clauses out of 34017 with flag 157003/192522 100.91/99.50 c cleaning 17981 clauses out of 36010 with flag 176000/211519 109.52/108.10 c cleaning 19000 clauses out of 38029 with flag 196000/231519 119.43/118.04 c cleaning 20011 clauses out of 40033 with flag 217004/252523 129.74/128.33 c cleaning 20988 clauses out of 42018 with flag 239000/274519 139.95/138.58 c cleaning 21990 clauses out of 44030 with flag 262000/297519 150.86/149.47 c cleaning 23008 clauses out of 46040 with flag 286000/321519 164.08/162.68 c cleaning 24009 clauses out of 48032 with flag 311000/346519 175.48/174.05 c cleaning 25003 clauses out of 50024 with flag 337001/372520 187.41/185.95 c cleaning 26004 clauses out of 52021 with flag 364001/399520 201.23/199.76 c cleaning 26966 clauses out of 54016 with flag 392000/427519 214.78/213.20 c cleaning 28017 clauses out of 56050 with flag 421000/456519 228.38/226.80 c cleaning 29011 clauses out of 58033 with flag 451000/486519 241.68/240.12 c cleaning 30003 clauses out of 60022 with flag 482000/517519 257.41/255.84 c cleaning 30991 clauses out of 62019 with flag 514000/549519 275.71/274.19 c cleaning 32005 clauses out of 64028 with flag 547000/582519 291.53/289.95 c cleaning 33009 clauses out of 66026 with flag 581003/616522 307.47/305.85 c cleaning 34003 clauses out of 68015 with flag 616001/651520 323.58/321.90 c cleaning 34978 clauses out of 70011 with flag 652000/687519 336.39/334.71 c cleaning 36009 clauses out of 72033 with flag 689000/724519 356.32/354.61 c cleaning 36997 clauses out of 74024 with flag 727000/762519 376.43/374.72 c cleaning 38009 clauses out of 76028 with flag 766001/801520 397.44/395.76 c cleaning 38991 clauses out of 78018 with flag 806000/841519 418.57/416.83 c cleaning 40004 clauses out of 80027 with flag 847000/882519 436.78/435.08 c cleaning 41005 clauses out of 82023 with flag 889000/924519 456.70/454.95 c cleaning 41999 clauses out of 84018 with flag 932000/967519 476.44/474.62 c cleaning 42993 clauses out of 86020 with flag 976001/1011520 499.36/497.54 c cleaning 43993 clauses out of 88026 with flag 1021000/1056519 522.49/520.60 c cleaning 45009 clauses out of 90033 with flag 1067000/1102519 544.39/542.54 c cleaning 45999 clauses out of 92024 with flag 1114000/1149519 566.12/564.23 c cleaning 46994 clauses out of 94025 with flag 1162000/1197519 588.76/586.88 c cleaning 48002 clauses out of 96031 with flag 1211000/1246519 612.27/610.31 c cleaning 48998 clauses out of 98029 with flag 1261000/1296519 635.62/633.69 c cleaning 50008 clauses out of 100032 with flag 1312001/1347520 658.56/656.58 c cleaning 51006 clauses out of 102023 with flag 1364000/1399519 682.18/680.10 c cleaning 52002 clauses out of 104018 with flag 1417001/1452520 708.80/706.74 c cleaning 52991 clauses out of 106015 with flag 1471000/1506519 734.11/732.02 c cleaning 53999 clauses out of 108024 with flag 1526000/1561519 758.71/756.60 c cleaning 55004 clauses out of 110026 with flag 1582001/1617520 784.95/782.89 c cleaning 56003 clauses out of 112021 with flag 1639000/1674519 812.98/810.89 c cleaning 57001 clauses out of 114019 with flag 1697001/1732520 840.58/838.42 c cleaning 57996 clauses out of 116017 with flag 1756000/1791519 866.30/864.14 c cleaning 59002 clauses out of 118022 with flag 1816001/1851520 891.83/889.68 c cleaning 59998 clauses out of 120019 with flag 1877000/1912519 918.85/916.65 c cleaning 60998 clauses out of 122021 with flag 1939000/1974519 946.47/944.22 c cleaning 61995 clauses out of 124023 with flag 2002000/2037519 975.08/972.90 c cleaning 63005 clauses out of 126028 with flag 2066000/2101519 1007.30/1005.00 c cleaning 63999 clauses out of 128024 with flag 2131001/2166520 1036.53/1034.25 c cleaning 65003 clauses out of 130027 with flag 2197003/2232522 1065.85/1063.53 c cleaning 66003 clauses out of 132021 with flag 2264000/2299519 1100.77/1098.43 c cleaning 66995 clauses out of 134019 with flag 2332001/2367520 1136.31/1133.94 c cleaning 68001 clauses out of 136023 with flag 2401000/2436519 1168.44/1166.01 c cleaning 68994 clauses out of 138023 with flag 2471001/2506520 1200.84/1198.43 c cleaning 70005 clauses out of 140028 with flag 2542000/2577519 1233.86/1231.48 c cleaning 71006 clauses out of 142029 with flag 2614006/2649525 1270.46/1268.04 c cleaning 71999 clauses out of 144018 with flag 2687001/2722520 1308.19/1305.80 c cleaning 72998 clauses out of 146018 with flag 2761000/2796519 1346.69/1344.30 c cleaning 73995 clauses out of 148020 with flag 2836000/2871519 1387.53/1385.06 c cleaning 74994 clauses out of 150025 with flag 2912000/2947519 1424.44/1421.90 c cleaning 75998 clauses out of 152032 with flag 2989001/3024520 1460.36/1457.85 c cleaning 76998 clauses out of 154034 with flag 3067001/3102520 1494.97/1492.42 c cleaning 78006 clauses out of 156035 with flag 3146000/3181519 1534.80/1532.27 c cleaning 78985 clauses out of 158029 with flag 3226000/3261519 1573.01/1570.47 c cleaning 80013 clauses out of 160046 with flag 3307002/3342521 1612.93/1610.36 c cleaning 81001 clauses out of 162033 with flag 3389002/3424521 1650.05/1647.46 c cleaning 81987 clauses out of 164030 with flag 3472000/3507519 1687.75/1685.16 c cleaning 83007 clauses out of 166044 with flag 3556001/3591520 1724.98/1722.33 c cleaning 83993 clauses out of 168036 with flag 3641000/3676519 1765.41/1762.70 c cleaning 85009 clauses out of 170044 with flag 3727001/3762520 1800.07/1797.31 c starts : 265 1800.07/1797.31 c conflicts : 3835612 1800.07/1797.31 c decisions : 10290709 1800.07/1797.31 c propagations : 8451243176 1800.07/1797.31 c inspects : 9294296539 1800.07/1797.31 c shortcuts : 0 1800.07/1797.31 c learnt literals : 0 1800.07/1797.31 c learnt binary clauses : 0 1800.07/1797.31 c learnt ternary clauses : 2 1800.07/1797.31 c learnt constraints : 3835612 1800.07/1797.31 c ignored constraints : 0 1800.07/1797.31 c root simplifications : 265 1800.07/1797.31 c removed literals (reason simplification) : 4111824 1800.07/1797.31 c reason swapping (by a shorter reason) : 0 1800.07/1797.31 c Calls to reduceDB : 87 1800.07/1797.31 c number of reductions to clauses (during analyze) : 0 1800.07/1797.31 c number of learned constraints concerned by reduction : 0 1800.07/1797.31 c number of learning phase by resolution : 0 1800.07/1797.31 c number of learning phase by cutting planes : 0 1800.07/1797.31 c speed (assignments/second) : 4703445.216549237 1800.07/1797.31 c non guided choices 9484 1800.07/1797.34 c learnt constraints type 1800.07/1797.34 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 158179 1800.07/1797.34 c constraints type 1800.07/1797.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4757 1800.07/1797.34 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.07/1797.34 c org.sat4j.minisat.constraints.cnf.UnitClause => 891 1800.07/1797.34 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23125 1800.07/1797.34 c 28774 constraints processed. 1800.07/1797.34 s SATISFIABLE 1800.07/1797.35 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 x232 -x233 -x234 x235 -x236 x237 x238 -x239 -x240 x241 -x242 x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 x3693 x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 x3829 x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x3990 x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 x4880 x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 x5148 x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 x5445 x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 x7724 x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 x7781 x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 x8344 x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 x8925 x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 x8941 x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 x9119 x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 x9127 x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 x9183 x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 x9191 x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 x9203 x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 x9217 x9218 x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 x9258 x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 x9276 x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 x9288 x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 x9300 x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 x9321 x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 x9333 1800.07/1797.36 c objective function=32 1800.07/1797.36 c Total wall clock time (in seconds): 1797.237
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-3710930-1338158217/watcher-3710930-1338158217 -o /tmp/evaluation-result-3710930-1338158217/solver-3710930-1338158217 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710930-1338158217.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: 2.02 2.04 2.00 3/194 6153 /proc/meminfo: memFree=29073212/32873648 swapFree=7116/7116 [pid=6153] ppid=6151 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/6153/stat : 6153 (java) D 6151 6153 31461 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 281947213 9515008 184 33554432000 1073741824 1073778376 140734835891744 140734835882968 260190137783 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/6153/statm: 2323 184 142 9 0 71 0 [startup+0.102956 s] /proc/loadavg: 2.02 2.04 2.00 3/194 6153 /proc/meminfo: memFree=29073212/32873648 swapFree=7116/7116 [pid=6153] ppid=6151 vsize=9558440 CPUtime=0.09 cores=0,2,4,6 /proc/6153/stat : 6153 (java) S 6151 6153 31461 0 -1 4202496 4291 0 1 0 8 1 0 0 20 0 18 0 281947213 9787842560 6008 33554432000 1073741824 1073778376 140735534238800 140735534229936 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6153/statm: 2389610 6008 2116 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.200258 s] /proc/loadavg: 2.02 2.04 2.00 3/194 6153 /proc/meminfo: memFree=29073212/32873648 swapFree=7116/7116 [pid=6153] ppid=6151 vsize=9558440 CPUtime=0.27 cores=0,2,4,6 /proc/6153/stat : 6153 (java) S 6151 6153 31461 0 -1 4202496 4936 0 1 0 26 1 0 0 20 0 18 0 281947213 9787842560 6905 33554432000 1073741824 1073778376 140735534238800 140735534229936 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6153/statm: 2389610 6905 2208 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558440 [startup+0.300212 s] /proc/loadavg: 2.02 2.04 2.00 3/194 6153 /proc/meminfo: memFree=29073212/32873648 swapFree=7116/7116 [pid=6153] ppid=6151 vsize=9558440 CPUtime=0.49 cores=0,2,4,6 /proc/6153/stat : 6153 (java) S 6151 6153 31461 0 -1 4202496 5861 0 1 0 48 1 0 0 20 0 18 0 281947213 9787842560 8855 33554432000 1073741824 1073778376 140735534238800 140735534229936 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6153/statm: 2389610 8855 2224 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558440 [startup+0.70024 s] /proc/loadavg: 2.02 2.04 2.00 3/194 6153 /proc/meminfo: memFree=29073212/32873648 swapFree=7116/7116 [pid=6153] ppid=6151 vsize=9625004 CPUtime=1.49 cores=0,2,4,6 /proc/6153/stat : 6153 (java) S 6151 6153 31461 0 -1 4202496 9246 0 1 0 147 2 0 0 20 0 19 0 281947213 9856004096 22650 33554432000 1073741824 1073778376 140735534238800 140735534229936 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6153/statm: 2406251 22650 2257 9 0 2396937 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9625004 [startup+1.50063 s] /proc/loadavg: 2.02 2.04 2.00 3/213 6172 /proc/meminfo: memFree=28990920/32873648 swapFree=7116/7116 [pid=6153] ppid=6151 vsize=9625004 CPUtime=2.48 cores=0,2,4,6 /proc/6153/stat : 6153 (java) S 6151 6153 31461 0 -1 4202496 9477 0 1 0 246 2 0 0 20 0 19 0 281947213 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140735534229936 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6153/statm: 2406251 23129 2261 9 0 2396937 0 [pid=6153/tid=6155] ppid=6151 vsize=9625004 CPUtime=1.47 cores=0,2,4,6 /proc/6153/task/6155/stat : 6155 (java) R 6151 6153 31461 0 -1 4202560 2550 0 1 0 145 2 0 0 20 0 19 0 281947214 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665756840008 140665630202946 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6156] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6156/stat : 6156 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665600867240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6157] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6157/stat : 6157 (java) S 6151 6153 31461 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665599814696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6158] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6158/stat : 6158 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665598761640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6153/tid=6159] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6159/stat : 6159 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665597709096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6160] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6160/stat : 6160 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665596656040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6161] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6161/stat : 6161 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665595603496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6162] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6162/stat : 6162 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665594550440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6163] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6163/stat : 6163 (java) S 6151 6153 31461 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665593497896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6164] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6164/stat : 6164 (java) S 6151 6153 31461 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281947217 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665581087592 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6165] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6165/stat : 6165 (java) S 6151 6153 31461 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281947217 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665580033912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6166] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6166/stat : 6166 (java) S 6151 6153 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281947217 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665578980744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6167] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6167/stat : 6167 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665577929488 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6168] ppid=6151 vsize=9625004 CPUtime=0.53 cores=0,2,4,6 /proc/6153/task/6168/stat : 6168 (java) S 6151 6153 31461 0 -1 4202560 2552 0 0 0 53 0 0 0 20 0 19 0 281947219 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665576876344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6169] ppid=6151 vsize=9625004 CPUtime=0.45 cores=0,2,4,6 /proc/6153/task/6169/stat : 6169 (java) S 6151 6153 31461 0 -1 4202560 3178 0 0 0 45 0 0 0 20 0 19 0 281947219 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665575823800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6170] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6170/stat : 6170 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665574770936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6171] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6171/stat : 6171 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665573718600 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6172] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6172/stat : 6172 (java) S 6151 6153 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281947263 9856004096 23129 33554432000 1073741824 1073778376 140735534238800 140665572664872 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.48 Current children cumulated vsize (KiB) 9625004 [startup+3.10062 s] /proc/loadavg: 2.10 2.06 2.01 3/213 6172 /proc/meminfo: memFree=28988128/32873648 swapFree=7116/7116 [pid=6153] ppid=6151 vsize=9625004 CPUtime=4.19 cores=0,2,4,6 /proc/6153/stat : 6153 (java) S 6151 6153 31461 0 -1 4202496 9658 0 1 0 417 2 0 0 20 0 19 0 281947213 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140735534229936 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6153/statm: 2406251 24157 2264 9 0 2396937 0 [pid=6153/tid=6155] ppid=6151 vsize=9625004 CPUtime=3.06 cores=0,2,4,6 /proc/6153/task/6155/stat : 6155 (java) R 6151 6153 31461 0 -1 4202560 2553 0 1 0 304 2 0 0 20 0 19 0 281947214 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665756840824 140665630307308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6156] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6156/stat : 6156 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665600867240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6157] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6157/stat : 6157 (java) S 6151 6153 31461 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665599814696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6158] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6158/stat : 6158 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665598761640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6153/tid=6159] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6159/stat : 6159 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665597709096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6160] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6160/stat : 6160 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665596656040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6161] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6161/stat : 6161 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665595603496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6162] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6162/stat : 6162 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665594550440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6163] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6163/stat : 6163 (java) S 6151 6153 31461 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665593497896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6164] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6164/stat : 6164 (java) S 6151 6153 31461 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281947217 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665581087592 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6165] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6165/stat : 6165 (java) S 6151 6153 31461 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281947217 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665580033912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6166] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6166/stat : 6166 (java) S 6151 6153 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281947217 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665578980744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6167] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6167/stat : 6167 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665577929488 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6168] ppid=6151 vsize=9625004 CPUtime=0.58 cores=0,2,4,6 /proc/6153/task/6168/stat : 6168 (java) S 6151 6153 31461 0 -1 4202560 2726 0 0 0 58 0 0 0 20 0 19 0 281947219 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665576876344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6169] ppid=6151 vsize=9625004 CPUtime=0.51 cores=0,2,4,6 /proc/6153/task/6169/stat : 6169 (java) S 6151 6153 31461 0 -1 4202560 3181 0 0 0 51 0 0 0 20 0 19 0 281947219 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665575823800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6170] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6170/stat : 6170 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665574770936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6171] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6171/stat : 6171 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665573718600 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6172] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6172/stat : 6172 (java) S 6151 6153 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281947263 9856004096 24157 33554432000 1073741824 1073778376 140735534238800 140665572664872 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.19 Current children cumulated vsize (KiB) 9625004 [startup+6.30063 s] /proc/loadavg: 2.10 2.06 2.01 3/213 6172 /proc/meminfo: memFree=28983348/32873648 swapFree=7116/7116 [pid=6153] ppid=6151 vsize=9625004 CPUtime=7.47 cores=0,2,4,6 /proc/6153/stat : 6153 (java) S 6151 6153 31461 0 -1 4202496 9785 0 1 0 744 3 0 0 20 0 19 0 281947213 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140735534229936 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6153/statm: 2406251 28752 2289 9 0 2396937 0 [pid=6153/tid=6155] ppid=6151 vsize=9625004 CPUtime=6.22 cores=0,2,4,6 /proc/6153/task/6155/stat : 6155 (java) R 6151 6153 31461 0 -1 4202560 2559 0 1 0 620 2 0 0 20 0 19 0 281947214 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665756832192 140665630219891 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6156] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6156/stat : 6156 (java) S 6151 6153 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665600867240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6153/tid=6157] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6157/stat : 6157 (java) S 6151 6153 31461 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665599814696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6158] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6158/stat : 6158 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665598761640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6159] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6159/stat : 6159 (java) S 6151 6153 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665597709096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6160] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6160/stat : 6160 (java) S 6151 6153 31461 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665596656040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6153/tid=6161] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6161/stat : 6161 (java) S 6151 6153 31461 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665595603496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6162] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6162/stat : 6162 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665594550440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6153/tid=6163] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6163/stat : 6163 (java) S 6151 6153 31461 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281947215 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665593497896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6153/tid=6164] ppid=6151 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/6153/task/6164/stat : 6164 (java) S 6151 6153 31461 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 281947217 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665581087592 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6165] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6165/stat : 6165 (java) S 6151 6153 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281947217 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665580033912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6166] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6166/stat : 6166 (java) S 6151 6153 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281947217 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665578980744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6167] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6167/stat : 6167 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665577929488 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6168] ppid=6151 vsize=9625004 CPUtime=0.59 cores=0,2,4,6 /proc/6153/task/6168/stat : 6168 (java) S 6151 6153 31461 0 -1 4202560 2730 0 0 0 59 0 0 0 20 0 19 0 281947219 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665576876344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6169] ppid=6151 vsize=9625004 CPUtime=0.55 cores=0,2,4,6 /proc/6153/task/6169/stat : 6169 (java) S 6151 6153 31461 0 -1 4202560 3242 0 0 0 55 0 0 0 20 0 19 0 281947219 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665575823800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6170] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6170/stat : 6170 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665574770936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6171] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6171/stat : 6171 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665573718600 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6172] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6172/stat : 6172 (java) S 6151 6153 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281947263 9856004096 28752 33554432000 1073741824 1073778376 140735534238800 140665572664872 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.47 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=6153/tid=6168] ppid=6151 vsize=9625004 CPUtime=0.61 cores=0,2,4,6 /proc/6153/task/6168/stat : 6168 (java) S 6151 6153 31461 0 -1 4202560 2741 0 0 0 61 0 0 0 20 0 19 0 281947219 9856004096 43394 33554432000 1073741824 1073778376 140735534238800 140665576876344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6169] ppid=6151 vsize=9625004 CPUtime=0.68 cores=0,2,4,6 /proc/6153/task/6169/stat : 6169 (java) S 6151 6153 31461 0 -1 4202560 4669 0 0 0 68 0 0 0 20 0 19 0 281947219 9856004096 43394 33554432000 1073741824 1073778376 140735534238800 140665575823800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6170] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6170/stat : 6170 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 43394 33554432000 1073741824 1073778376 140735534238800 140665574770936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6171] ppid=6151 vsize=9625004 CPUtime=0.22 cores=0,2,4,6 /proc/6153/task/6171/stat : 6171 (java) S 6151 6153 31461 0 -1 4202560 95 0 0 0 11 11 0 0 20 0 19 0 281947219 9856004096 43394 33554432000 1073741824 1073778376 140735534238800 140665573718600 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6172] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6172/stat : 6172 (java) S 6151 6153 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281947263 9856004096 43394 33554432000 1073741824 1073778376 140735534238800 140665572664872 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1664.95 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 6269 /proc/meminfo: memFree=31352680/32873648 swapFree=7116/7116 [pid=6153] ppid=6151 vsize=9625004 CPUtime=1724.98 cores=0,2,4,6 /proc/6153/stat : 6153 (java) S 6151 6153 31461 0 -1 4202496 11961 0 1 0 172478 20 0 0 20 0 19 0 281947213 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140735534229936 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6153/statm: 2406251 43397 2290 9 0 2396937 0 [pid=6153/tid=6155] ppid=6151 vsize=9625004 CPUtime=1714.3 cores=0,2,4,6 /proc/6153/task/6155/stat : 6155 (java) R 6151 6153 31461 0 -1 4202560 2640 0 1 0 171402 28 0 0 20 0 19 0 281947214 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665756840304 140665630032159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6156] ppid=6151 vsize=9625004 CPUtime=0.24 cores=0,2,4,6 /proc/6153/task/6156/stat : 6156 (java) S 6151 6153 31461 0 -1 4202560 112 0 0 0 24 0 0 0 20 0 19 0 281947215 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665600867240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6157] ppid=6151 vsize=9625004 CPUtime=0.23 cores=0,2,4,6 /proc/6153/task/6157/stat : 6157 (java) S 6151 6153 31461 0 -1 4202560 61 0 0 0 23 0 0 0 20 0 19 0 281947215 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665599814696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6158] ppid=6151 vsize=9625004 CPUtime=0.24 cores=0,2,4,6 /proc/6153/task/6158/stat : 6158 (java) S 6151 6153 31461 0 -1 4202560 53 0 0 0 24 0 0 0 20 0 19 0 281947215 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665598761640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6159] ppid=6151 vsize=9625004 CPUtime=0.2 cores=0,2,4,6 /proc/6153/task/6159/stat : 6159 (java) S 6151 6153 31461 0 -1 4202560 28 0 0 0 20 0 0 0 20 0 19 0 281947215 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665597709096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6160] ppid=6151 vsize=9625004 CPUtime=0.25 cores=0,2,4,6 /proc/6153/task/6160/stat : 6160 (java) S 6151 6153 31461 0 -1 4202560 55 0 0 0 25 0 0 0 20 0 19 0 281947215 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665596656040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6161] ppid=6151 vsize=9625004 CPUtime=0.25 cores=0,2,4,6 /proc/6153/task/6161/stat : 6161 (java) S 6151 6153 31461 0 -1 4202560 71 0 0 0 25 0 0 0 20 0 19 0 281947215 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665595603496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6162] ppid=6151 vsize=9625004 CPUtime=0.25 cores=0,2,4,6 /proc/6153/task/6162/stat : 6162 (java) S 6151 6153 31461 0 -1 4202560 44 0 0 0 25 0 0 0 20 0 19 0 281947215 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665594550440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6153/tid=6163] ppid=6151 vsize=9625004 CPUtime=0.23 cores=0,2,4,6 /proc/6153/task/6163/stat : 6163 (java) S 6151 6153 31461 0 -1 4202560 55 0 0 0 23 0 0 0 20 0 19 0 281947215 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665593497896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6164] ppid=6151 vsize=9625004 CPUtime=2.86 cores=0,2,4,6 /proc/6153/task/6164/stat : 6164 (java) S 6151 6153 31461 0 -1 4202560 151 0 0 0 285 1 0 0 20 0 19 0 281947217 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665581087592 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6165] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6165/stat : 6165 (java) S 6151 6153 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281947217 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665580033912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6166] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6166/stat : 6166 (java) S 6151 6153 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281947217 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665578980744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6167] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6167/stat : 6167 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665577929488 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6168] ppid=6151 vsize=9625004 CPUtime=0.61 cores=0,2,4,6 /proc/6153/task/6168/stat : 6168 (java) S 6151 6153 31461 0 -1 4202560 2741 0 0 0 61 0 0 0 20 0 19 0 281947219 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665576876344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6169] ppid=6151 vsize=9625004 CPUtime=0.68 cores=0,2,4,6 /proc/6153/task/6169/stat : 6169 (java) S 6151 6153 31461 0 -1 4202560 4669 0 0 0 68 0 0 0 20 0 19 0 281947219 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665575823800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6170] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6170/stat : 6170 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665574770936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6171] ppid=6151 vsize=9625004 CPUtime=0.23 cores=0,2,4,6 /proc/6153/task/6171/stat : 6171 (java) S 6151 6153 31461 0 -1 4202560 99 0 0 0 11 12 0 0 20 0 19 0 281947219 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665573718600 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6172] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6172/stat : 6172 (java) S 6151 6153 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281947263 9856004096 43397 33554432000 1073741824 1073778376 140735534238800 140665572664872 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1724.98 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 6269 /proc/meminfo: memFree=31344120/32873648 swapFree=7116/7116 [pid=6153] ppid=6151 vsize=9625004 CPUtime=1785.06 cores=0,2,4,6 /proc/6153/stat : 6153 (java) S 6151 6153 31461 0 -1 4202496 11988 0 1 0 178486 20 0 0 20 0 19 0 281947213 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140735534229936 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6153/statm: 2406251 43414 2290 9 0 2396937 0 [pid=6153/tid=6155] ppid=6151 vsize=9625004 CPUtime=1774.01 cores=0,2,4,6 /proc/6153/task/6155/stat : 6155 (java) R 6151 6153 31461 0 -1 4202560 2642 0 1 0 177373 28 0 0 20 0 19 0 281947214 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665756840304 140665630312955 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6156] ppid=6151 vsize=9625004 CPUtime=0.25 cores=0,2,4,6 /proc/6153/task/6156/stat : 6156 (java) S 6151 6153 31461 0 -1 4202560 112 0 0 0 25 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665600867240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6157] ppid=6151 vsize=9625004 CPUtime=0.24 cores=0,2,4,6 /proc/6153/task/6157/stat : 6157 (java) S 6151 6153 31461 0 -1 4202560 61 0 0 0 24 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665599814696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6158] ppid=6151 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/6153/task/6158/stat : 6158 (java) S 6151 6153 31461 0 -1 4202560 53 0 0 0 26 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665598761640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6153/tid=6159] ppid=6151 vsize=9625004 CPUtime=0.21 cores=0,2,4,6 /proc/6153/task/6159/stat : 6159 (java) S 6151 6153 31461 0 -1 4202560 28 0 0 0 21 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665597709096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6160] ppid=6151 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/6153/task/6160/stat : 6160 (java) S 6151 6153 31461 0 -1 4202560 55 0 0 0 26 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665596656040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6161] ppid=6151 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/6153/task/6161/stat : 6161 (java) S 6151 6153 31461 0 -1 4202560 71 0 0 0 26 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665595603496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6162] ppid=6151 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/6153/task/6162/stat : 6162 (java) S 6151 6153 31461 0 -1 4202560 44 0 0 0 26 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665594550440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6163] ppid=6151 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/6153/task/6163/stat : 6163 (java) S 6151 6153 31461 0 -1 4202560 72 0 0 0 26 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665593497896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6164] ppid=6151 vsize=9625004 CPUtime=2.95 cores=0,2,4,6 /proc/6153/task/6164/stat : 6164 (java) S 6151 6153 31461 0 -1 4202560 155 0 0 0 294 1 0 0 20 0 19 0 281947217 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665581087592 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6165] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6165/stat : 6165 (java) S 6151 6153 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281947217 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665580033912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6166] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6166/stat : 6166 (java) S 6151 6153 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281947217 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665578980744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6167] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6167/stat : 6167 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665577929488 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6168] ppid=6151 vsize=9625004 CPUtime=0.61 cores=0,2,4,6 /proc/6153/task/6168/stat : 6168 (java) S 6151 6153 31461 0 -1 4202560 2741 0 0 0 61 0 0 0 20 0 19 0 281947219 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665576876344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6169] ppid=6151 vsize=9625004 CPUtime=0.68 cores=0,2,4,6 /proc/6153/task/6169/stat : 6169 (java) S 6151 6153 31461 0 -1 4202560 4669 0 0 0 68 0 0 0 20 0 19 0 281947219 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665575823800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6170] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6170/stat : 6170 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665574770936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6171] ppid=6151 vsize=9625004 CPUtime=0.24 cores=0,2,4,6 /proc/6153/task/6171/stat : 6171 (java) S 6151 6153 31461 0 -1 4202560 103 0 0 0 12 12 0 0 20 0 19 0 281947219 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665573718600 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6172] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6172/stat : 6172 (java) S 6151 6153 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281947263 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665572664872 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1785.06 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 6269 /proc/meminfo: memFree=31343748/32873648 swapFree=7116/7116 [pid=6153] ppid=6151 vsize=9625004 CPUtime=1800.07 cores=0,2,4,6 /proc/6153/stat : 6153 (java) S 6151 6153 31461 0 -1 4202496 11988 0 1 0 179986 21 0 0 20 0 19 0 281947213 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140735534229936 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6153/statm: 2406251 43414 2290 9 0 2396937 0 [pid=6153/tid=6155] ppid=6151 vsize=9625004 CPUtime=1788.98 cores=0,2,4,6 /proc/6153/task/6155/stat : 6155 (java) R 6151 6153 31461 0 -1 4202560 2642 0 1 0 178869 29 0 0 20 0 19 0 281947214 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665756840304 140665630176112 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6156] ppid=6151 vsize=9625004 CPUtime=0.25 cores=0,2,4,6 /proc/6153/task/6156/stat : 6156 (java) S 6151 6153 31461 0 -1 4202560 112 0 0 0 25 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665600867240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6157] ppid=6151 vsize=9625004 CPUtime=0.24 cores=0,2,4,6 /proc/6153/task/6157/stat : 6157 (java) S 6151 6153 31461 0 -1 4202560 61 0 0 0 24 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665599814696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6158] ppid=6151 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/6153/task/6158/stat : 6158 (java) S 6151 6153 31461 0 -1 4202560 53 0 0 0 26 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665598761640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6153/tid=6159] ppid=6151 vsize=9625004 CPUtime=0.21 cores=0,2,4,6 /proc/6153/task/6159/stat : 6159 (java) S 6151 6153 31461 0 -1 4202560 28 0 0 0 21 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665597709096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6160] ppid=6151 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/6153/task/6160/stat : 6160 (java) S 6151 6153 31461 0 -1 4202560 55 0 0 0 26 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665596656040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6161] ppid=6151 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/6153/task/6161/stat : 6161 (java) S 6151 6153 31461 0 -1 4202560 71 0 0 0 26 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665595603496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6162] ppid=6151 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/6153/task/6162/stat : 6162 (java) S 6151 6153 31461 0 -1 4202560 44 0 0 0 26 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665594550440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6163] ppid=6151 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/6153/task/6163/stat : 6163 (java) S 6151 6153 31461 0 -1 4202560 72 0 0 0 26 0 0 0 20 0 19 0 281947215 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665593497896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6164] ppid=6151 vsize=9625004 CPUtime=2.95 cores=0,2,4,6 /proc/6153/task/6164/stat : 6164 (java) S 6151 6153 31461 0 -1 4202560 155 0 0 0 294 1 0 0 20 0 19 0 281947217 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665581087592 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6165] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6165/stat : 6165 (java) S 6151 6153 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281947217 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665580033912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6166] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6166/stat : 6166 (java) S 6151 6153 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281947217 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665578980744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6167] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6167/stat : 6167 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665577929488 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6168] ppid=6151 vsize=9625004 CPUtime=0.61 cores=0,2,4,6 /proc/6153/task/6168/stat : 6168 (java) S 6151 6153 31461 0 -1 4202560 2741 0 0 0 61 0 0 0 20 0 19 0 281947219 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665576876344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6153/tid=6169] ppid=6151 vsize=9625004 CPUtime=0.68 cores=0,2,4,6 /proc/6153/task/6169/stat : 6169 (java) S 6151 6153 31461 0 -1 4202560 4669 0 0 0 68 0 0 0 20 0 19 0 281947219 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665575823800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6170] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6170/stat : 6170 (java) S 6151 6153 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281947219 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665574770936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6153/tid=6171] ppid=6151 vsize=9625004 CPUtime=0.25 cores=0,2,4,6 /proc/6153/task/6171/stat : 6171 (java) S 6151 6153 31461 0 -1 4202560 103 0 0 0 12 13 0 0 20 0 19 0 281947219 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665573718600 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6153/tid=6172] ppid=6151 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/6153/task/6172/stat : 6172 (java) S 6151 6153 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281947263 9856004096 43414 33554432000 1073741824 1073778376 140735534238800 140665572664872 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 6153 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=288074 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=571913 # CPU time returned by wait4() is 1795.86 # while last known CPU time is 1800.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1797.36 CPU time (s): 1800.07 CPU user time (s): 1799.86 CPU system time (s): 0.21 CPU usage (%): 100.151 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.29 system time used= 0.571913 maximum resident set size= 173776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12022 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40385 involuntary context switches= 6614 runsolver used 5.41318 second user time and 13.7209 second system time The end
Begin job on node123 at 2012-05-28 00:36:57 IDJOB=3710930 IDBENCH=24975 IDSOLVER=2289 FILE ID=node123/3710930-1338158217 RUNJOBID= node123-1338144817-4664 PBS_JOBID= 14624505 Free space on /tmp= 71672 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_021_area_delay.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710930-1338158217/watcher-3710930-1338158217 -o /tmp/evaluation-result-3710930-1338158217/solver-3710930-1338158217 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710930-1338158217.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5c1765191809ee7ecd7781ce5c7fb9aa RANDOM SEED=1012499312 node123.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.217 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.43 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.217 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.217 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.217 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.217 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.217 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.217 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.217 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29073212 kB Buffers: 166416 kB Cached: 230456 kB SwapCached: 956 kB Active: 2788936 kB Inactive: 210644 kB Active(anon): 2595696 kB Inactive(anon): 9192 kB Active(file): 193240 kB Inactive(file): 201452 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67102956 kB Dirty: 1344 kB Writeback: 0 kB AnonPages: 2549276 kB Mapped: 18712 kB Shmem: 0 kB Slab: 651940 kB SReclaimable: 96288 kB SUnreclaim: 555652 kB KernelStack: 1632 kB PageTables: 9160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 2949192 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 2498560 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71680 MiB End job on node123 at 2012-05-28 01:06:57