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