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