Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat 4j PB Resolution 2.3.2 Snapshot | SAT (TO) | 981 | 1800.84 | 1791.67 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb |
MD5SUM | 093efae700664f798191c0b27cec34af |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 419 |
Best CPU time to get the best result obtained on this benchmark | 1792.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 447 |
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 | 494527 |
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 | 494527 |
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.04/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.04/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.07 c See www.sat4j.org for details. 0.04/0.08 c version 2.3.2.v20120418 0.04/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.08 c java.vm.version 19.1-b02 0.04/0.08 c java.vm.vendor Sun Microsystems Inc. 0.04/0.08 c sun.arch.data.model 64 0.04/0.08 c java.version 1.6.0_24 0.04/0.08 c os.name Linux 0.04/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.08 c os.arch amd64 0.04/0.08 c Free memory 501472288 0.04/0.08 c Max memory 7480803328 0.04/0.08 c Total memory 504102912 0.04/0.08 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization by upper bound 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-3687613-1337873711.opb 0.11/0.10 c reading problem ... 3.44/2.72 c ... done. Wall clock time 2.623s. 3.44/2.72 c declared #vars 10000 3.44/2.72 c #constraints 656900 3.44/2.72 c constraints type 3.44/2.72 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 3.44/2.72 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 3.44/2.72 c 656900 constraints processed. 3.44/2.72 c objective function length is 10000 literals 3.89/2.97 c SATISFIABLE 3.89/2.97 c OPTIMIZING... 3.89/2.97 c Got one! Elapsed wall clock time (in seconds):2.87 3.89/2.97 o 1052 4.74/3.21 c Got one! Elapsed wall clock time (in seconds):3.109 4.74/3.21 o 981 6.18/4.42 c cleaning 2602 clauses out of 5203 with flag 5000/5203 8.16/6.18 c cleaning 4301 clauses out of 8601 with flag 11000/11203 10.06/8.05 c cleaning 5651 clauses out of 11301 with flag 18001/18204 12.08/10.09 c cleaning 6826 clauses out of 13651 with flag 26002/26205 14.62/12.54 c cleaning 7911 clauses out of 15824 with flag 35001/35204 17.29/15.11 c cleaning 8954 clauses out of 17913 with flag 45001/45204 20.14/17.98 c cleaning 9973 clauses out of 19959 with flag 56001/56204 23.55/21.33 c cleaning 10990 clauses out of 21985 with flag 68000/68203 27.19/24.97 c cleaning 11998 clauses out of 23996 with flag 81001/81204 30.82/28.54 c cleaning 12997 clauses out of 25997 with flag 95000/95203 34.65/32.37 c cleaning 14000 clauses out of 28001 with flag 110001/110204 38.78/36.48 c cleaning 15000 clauses out of 30002 with flag 126002/126205 43.32/40.99 c cleaning 16001 clauses out of 32001 with flag 143001/143204 48.06/45.66 c cleaning 16998 clauses out of 33999 with flag 161000/161203 53.10/50.68 c cleaning 17994 clauses out of 36002 with flag 180001/180204 58.33/55.80 c cleaning 19000 clauses out of 38007 with flag 200000/200203 63.87/61.35 c cleaning 20002 clauses out of 40011 with flag 221004/221207 69.49/66.97 c cleaning 21000 clauses out of 42006 with flag 243001/243204 75.73/73.11 c cleaning 21998 clauses out of 44006 with flag 266001/266204 82.10/79.43 c cleaning 22999 clauses out of 46007 with flag 290000/290203 88.55/85.80 c cleaning 23994 clauses out of 48008 with flag 315000/315203 95.50/92.71 c cleaning 25004 clauses out of 50015 with flag 341001/341204 102.70/99.82 c cleaning 26000 clauses out of 52011 with flag 368001/368204 109.93/107.09 c cleaning 27005 clauses out of 54010 with flag 396000/396203 118.26/115.33 c cleaning 27989 clauses out of 56005 with flag 425000/425203 126.25/123.29 c cleaning 29000 clauses out of 58016 with flag 455000/455203 134.63/131.50 c cleaning 29996 clauses out of 60016 with flag 486000/486203 143.30/140.16 c cleaning 31007 clauses out of 62022 with flag 518002/518205 151.63/148.41 c cleaning 32002 clauses out of 64013 with flag 551000/551203 160.99/157.74 c cleaning 33003 clauses out of 66012 with flag 585001/585204 170.01/166.69 c cleaning 34003 clauses out of 68009 with flag 620001/620204 179.37/175.93 c cleaning 34997 clauses out of 70006 with flag 656001/656204 189.03/185.53 c cleaning 35991 clauses out of 72008 with flag 693000/693203 198.70/195.12 c cleaning 37005 clauses out of 74019 with flag 731002/731205 208.84/205.23 c cleaning 37977 clauses out of 76012 with flag 770000/770203 219.48/215.88 c cleaning 39008 clauses out of 78037 with flag 810002/810205 230.13/226.46 c cleaning 39993 clauses out of 80027 with flag 851000/851203 240.69/236.98 c cleaning 41013 clauses out of 82034 with flag 893000/893203 251.62/247.90 c cleaning 41991 clauses out of 84022 with flag 936001/936204 263.89/260.05 c cleaning 43008 clauses out of 86030 with flag 980000/980203 276.58/272.62 c cleaning 44000 clauses out of 88023 with flag 1025001/1025204 288.76/284.80 c cleaning 44990 clauses out of 90022 with flag 1071000/1071203 302.07/297.92 c cleaning 46004 clauses out of 92032 with flag 1118000/1118203 316.15/311.94 c cleaning 47003 clauses out of 94028 with flag 1166000/1166203 329.43/325.16 c cleaning 47997 clauses out of 96025 with flag 1215000/1215203 343.01/338.61 c cleaning 48998 clauses out of 98028 with flag 1265000/1265203 358.96/354.52 c cleaning 50005 clauses out of 100032 with flag 1316002/1316205 373.79/369.03 c cleaning 50998 clauses out of 102027 with flag 1368002/1368205 387.94/383.15 c cleaning 51999 clauses out of 104027 with flag 1421000/1421203 402.84/397.94 c cleaning 53008 clauses out of 106031 with flag 1475003/1475206 420.98/416.02 c cleaning 53989 clauses out of 108020 with flag 1530000/1530203 436.32/431.24 c cleaning 55015 clauses out of 110031 with flag 1586000/1586203 452.42/447.26 c cleaning 56002 clauses out of 112017 with flag 1643001/1643204 468.99/463.74 c cleaning 56993 clauses out of 114014 with flag 1701000/1701203 484.57/479.20 c cleaning 57996 clauses out of 116021 with flag 1760000/1760203 500.65/495.24 c cleaning 58990 clauses out of 118025 with flag 1820000/1820203 517.83/512.34 c cleaning 60008 clauses out of 120035 with flag 1881000/1881203 534.92/529.33 c cleaning 61001 clauses out of 122027 with flag 1943000/1943203 552.33/546.61 c cleaning 62007 clauses out of 124026 with flag 2006000/2006203 571.60/565.81 c cleaning 62996 clauses out of 126019 with flag 2070000/2070203 589.17/583.34 c cleaning 64012 clauses out of 128024 with flag 2135001/2135204 606.95/601.03 c cleaning 65000 clauses out of 130013 with flag 2201002/2201205 626.84/620.83 c cleaning 65999 clauses out of 132012 with flag 2268001/2268204 650.85/644.77 c cleaning 67005 clauses out of 134012 with flag 2336000/2336203 671.82/665.53 c cleaning 67984 clauses out of 136007 with flag 2405000/2405203 693.05/686.61 c cleaning 69009 clauses out of 138026 with flag 2475003/2475206 714.63/708.19 c cleaning 69999 clauses out of 140014 with flag 2546000/2546203 736.24/729.67 c cleaning 70998 clauses out of 142015 with flag 2618000/2618203 758.69/751.93 c cleaning 71999 clauses out of 144017 with flag 2691000/2691203 781.39/774.52 c cleaning 72993 clauses out of 146018 with flag 2765000/2765203 804.59/797.68 c cleaning 74011 clauses out of 148025 with flag 2840000/2840203 828.07/821.08 c cleaning 74997 clauses out of 150014 with flag 2916000/2916203 853.67/846.66 c cleaning 76003 clauses out of 152018 with flag 2993001/2993204 876.74/869.50 c cleaning 77001 clauses out of 154014 with flag 3071000/3071203 897.64/890.36 c cleaning 77990 clauses out of 156015 with flag 3150002/3150205 919.22/911.82 c cleaning 78992 clauses out of 158023 with flag 3230000/3230203 942.21/934.79 c cleaning 80008 clauses out of 160031 with flag 3311000/3311203 964.00/956.47 c cleaning 80995 clauses out of 162024 with flag 3393001/3393204 985.51/977.86 c cleaning 82002 clauses out of 164028 with flag 3476000/3476203 1010.08/1002.34 c cleaning 82992 clauses out of 166026 with flag 3560000/3560203 1035.24/1027.45 c cleaning 83992 clauses out of 168036 with flag 3645002/3645205 1056.87/1048.97 c cleaning 85008 clauses out of 170043 with flag 3731001/3731204 1078.81/1070.84 c cleaning 86009 clauses out of 172034 with flag 3818000/3818203 1103.51/1095.44 c cleaning 86996 clauses out of 174026 with flag 3906001/3906204 1127.66/1119.44 c cleaning 88004 clauses out of 176030 with flag 3995001/3995204 1151.54/1143.22 c cleaning 88996 clauses out of 178025 with flag 4085000/4085203 1178.53/1170.25 c cleaning 90011 clauses out of 180030 with flag 4176001/4176204 1203.63/1195.35 c cleaning 90998 clauses out of 182021 with flag 4268003/4268206 1228.63/1220.30 c cleaning 91985 clauses out of 184020 with flag 4361000/4361203 1255.22/1246.80 c cleaning 93003 clauses out of 186035 with flag 4455000/4455203 1278.92/1270.50 c cleaning 93991 clauses out of 188032 with flag 4550000/4550203 1303.51/1295.15 c cleaning 95017 clauses out of 190042 with flag 4646001/4646204 1331.21/1322.89 c cleaning 96005 clauses out of 192024 with flag 4743000/4743203 1360.73/1352.20 c cleaning 96998 clauses out of 194020 with flag 4841001/4841204 1388.23/1379.76 c cleaning 98009 clauses out of 196023 with flag 4940002/4940205 1415.92/1407.47 c cleaning 99001 clauses out of 198012 with flag 5040000/5040203 1447.72/1439.23 c cleaning 99986 clauses out of 200011 with flag 5141000/5141203 1477.32/1468.82 c cleaning 101010 clauses out of 202025 with flag 5243000/5243203 1507.21/1498.78 c cleaning 101998 clauses out of 204015 with flag 5346000/5346203 1536.71/1528.29 c cleaning 102998 clauses out of 206017 with flag 5450000/5450203 1568.40/1559.93 c cleaning 103994 clauses out of 208019 with flag 5555000/5555203 1607.80/1599.39 c cleaning 105001 clauses out of 210027 with flag 5661002/5661205 1641.20/1632.76 c cleaning 106003 clauses out of 212024 with flag 5768000/5768203 1677.90/1669.46 c cleaning 106993 clauses out of 214021 with flag 5876000/5876203 1710.69/1702.20 c cleaning 108010 clauses out of 216028 with flag 5985000/5985203 1740.68/1732.25 c cleaning 108998 clauses out of 218018 with flag 6095000/6095203 1770.87/1762.42 c cleaning 110001 clauses out of 220020 with flag 6206000/6206203 1800.08/1791.61 c starts : 278 1800.08/1791.61 c conflicts : 6309098 1800.08/1791.61 c decisions : 19673929 1800.08/1791.61 c propagations : 1832158099 1800.08/1791.61 c inspects : 2256298514 1800.08/1791.61 c shortcuts : 0 1800.08/1791.61 c learnt literals : 0 1800.08/1791.61 c learnt binary clauses : 0 1800.08/1791.61 c learnt ternary clauses : 0 1800.08/1791.61 c learnt constraints : 6309098 1800.08/1791.61 c ignored constraints : 0 1800.08/1791.61 c root simplifications : 0 1800.08/1791.61 c removed literals (reason simplification) : 0 1800.08/1791.61 c reason swapping (by a shorter reason) : 0 1800.08/1791.61 c Calls to reduceDB : 107 1800.08/1791.61 c number of reductions to clauses (during analyze) : 0 1800.08/1791.61 c number of learned constraints concerned by reduction : 0 1800.08/1791.61 c number of learning phase by resolution : 0 1800.08/1791.61 c number of learning phase by cutting planes : 0 1800.08/1791.61 c speed (assignments/second) : 1024211.741417796 1800.08/1791.61 c non guided choices 0 1800.08/1791.64 c learnt constraints type 1800.08/1791.64 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 213008 1800.08/1791.64 c constraints type 1800.08/1791.64 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 1800.08/1791.64 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 1800.08/1791.64 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.08/1791.64 c 656901 constraints processed. 1800.08/1791.64 s SATISFIABLE 1800.08/1791.65 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.08/1791.66 c objective function=981 1800.08/1791.66 c Total wall clock time (in seconds): 1791.566
OK 981
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-3687613-1337873711/watcher-3687613-1337873711 -o /tmp/evaluation-result-3687613-1337873711/solver-3687613-1337873711 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687613-1337873711.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.01 1.71 3/194 21833 /proc/meminfo: memFree=27203996/32873844 swapFree=6080/6080 [pid=21833] ppid=21831 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/21833/stat : 21833 (java) R 21831 21833 21352 0 -1 4202496 1035 0 0 0 0 0 0 0 20 0 1 0 253499698 23793664 764 33554432000 1073741824 1073778376 140733458001440 140733457990504 139951868463376 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/21833/statm: 5809 782 579 9 0 128 0 [startup+0.05567 s] /proc/loadavg: 2.05 2.01 1.71 3/194 21833 /proc/meminfo: memFree=27203996/32873844 swapFree=6080/6080 [pid=21833] ppid=21831 vsize=9558412 CPUtime=0.04 cores=1,3,5,7 /proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 3204 0 1 0 4 0 0 0 20 0 18 0 253499698 9787813888 4413 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21833/statm: 2389603 4413 1757 9 0 2380296 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9558412 [startup+0.10032 s] /proc/loadavg: 2.05 2.01 1.71 3/194 21833 /proc/meminfo: memFree=27203996/32873844 swapFree=6080/6080 [pid=21833] ppid=21831 vsize=9558412 CPUtime=0.11 cores=1,3,5,7 /proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 4450 0 1 0 10 1 0 0 20 0 18 0 253499698 9787813888 6111 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21833/statm: 2389603 6111 2138 9 0 2380296 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558412 [startup+0.300187 s] /proc/loadavg: 2.05 2.01 1.71 3/194 21833 /proc/meminfo: memFree=27203996/32873844 swapFree=6080/6080 [pid=21833] ppid=21831 vsize=9558412 CPUtime=0.49 cores=1,3,5,7 /proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 5663 0 1 0 48 1 0 0 20 0 18 0 253499698 9787813888 9818 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21833/statm: 2389603 9818 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558412 [startup+0.700299 s] /proc/loadavg: 2.05 2.01 1.71 3/194 21833 /proc/meminfo: memFree=27203996/32873844 swapFree=6080/6080 [pid=21833] ppid=21831 vsize=9558412 CPUtime=1.17 cores=1,3,5,7 /proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 8906 0 1 0 112 5 0 0 20 0 18 0 253499698 9787813888 41378 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21833/statm: 2389603 41378 2245 9 0 2380296 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 9558412 [startup+1.50071 s] /proc/loadavg: 2.05 2.01 1.71 3/212 21851 /proc/meminfo: memFree=27035332/32873844 swapFree=6080/6080 [pid=21833] ppid=21831 vsize=9558412 CPUtime=2.1 cores=1,3,5,7 /proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 9153 0 1 0 198 12 0 0 20 0 18 0 253499698 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21833/statm: 2389603 79396 2245 9 0 2380296 0 [pid=21833/tid=21835] ppid=21831 vsize=9558412 CPUtime=1.41 cores=1,3,5,7 /proc/21833/task/21835/stat : 21835 (java) R 21831 21833 21352 0 -1 4202560 2566 0 1 0 135 6 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951861091832 240430146829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21836] ppid=21831 vsize=9558412 CPUtime=0.01 cores=1,3,5,7 /proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21352 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951850154920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21837] ppid=21831 vsize=9558412 CPUtime=0.01 cores=1,3,5,7 /proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21352 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951849102376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21838] ppid=21831 vsize=9558412 CPUtime=0.03 cores=1,3,5,7 /proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 2 1 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951848049320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21839] ppid=21831 vsize=9558412 CPUtime=0.01 cores=1,3,5,7 /proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951846996776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21840] ppid=21831 vsize=9558412 CPUtime=0.01 cores=1,3,5,7 /proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21352 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951845943720 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21841] ppid=21831 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951699868200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21842] ppid=21831 vsize=9558412 CPUtime=0.01 cores=1,3,5,7 /proc/21833/task/21842/stat : 21842 (java) S 21831 21833 21352 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951698815144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21843] ppid=21831 vsize=9558412 CPUtime=0.01 cores=1,3,5,7 /proc/21833/task/21843/stat : 21843 (java) S 21831 21833 21352 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 253499699 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951697762600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21844] ppid=21831 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21844/stat : 21844 (java) S 21831 21833 21352 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 253499701 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951685352296 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21845] ppid=21831 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21845/stat : 21845 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253499701 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951684298616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21846] ppid=21831 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21846/stat : 21846 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253499701 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951683245448 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21847] ppid=21831 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21847/stat : 21847 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253499703 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951682194192 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21848] ppid=21831 vsize=9558412 CPUtime=0.21 cores=1,3,5,7 /proc/21833/task/21848/stat : 21848 (java) S 21831 21833 21352 0 -1 4202560 2267 0 0 0 21 0 0 0 20 0 18 0 253499703 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951681141048 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21849] ppid=21831 vsize=9558412 CPUtime=0.22 cores=1,3,5,7 /proc/21833/task/21849/stat : 21849 (java) S 21831 21833 21352 0 -1 4202560 2854 0 0 0 22 0 0 0 20 0 18 0 253499703 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951680088504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21850] ppid=21831 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21850/stat : 21850 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253499703 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951679035640 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21851] ppid=21831 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21851/stat : 21851 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253499703 9787813888 79396 33554432000 1073741824 1073778376 140733458001440 139951677983304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.1 Current children cumulated vsize (KiB) 9558412 [startup+3.10067 s] /proc/loadavg: 2.05 2.01 1.71 3/212 21851 /proc/meminfo: memFree=26866032/32873844 swapFree=6080/6080 [pid=21833] ppid=21831 vsize=9624976 CPUtime=4.44 cores=1,3,5,7 /proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 15770 0 1 0 427 17 0 0 20 0 19 0 253499698 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21833/statm: 2406244 100834 2266 9 0 2396937 0 [pid=21833/tid=21835] ppid=21831 vsize=9624976 CPUtime=2.96 cores=1,3,5,7 /proc/21833/task/21835/stat : 21835 (java) R 21831 21833 21352 0 -1 4202560 2603 0 1 0 289 7 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951861093000 139951727517359 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21836] ppid=21831 vsize=9624976 CPUtime=0.04 cores=1,3,5,7 /proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21352 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951850154920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21837] ppid=21831 vsize=9624976 CPUtime=0.03 cores=1,3,5,7 /proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21352 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951849102376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21838] ppid=21831 vsize=9624976 CPUtime=0.06 cores=1,3,5,7 /proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21352 0 -1 4202560 23 0 0 0 4 2 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951848049320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21839] ppid=21831 vsize=9624976 CPUtime=0.02 cores=1,3,5,7 /proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21352 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951846996776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21840] ppid=21831 vsize=9624976 CPUtime=0.03 cores=1,3,5,7 /proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21352 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951845943720 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21841] ppid=21831 vsize=9624976 CPUtime=0.02 cores=1,3,5,7 /proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21352 0 -1 4202560 29 0 0 0 2 0 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951699868200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21842] ppid=21831 vsize=9624976 CPUtime=0.06 cores=1,3,5,7 /proc/21833/task/21842/stat : 21842 (java) S 21831 21833 21352 0 -1 4202560 40 0 0 0 4 2 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951698815144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21843] ppid=21831 vsize=9624976 CPUtime=0.03 cores=1,3,5,7 /proc/21833/task/21843/stat : 21843 (java) S 21831 21833 21352 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 19 0 253499699 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951697762600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21844] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21844/stat : 21844 (java) S 21831 21833 21352 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951685352296 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21845] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21845/stat : 21845 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951684298616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21846] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21846/stat : 21846 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951683245448 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21847] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21847/stat : 21847 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951682194192 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21848] ppid=21831 vsize=9624976 CPUtime=0.52 cores=1,3,5,7 /proc/21833/task/21848/stat : 21848 (java) R 21831 21833 21352 0 -1 4202560 6440 0 0 0 51 1 0 0 20 0 19 0 253499703 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951681127744 139951865210305 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21849] ppid=21831 vsize=9624976 CPUtime=0.51 cores=1,3,5,7 /proc/21833/task/21849/stat : 21849 (java) R 21831 21833 21352 0 -1 4202560 5160 0 0 0 51 0 0 0 20 0 19 0 253499703 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951680065632 139951868067180 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21850] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21850/stat : 21850 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951679035640 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21851] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21851/stat : 21851 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 100834 33554432000 1073741824 1073778376 140733458001440 139951677983304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.44 Current children cumulated vsize (KiB) 9624976 [startup+6.30077 s] /proc/loadavg: 2.04 2.01 1.71 3/213 21852 /proc/meminfo: memFree=26719948/32873844 swapFree=6080/6080 [pid=21833] ppid=21831 vsize=9624976 CPUtime=8.36 cores=1,3,5,7 /proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 18626 0 1 0 812 24 0 0 20 0 19 0 253499698 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21833/statm: 2406244 120513 2282 9 0 2396937 0 [pid=21833/tid=21835] ppid=21831 vsize=9624976 CPUtime=5.78 cores=1,3,5,7 /proc/21833/task/21835/stat : 21835 (java) S 21831 21833 21352 0 -1 4202560 2613 0 1 0 570 8 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951861092424 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21836] ppid=21831 vsize=9624976 CPUtime=0.07 cores=1,3,5,7 /proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21352 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951850154920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21837] ppid=21831 vsize=9624976 CPUtime=0.05 cores=1,3,5,7 /proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21352 0 -1 4202560 20 0 0 0 4 1 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951849102376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21838] ppid=21831 vsize=9624976 CPUtime=0.12 cores=1,3,5,7 /proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21352 0 -1 4202560 52 0 0 0 9 3 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951848049320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21839] ppid=21831 vsize=9624976 CPUtime=0.05 cores=1,3,5,7 /proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21352 0 -1 4202560 36 0 0 0 3 2 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951846996776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21840] ppid=21831 vsize=9624976 CPUtime=0.07 cores=1,3,5,7 /proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21352 0 -1 4202560 38 0 0 0 5 2 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951845943720 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21841] ppid=21831 vsize=9624976 CPUtime=0.05 cores=1,3,5,7 /proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21352 0 -1 4202560 53 0 0 0 4 1 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951699868200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21842] ppid=21831 vsize=9624976 CPUtime=0.09 cores=1,3,5,7 /proc/21833/task/21842/stat : 21842 (java) S 21831 21833 21352 0 -1 4202560 60 0 0 0 7 2 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951698815144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21843] ppid=21831 vsize=9624976 CPUtime=0.06 cores=1,3,5,7 /proc/21833/task/21843/stat : 21843 (java) S 21831 21833 21352 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 19 0 253499699 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951697762600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21844] ppid=21831 vsize=9624976 CPUtime=0.3 cores=1,3,5,7 /proc/21833/task/21844/stat : 21844 (java) R 21831 21833 21352 0 -1 4202560 226 0 0 0 30 0 0 0 20 0 19 0 253499701 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951685351152 139951867600979 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21845] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21845/stat : 21845 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951684298616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21846] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21846/stat : 21846 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951683245448 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21847] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21847/stat : 21847 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951682194192 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21848] ppid=21831 vsize=9624976 CPUtime=0.83 cores=1,3,5,7 /proc/21833/task/21848/stat : 21848 (java) S 21831 21833 21352 0 -1 4202560 6516 0 0 0 81 2 0 0 20 0 19 0 253499703 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951681141048 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21849] ppid=21831 vsize=9624976 CPUtime=0.73 cores=1,3,5,7 /proc/21833/task/21849/stat : 21849 (java) S 21831 21833 21352 0 -1 4202560 7755 0 0 0 73 0 0 0 20 0 19 0 253499703 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951680088504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21850] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21850/stat : 21850 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951679035640 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21851] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21851/stat : 21851 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951677983304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21852] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21852/stat : 21852 (java) S 21831 21833 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253499975 9855975424 120513 33554432000 1073741824 1073778376 140733458001440 139951676929576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 8.36 Current children cumulated vsize (KiB) 9624976 [startup+12.7007 s] /proc/loadavg: 2.04 2.01 1.71 3/213 21852 /proc/meminfo: memFree=26709868/32873844 swapFree=6080/6080 [pid=21833] ppid=21831 vsize=9624976 CPUtime=14.84 cores=1,3,5,7 /proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 18639 0 1 0 1460 24 0 0 20 0 19 0 253499698 9855975424 122895 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 ################ # More data... # ################ [pid=21833/tid=21841] ppid=21831 vsize=9624976 CPUtime=1.15 cores=1,3,5,7 /proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21352 0 -1 4202560 272 0 0 0 107 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951699868200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21842] ppid=21831 vsize=9624976 CPUtime=1.14 cores=1,3,5,7 /proc/21833/task/21842/stat : 21842 (java) S 21831 21833 21352 0 -1 4202560 267 0 0 0 106 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951698815144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21843] ppid=21831 vsize=9624976 CPUtime=1.1 cores=1,3,5,7 /proc/21833/task/21843/stat : 21843 (java) S 21831 21833 21352 0 -1 4202560 266 0 0 0 103 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951697762600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21844] ppid=21831 vsize=9624976 CPUtime=24.9 cores=1,3,5,7 /proc/21833/task/21844/stat : 21844 (java) S 21831 21833 21352 0 -1 4202560 351 0 0 0 2487 3 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951685352296 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21845] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21845/stat : 21845 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951684298616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21846] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21846/stat : 21846 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951683245448 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21847] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21847/stat : 21847 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951682194192 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21848] ppid=21831 vsize=9624976 CPUtime=0.99 cores=1,3,5,7 /proc/21833/task/21848/stat : 21848 (java) S 21831 21833 21352 0 -1 4202560 6528 0 0 0 97 2 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951681141048 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21849] ppid=21831 vsize=9624976 CPUtime=0.74 cores=1,3,5,7 /proc/21833/task/21849/stat : 21849 (java) S 21831 21833 21352 0 -1 4202560 7756 0 0 0 74 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951680088504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21850] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21850/stat : 21850 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951679035640 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21851] ppid=21831 vsize=9624976 CPUtime=0.38 cores=1,3,5,7 /proc/21833/task/21851/stat : 21851 (java) S 21831 21833 21352 0 -1 4202560 95 0 0 0 18 20 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951677983304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21852] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21852/stat : 21852 (java) S 21831 21833 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253499975 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951676929576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1670.79 Current children cumulated vsize (KiB) 9624976 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/213 21889 /proc/meminfo: memFree=26066540/32873844 swapFree=6080/6080 [pid=21833] ppid=21831 vsize=9624976 CPUtime=1730.78 cores=1,3,5,7 /proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 21119 0 1 0 172988 90 0 0 20 0 19 0 253499698 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21833/statm: 2406244 216928 2283 9 0 2396937 0 [pid=21833/tid=21835] ppid=21831 vsize=9624976 CPUtime=1694.09 cores=1,3,5,7 /proc/21833/task/21835/stat : 21835 (java) R 21831 21833 21352 0 -1 4202560 2752 0 1 0 169373 36 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951861092624 139951728508433 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21836] ppid=21831 vsize=9624976 CPUtime=1.18 cores=1,3,5,7 /proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21352 0 -1 4202560 424 0 0 0 111 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951850154920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21837] ppid=21831 vsize=9624976 CPUtime=1.17 cores=1,3,5,7 /proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21352 0 -1 4202560 226 0 0 0 110 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951849102376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21838] ppid=21831 vsize=9624976 CPUtime=1.33 cores=1,3,5,7 /proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21352 0 -1 4202560 295 0 0 0 121 12 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951848049320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21839] ppid=21831 vsize=9624976 CPUtime=1.15 cores=1,3,5,7 /proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21352 0 -1 4202560 419 0 0 0 109 6 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951846996776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21840] ppid=21831 vsize=9624976 CPUtime=1.14 cores=1,3,5,7 /proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21352 0 -1 4202560 280 0 0 0 105 9 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951845943720 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21841] ppid=21831 vsize=9624976 CPUtime=1.15 cores=1,3,5,7 /proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21352 0 -1 4202560 272 0 0 0 107 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951699868200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21842] ppid=21831 vsize=9624976 CPUtime=1.14 cores=1,3,5,7 /proc/21833/task/21842/stat : 21842 (java) S 21831 21833 21352 0 -1 4202560 267 0 0 0 106 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951698815144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21843] ppid=21831 vsize=9624976 CPUtime=1.1 cores=1,3,5,7 /proc/21833/task/21843/stat : 21843 (java) S 21831 21833 21352 0 -1 4202560 266 0 0 0 103 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951697762600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21844] ppid=21831 vsize=9624976 CPUtime=25.55 cores=1,3,5,7 /proc/21833/task/21844/stat : 21844 (java) S 21831 21833 21352 0 -1 4202560 355 0 0 0 2552 3 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951685352296 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21845] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21845/stat : 21845 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951684298616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21846] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21846/stat : 21846 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951683245448 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21847] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21847/stat : 21847 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951682194192 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21848] ppid=21831 vsize=9624976 CPUtime=0.99 cores=1,3,5,7 /proc/21833/task/21848/stat : 21848 (java) S 21831 21833 21352 0 -1 4202560 6528 0 0 0 97 2 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951681141048 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21849] ppid=21831 vsize=9624976 CPUtime=0.74 cores=1,3,5,7 /proc/21833/task/21849/stat : 21849 (java) S 21831 21833 21352 0 -1 4202560 7756 0 0 0 74 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951680088504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21850] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21850/stat : 21850 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951679035640 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21851] ppid=21831 vsize=9624976 CPUtime=0.39 cores=1,3,5,7 /proc/21833/task/21851/stat : 21851 (java) S 21831 21833 21352 0 -1 4202560 99 0 0 0 18 21 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951677983304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21852] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21852/stat : 21852 (java) S 21831 21833 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253499975 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951676929576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1730.78 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 2/193 21892 /proc/meminfo: memFree=26821444/32873844 swapFree=6080/6080 [pid=21833] ppid=21831 vsize=9624976 CPUtime=1790.78 cores=1,3,5,7 /proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 21129 0 1 0 178987 91 0 0 20 0 19 0 253499698 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21833/statm: 2406244 216928 2283 9 0 2396937 0 [pid=21833/tid=21835] ppid=21831 vsize=9624976 CPUtime=1753.55 cores=1,3,5,7 /proc/21833/task/21835/stat : 21835 (java) R 21831 21833 21352 0 -1 4202560 2754 0 1 0 175318 37 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951861092624 139951728544140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21836] ppid=21831 vsize=9624976 CPUtime=1.18 cores=1,3,5,7 /proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21352 0 -1 4202560 424 0 0 0 111 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951850154920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21837] ppid=21831 vsize=9624976 CPUtime=1.17 cores=1,3,5,7 /proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21352 0 -1 4202560 226 0 0 0 110 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951849102376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21838] ppid=21831 vsize=9624976 CPUtime=1.33 cores=1,3,5,7 /proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21352 0 -1 4202560 295 0 0 0 121 12 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951848049320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21839] ppid=21831 vsize=9624976 CPUtime=1.15 cores=1,3,5,7 /proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21352 0 -1 4202560 419 0 0 0 109 6 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951846996776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21840] ppid=21831 vsize=9624976 CPUtime=1.14 cores=1,3,5,7 /proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21352 0 -1 4202560 280 0 0 0 105 9 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951845943720 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21841] ppid=21831 vsize=9624976 CPUtime=1.15 cores=1,3,5,7 /proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21352 0 -1 4202560 272 0 0 0 107 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951699868200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21842] ppid=21831 vsize=9624976 CPUtime=1.14 cores=1,3,5,7 /proc/21833/task/21842/stat : 21842 (java) S 21831 21833 21352 0 -1 4202560 267 0 0 0 106 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951698815144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21843] ppid=21831 vsize=9624976 CPUtime=1.1 cores=1,3,5,7 /proc/21833/task/21843/stat : 21843 (java) S 21831 21833 21352 0 -1 4202560 266 0 0 0 103 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951697762600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21844] ppid=21831 vsize=9624976 CPUtime=26.08 cores=1,3,5,7 /proc/21833/task/21844/stat : 21844 (java) S 21831 21833 21352 0 -1 4202560 359 0 0 0 2605 3 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951685352296 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21845] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21845/stat : 21845 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951684298616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21846] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21846/stat : 21846 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951683245448 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21847] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21847/stat : 21847 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951682194192 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21848] ppid=21831 vsize=9624976 CPUtime=0.99 cores=1,3,5,7 /proc/21833/task/21848/stat : 21848 (java) S 21831 21833 21352 0 -1 4202560 6528 0 0 0 97 2 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951681141048 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21849] ppid=21831 vsize=9624976 CPUtime=0.74 cores=1,3,5,7 /proc/21833/task/21849/stat : 21849 (java) S 21831 21833 21352 0 -1 4202560 7756 0 0 0 74 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951680088504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21850] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21850/stat : 21850 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951679035640 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21851] ppid=21831 vsize=9624976 CPUtime=0.4 cores=1,3,5,7 /proc/21833/task/21851/stat : 21851 (java) S 21831 21833 21352 0 -1 4202560 103 0 0 0 18 22 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951677983304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21852] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21852/stat : 21852 (java) S 21831 21833 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253499975 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951676929576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1790.78 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.6 s] /proc/loadavg: 2.00 2.00 1.91 3/213 21948 /proc/meminfo: memFree=26774444/32873844 swapFree=6080/6080 [pid=21833] ppid=21831 vsize=9624976 CPUtime=1800.08 cores=1,3,5,7 /proc/21833/stat : 21833 (java) S 21831 21833 21352 0 -1 4202496 21129 0 1 0 179917 91 0 0 20 0 19 0 253499698 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 140733457992576 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/21833/statm: 2406244 216928 2283 9 0 2396937 0 [pid=21833/tid=21835] ppid=21831 vsize=9624976 CPUtime=1762.85 cores=1,3,5,7 /proc/21833/task/21835/stat : 21835 (java) R 21831 21833 21352 0 -1 4202560 2754 0 1 0 176248 37 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951861092624 139951728507463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21836] ppid=21831 vsize=9624976 CPUtime=1.18 cores=1,3,5,7 /proc/21833/task/21836/stat : 21836 (java) S 21831 21833 21352 0 -1 4202560 424 0 0 0 111 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951850154920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21837] ppid=21831 vsize=9624976 CPUtime=1.17 cores=1,3,5,7 /proc/21833/task/21837/stat : 21837 (java) S 21831 21833 21352 0 -1 4202560 226 0 0 0 110 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951849102376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21838] ppid=21831 vsize=9624976 CPUtime=1.33 cores=1,3,5,7 /proc/21833/task/21838/stat : 21838 (java) S 21831 21833 21352 0 -1 4202560 295 0 0 0 121 12 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951848049320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21839] ppid=21831 vsize=9624976 CPUtime=1.15 cores=1,3,5,7 /proc/21833/task/21839/stat : 21839 (java) S 21831 21833 21352 0 -1 4202560 419 0 0 0 109 6 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951846996776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21840] ppid=21831 vsize=9624976 CPUtime=1.14 cores=1,3,5,7 /proc/21833/task/21840/stat : 21840 (java) S 21831 21833 21352 0 -1 4202560 280 0 0 0 105 9 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951845943720 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21841] ppid=21831 vsize=9624976 CPUtime=1.15 cores=1,3,5,7 /proc/21833/task/21841/stat : 21841 (java) S 21831 21833 21352 0 -1 4202560 272 0 0 0 107 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951699868200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21842] ppid=21831 vsize=9624976 CPUtime=1.14 cores=1,3,5,7 /proc/21833/task/21842/stat : 21842 (java) S 21831 21833 21352 0 -1 4202560 267 0 0 0 106 8 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951698815144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21843] ppid=21831 vsize=9624976 CPUtime=1.1 cores=1,3,5,7 /proc/21833/task/21843/stat : 21843 (java) S 21831 21833 21352 0 -1 4202560 266 0 0 0 103 7 0 0 20 0 19 0 253499699 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951697762600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21844] ppid=21831 vsize=9624976 CPUtime=26.08 cores=1,3,5,7 /proc/21833/task/21844/stat : 21844 (java) S 21831 21833 21352 0 -1 4202560 359 0 0 0 2605 3 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951685352296 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21845] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21845/stat : 21845 (java) S 21831 21833 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951684298616 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21846] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21846/stat : 21846 (java) S 21831 21833 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253499701 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951683245448 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21847] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21847/stat : 21847 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951682194192 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21848] ppid=21831 vsize=9624976 CPUtime=0.99 cores=1,3,5,7 /proc/21833/task/21848/stat : 21848 (java) S 21831 21833 21352 0 -1 4202560 6528 0 0 0 97 2 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951681141048 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21833/tid=21849] ppid=21831 vsize=9624976 CPUtime=0.74 cores=1,3,5,7 /proc/21833/task/21849/stat : 21849 (java) S 21831 21833 21352 0 -1 4202560 7756 0 0 0 74 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951680088504 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21833/tid=21850] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21850/stat : 21850 (java) S 21831 21833 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951679035640 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21833/tid=21851] ppid=21831 vsize=9624976 CPUtime=0.4 cores=1,3,5,7 /proc/21833/task/21851/stat : 21851 (java) S 21831 21833 21352 0 -1 4202560 103 0 0 0 18 22 0 0 20 0 19 0 253499703 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951677983304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21833/tid=21852] ppid=21831 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/21833/task/21852/stat : 21852 (java) S 21831 21833 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253499975 9855975424 216928 33554432000 1073741824 1073778376 140733458001440 139951676929576 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 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 Real time (s): 1791.67 CPU time (s): 1800.84 CPU user time (s): 1799.42 CPU system time (s): 1.42278 CPU usage (%): 100.512 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.42 system time used= 1.42278 maximum resident set size= 867832 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21163 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40545 involuntary context switches= 25999 runsolver used 7.09992 second user time and 14.5248 second system time The end
Begin job on node108 at 2012-05-24 17:35:11 IDJOB=3687613 IDBENCH=1972 IDSOLVER=2269 FILE ID=node108/3687613-1337873711 RUNJOBID= node108-1337871881-21369 PBS_JOBID= 14620096 Free space on /tmp= 71688 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_9.opb.PB06.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687613-1337873711/watcher-3687613-1337873711 -o /tmp/evaluation-result-3687613-1337873711/solver-3687613-1337873711 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687613-1337873711.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 093efae700664f798191c0b27cec34af RANDOM SEED=152657804 node108.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.273 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 : 5332.54 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.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 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 : 5438.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.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27204376 kB Buffers: 189540 kB Cached: 4215028 kB SwapCached: 0 kB Active: 1015744 kB Inactive: 3883752 kB Active(anon): 497464 kB Inactive(anon): 0 kB Active(file): 518280 kB Inactive(file): 3883752 kB Unevictable: 6080 kB Mlocked: 6080 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 34536 kB Writeback: 8 kB AnonPages: 502704 kB Mapped: 22600 kB Shmem: 200 kB Slab: 630840 kB SReclaimable: 72624 kB SUnreclaim: 558216 kB KernelStack: 1592 kB PageTables: 5160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1081992 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 466944 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= 71704 MiB End job on node108 at 2012-05-24 18:05:05