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