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