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