Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | MSAT (TO) | 1800.21 | 1794.68 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo |
MD5SUM | 877b894215c8e906897b9f5c7b76fab3 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 0.637902 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 10500 |
Total number of constraints | 205 |
Number of soft constraints | 74 |
Number of constraints which are clauses | 105 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 100 |
Maximum length of a constraint | 105 |
Top cost | 3754 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 3753 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 106 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.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.07 c version 2.2.0.v20100526 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.07 c java.vm.version 11.2-b01 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 32 0.00/0.07 c java.version 1.6.0_12 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch i386 0.00/0.07 c Free memory 1393557488 0.00/0.07 c Max memory 1395916800 0.00/0.07 c Total memory 1395916800 0.00/0.07 c Number of processors 8 0.00/0.10 c Pseudo Boolean Optimization 0.00/0.10 c --- Begin Solver configuration --- 0.00/0.10 c Stops conflict analysis at the first Unique Implication Point 0.00/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@16fd0b7 0.00/0.10 c Learn all clauses as in MiniSAT 0.00/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.00/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.00/0.10 c Expensive reason simplification 0.00/0.10 c Armin Biere (Picosat) restarts strategy 0.00/0.10 c Glucose learned constraints deletion strategy 0.00/0.10 c timeout=2147483s 0.00/0.10 c DB Simplification allowed=false 0.00/0.10 c --- End Solver configuration --- 0.00/0.10 c solving HOME/instance-2691063-1277891851.wbo 0.00/0.10 c reading problem ... 0.59/0.30 c ... done. Wall clock time 0.208s. 0.59/0.30 c #vars 10574 0.59/0.30 c #constraints 205 0.59/0.30 c constraints type 0.59/0.30 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 105 0.59/0.30 c org.sat4j.minisat.constraints.card.MinWatchCard => 100 1.54/0.82 c SATISFIABLE 1.54/0.82 c OPTIMIZING... 1.54/0.82 c Got one! Elapsed wall clock time (in seconds):0.722 1.54/0.82 o 349 2.15/1.46 c Got one! Elapsed wall clock time (in seconds):1.366 2.15/1.46 o 247 2.99/2.28 c Got one! Elapsed wall clock time (in seconds):2.18 2.99/2.28 o 234 4.50/3.75 c Got one! Elapsed wall clock time (in seconds):3.653 4.50/3.75 o 231 5.00/4.26 c cleaning 2499 clauses out of 5002 with flag 5002/5002 5.99/5.12 c Got one! Elapsed wall clock time (in seconds):5.023 5.99/5.12 o 209 9.53/8.64 c cleaning 4224 clauses out of 8501 with flag 11000/11000 11.15/10.20 c Got one! Elapsed wall clock time (in seconds):10.106 11.15/10.20 o 198 12.75/11.85 c Got one! Elapsed wall clock time (in seconds):11.75 12.75/11.85 o 197 14.36/13.41 c cleaning 5631 clauses out of 11277 with flag 18000/18000 21.59/20.65 c cleaning 6783 clauses out of 13646 with flag 26000/26000 26.53/25.52 c Got one! Elapsed wall clock time (in seconds):25.429 26.53/25.52 o 196 28.23/27.28 c cleaning 7903 clauses out of 15863 with flag 35000/35000 36.06/35.10 c cleaning 8935 clauses out of 17960 with flag 45000/45000 41.37/40.35 c Got one! Elapsed wall clock time (in seconds):40.254 41.37/40.35 o 195 45.57/44.53 c cleaning 9487 clauses out of 19028 with flag 55003/55003 54.90/53.90 c cleaning 9739 clauses out of 19538 with flag 65000/65000 67.02/65.93 c cleaning 9875 clauses out of 19801 with flag 75002/75002 67.62/66.53 c Got one! Elapsed wall clock time (in seconds):66.433 67.62/66.53 o 78 75.42/74.34 c cleaning 9905 clauses out of 19924 with flag 85000/85000 84.34/83.28 c cleaning 9970 clauses out of 20020 with flag 95001/95001 95.96/94.85 c cleaning 9933 clauses out of 20049 with flag 105000/105000 132.01/130.76 c cleaning 10057 clauses out of 20118 with flag 115002/115002 139.64/138.39 c cleaning 9987 clauses out of 20062 with flag 125003/125003 150.97/149.68 c cleaning 10006 clauses out of 20072 with flag 135000/135000 168.30/166.98 c cleaning 9989 clauses out of 20066 with flag 145000/145000 189.03/187.69 c cleaning 10013 clauses out of 20078 with flag 155001/155001 216.09/214.68 c cleaning 10000 clauses out of 20067 with flag 165003/165003 235.14/233.69 c cleaning 10005 clauses out of 20065 with flag 175001/175001 243.20/241.63 c cleaning 9982 clauses out of 20059 with flag 185000/185000 259.12/257.57 c cleaning 9997 clauses out of 20077 with flag 195000/195000 278.66/277.01 c cleaning 9968 clauses out of 20082 with flag 205002/205002 302.22/300.58 c cleaning 9999 clauses out of 20114 with flag 215002/215002 321.48/319.73 c cleaning 10000 clauses out of 20113 with flag 225000/225000 334.91/333.20 c cleaning 10044 clauses out of 20114 with flag 235001/235001 350.75/348.92 c cleaning 10019 clauses out of 20069 with flag 245000/245000 364.59/362.73 c cleaning 10009 clauses out of 20051 with flag 255001/255001 374.03/372.13 c cleaning 9984 clauses out of 20045 with flag 265004/265004 384.58/382.66 c cleaning 9997 clauses out of 20057 with flag 275000/275000 396.52/394.56 c cleaning 10005 clauses out of 20061 with flag 285001/285001 416.34/414.33 c cleaning 10002 clauses out of 20061 with flag 295006/295006 434.99/432.91 c cleaning 9991 clauses out of 20054 with flag 305001/305001 463.64/461.59 c cleaning 10003 clauses out of 20063 with flag 315001/315001 475.01/472.82 c cleaning 9991 clauses out of 20060 with flag 325001/325001 486.64/484.48 c cleaning 10000 clauses out of 20068 with flag 335000/335000 500.96/498.79 c cleaning 10001 clauses out of 20069 with flag 345001/345001 514.39/512.11 c cleaning 9999 clauses out of 20068 with flag 355001/355001 529.73/527.44 c cleaning 10000 clauses out of 20068 with flag 365000/365000 545.96/543.63 c cleaning 10003 clauses out of 20069 with flag 375001/375001 562.90/560.51 c cleaning 10000 clauses out of 20066 with flag 385001/385001 573.25/570.83 c cleaning 9988 clauses out of 20065 with flag 395000/395000 582.78/580.32 c cleaning 9996 clauses out of 20079 with flag 405002/405002 593.62/591.13 c cleaning 10014 clauses out of 20081 with flag 415000/415000 618.74/616.20 c cleaning 10008 clauses out of 20068 with flag 425001/425001 642.59/640.03 c cleaning 9960 clauses out of 20059 with flag 435000/435000 667.14/664.52 c cleaning 9985 clauses out of 20100 with flag 445001/445001 681.31/678.64 c cleaning 10024 clauses out of 20117 with flag 455003/455003 693.44/690.79 c cleaning 10011 clauses out of 20092 with flag 465002/465002 710.28/707.56 c cleaning 10001 clauses out of 20079 with flag 475000/475000 728.91/726.15 c cleaning 9990 clauses out of 20100 with flag 485022/485022 755.18/752.36 c cleaning 10023 clauses out of 20089 with flag 495001/495001 786.84/783.97 c cleaning 10000 clauses out of 20065 with flag 505000/505000 810.33/807.38 c cleaning 10009 clauses out of 20066 with flag 515001/515001 832.68/829.64 c cleaning 9979 clauses out of 20056 with flag 525000/525000 864.14/861.07 c cleaning 9996 clauses out of 20079 with flag 535002/535002 893.40/890.23 c cleaning 9997 clauses out of 20082 with flag 545001/545001 924.36/921.19 c cleaning 9994 clauses out of 20084 with flag 555000/555000 954.43/951.13 c cleaning 10001 clauses out of 20090 with flag 565000/565000 984.69/981.38 c cleaning 9997 clauses out of 20089 with flag 575000/575000 1017.05/1013.64 c cleaning 10001 clauses out of 20093 with flag 585001/585001 1028.41/1025.00 c cleaning 9980 clauses out of 20091 with flag 595000/595000 1038.86/1035.33 c cleaning 9989 clauses out of 20111 with flag 605000/605000 1053.50/1049.92 c cleaning 9993 clauses out of 20122 with flag 615000/615000 1083.14/1079.53 c cleaning 10011 clauses out of 20131 with flag 625002/625002 1100.70/1097.00 c cleaning 10021 clauses out of 20118 with flag 635000/635000 1123.07/1119.35 c cleaning 10010 clauses out of 20098 with flag 645001/645001 1132.31/1128.57 c cleaning 10034 clauses out of 20089 with flag 655002/655002 1147.33/1143.51 c cleaning 10014 clauses out of 20056 with flag 665003/665003 1157.58/1153.79 c cleaning 10006 clauses out of 20039 with flag 675000/675000 1166.90/1163.03 c cleaning 10003 clauses out of 20033 with flag 685000/685000 1180.44/1176.59 c cleaning 10004 clauses out of 20031 with flag 695001/695001 1192.08/1188.15 c cleaning 9995 clauses out of 20028 with flag 705002/705002 1205.82/1201.86 c cleaning 10005 clauses out of 20031 with flag 715000/715000 1213.56/1209.52 c cleaning 10004 clauses out of 20027 with flag 725001/725001 1222.09/1218.00 c cleaning 10002 clauses out of 20023 with flag 735001/735001 1229.72/1225.61 c cleaning 10000 clauses out of 20021 with flag 745001/745001 1254.64/1250.59 c cleaning 9968 clauses out of 20020 with flag 755000/755000 1284.09/1279.87 c cleaning 9991 clauses out of 20052 with flag 765000/765000 1316.78/1312.44 c cleaning 10005 clauses out of 20064 with flag 775003/775003 1341.11/1336.71 c cleaning 9965 clauses out of 20057 with flag 785001/785001 1368.58/1364.13 c cleaning 9976 clauses out of 20094 with flag 795003/795003 1396.13/1391.60 c cleaning 9993 clauses out of 20116 with flag 805001/805001 1422.78/1418.21 c cleaning 9995 clauses out of 20123 with flag 815001/815001 1448.73/1444.15 c cleaning 9998 clauses out of 20128 with flag 825001/825001 1478.98/1474.39 c cleaning 9998 clauses out of 20131 with flag 835002/835002 1507.62/1502.95 c cleaning 10002 clauses out of 20133 with flag 845002/845002 1537.98/1533.26 c cleaning 9999 clauses out of 20130 with flag 855001/855001 1574.93/1570.12 c cleaning 10006 clauses out of 20140 with flag 865010/865010 1606.08/1601.26 c cleaning 9997 clauses out of 20124 with flag 875000/875000 1630.33/1625.43 c cleaning 10040 clauses out of 20127 with flag 885000/885000 1639.01/1634.02 c cleaning 10002 clauses out of 20087 with flag 895000/895000 1650.16/1645.14 c cleaning 10018 clauses out of 20086 with flag 905001/905001 1662.99/1657.99 c cleaning 9997 clauses out of 20073 with flag 915006/915006 1682.04/1676.97 c cleaning 9985 clauses out of 20074 with flag 925004/925004 1707.20/1702.02 c cleaning 9991 clauses out of 20086 with flag 935001/935001 1721.73/1716.55 c cleaning 10028 clauses out of 20098 with flag 945004/945004 1737.07/1731.82 c cleaning 10010 clauses out of 20066 with flag 955000/955000 1752.51/1747.23 c cleaning 10004 clauses out of 20058 with flag 965002/965002 1765.85/1760.59 c cleaning 9960 clauses out of 20053 with flag 975001/975001 1787.88/1782.56 c cleaning 9999 clauses out of 20092 with flag 985000/985000 1800.03/1794.61 c starts : 197 1800.03/1794.61 c conflicts : 991659 1800.03/1794.61 c decisions : 2664241 1800.03/1794.61 c propagations : 58229893 1800.03/1794.61 c inspects : 1160921963 1800.03/1794.61 c learnt literals : 0 1800.03/1794.61 c learnt binary clauses : 0 1800.03/1794.61 c learnt ternary clauses : 0 1800.03/1794.61 c learnt clauses : 991658 1800.03/1794.61 c ignored clauses : 0 1800.03/1794.61 c root simplifications : 0 1800.03/1794.61 c removed literals (reason simplification) : 4864590 1800.03/1794.61 c reason swapping (by a shorter reason) : 0 1800.03/1794.61 c Calls to reduceDB : 100 1800.03/1794.61 c number of reductions to clauses (during analyze) : 0 1800.03/1794.61 c number of learned constraints concerned by reduction : 0 1800.03/1794.61 c number of learning phase by resolution : 0 1800.03/1794.61 c number of learning phase by cutting planes : 0 1800.03/1794.61 c speed (assignments/second) : 33696.27523246885 1800.03/1794.61 c non guided choices 537319 1800.03/1794.62 c learnt constraints type 1800.03/1794.62 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 16755 1800.03/1794.62 c constraints type 1800.03/1794.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 105 1800.03/1794.62 c org.sat4j.minisat.constraints.card.MinWatchCard => 100 1800.03/1794.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.03/1794.62 s SATISFIABLE 1800.03/1794.64 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/1794.64 c objective function=78 1800.03/1794.64 c Total wall clock time (in seconds): 1794.546
OK 78
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691063-1277891851/watcher-2691063-1277891851 -o /tmp/evaluation-result-2691063-1277891851/solver-2691063-1277891851 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2691063-1277891851.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.85 1.97 2.14 3/178 10739 /proc/meminfo: memFree=29442500/32950904 swapFree=67111528/67111528 [pid=10739] ppid=10737 vsize=13164 CPUtime=0 /proc/10739/stat : 10739 (java) R 10737 10739 9818 0 -1 4194304 1004 0 0 0 0 0 0 0 20 0 1 0 130481823 13479936 494 4089446400 134512640 134550932 4292212528 18446744073709551615 103505917 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10739/statm: 3291 514 214 10 0 1121 0 [pid=10739/tid=10740] ppid=10737 vsize=13436 CPUtime=0 /proc/10739/task/10740/stat : 10740 (java) R 10737 10739 9818 0 -1 4202560 12 0 0 0 0 0 0 0 21 0 2 0 130481824 13758464 538 4089446400 134512640 134550932 4292212528 18446744073709551615 2807030 0 0 4096 0 0 0 0 -1 5 0 0 0 [startup+0.018596 s] /proc/loadavg: 1.85 1.97 2.14 3/178 10739 /proc/meminfo: memFree=29442500/32950904 swapFree=67111528/67111528 [pid=10739] ppid=10737 vsize=1524156 CPUtime=0 /proc/10739/stat : 10739 (java) S 10737 10739 9818 0 -1 4202496 3342 0 1 0 0 0 0 0 20 0 10 0 130481823 1560735744 2785 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/10739/statm: 381039 2786 945 10 0 378349 0 [pid=10739/tid=10740] ppid=10737 vsize=1524156 CPUtime=0 /proc/10739/task/10740/stat : 10740 (java) R 10737 10739 9818 0 -1 4202560 2292 0 1 0 0 0 0 0 23 0 10 0 130481824 1560735744 2786 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16784584 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1524156 [startup+0.100632 s] /proc/loadavg: 1.85 1.97 2.14 3/178 10739 /proc/meminfo: memFree=29442500/32950904 swapFree=67111528/67111528 [pid=10739] ppid=10737 vsize=1529860 CPUtime=0.1 /proc/10739/stat : 10739 (java) S 10737 10739 9818 0 -1 4202496 5218 0 1 0 10 0 0 0 20 0 18 0 130481823 1566576640 4655 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/10739/statm: 382465 4656 1348 10 0 379767 0 [pid=10739/tid=10740] ppid=10737 vsize=1529860 CPUtime=0.07 /proc/10739/task/10740/stat : 10740 (java) R 10737 10739 9818 0 -1 4202560 3542 0 1 0 7 0 0 0 25 0 18 0 130481824 1566576640 4656 4089446400 134512640 134550932 4292212528 18446744073709551615 104171578 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1529860 [startup+0.300551 s] /proc/loadavg: 1.85 1.97 2.14 3/178 10739 /proc/meminfo: memFree=29442500/32950904 swapFree=67111528/67111528 [pid=10739] ppid=10737 vsize=1533436 CPUtime=0.59 /proc/10739/stat : 10739 (java) S 10737 10739 9818 0 -1 4202496 11028 0 1 0 58 1 0 0 20 0 18 0 130481823 1570238464 10315 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/10739/statm: 383359 10315 1413 10 0 380661 0 [pid=10739/tid=10740] ppid=10737 vsize=1533436 CPUtime=0.27 /proc/10739/task/10740/stat : 10740 (java) R 10737 10739 9818 0 -1 4202560 8308 0 1 0 27 0 0 0 25 0 18 0 130481824 1570238464 10316 4089446400 134512640 134550932 4292212528 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 1533436 [startup+0.700482 s] /proc/loadavg: 1.85 1.97 2.14 3/178 10739 /proc/meminfo: memFree=29442500/32950904 swapFree=67111528/67111528 [pid=10739] ppid=10737 vsize=1533760 CPUtime=1.44 /proc/10739/stat : 10739 (java) S 10737 10739 9818 0 -1 4202496 12211 0 1 0 143 1 0 0 20 0 19 0 130481823 1570570240 11498 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/10739/statm: 383440 11498 1426 10 0 380742 0 [pid=10739/tid=10740] ppid=10737 vsize=1533760 CPUtime=0.67 /proc/10739/task/10740/stat : 10740 (java) R 10737 10739 9818 0 -1 4202560 9325 0 1 0 67 0 0 0 25 0 19 0 130481824 1570570240 11498 4089446400 134512640 134550932 4292212528 18446744073709551615 4109442155 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 1533760 [startup+1.50133 s] /proc/loadavg: 1.85 1.97 2.14 3/197 10758 /proc/meminfo: memFree=29398896/32950904 swapFree=67111528/67111528 [pid=10739] ppid=10737 vsize=1533760 CPUtime=2.28 /proc/10739/stat : 10739 (java) S 10737 10739 9818 0 -1 4202496 13803 0 1 0 227 1 0 0 20 0 19 0 130481823 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/10739/statm: 383440 13089 1426 10 0 380742 0 [pid=10739/tid=10740] ppid=10737 vsize=1533760 CPUtime=1.48 /proc/10739/task/10740/stat : 10740 (java) R 10737 10739 9818 0 -1 4202560 10911 0 1 0 147 1 0 0 25 0 19 0 130481824 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4109440701 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=10739/tid=10742] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10742/stat : 10742 (java) S 10737 10739 9818 0 -1 4202560 3 0 0 0 0 0 0 0 22 0 19 0 130481824 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10743] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10743/stat : 10743 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 130481825 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10744] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10744/stat : 10744 (java) S 10737 10739 9818 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 130481825 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10745] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10745/stat : 10745 (java) S 10737 10739 9818 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 130481825 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10746] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10746/stat : 10746 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 130481825 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10747] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10747/stat : 10747 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 130481825 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10748] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10748/stat : 10748 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 130481825 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10749] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10749/stat : 10749 (java) S 10737 10739 9818 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 130481825 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10750] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10750/stat : 10750 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 130481825 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10751] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10751/stat : 10751 (java) S 10737 10739 9818 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 130481826 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10752] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10752/stat : 10752 (java) S 10737 10739 9818 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 130481826 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10753] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10753/stat : 10753 (java) S 10737 10739 9818 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 130481828 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10754] ppid=10737 vsize=1533760 CPUtime=0.37 /proc/10739/task/10754/stat : 10754 (java) S 10737 10739 9818 0 -1 4202560 748 0 0 0 37 0 0 0 17 0 19 0 130481828 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10755] ppid=10737 vsize=1533760 CPUtime=0.42 /proc/10739/task/10755/stat : 10755 (java) S 10737 10739 9818 0 -1 4202560 1070 0 0 0 42 0 0 0 17 0 19 0 130481828 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10756] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10756/stat : 10756 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130481828 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 3 0 0 0 [pid=10739/tid=10757] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10757/stat : 10757 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 130481828 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10758] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10758/stat : 10758 (java) S 10737 10739 9818 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 130481856 1570570240 13089 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.28 Current children cumulated vsize (KiB) 1533760 [startup+3.10104 s] /proc/loadavg: 1.85 1.97 2.14 3/197 10758 /proc/meminfo: memFree=29388604/32950904 swapFree=67111528/67111528 [pid=10739] ppid=10737 vsize=1533760 CPUtime=3.9 /proc/10739/stat : 10739 (java) S 10737 10739 9818 0 -1 4202496 16126 0 1 0 388 2 0 0 20 0 19 0 130481823 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/10739/statm: 383440 15410 1426 10 0 380742 0 [pid=10739/tid=10740] ppid=10737 vsize=1533760 CPUtime=3.07 /proc/10739/task/10740/stat : 10740 (java) R 10737 10739 9818 0 -1 4202560 13233 0 1 0 306 1 0 0 25 0 19 0 130481824 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4109441932 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=10739/tid=10742] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10742/stat : 10742 (java) S 10737 10739 9818 0 -1 4202560 3 0 0 0 0 0 0 0 22 0 19 0 130481824 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10743] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10743/stat : 10743 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 130481825 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10744] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10744/stat : 10744 (java) S 10737 10739 9818 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 130481825 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10745] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10745/stat : 10745 (java) S 10737 10739 9818 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 130481825 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10746] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10746/stat : 10746 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 130481825 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10747] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10747/stat : 10747 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 130481825 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10748] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10748/stat : 10748 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 130481825 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10749] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10749/stat : 10749 (java) S 10737 10739 9818 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 130481825 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10750] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10750/stat : 10750 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 130481825 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10751] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10751/stat : 10751 (java) S 10737 10739 9818 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 130481826 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10752] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10752/stat : 10752 (java) S 10737 10739 9818 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 130481826 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10753] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10753/stat : 10753 (java) S 10737 10739 9818 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 130481828 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10754] ppid=10737 vsize=1533760 CPUtime=0.38 /proc/10739/task/10754/stat : 10754 (java) S 10737 10739 9818 0 -1 4202560 749 0 0 0 38 0 0 0 15 0 19 0 130481828 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10755] ppid=10737 vsize=1533760 CPUtime=0.42 /proc/10739/task/10755/stat : 10755 (java) S 10737 10739 9818 0 -1 4202560 1070 0 0 0 42 0 0 0 15 0 19 0 130481828 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10756] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10756/stat : 10756 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130481828 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 3 0 0 0 [pid=10739/tid=10757] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10757/stat : 10757 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 130481828 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10758] ppid=10737 vsize=1533760 CPUtime=0 /proc/10739/task/10758/stat : 10758 (java) S 10737 10739 9818 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 130481856 1570570240 15410 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.9 Current children cumulated vsize (KiB) 1533760 [startup+6.30047 s] /proc/loadavg: 1.86 1.97 2.14 3/197 10758 /proc/meminfo: memFree=29351888/32950904 swapFree=67111528/67111528 [pid=10739] ppid=10737 vsize=1533440 CPUtime=7.2 /proc/10739/stat : 10739 (java) S 10737 10739 9818 0 -1 4202496 23057 0 1 0 717 3 0 0 20 0 19 0 130481823 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/10739/statm: 383360 22245 1440 10 0 380662 0 [pid=10739/tid=10740] ppid=10737 vsize=1533440 CPUtime=6.25 /proc/10739/task/10740/stat : 10740 (java) R 10737 10739 9818 0 -1 4202560 14612 0 1 0 624 1 0 0 19 0 19 0 130481824 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4109440694 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=10739/tid=10742] ppid=10737 vsize=1533440 CPUtime=0 /proc/10739/task/10742/stat : 10742 (java) S 10737 10739 9818 0 -1 4202560 569 0 0 0 0 0 0 0 18 0 19 0 130481824 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10743] ppid=10737 vsize=1533440 CPUtime=0 /proc/10739/task/10743/stat : 10743 (java) S 10737 10739 9818 0 -1 4202560 1432 0 0 0 0 0 0 0 18 0 19 0 130481825 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 3 0 0 0 [pid=10739/tid=10744] ppid=10737 vsize=1533440 CPUtime=0 /proc/10739/task/10744/stat : 10744 (java) S 10737 10739 9818 0 -1 4202560 447 0 0 0 0 0 0 0 18 0 19 0 130481825 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 5 0 0 0 [pid=10739/tid=10745] ppid=10737 vsize=1533440 CPUtime=0 /proc/10739/task/10745/stat : 10745 (java) S 10737 10739 9818 0 -1 4202560 294 0 0 0 0 0 0 0 18 0 19 0 130481825 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10746] ppid=10737 vsize=1533440 CPUtime=0 /proc/10739/task/10746/stat : 10746 (java) S 10737 10739 9818 0 -1 4202560 93 0 0 0 0 0 0 0 18 0 19 0 130481825 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 3 0 0 0 [pid=10739/tid=10747] ppid=10737 vsize=1533440 CPUtime=0 /proc/10739/task/10747/stat : 10747 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 130481825 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 3 0 0 0 [pid=10739/tid=10748] ppid=10737 vsize=1533440 CPUtime=0 /proc/10739/task/10748/stat : 10748 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 130481825 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10749] ppid=10737 vsize=1533440 CPUtime=0 /proc/10739/task/10749/stat : 10749 (java) S 10737 10739 9818 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 130481825 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10750] ppid=10737 vsize=1533440 CPUtime=0.01 /proc/10739/task/10750/stat : 10750 (java) S 10737 10739 9818 0 -1 4202560 2704 0 0 0 1 0 0 0 15 0 19 0 130481825 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10751] ppid=10737 vsize=1533440 CPUtime=0 /proc/10739/task/10751/stat : 10751 (java) S 10737 10739 9818 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 130481826 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10752] ppid=10737 vsize=1533440 CPUtime=0 /proc/10739/task/10752/stat : 10752 (java) S 10737 10739 9818 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 130481826 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10753] ppid=10737 vsize=1533440 CPUtime=0 /proc/10739/task/10753/stat : 10753 (java) S 10737 10739 9818 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 130481828 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10754] ppid=10737 vsize=1533440 CPUtime=0.47 /proc/10739/task/10754/stat : 10754 (java) S 10737 10739 9818 0 -1 4202560 764 0 0 0 47 0 0 0 15 0 19 0 130481828 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10755] ppid=10737 vsize=1533440 CPUtime=0.42 /proc/10739/task/10755/stat : 10755 (java) S 10737 10739 9818 0 -1 4202560 1071 0 0 0 42 0 0 0 15 0 19 0 130481828 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10756] ppid=10737 vsize=1533440 CPUtime=0 /proc/10739/task/10756/stat : 10756 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130481828 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 3 0 0 0 [pid=10739/tid=10757] ppid=10737 vsize=1533440 CPUtime=0 /proc/10739/task/10757/stat : 10757 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 130481828 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 5 0 0 0 [pid=10739/tid=10758] ppid=10737 vsize=1533440 CPUtime=0 /proc/10739/task/10758/stat : 10758 (java) S 10737 10739 9818 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 130481856 1570242560 22245 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.2 Current children cumulated vsize (KiB) 1533440 ################ # More data... # ################ [pid=10739/tid=10747] ppid=10737 vsize=1534464 CPUtime=0.68 /proc/10739/task/10747/stat : 10747 (java) S 10737 10739 9818 0 -1 4202560 7573 0 0 0 64 4 0 0 16 0 19 0 130481825 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10748] ppid=10737 vsize=1534464 CPUtime=0.62 /proc/10739/task/10748/stat : 10748 (java) S 10737 10739 9818 0 -1 4202560 8404 0 0 0 59 3 0 0 16 0 19 0 130481825 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 2 0 0 0 [pid=10739/tid=10749] ppid=10737 vsize=1534464 CPUtime=0.63 /proc/10739/task/10749/stat : 10749 (java) S 10737 10739 9818 0 -1 4202560 7347 0 0 0 60 3 0 0 16 0 19 0 130481825 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 0 0 0 0 [pid=10739/tid=10750] ppid=10737 vsize=1534464 CPUtime=4.04 /proc/10739/task/10750/stat : 10750 (java) S 10737 10739 9818 0 -1 4202560 5696 0 0 0 402 2 0 0 15 0 19 0 130481825 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446604470871276608 0 0 -1 6 0 0 0 [pid=10739/tid=10751] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10751/stat : 10751 (java) S 10737 10739 9818 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 130481826 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10752] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10752/stat : 10752 (java) S 10737 10739 9818 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 130481826 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10753] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10753/stat : 10753 (java) S 10737 10739 9818 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 130481828 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10754] ppid=10737 vsize=1534464 CPUtime=0.51 /proc/10739/task/10754/stat : 10754 (java) S 10737 10739 9818 0 -1 4202560 772 0 0 0 51 0 0 0 15 0 19 0 130481828 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10755] ppid=10737 vsize=1534464 CPUtime=0.49 /proc/10739/task/10755/stat : 10755 (java) S 10737 10739 9818 0 -1 4202560 1080 0 0 0 49 0 0 0 15 0 19 0 130481828 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10756] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10756/stat : 10756 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130481828 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 3 0 0 0 [pid=10739/tid=10757] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10757/stat : 10757 (java) S 10737 10739 9818 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 130481828 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10758] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10758/stat : 10758 (java) S 10737 10739 9818 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 130481856 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1667.44 Current children cumulated vsize (KiB) 1534464 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10841 /proc/meminfo: memFree=29607940/32950904 swapFree=67111528/67111528 [pid=10739] ppid=10737 vsize=1534464 CPUtime=1727.57 /proc/10739/stat : 10739 (java) S 10737 10739 9818 0 -1 4202496 97342 0 1 0 172717 40 0 0 20 0 19 0 130481823 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/10739/statm: 383616 90702 1442 10 0 380918 0 [pid=10739/tid=10740] ppid=10737 vsize=1534464 CPUtime=1717.16 /proc/10739/task/10740/stat : 10740 (java) R 10737 10739 9818 0 -1 4202560 32168 0 1 0 171711 5 0 0 25 0 19 0 130481824 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4109451735 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=10739/tid=10742] ppid=10737 vsize=1534464 CPUtime=0.63 /proc/10739/task/10742/stat : 10742 (java) S 10737 10739 9818 0 -1 4202560 7765 0 0 0 59 4 0 0 15 0 19 0 130481824 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 2 0 0 0 [pid=10739/tid=10743] ppid=10737 vsize=1534464 CPUtime=0.68 /proc/10739/task/10743/stat : 10743 (java) S 10737 10739 9818 0 -1 4202560 8665 0 0 0 64 4 0 0 15 0 19 0 130481825 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 3 0 0 0 [pid=10739/tid=10744] ppid=10737 vsize=1534464 CPUtime=0.49 /proc/10739/task/10744/stat : 10744 (java) S 10737 10739 9818 0 -1 4202560 3108 0 0 0 47 2 0 0 16 0 19 0 130481825 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 2 0 0 0 [pid=10739/tid=10745] ppid=10737 vsize=1534464 CPUtime=0.64 /proc/10739/task/10745/stat : 10745 (java) S 10737 10739 9818 0 -1 4202560 6614 0 0 0 61 3 0 0 15 0 19 0 130481825 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10746] ppid=10737 vsize=1534464 CPUtime=0.65 /proc/10739/task/10746/stat : 10746 (java) S 10737 10739 9818 0 -1 4202560 6981 0 0 0 61 4 0 0 15 0 19 0 130481825 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 0 0 0 0 [pid=10739/tid=10747] ppid=10737 vsize=1534464 CPUtime=0.7 /proc/10739/task/10747/stat : 10747 (java) S 10737 10739 9818 0 -1 4202560 7573 0 0 0 66 4 0 0 15 0 19 0 130481825 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10748] ppid=10737 vsize=1534464 CPUtime=0.65 /proc/10739/task/10748/stat : 10748 (java) S 10737 10739 9818 0 -1 4202560 8404 0 0 0 62 3 0 0 15 0 19 0 130481825 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 0 0 0 0 [pid=10739/tid=10749] ppid=10737 vsize=1534464 CPUtime=0.66 /proc/10739/task/10749/stat : 10749 (java) S 10737 10739 9818 0 -1 4202560 7347 0 0 0 63 3 0 0 15 0 19 0 130481825 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 5 0 0 0 [pid=10739/tid=10750] ppid=10737 vsize=1534464 CPUtime=4.2 /proc/10739/task/10750/stat : 10750 (java) S 10737 10739 9818 0 -1 4202560 5700 0 0 0 418 2 0 0 15 0 19 0 130481825 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446604470871276608 0 0 -1 6 0 0 0 [pid=10739/tid=10751] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10751/stat : 10751 (java) S 10737 10739 9818 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 130481826 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10752] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10752/stat : 10752 (java) S 10737 10739 9818 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 130481826 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10753] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10753/stat : 10753 (java) S 10737 10739 9818 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 130481828 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10754] ppid=10737 vsize=1534464 CPUtime=0.51 /proc/10739/task/10754/stat : 10754 (java) S 10737 10739 9818 0 -1 4202560 772 0 0 0 51 0 0 0 15 0 19 0 130481828 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10755] ppid=10737 vsize=1534464 CPUtime=0.49 /proc/10739/task/10755/stat : 10755 (java) S 10737 10739 9818 0 -1 4202560 1080 0 0 0 49 0 0 0 15 0 19 0 130481828 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10756] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10756/stat : 10756 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130481828 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 3 0 0 0 [pid=10739/tid=10757] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10757/stat : 10757 (java) S 10737 10739 9818 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 130481828 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10758] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10758/stat : 10758 (java) S 10737 10739 9818 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 130481856 1571291136 90702 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1727.57 Current children cumulated vsize (KiB) 1534464 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10842 /proc/meminfo: memFree=29543156/32950904 swapFree=67111528/67111528 [pid=10739] ppid=10737 vsize=1534464 CPUtime=1787.68 /proc/10739/stat : 10739 (java) S 10737 10739 9818 0 -1 4202496 97352 0 1 0 178728 40 0 0 20 0 19 0 130481823 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/10739/statm: 383616 90703 1442 10 0 380918 0 [pid=10739/tid=10740] ppid=10737 vsize=1534464 CPUtime=1776.98 /proc/10739/task/10740/stat : 10740 (java) R 10737 10739 9818 0 -1 4202560 32171 0 1 0 177693 5 0 0 25 0 19 0 130481824 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4109451168 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10739/tid=10742] ppid=10737 vsize=1534464 CPUtime=0.65 /proc/10739/task/10742/stat : 10742 (java) S 10737 10739 9818 0 -1 4202560 7765 0 0 0 61 4 0 0 16 0 19 0 130481824 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 2 0 0 0 [pid=10739/tid=10743] ppid=10737 vsize=1534464 CPUtime=0.69 /proc/10739/task/10743/stat : 10743 (java) S 10737 10739 9818 0 -1 4202560 8666 0 0 0 65 4 0 0 16 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 5 0 0 0 [pid=10739/tid=10744] ppid=10737 vsize=1534464 CPUtime=0.51 /proc/10739/task/10744/stat : 10744 (java) S 10737 10739 9818 0 -1 4202560 3108 0 0 0 49 2 0 0 15 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 0 0 0 0 [pid=10739/tid=10745] ppid=10737 vsize=1534464 CPUtime=0.66 /proc/10739/task/10745/stat : 10745 (java) S 10737 10739 9818 0 -1 4202560 6614 0 0 0 63 3 0 0 15 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10746] ppid=10737 vsize=1534464 CPUtime=0.66 /proc/10739/task/10746/stat : 10746 (java) S 10737 10739 9818 0 -1 4202560 6981 0 0 0 62 4 0 0 15 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 0 0 0 0 [pid=10739/tid=10747] ppid=10737 vsize=1534464 CPUtime=0.72 /proc/10739/task/10747/stat : 10747 (java) S 10737 10739 9818 0 -1 4202560 7573 0 0 0 68 4 0 0 15 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10748] ppid=10737 vsize=1534464 CPUtime=0.66 /proc/10739/task/10748/stat : 10748 (java) S 10737 10739 9818 0 -1 4202560 8404 0 0 0 63 3 0 0 15 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 3 0 0 0 [pid=10739/tid=10749] ppid=10737 vsize=1534464 CPUtime=0.67 /proc/10739/task/10749/stat : 10749 (java) S 10737 10739 9818 0 -1 4202560 7347 0 0 0 64 3 0 0 15 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 3 0 0 0 [pid=10739/tid=10750] ppid=10737 vsize=1534464 CPUtime=4.35 /proc/10739/task/10750/stat : 10750 (java) S 10737 10739 9818 0 -1 4202560 5702 0 0 0 433 2 0 0 15 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446604470871276608 0 0 -1 6 0 0 0 [pid=10739/tid=10751] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10751/stat : 10751 (java) S 10737 10739 9818 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 130481826 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10752] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10752/stat : 10752 (java) S 10737 10739 9818 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 130481826 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10753] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10753/stat : 10753 (java) S 10737 10739 9818 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 130481828 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10754] ppid=10737 vsize=1534464 CPUtime=0.51 /proc/10739/task/10754/stat : 10754 (java) S 10737 10739 9818 0 -1 4202560 772 0 0 0 51 0 0 0 15 0 19 0 130481828 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10755] ppid=10737 vsize=1534464 CPUtime=0.49 /proc/10739/task/10755/stat : 10755 (java) S 10737 10739 9818 0 -1 4202560 1080 0 0 0 49 0 0 0 15 0 19 0 130481828 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10756] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10756/stat : 10756 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130481828 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 3 0 0 0 [pid=10739/tid=10757] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10757/stat : 10757 (java) S 10737 10739 9818 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 130481828 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10758] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10758/stat : 10758 (java) S 10737 10739 9818 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 130481856 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1787.68 Current children cumulated vsize (KiB) 1534464 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.6 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10843 /proc/meminfo: memFree=29533228/32950904 swapFree=67111528/67111528 [pid=10739] ppid=10737 vsize=1534464 CPUtime=1800.03 /proc/10739/stat : 10739 (java) S 10737 10739 9818 0 -1 4202496 97355 0 1 0 179963 40 0 0 20 0 19 0 130481823 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/10739/statm: 383616 90703 1442 10 0 380918 0 [pid=10739/tid=10740] ppid=10737 vsize=1534464 CPUtime=1789.21 /proc/10739/task/10740/stat : 10740 (java) R 10737 10739 9818 0 -1 4202560 32172 0 1 0 178916 5 0 0 25 0 19 0 130481824 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4109352890 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=10739/tid=10742] ppid=10737 vsize=1534464 CPUtime=0.66 /proc/10739/task/10742/stat : 10742 (java) S 10737 10739 9818 0 -1 4202560 7765 0 0 0 62 4 0 0 16 0 19 0 130481824 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 0 0 0 0 [pid=10739/tid=10743] ppid=10737 vsize=1534464 CPUtime=0.7 /proc/10739/task/10743/stat : 10743 (java) S 10737 10739 9818 0 -1 4202560 8666 0 0 0 66 4 0 0 16 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 5 0 0 0 [pid=10739/tid=10744] ppid=10737 vsize=1534464 CPUtime=0.52 /proc/10739/task/10744/stat : 10744 (java) S 10737 10739 9818 0 -1 4202560 3108 0 0 0 50 2 0 0 16 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 0 0 0 0 [pid=10739/tid=10745] ppid=10737 vsize=1534464 CPUtime=0.67 /proc/10739/task/10745/stat : 10745 (java) S 10737 10739 9818 0 -1 4202560 6614 0 0 0 64 3 0 0 16 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10746] ppid=10737 vsize=1534464 CPUtime=0.67 /proc/10739/task/10746/stat : 10746 (java) S 10737 10739 9818 0 -1 4202560 6981 0 0 0 63 4 0 0 15 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 2 0 0 0 [pid=10739/tid=10747] ppid=10737 vsize=1534464 CPUtime=0.73 /proc/10739/task/10747/stat : 10747 (java) S 10737 10739 9818 0 -1 4202560 7573 0 0 0 69 4 0 0 16 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10748] ppid=10737 vsize=1534464 CPUtime=0.67 /proc/10739/task/10748/stat : 10748 (java) S 10737 10739 9818 0 -1 4202560 8404 0 0 0 64 3 0 0 15 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 3 0 0 0 [pid=10739/tid=10749] ppid=10737 vsize=1534464 CPUtime=0.67 /proc/10739/task/10749/stat : 10749 (java) S 10737 10739 9818 0 -1 4202560 7347 0 0 0 64 3 0 0 15 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 3 0 0 0 [pid=10739/tid=10750] ppid=10737 vsize=1534464 CPUtime=4.42 /proc/10739/task/10750/stat : 10750 (java) S 10737 10739 9818 0 -1 4202560 5704 0 0 0 440 2 0 0 15 0 19 0 130481825 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 0 0 16800975 18446604470871276608 0 0 -1 6 0 0 0 [pid=10739/tid=10751] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10751/stat : 10751 (java) S 10737 10739 9818 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 130481826 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10752] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10752/stat : 10752 (java) S 10737 10739 9818 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 130481826 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 4 0 0 0 [pid=10739/tid=10753] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10753/stat : 10753 (java) S 10737 10739 9818 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 130481828 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10754] ppid=10737 vsize=1534464 CPUtime=0.51 /proc/10739/task/10754/stat : 10754 (java) S 10737 10739 9818 0 -1 4202560 772 0 0 0 51 0 0 0 15 0 19 0 130481828 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 1 0 0 0 [pid=10739/tid=10755] ppid=10737 vsize=1534464 CPUtime=0.49 /proc/10739/task/10755/stat : 10755 (java) S 10737 10739 9818 0 -1 4202560 1080 0 0 0 49 0 0 0 15 0 19 0 130481828 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10756] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10756/stat : 10756 (java) S 10737 10739 9818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 130481828 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 3 0 0 0 [pid=10739/tid=10757] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10757/stat : 10757 (java) S 10737 10739 9818 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 130481828 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 7 0 0 0 [pid=10739/tid=10758] ppid=10737 vsize=1534464 CPUtime=0 /proc/10739/task/10758/stat : 10758 (java) S 10737 10739 9818 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 130481856 1571291136 90703 4089446400 134512640 134550932 4292212528 18446744073709551615 4294960144 0 4 0 16800975 18446604470871276608 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1534464 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1794.68 CPU time (s): 1800.21 CPU user time (s): 1799.78 CPU system time (s): 0.424935 CPU usage (%): 100.308 Max. virtual memory (cumulated for all children) (KiB): 1534464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 0.424935 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97380 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= 39979 involuntary context switches= 47311 runsolver used 3.03354 second user time and 6.77097 second system time The end
Begin job on node121 at 2010-06-30 11:57:31 IDJOB=2691063 IDBENCH=78710 IDSOLVER=1202 FILE ID=node121/2691063-1277891851 PBS_JOBID= 11197111 Free space on /tmp= 74208 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100--soft-66-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-2691063-1277891851/watcher-2691063-1277891851 -o /tmp/evaluation-result-2691063-1277891851/solver-2691063-1277891851 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2691063-1277891851.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 877b894215c8e906897b9f5c7b76fab3 RANDOM SEED=9976007 node121.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.876 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.75 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.876 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 : 5226.23 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.876 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.876 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.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 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.876 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.75 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.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 29443028 kB Buffers: 173560 kB Cached: 1091956 kB SwapCached: 0 kB Active: 2576684 kB Inactive: 783084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 29443028 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 540 kB Writeback: 0 kB AnonPages: 2094376 kB Mapped: 16080 kB Slab: 80244 kB PageTables: 8244 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 2262320 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= 74208 MiB End job on node121 at 2010-06-30 12:27:28