Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB Resolution 2.2.0 2010-05-26 | MSAT (TO) | 1800.21 | 1793.39 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo |
| MD5SUM | 74ceb63f540b1c0e7b9983b4b6436598 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.437933 |
| 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 | 205 |
| 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 | 10882 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 10881 |
| 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.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.06 c version 2.2.0.v20100526 0.00/0.06 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.06 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.06 c java.vm.version 11.2-b01 0.00/0.06 c java.vm.vendor Sun Microsystems Inc. 0.00/0.06 c sun.arch.data.model 32 0.00/0.06 c java.version 1.6.0_12 0.00/0.06 c os.name Linux 0.00/0.06 c os.version 2.6.18-164.el5 0.00/0.06 c os.arch i386 0.00/0.06 c Free memory 1393557488 0.00/0.06 c Max memory 1395916800 0.00/0.06 c Total memory 1395916800 0.00/0.06 c Number of processors 8 0.09/0.09 c Pseudo Boolean Optimization 0.09/0.09 c --- Begin Solver configuration --- 0.09/0.09 c Stops conflict analysis at the first Unique Implication Point 0.09/0.09 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b 0.09/0.09 c Learn all clauses as in MiniSAT 0.09/0.09 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.09 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.09 c Expensive reason simplification 0.09/0.09 c Armin Biere (Picosat) restarts strategy 0.09/0.09 c Glucose learned constraints deletion strategy 0.09/0.09 c timeout=2147483s 0.09/0.09 c DB Simplification allowed=false 0.09/0.09 c --- End Solver configuration --- 0.09/0.09 c solving HOME/instance-2691409-1277922343.wbo 0.09/0.09 c reading problem ... 0.60/0.30 c ... done. Wall clock time 0.213s. 0.60/0.30 c #vars 10705 0.60/0.30 c #constraints 205 0.60/0.30 c constraints type 0.60/0.30 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 105 0.60/0.30 c org.sat4j.minisat.constraints.card.MinWatchCard => 100 1.60/0.85 c SATISFIABLE 1.60/0.85 c OPTIMIZING... 1.60/0.85 c Got one! Elapsed wall clock time (in seconds):0.759 1.60/0.85 o 261 2.42/1.68 c Got one! Elapsed wall clock time (in seconds):1.587 2.42/1.68 o 240 3.05/2.25 c Got one! Elapsed wall clock time (in seconds):2.157 3.05/2.25 o 198 4.16/3.38 c Got one! Elapsed wall clock time (in seconds):3.291 4.16/3.38 o 84 4.86/4.01 c cleaning 2488 clauses out of 5002 with flag 5002/5002 7.20/6.39 c Got one! Elapsed wall clock time (in seconds):6.302 7.20/6.39 o 72 8.88/7.94 c cleaning 4208 clauses out of 8513 with flag 11001/11001 13.99/13.03 c cleaning 5628 clauses out of 11304 with flag 18000/18000 19.82/18.81 c cleaning 6797 clauses out of 13677 with flag 26001/26001 24.87/23.86 c Got one! Elapsed wall clock time (in seconds):23.773 24.87/23.86 o 68 26.97/25.93 c cleaning 7914 clauses out of 15882 with flag 35003/35003 35.29/34.26 c cleaning 8950 clauses out of 17965 with flag 45000/45000 44.42/43.30 c cleaning 9449 clauses out of 19016 with flag 55001/55001 49.64/48.56 c Got one! Elapsed wall clock time (in seconds):48.473 49.64/48.56 o 64 54.64/53.56 c cleaning 9781 clauses out of 19569 with flag 65003/65003 68.87/67.75 c cleaning 9875 clauses out of 19789 with flag 75004/75004 78.02/76.81 c cleaning 9904 clauses out of 19911 with flag 85001/85001 88.14/86.92 c cleaning 9949 clauses out of 20006 with flag 95000/95000 101.55/100.31 c cleaning 9980 clauses out of 20057 with flag 105000/105000 123.08/121.81 c cleaning 10011 clauses out of 20077 with flag 115000/115000 124.55/123.28 c Got one! Elapsed wall clock time (in seconds):123.185 124.55/123.28 o 62 134.29/132.95 c cleaning 10016 clauses out of 20066 with flag 125000/125000 147.53/146.20 c cleaning 9959 clauses out of 20050 with flag 135000/135000 163.19/161.79 c cleaning 10003 clauses out of 20091 with flag 145000/145000 181.22/179.74 c cleaning 9997 clauses out of 20089 with flag 155001/155001 205.46/203.93 c cleaning 10006 clauses out of 20093 with flag 165002/165002 223.84/222.26 c Got one! Elapsed wall clock time (in seconds):222.171 223.84/222.26 o 60 224.48/222.62 c cleaning 10042 clauses out of 20088 with flag 175003/175003 235.96/234.03 c Got one! Elapsed wall clock time (in seconds):233.934 235.96/234.03 o 56 237.36/235.46 c cleaning 10018 clauses out of 20043 with flag 185000/185000 248.21/246.24 c cleaning 10000 clauses out of 20025 with flag 195000/195000 263.05/261.00 c cleaning 9996 clauses out of 20026 with flag 205001/205001 286.20/284.13 c cleaning 9919 clauses out of 20031 with flag 215002/215002 319.40/317.20 c cleaning 9951 clauses out of 20111 with flag 225001/225001 343.56/341.30 c cleaning 9989 clauses out of 20164 with flag 235005/235005 371.54/369.27 c cleaning 10000 clauses out of 20171 with flag 245001/245001 395.48/393.18 c cleaning 9994 clauses out of 20170 with flag 255000/255000 407.05/404.65 c cleaning 10045 clauses out of 20177 with flag 265001/265001 416.31/413.87 c cleaning 10015 clauses out of 20133 with flag 275002/275002 426.35/423.89 c cleaning 10010 clauses out of 20119 with flag 285003/285003 447.46/444.98 c cleaning 9984 clauses out of 20107 with flag 295001/295001 464.83/462.24 c cleaning 9998 clauses out of 20123 with flag 305001/305001 490.06/487.46 c cleaning 10002 clauses out of 20128 with flag 315004/315004 500.83/498.14 c cleaning 9994 clauses out of 20123 with flag 325001/325001 511.76/509.08 c cleaning 10035 clauses out of 20130 with flag 335002/335002 521.30/518.60 c cleaning 10010 clauses out of 20094 with flag 345001/345001 532.44/529.66 c cleaning 9976 clauses out of 20083 with flag 355000/355000 546.07/543.30 c cleaning 9968 clauses out of 20107 with flag 365000/365000 560.20/557.39 c cleaning 10009 clauses out of 20141 with flag 375002/375002 580.13/577.20 c cleaning 9974 clauses out of 20130 with flag 385000/385000 594.56/591.61 c cleaning 10025 clauses out of 20156 with flag 395000/395000 603.02/600.03 c cleaning 10023 clauses out of 20131 with flag 405000/405000 618.26/615.25 c cleaning 10023 clauses out of 20109 with flag 415001/415001 637.59/634.59 c cleaning 9980 clauses out of 20085 with flag 425000/425000 653.94/650.85 c cleaning 9985 clauses out of 20106 with flag 435001/435001 672.10/668.92 c cleaning 9994 clauses out of 20120 with flag 445000/445000 686.95/683.72 c cleaning 10027 clauses out of 20127 with flag 455001/455001 703.40/700.16 c cleaning 10013 clauses out of 20100 with flag 465001/465001 717.65/714.32 c cleaning 10003 clauses out of 20086 with flag 475000/475000 731.00/727.60 c cleaning 10014 clauses out of 20084 with flag 485001/485001 753.84/750.46 c cleaning 10005 clauses out of 20069 with flag 495000/495000 775.70/772.27 c cleaning 10003 clauses out of 20068 with flag 505004/505004 797.84/794.33 c cleaning 9986 clauses out of 20064 with flag 515003/515003 816.80/813.24 c cleaning 10015 clauses out of 20076 with flag 525001/525001 834.66/831.09 c cleaning 10005 clauses out of 20063 with flag 535003/535003 877.23/873.43 c cleaning 9996 clauses out of 20056 with flag 545001/545001 910.56/906.79 c cleaning 10000 clauses out of 20060 with flag 555001/555001 949.46/945.43 c cleaning 10008 clauses out of 20060 with flag 565001/565001 976.17/972.13 c cleaning 10005 clauses out of 20052 with flag 575001/575001 1009.63/1005.56 c cleaning 9988 clauses out of 20046 with flag 585000/585000 1015.51/1011.38 c Got one! Elapsed wall clock time (in seconds):1011.288 1015.51/1011.38 o 45 1021.91/1017.75 c cleaning 9949 clauses out of 20061 with flag 595003/595003 1022.79/1018.59 c Got one! Elapsed wall clock time (in seconds):1018.496 1022.79/1018.59 o 42 1033.39/1029.13 c cleaning 10029 clauses out of 20109 with flag 605000/605000 1045.13/1040.80 c cleaning 10008 clauses out of 20082 with flag 615002/615002 1061.41/1057.04 c cleaning 10002 clauses out of 20072 with flag 625000/625000 1076.43/1072.07 c cleaning 9994 clauses out of 20073 with flag 635003/635003 1097.27/1092.86 c cleaning 10008 clauses out of 20077 with flag 645001/645001 1120.02/1115.56 c cleaning 9961 clauses out of 20068 with flag 655000/655000 1144.89/1140.32 c cleaning 9993 clauses out of 20109 with flag 665002/665002 1170.37/1165.80 c cleaning 9973 clauses out of 20118 with flag 675004/675004 1183.33/1178.63 c cleaning 10027 clauses out of 20141 with flag 685000/685000 1198.68/1193.90 c cleaning 10001 clauses out of 20114 with flag 695000/695000 1215.44/1210.64 c cleaning 10020 clauses out of 20113 with flag 705000/705000 1240.78/1235.97 c cleaning 10010 clauses out of 20096 with flag 715003/715003 1256.77/1251.88 c cleaning 9997 clauses out of 20084 with flag 725001/725001 1278.12/1273.17 c cleaning 9968 clauses out of 20087 with flag 735001/735001 1297.38/1292.35 c cleaning 9996 clauses out of 20118 with flag 745000/745000 1320.74/1315.62 c cleaning 9994 clauses out of 20122 with flag 755000/755000 1350.72/1345.57 c cleaning 9970 clauses out of 20129 with flag 765001/765001 1382.40/1377.19 c cleaning 9969 clauses out of 20158 with flag 775000/775000 1405.19/1399.85 c cleaning 10000 clauses out of 20190 with flag 785001/785001 1414.96/1409.57 c cleaning 10067 clauses out of 20190 with flag 795001/795001 1426.00/1420.51 c cleaning 10034 clauses out of 20122 with flag 805000/805000 1437.94/1432.49 c cleaning 10011 clauses out of 20088 with flag 815000/815000 1449.58/1444.02 c cleaning 10009 clauses out of 20077 with flag 825000/825000 1461.11/1455.59 c cleaning 10003 clauses out of 20068 with flag 835000/835000 1476.65/1471.03 c cleaning 10003 clauses out of 20066 with flag 845001/845001 1490.90/1485.22 c cleaning 10003 clauses out of 20067 with flag 855005/855005 1507.04/1501.37 c cleaning 10000 clauses out of 20060 with flag 865001/865001 1520.19/1514.43 c cleaning 10000 clauses out of 20061 with flag 875002/875002 1534.32/1528.50 c cleaning 10001 clauses out of 20060 with flag 885001/885001 1543.08/1537.20 c cleaning 10026 clauses out of 20059 with flag 895001/895001 1553.10/1547.27 c cleaning 9996 clauses out of 20032 with flag 905000/905000 1567.95/1562.09 c cleaning 9990 clauses out of 20037 with flag 915001/915001 1589.41/1583.42 c cleaning 9967 clauses out of 20048 with flag 925002/925002 1613.09/1607.01 c cleaning 9979 clauses out of 20079 with flag 935000/935000 1631.74/1625.64 c cleaning 10009 clauses out of 20102 with flag 945002/945002 1647.30/1641.12 c cleaning 10000 clauses out of 20097 with flag 955006/955006 1662.54/1656.36 c cleaning 10003 clauses out of 20095 with flag 965004/965004 1676.00/1669.76 c cleaning 10013 clauses out of 20089 with flag 975001/975001 1699.76/1693.42 c cleaning 10008 clauses out of 20076 with flag 985001/985001 1731.13/1724.77 c cleaning 10005 clauses out of 20067 with flag 995000/995000 1753.10/1746.64 c cleaning 9989 clauses out of 20063 with flag 1005001/1005001 1779.28/1772.71 c cleaning 9991 clauses out of 20075 with flag 1015002/1015002 1791.08/1784.40 c cleaning 9994 clauses out of 20082 with flag 1025000/1025000 1800.03/1793.31 c starts : 200 1800.03/1793.31 c conflicts : 1032246 1800.03/1793.31 c decisions : 2790845 1800.03/1793.31 c propagations : 62286438 1800.03/1793.31 c inspects : 1192745495 1800.03/1793.31 c learnt literals : 0 1800.03/1793.31 c learnt binary clauses : 0 1800.03/1793.31 c learnt ternary clauses : 0 1800.03/1793.31 c learnt clauses : 1032245 1800.03/1793.31 c ignored clauses : 0 1800.03/1793.31 c root simplifications : 0 1800.03/1793.31 c removed literals (reason simplification) : 4982208 1800.03/1793.31 c reason swapping (by a shorter reason) : 0 1800.03/1793.31 c Calls to reduceDB : 104 1800.03/1793.31 c number of reductions to clauses (during analyze) : 0 1800.03/1793.31 c number of learned constraints concerned by reduction : 0 1800.03/1793.31 c number of learning phase by resolution : 0 1800.03/1793.31 c number of learning phase by cutting planes : 0 1800.03/1793.31 c speed (assignments/second) : 80398.33333978726 1800.03/1793.31 c non guided choices 555964 1800.03/1793.32 c learnt constraints type 1800.03/1793.32 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 17340 1800.03/1793.32 c constraints type 1800.03/1793.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 105 1800.03/1793.32 c org.sat4j.minisat.constraints.card.MinWatchCard => 100 1800.03/1793.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.03/1793.32 s SATISFIABLE 1800.03/1793.33 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.03/1793.34 c objective function=42 1800.03/1793.34 c Total wall clock time (in seconds): 1793.251
OK 42
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691409-1277922343/watcher-2691409-1277922343 -o /tmp/evaluation-result-2691409-1277922343/solver-2691409-1277922343 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2691409-1277922343.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 2.00 2.00 3/178 19605 /proc/meminfo: memFree=29441644/32951124 swapFree=67111528/67111528 [pid=19605] ppid=19603 vsize=13472 CPUtime=0 /proc/19605/stat : 19605 (java) S 19603 19605 17925 0 -1 4202496 1093 0 0 0 0 0 0 0 25 0 2 0 133528942 13795328 567 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 /proc/19605/statm: 3368 567 255 10 0 1202 0 [pid=19605/tid=19606] ppid=19603 vsize=13472 CPUtime=0 /proc/19605/task/19606/stat : 19606 (java) R 19603 19605 17925 0 -1 4202560 59 0 0 0 0 0 0 0 25 0 2 0 133528943 13795328 573 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0 0 [startup+0.0811729 s] /proc/loadavg: 1.99 2.00 2.00 3/178 19605 /proc/meminfo: memFree=29441644/32951124 swapFree=67111528/67111528 [pid=19605] ppid=19603 vsize=1529988 CPUtime=0.09 /proc/19605/stat : 19605 (java) S 19603 19605 17925 0 -1 4202496 5053 0 1 0 8 1 0 0 25 0 18 0 133528942 1566707712 4490 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19605/statm: 382497 4491 1340 10 0 379799 0 [pid=19605/tid=19606] ppid=19603 vsize=1529988 CPUtime=0.07 /proc/19605/task/19606/stat : 19606 (java) R 19603 19605 17925 0 -1 4202560 3405 0 1 0 6 1 0 0 25 0 18 0 133528943 1566707712 4491 4089446400 134512640 134550932 4288980736 18446744073709551615 106548095 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1529988 [startup+0.101171 s] /proc/loadavg: 1.99 2.00 2.00 3/178 19605 /proc/meminfo: memFree=29441644/32951124 swapFree=67111528/67111528 [pid=19605] ppid=19603 vsize=1529988 CPUtime=0.11 /proc/19605/stat : 19605 (java) S 19603 19605 17925 0 -1 4202496 5298 0 1 0 10 1 0 0 25 0 18 0 133528942 1566707712 4734 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19605/statm: 382497 4734 1348 10 0 379799 0 [pid=19605/tid=19606] ppid=19603 vsize=1529988 CPUtime=0.09 /proc/19605/task/19606/stat : 19606 (java) R 19603 19605 17925 0 -1 4202560 3613 0 1 0 8 1 0 0 18 0 18 0 133528943 1566707712 4734 4089446400 134512640 134550932 4288980736 18446744073709551615 4109024116 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529988 [startup+0.301156 s] /proc/loadavg: 1.99 2.00 2.00 3/178 19605 /proc/meminfo: memFree=29441644/32951124 swapFree=67111528/67111528 [pid=19605] ppid=19603 vsize=1533644 CPUtime=0.6 /proc/19605/stat : 19605 (java) S 19603 19605 17925 0 -1 4202496 11309 0 1 0 58 2 0 0 25 0 18 0 133528942 1570451456 10590 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19605/statm: 383411 10590 1413 10 0 380713 0 [pid=19605/tid=19606] ppid=19603 vsize=1533644 CPUtime=0.28 /proc/19605/task/19606/stat : 19606 (java) R 19603 19605 17925 0 -1 4202560 8483 0 1 0 27 1 0 0 18 0 18 0 133528943 1570451456 10595 4089446400 134512640 134550932 4288980736 18446744073709551615 103398789 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 1533644 [startup+0.701064 s] /proc/loadavg: 1.99 2.00 2.00 3/178 19605 /proc/meminfo: memFree=29441644/32951124 swapFree=67111528/67111528 [pid=19605] ppid=19603 vsize=1533848 CPUtime=1.5 /proc/19605/stat : 19605 (java) S 19603 19605 17925 0 -1 4202496 12804 0 1 0 147 3 0 0 25 0 19 0 133528942 1570660352 11652 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19605/statm: 383462 11652 1426 10 0 380764 0 [pid=19605/tid=19606] ppid=19603 vsize=1533848 CPUtime=0.68 /proc/19605/task/19606/stat : 19606 (java) R 19603 19605 17925 0 -1 4202560 9409 0 1 0 67 1 0 0 19 0 19 0 133528943 1570660352 11652 4089446400 134512640 134550932 4288980736 18446744073709551615 4109606141 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 1533848 [startup+1.50092 s] /proc/loadavg: 1.99 2.00 2.00 3/197 19624 /proc/meminfo: memFree=29396232/32951124 swapFree=67111528/67111528 [pid=19605] ppid=19603 vsize=1533848 CPUtime=2.32 /proc/19605/stat : 19605 (java) S 19603 19605 17925 0 -1 4202496 14321 0 1 0 229 3 0 0 25 0 19 0 133528942 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19605/statm: 383462 13168 1426 10 0 380764 0 [pid=19605/tid=19606] ppid=19603 vsize=1533848 CPUtime=1.49 /proc/19605/task/19606/stat : 19606 (java) R 19603 19605 17925 0 -1 4202560 10924 0 1 0 147 2 0 0 20 0 19 0 133528943 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4109598968 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19605/tid=19608] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19608/stat : 19608 (java) S 19603 19605 17925 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 19 0 133528943 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 2 0 0 0 [pid=19605/tid=19609] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19609/stat : 19609 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528943 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19610] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19610/stat : 19610 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133528943 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 [pid=19605/tid=19611] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19611/stat : 19611 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528943 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19612] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19612/stat : 19612 (java) S 19603 19605 17925 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 133528943 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19613] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19613/stat : 19613 (java) S 19603 19605 17925 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 133528943 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19614] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19614/stat : 19614 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528943 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19615] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19615/stat : 19615 (java) S 19603 19605 17925 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 133528943 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19616] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19616/stat : 19616 (java) S 19603 19605 17925 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 133528944 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19617] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19617/stat : 19617 (java) S 19603 19605 17925 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 19 0 133528944 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19618] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19618/stat : 19618 (java) S 19603 19605 17925 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133528944 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19619] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19619/stat : 19619 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528946 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19620] ppid=19603 vsize=1533848 CPUtime=0.41 /proc/19605/task/19620/stat : 19620 (java) S 19603 19605 17925 0 -1 4202560 982 0 0 0 41 0 0 0 15 0 19 0 133528946 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 5 0 0 0 [pid=19605/tid=19621] ppid=19603 vsize=1533848 CPUtime=0.4 /proc/19605/task/19621/stat : 19621 (java) S 19603 19605 17925 0 -1 4202560 1341 0 0 0 40 0 0 0 15 0 19 0 133528946 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19622] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19622/stat : 19622 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528946 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19623] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19623/stat : 19623 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133528946 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 [pid=19605/tid=19624] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19624/stat : 19624 (java) S 19603 19605 17925 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133528976 1570660352 13168 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.32 Current children cumulated vsize (KiB) 1533848 [startup+3.10064 s] /proc/loadavg: 1.99 2.00 2.00 3/197 19624 /proc/meminfo: memFree=29385776/32951124 swapFree=67111528/67111528 [pid=19605] ppid=19603 vsize=1533848 CPUtime=3.95 /proc/19605/stat : 19605 (java) S 19603 19605 17925 0 -1 4202496 17251 0 1 0 392 3 0 0 25 0 19 0 133528942 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19605/statm: 383462 16096 1426 10 0 380764 0 [pid=19605/tid=19606] ppid=19603 vsize=1533848 CPUtime=3.08 /proc/19605/task/19606/stat : 19606 (java) R 19603 19605 17925 0 -1 4202560 13850 0 1 0 306 2 0 0 25 0 19 0 133528943 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4109606111 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19605/tid=19608] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19608/stat : 19608 (java) S 19603 19605 17925 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 19 0 133528943 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 2 0 0 0 [pid=19605/tid=19609] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19609/stat : 19609 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528943 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19610] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19610/stat : 19610 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133528943 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 [pid=19605/tid=19611] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19611/stat : 19611 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528943 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19612] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19612/stat : 19612 (java) S 19603 19605 17925 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 133528943 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19613] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19613/stat : 19613 (java) S 19603 19605 17925 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 133528943 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19614] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19614/stat : 19614 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528943 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19615] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19615/stat : 19615 (java) S 19603 19605 17925 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 133528943 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19616] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19616/stat : 19616 (java) S 19603 19605 17925 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 133528944 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19617] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19617/stat : 19617 (java) S 19603 19605 17925 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 19 0 133528944 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19618] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19618/stat : 19618 (java) S 19603 19605 17925 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133528944 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19619] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19619/stat : 19619 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528946 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19620] ppid=19603 vsize=1533848 CPUtime=0.42 /proc/19605/task/19620/stat : 19620 (java) S 19603 19605 17925 0 -1 4202560 983 0 0 0 42 0 0 0 16 0 19 0 133528946 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 5 0 0 0 [pid=19605/tid=19621] ppid=19603 vsize=1533848 CPUtime=0.42 /proc/19605/task/19621/stat : 19621 (java) S 19603 19605 17925 0 -1 4202560 1344 0 0 0 42 0 0 0 15 0 19 0 133528946 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19622] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19622/stat : 19622 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528946 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19623] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19623/stat : 19623 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133528946 1570660352 16096 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 [pid=19605/tid=19624] ppid=19603 vsize=1533848 CPUtime=0 /proc/19605/task/19624/stat : 19624 (java) S 19603 19605 17925 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133528976 1570660352 16098 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.95 Current children cumulated vsize (KiB) 1533848 [startup+6.30107 s] /proc/loadavg: 1.99 2.00 2.00 3/197 19624 /proc/meminfo: memFree=29348080/32951124 swapFree=67111528/67111528 [pid=19605] ppid=19603 vsize=1533984 CPUtime=7.2 /proc/19605/stat : 19605 (java) S 19603 19605 17925 0 -1 4202496 23995 0 1 0 716 4 0 0 25 0 19 0 133528942 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19605/statm: 383496 22774 1442 10 0 380798 0 [pid=19605/tid=19606] ppid=19603 vsize=1533984 CPUtime=6.26 /proc/19605/task/19606/stat : 19606 (java) R 19603 19605 17925 0 -1 4202560 15353 0 1 0 624 2 0 0 25 0 19 0 133528943 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4109607509 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19605/tid=19608] ppid=19603 vsize=1533984 CPUtime=0 /proc/19605/task/19608/stat : 19608 (java) S 19603 19605 17925 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 133528943 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 2 0 0 0 [pid=19605/tid=19609] ppid=19603 vsize=1533984 CPUtime=0 /proc/19605/task/19609/stat : 19609 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133528943 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19610] ppid=19603 vsize=1533984 CPUtime=0 /proc/19605/task/19610/stat : 19610 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133528943 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 [pid=19605/tid=19611] ppid=19603 vsize=1533984 CPUtime=0 /proc/19605/task/19611/stat : 19611 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133528943 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19612] ppid=19603 vsize=1533984 CPUtime=0 /proc/19605/task/19612/stat : 19612 (java) S 19603 19605 17925 0 -1 4202560 128 0 0 0 0 0 0 0 18 0 19 0 133528943 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 2 0 0 0 [pid=19605/tid=19613] ppid=19603 vsize=1533984 CPUtime=0 /proc/19605/task/19613/stat : 19613 (java) S 19603 19605 17925 0 -1 4202560 702 0 0 0 0 0 0 0 18 0 19 0 133528943 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 [pid=19605/tid=19614] ppid=19603 vsize=1533984 CPUtime=0 /proc/19605/task/19614/stat : 19614 (java) S 19603 19605 17925 0 -1 4202560 1287 0 0 0 0 0 0 0 18 0 19 0 133528943 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19615] ppid=19603 vsize=1533984 CPUtime=0 /proc/19605/task/19615/stat : 19615 (java) S 19603 19605 17925 0 -1 4202560 590 0 0 0 0 0 0 0 18 0 19 0 133528943 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19616] ppid=19603 vsize=1533984 CPUtime=0.01 /proc/19605/task/19616/stat : 19616 (java) S 19603 19605 17925 0 -1 4202560 2524 0 0 0 1 0 0 0 15 0 19 0 133528944 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19617] ppid=19603 vsize=1533984 CPUtime=0 /proc/19605/task/19617/stat : 19617 (java) S 19603 19605 17925 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 133528944 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19618] ppid=19603 vsize=1533984 CPUtime=0 /proc/19605/task/19618/stat : 19618 (java) S 19603 19605 17925 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133528944 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19619] ppid=19603 vsize=1533984 CPUtime=0 /proc/19605/task/19619/stat : 19619 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528946 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19620] ppid=19603 vsize=1533984 CPUtime=0.43 /proc/19605/task/19620/stat : 19620 (java) S 19603 19605 17925 0 -1 4202560 988 0 0 0 43 0 0 0 15 0 19 0 133528946 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 5 0 0 0 [pid=19605/tid=19621] ppid=19603 vsize=1533984 CPUtime=0.46 /proc/19605/task/19621/stat : 19621 (java) S 19603 19605 17925 0 -1 4202560 1350 0 0 0 46 0 0 0 15 0 19 0 133528946 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19622] ppid=19603 vsize=1533984 CPUtime=0 /proc/19605/task/19622/stat : 19622 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528946 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19623] ppid=19603 vsize=1533984 CPUtime=0 /proc/19605/task/19623/stat : 19623 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133528946 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 [pid=19605/tid=19624] ppid=19603 vsize=1533984 CPUtime=0 /proc/19605/task/19624/stat : 19624 (java) S 19603 19605 17925 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133528976 1570799616 22774 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.2 Current children cumulated vsize (KiB) 1533984 ################ # More data... # ################ [pid=19605/tid=19613] ppid=19603 vsize=1543200 CPUtime=0.72 /proc/19605/task/19613/stat : 19613 (java) S 19603 19605 17925 0 -1 4202560 6369 0 0 0 69 3 0 0 16 0 19 0 133528943 1580236800 89344 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 5 0 0 0 [pid=19605/tid=19614] ppid=19603 vsize=1543200 CPUtime=0.79 /proc/19605/task/19614/stat : 19614 (java) S 19603 19605 17925 0 -1 4202560 5962 0 0 0 76 3 0 0 15 0 19 0 133528943 1580236800 89344 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 3 0 0 0 [pid=19605/tid=19615] ppid=19603 vsize=1543200 CPUtime=0.7 /proc/19605/task/19615/stat : 19615 (java) S 19603 19605 17925 0 -1 4202560 5516 0 0 0 68 2 0 0 16 0 19 0 133528943 1580236800 89344 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 2 0 0 0 [pid=19605/tid=19616] ppid=19603 vsize=1543200 CPUtime=3.83 /proc/19605/task/19616/stat : 19616 (java) S 19603 19605 17925 0 -1 4202560 9970 0 0 0 380 3 0 0 15 0 19 0 133528944 1580236800 89344 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19617] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19617/stat : 19617 (java) S 19603 19605 17925 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 133528944 1580236800 89344 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19618] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19618/stat : 19618 (java) S 19603 19605 17925 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133528944 1580236800 89344 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19619] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19619/stat : 19619 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528946 1580236800 89344 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19620] ppid=19603 vsize=1543200 CPUtime=0.53 /proc/19605/task/19620/stat : 19620 (java) S 19603 19605 17925 0 -1 4202560 1002 0 0 0 53 0 0 0 15 0 19 0 133528946 1580236800 89344 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 5 0 0 0 [pid=19605/tid=19621] ppid=19603 vsize=1543200 CPUtime=0.8 /proc/19605/task/19621/stat : 19621 (java) S 19603 19605 17925 0 -1 4202560 6163 0 0 0 78 2 0 0 15 0 19 0 133528946 1580236800 89344 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19622] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19622/stat : 19622 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528946 1580236800 89344 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19623] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19623/stat : 19623 (java) S 19603 19605 17925 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 133528946 1580236800 89344 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 [pid=19605/tid=19624] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19624/stat : 19624 (java) S 19603 19605 17925 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133528976 1580236800 89344 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1728.72 Current children cumulated vsize (KiB) 1543200 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 4/215 19801 /proc/meminfo: memFree=30497272/32951124 swapFree=67111528/67111528 [pid=19605] ppid=19603 vsize=1543200 CPUtime=1788.98 /proc/19605/stat : 19605 (java) S 19603 19605 17925 0 -1 4202496 98980 0 1 0 178858 40 0 0 25 0 19 0 133528942 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19605/statm: 385800 89346 1443 10 0 383102 0 [pid=19605/tid=19606] ppid=19603 vsize=1543200 CPUtime=1777.21 /proc/19605/task/19606/stat : 19606 (java) R 19603 19605 17925 0 -1 4202560 32166 0 1 0 177715 6 0 0 25 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4109616587 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19605/tid=19608] ppid=19603 vsize=1543200 CPUtime=0.79 /proc/19605/task/19608/stat : 19608 (java) S 19603 19605 17925 0 -1 4202560 6044 0 0 0 77 2 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19609] ppid=19603 vsize=1543200 CPUtime=0.83 /proc/19605/task/19609/stat : 19609 (java) S 19603 19605 17925 0 -1 4202560 6880 0 0 0 79 4 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 1 0 0 0 [pid=19605/tid=19610] ppid=19603 vsize=1543200 CPUtime=0.84 /proc/19605/task/19610/stat : 19610 (java) S 19603 19605 17925 0 -1 4202560 6633 0 0 0 81 3 0 0 15 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 [pid=19605/tid=19611] ppid=19603 vsize=1543200 CPUtime=0.82 /proc/19605/task/19611/stat : 19611 (java) S 19603 19605 17925 0 -1 4202560 7076 0 0 0 79 3 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19612] ppid=19603 vsize=1543200 CPUtime=0.74 /proc/19605/task/19612/stat : 19612 (java) S 19603 19605 17925 0 -1 4202560 4026 0 0 0 71 3 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 [pid=19605/tid=19613] ppid=19603 vsize=1543200 CPUtime=0.76 /proc/19605/task/19613/stat : 19613 (java) S 19603 19605 17925 0 -1 4202560 6369 0 0 0 73 3 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 5 0 0 0 [pid=19605/tid=19614] ppid=19603 vsize=1543200 CPUtime=0.83 /proc/19605/task/19614/stat : 19614 (java) S 19603 19605 17925 0 -1 4202560 5962 0 0 0 80 3 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 3 0 0 0 [pid=19605/tid=19615] ppid=19603 vsize=1543200 CPUtime=0.74 /proc/19605/task/19615/stat : 19615 (java) S 19603 19605 17925 0 -1 4202560 5516 0 0 0 72 2 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 2 0 0 0 [pid=19605/tid=19616] ppid=19603 vsize=1543200 CPUtime=3.96 /proc/19605/task/19616/stat : 19616 (java) S 19603 19605 17925 0 -1 4202560 9974 0 0 0 393 3 0 0 15 0 19 0 133528944 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19617] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19617/stat : 19617 (java) S 19603 19605 17925 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 133528944 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19618] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19618/stat : 19618 (java) S 19603 19605 17925 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133528944 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19619] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19619/stat : 19619 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528946 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19620] ppid=19603 vsize=1543200 CPUtime=0.53 /proc/19605/task/19620/stat : 19620 (java) S 19603 19605 17925 0 -1 4202560 1002 0 0 0 53 0 0 0 15 0 19 0 133528946 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 5 0 0 0 [pid=19605/tid=19621] ppid=19603 vsize=1543200 CPUtime=0.8 /proc/19605/task/19621/stat : 19621 (java) S 19603 19605 17925 0 -1 4202560 6163 0 0 0 78 2 0 0 15 0 19 0 133528946 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19622] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19622/stat : 19622 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528946 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19623] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19623/stat : 19623 (java) S 19603 19605 17925 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 133528946 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 [pid=19605/tid=19624] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19624/stat : 19624 (java) S 19603 19605 17925 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133528976 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1788.98 Current children cumulated vsize (KiB) 1543200 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.3 s] /proc/loadavg: 2.00 2.00 2.00 3/215 19802 /proc/meminfo: memFree=30496756/32951124 swapFree=67111528/67111528 [pid=19605] ppid=19603 vsize=1543200 CPUtime=1800.03 /proc/19605/stat : 19605 (java) S 19603 19605 17925 0 -1 4202496 98981 0 1 0 179963 40 0 0 25 0 19 0 133528942 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19605/statm: 385800 89346 1443 10 0 383102 0 [pid=19605/tid=19606] ppid=19603 vsize=1543200 CPUtime=1788.14 /proc/19605/task/19606/stat : 19606 (java) R 19603 19605 17925 0 -1 4202560 32167 0 1 0 178808 6 0 0 25 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4109649942 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19605/tid=19608] ppid=19603 vsize=1543200 CPUtime=0.8 /proc/19605/task/19608/stat : 19608 (java) S 19603 19605 17925 0 -1 4202560 6044 0 0 0 78 2 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19609] ppid=19603 vsize=1543200 CPUtime=0.84 /proc/19605/task/19609/stat : 19609 (java) S 19603 19605 17925 0 -1 4202560 6880 0 0 0 80 4 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 1 0 0 0 [pid=19605/tid=19610] ppid=19603 vsize=1543200 CPUtime=0.85 /proc/19605/task/19610/stat : 19610 (java) S 19603 19605 17925 0 -1 4202560 6633 0 0 0 82 3 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 [pid=19605/tid=19611] ppid=19603 vsize=1543200 CPUtime=0.83 /proc/19605/task/19611/stat : 19611 (java) S 19603 19605 17925 0 -1 4202560 7076 0 0 0 80 3 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 2 0 0 0 [pid=19605/tid=19612] ppid=19603 vsize=1543200 CPUtime=0.75 /proc/19605/task/19612/stat : 19612 (java) S 19603 19605 17925 0 -1 4202560 4026 0 0 0 72 3 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 2 0 0 0 [pid=19605/tid=19613] ppid=19603 vsize=1543200 CPUtime=0.76 /proc/19605/task/19613/stat : 19613 (java) S 19603 19605 17925 0 -1 4202560 6369 0 0 0 73 3 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 5 0 0 0 [pid=19605/tid=19614] ppid=19603 vsize=1543200 CPUtime=0.84 /proc/19605/task/19614/stat : 19614 (java) S 19603 19605 17925 0 -1 4202560 5962 0 0 0 81 3 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 3 0 0 0 [pid=19605/tid=19615] ppid=19603 vsize=1543200 CPUtime=0.74 /proc/19605/task/19615/stat : 19615 (java) S 19603 19605 17925 0 -1 4202560 5516 0 0 0 72 2 0 0 15 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 2 0 0 0 [pid=19605/tid=19616] ppid=19603 vsize=1543200 CPUtime=4.02 /proc/19605/task/19616/stat : 19616 (java) S 19603 19605 17925 0 -1 4202560 9974 0 0 0 399 3 0 0 15 0 19 0 133528944 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19617] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19617/stat : 19617 (java) S 19603 19605 17925 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 133528944 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19618] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19618/stat : 19618 (java) S 19603 19605 17925 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133528944 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19619] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19619/stat : 19619 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528946 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19620] ppid=19603 vsize=1543200 CPUtime=0.53 /proc/19605/task/19620/stat : 19620 (java) S 19603 19605 17925 0 -1 4202560 1002 0 0 0 53 0 0 0 15 0 19 0 133528946 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 5 0 0 0 [pid=19605/tid=19621] ppid=19603 vsize=1543200 CPUtime=0.8 /proc/19605/task/19621/stat : 19621 (java) S 19603 19605 17925 0 -1 4202560 6163 0 0 0 78 2 0 0 15 0 19 0 133528946 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19622] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19622/stat : 19622 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528946 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19623] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19623/stat : 19623 (java) S 19603 19605 17925 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 133528946 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 [pid=19605/tid=19624] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19624/stat : 19624 (java) S 19603 19605 17925 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133528976 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1543200 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.3 s] /proc/loadavg: 2.00 2.00 2.00 3/215 19802 /proc/meminfo: memFree=30496756/32951124 swapFree=67111528/67111528 [pid=19605] ppid=19603 vsize=1543200 CPUtime=1800.03 /proc/19605/stat : 19605 (java) S 19603 19605 17925 0 -1 4202496 98981 0 1 0 179963 40 0 0 25 0 19 0 133528942 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19605/statm: 385800 89346 1443 10 0 383102 0 [pid=19605/tid=19606] ppid=19603 vsize=1543200 CPUtime=1788.14 /proc/19605/task/19606/stat : 19606 (java) R 19603 19605 17925 0 -1 4202560 32167 0 1 0 178808 6 0 0 25 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4109649942 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=19605/tid=19608] ppid=19603 vsize=1543200 CPUtime=0.8 /proc/19605/task/19608/stat : 19608 (java) S 19603 19605 17925 0 -1 4202560 6044 0 0 0 78 2 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19609] ppid=19603 vsize=1543200 CPUtime=0.84 /proc/19605/task/19609/stat : 19609 (java) S 19603 19605 17925 0 -1 4202560 6880 0 0 0 80 4 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 1 0 0 0 [pid=19605/tid=19610] ppid=19603 vsize=1543200 CPUtime=0.85 /proc/19605/task/19610/stat : 19610 (java) S 19603 19605 17925 0 -1 4202560 6633 0 0 0 82 3 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 [pid=19605/tid=19611] ppid=19603 vsize=1543200 CPUtime=0.83 /proc/19605/task/19611/stat : 19611 (java) S 19603 19605 17925 0 -1 4202560 7076 0 0 0 80 3 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 2 0 0 0 [pid=19605/tid=19612] ppid=19603 vsize=1543200 CPUtime=0.75 /proc/19605/task/19612/stat : 19612 (java) S 19603 19605 17925 0 -1 4202560 4026 0 0 0 72 3 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 2 0 0 0 [pid=19605/tid=19613] ppid=19603 vsize=1543200 CPUtime=0.76 /proc/19605/task/19613/stat : 19613 (java) S 19603 19605 17925 0 -1 4202560 6369 0 0 0 73 3 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 5 0 0 0 [pid=19605/tid=19614] ppid=19603 vsize=1543200 CPUtime=0.84 /proc/19605/task/19614/stat : 19614 (java) S 19603 19605 17925 0 -1 4202560 5962 0 0 0 81 3 0 0 16 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 3 0 0 0 [pid=19605/tid=19615] ppid=19603 vsize=1543200 CPUtime=0.74 /proc/19605/task/19615/stat : 19615 (java) S 19603 19605 17925 0 -1 4202560 5516 0 0 0 72 2 0 0 15 0 19 0 133528943 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 2 0 0 0 [pid=19605/tid=19616] ppid=19603 vsize=1543200 CPUtime=4.02 /proc/19605/task/19616/stat : 19616 (java) S 19603 19605 17925 0 -1 4202560 9974 0 0 0 399 3 0 0 15 0 19 0 133528944 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 0 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19617] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19617/stat : 19617 (java) S 19603 19605 17925 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 133528944 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19618] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19618/stat : 19618 (java) S 19603 19605 17925 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133528944 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19619] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19619/stat : 19619 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528946 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19620] ppid=19603 vsize=1543200 CPUtime=0.53 /proc/19605/task/19620/stat : 19620 (java) S 19603 19605 17925 0 -1 4202560 1002 0 0 0 53 0 0 0 15 0 19 0 133528946 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 5 0 0 0 [pid=19605/tid=19621] ppid=19603 vsize=1543200 CPUtime=0.8 /proc/19605/task/19621/stat : 19621 (java) S 19603 19605 17925 0 -1 4202560 6163 0 0 0 78 2 0 0 15 0 19 0 133528946 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 6 0 0 0 [pid=19605/tid=19622] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19622/stat : 19622 (java) S 19603 19605 17925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133528946 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 4 0 0 0 [pid=19605/tid=19623] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19623/stat : 19623 (java) S 19603 19605 17925 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 133528946 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 [pid=19605/tid=19624] ppid=19603 vsize=1543200 CPUtime=0 /proc/19605/task/19624/stat : 19624 (java) S 19603 19605 17925 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133528976 1580236800 89346 4089446400 134512640 134550932 4288980736 18446744073709551615 4294960144 0 4 0 16800975 18446604471103141888 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1543200 Child status: 143 Real time (s): 1793.39 CPU time (s): 1800.21 CPU user time (s): 1799.79 CPU system time (s): 0.416936 CPU usage (%): 100.38 Max. virtual memory (cumulated for all children) (KiB): 1546356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.79 system time used= 0.416936 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99005 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40002 involuntary context switches= 47214 runsolver used 3.18751 second user time and 6.601 second system time The end
Begin job on node146 at 2010-06-30 20:25:43 IDJOB=2691409 IDBENCH=79183 IDSOLVER=1202 FILE ID=node146/2691409-1277922343 PBS_JOBID= 11197345 Free space on /tmp= 74176 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2691409-1277922343/watcher-2691409-1277922343 -o /tmp/evaluation-result-2691409-1277922343/solver-2691409-1277922343 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2691409-1277922343.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 74ceb63f540b1c0e7b9983b4b6436598 RANDOM SEED=1186710233 node146.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.839 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.67 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.839 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.83 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.839 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.839 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.83 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.839 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.67 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.839 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.82 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.839 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.74 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.839 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29442040 kB Buffers: 211952 kB Cached: 1330068 kB SwapCached: 0 kB Active: 2234512 kB Inactive: 1125012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29442040 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 792 kB Writeback: 0 kB AnonPages: 1817488 kB Mapped: 15332 kB Slab: 83672 kB PageTables: 8148 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1959440 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= 74176 MiB End job on node146 at 2010-06-30 20:55:38