Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 1800.32 | 1797.61 |
Name | /OPT-BIGINT-LIN/heinz/ normalized-ns1685374.opb |
MD5SUM | 50acc4afebeb32cddb95c5011f072af8 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -13 |
Best CPU time to get the best result obtained on this benchmark | 163.851 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 10000 |
Total number of constraints | 43295 |
Number of constraints which are clauses | 9074 |
Number of constraints which are cardinality constraints (but not clauses) | 200 |
Number of constraints which are nor clauses,nor cardinality constraints | 34021 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 97 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1000000000 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 2000000032 |
Number of bits of the biggest sum of numbers | 31 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.06/0.21 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.21 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.21 c See www.sat4j.org for details. 0.06/0.21 c version 2.3.1.v20110525 0.06/0.21 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.21 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.21 c java.vm.version 19.1-b02 0.06/0.21 c java.vm.vendor Sun Microsystems Inc. 0.06/0.21 c sun.arch.data.model 64 0.06/0.21 c java.version 1.6.0_24 0.06/0.21 c os.name Linux 0.06/0.21 c os.version 2.6.18-164.el5 0.06/0.21 c os.arch amd64 0.06/0.21 c Free memory 12995394264 0.06/0.21 c Max memory 13063553024 0.06/0.21 c Total memory 13063553024 0.06/0.21 c Number of processors 8 0.06/0.24 c Pseudo Boolean Optimization 0.06/0.24 c --- Begin Solver configuration --- 0.06/0.24 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.06/0.24 c Learn all clauses as in MiniSAT 0.06/0.24 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.24 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.24 c Expensive reason simplification 0.06/0.24 c Armin Biere (Picosat) restarts strategy 0.06/0.24 c Glucose learned constraints deletion strategy 0.06/0.24 c timeout=2147483s 0.06/0.24 c DB Simplification allowed=false 0.06/0.24 c --- End Solver configuration --- 0.06/0.24 c solving HOME/instance-3479339-1307449646.opb 0.06/0.24 c reading problem ... 2.23/1.89 c ... done. Wall clock time 1.65s. 2.23/1.89 c #vars 10000 2.23/1.89 c #constraints 44221 2.23/1.89 c constraints type 2.23/1.89 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9170 2.23/1.89 c org.sat4j.minisat.constraints.cnf.UnitClauses => 100 2.23/1.89 c org.sat4j.minisat.constraints.card.MinWatchCard => 34021 2.23/1.89 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4 2.23/1.89 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100 5.76/4.99 c SATISFIABLE 5.76/4.99 c OPTIMIZING... 5.76/4.99 c Got one! Elapsed wall clock time (in seconds):4.756 5.86/5.04 o -8 11.24/10.43 c cleaning 2580 clauses out of 5160 with flag 3025/5161 15.72/14.87 c cleaning 4261 clauses out of 8555 with flag 9000/11136 20.03/19.12 c cleaning 5641 clauses out of 11295 with flag 16001/18137 25.25/24.31 c cleaning 6827 clauses out of 13653 with flag 24000/26136 30.71/29.78 c cleaning 7911 clauses out of 15826 with flag 33000/35136 37.50/36.55 c cleaning 8930 clauses out of 17919 with flag 43004/45140 43.82/42.86 c cleaning 9977 clauses out of 19985 with flag 54000/56136 52.62/51.71 c cleaning 10925 clauses out of 22008 with flag 66000/68136 61.61/60.68 c cleaning 12039 clauses out of 24083 with flag 79000/81136 73.32/72.30 c cleaning 12968 clauses out of 26044 with flag 93000/95136 82.13/81.18 c cleaning 13960 clauses out of 28076 with flag 108000/110136 92.74/91.76 c cleaning 15060 clauses out of 30124 with flag 124008/126144 102.46/101.44 c cleaning 15991 clauses out of 32063 with flag 141007/143143 114.17/113.19 c cleaning 17038 clauses out of 34081 with flag 159016/161152 128.07/127.03 c cleaning 18015 clauses out of 36034 with flag 178007/180143 144.19/143.13 c cleaning 18991 clauses out of 38012 with flag 198000/200136 159.69/158.62 c cleaning 20010 clauses out of 40023 with flag 219002/221138 176.60/175.58 c cleaning 20974 clauses out of 42015 with flag 241004/243140 187.31/186.26 c cleaning 22013 clauses out of 44037 with flag 264000/266136 203.72/202.60 c cleaning 23002 clauses out of 46025 with flag 288001/290137 216.94/215.88 c cleaning 23968 clauses out of 48022 with flag 313000/315136 234.15/233.07 c cleaning 25008 clauses out of 50075 with flag 339021/341157 251.17/250.05 c cleaning 25968 clauses out of 52046 with flag 366000/368136 269.19/268.09 c cleaning 27037 clauses out of 54078 with flag 394000/396136 286.91/285.73 c cleaning 27980 clauses out of 56041 with flag 423000/425136 305.72/304.54 c cleaning 28984 clauses out of 58068 with flag 453007/455143 324.23/323.08 c cleaning 30003 clauses out of 60077 with flag 484000/486136 342.55/341.35 c cleaning 30992 clauses out of 62074 with flag 516000/518136 369.96/368.78 c cleaning 32015 clauses out of 64091 with flag 549009/551145 387.18/385.99 c cleaning 32973 clauses out of 66067 with flag 583000/585136 407.52/406.25 c cleaning 33987 clauses out of 68094 with flag 618000/620136 432.14/430.81 c cleaning 35013 clauses out of 70107 with flag 654000/656136 455.45/454.10 c cleaning 36012 clauses out of 72094 with flag 691000/693136 484.47/483.16 c cleaning 37010 clauses out of 74089 with flag 729007/731143 519.01/517.67 c cleaning 38066 clauses out of 76133 with flag 768061/770197 547.14/545.73 c cleaning 38956 clauses out of 78007 with flag 808001/810137 570.76/569.36 c cleaning 40011 clauses out of 80050 with flag 849000/851136 593.99/592.59 c cleaning 40952 clauses out of 82039 with flag 891000/893136 620.82/619.37 c cleaning 41968 clauses out of 84087 with flag 934000/936136 648.13/646.71 c cleaning 43008 clauses out of 86119 with flag 978000/980136 676.75/675.20 c cleaning 43517 clauses out of 87123 with flag 1022012/1024148 703.39/701.89 c cleaning 43781 clauses out of 87594 with flag 1066000/1068136 727.89/726.35 c cleaning 43868 clauses out of 87814 with flag 1110001/1112137 750.22/748.69 c cleaning 43921 clauses out of 87945 with flag 1154000/1156136 772.33/770.78 c cleaning 43973 clauses out of 88024 with flag 1198000/1200136 792.75/791.13 c cleaning 43970 clauses out of 88051 with flag 1242000/1244136 811.57/809.93 c cleaning 44000 clauses out of 88081 with flag 1286000/1288136 830.28/828.66 c cleaning 44011 clauses out of 88083 with flag 1330002/1332138 857.00/855.38 c cleaning 43979 clauses out of 88070 with flag 1374000/1376136 889.12/887.43 c cleaning 43990 clauses out of 88091 with flag 1418000/1420136 921.04/919.34 c cleaning 44000 clauses out of 88102 with flag 1462001/1464137 951.57/949.80 c cleaning 44011 clauses out of 88119 with flag 1506018/1508154 988.29/986.51 c cleaning 44028 clauses out of 88090 with flag 1550000/1552136 1019.92/1018.18 c cleaning 43989 clauses out of 88062 with flag 1594000/1596136 1047.25/1045.43 c cleaning 43970 clauses out of 88073 with flag 1638000/1640136 1076.78/1074.99 c cleaning 43997 clauses out of 88103 with flag 1682000/1684136 1105.30/1103.48 c cleaning 44019 clauses out of 88111 with flag 1726005/1728141 1130.93/1129.05 c cleaning 44004 clauses out of 88087 with flag 1770000/1772136 1160.27/1158.35 c cleaning 44041 clauses out of 88094 with flag 1814011/1816147 1187.69/1185.81 c cleaning 44008 clauses out of 88058 with flag 1858016/1860152 1212.80/1210.87 c cleaning 43954 clauses out of 88034 with flag 1902000/1904136 1236.92/1234.97 c cleaning 43975 clauses out of 88081 with flag 1946001/1948137 1260.65/1258.61 c cleaning 44048 clauses out of 88105 with flag 1990000/1992136 1287.68/1285.66 c cleaning 43990 clauses out of 88057 with flag 2034000/2036136 1315.21/1313.10 c cleaning 44030 clauses out of 88072 with flag 2078005/2080141 1341.98/1339.88 c cleaning 44002 clauses out of 88037 with flag 2122000/2124136 1365.39/1363.25 c cleaning 43992 clauses out of 88035 with flag 2166000/2168136 1390.34/1388.15 c cleaning 43996 clauses out of 88043 with flag 2210000/2212136 1414.84/1412.67 c cleaning 44008 clauses out of 88060 with flag 2254013/2256149 1437.68/1435.48 c cleaning 43995 clauses out of 88039 with flag 2298000/2300136 1459.29/1457.08 c cleaning 43997 clauses out of 88044 with flag 2342000/2344136 1479.53/1477.24 c cleaning 43998 clauses out of 88047 with flag 2386000/2388136 1497.63/1495.35 c cleaning 44001 clauses out of 88049 with flag 2430000/2432136 1514.54/1512.22 c cleaning 44002 clauses out of 88048 with flag 2474000/2476136 1529.56/1527.28 c cleaning 44020 clauses out of 88046 with flag 2518000/2520136 1547.97/1545.70 c cleaning 43999 clauses out of 88025 with flag 2562000/2564136 1579.49/1577.15 c cleaning 43971 clauses out of 88028 with flag 2606002/2608138 1606.14/1603.72 c cleaning 43984 clauses out of 88055 with flag 2650000/2652136 1632.67/1630.24 c cleaning 44001 clauses out of 88078 with flag 2694007/2696143 1663.28/1660.90 c cleaning 43993 clauses out of 88070 with flag 2738000/2740136 1691.49/1689.04 c cleaning 43969 clauses out of 88077 with flag 2782000/2784136 1731.31/1728.85 c cleaning 44033 clauses out of 88108 with flag 2826000/2828136 1751.15/1748.63 c cleaning 43968 clauses out of 88075 with flag 2870000/2872136 1765.80/1763.31 c cleaning 43975 clauses out of 88107 with flag 2914000/2916136 1795.39/1792.90 c cleaning 44000 clauses out of 88132 with flag 2958000/2960136 1800.06/1797.44 c starts : 232 1800.06/1797.44 c conflicts : 2966554 1800.06/1797.44 c decisions : 4683293 1800.06/1797.44 c propagations : 741705577 1800.06/1797.44 c inspects : 17663856388 1800.06/1797.44 c shortcuts : 0 1800.06/1797.44 c learnt literals : 2 1800.06/1797.44 c learnt binary clauses : 217 1800.06/1797.44 c learnt ternary clauses : 1390 1800.06/1797.44 c learnt constraints : 2966552 1800.06/1797.44 c ignored constraints : 0 1800.06/1797.44 c root simplifications : 0 1800.06/1797.44 c removed literals (reason simplification) : 42410658 1800.06/1797.44 c reason swapping (by a shorter reason) : 0 1800.06/1797.44 c Calls to reduceDB : 85 1800.06/1797.44 c number of reductions to clauses (during analyze) : 0 1800.06/1797.44 c number of learned constraints concerned by reduction : 0 1800.06/1797.44 c number of learning phase by resolution : 0 1800.06/1797.44 c number of learning phase by cutting planes : 0 1800.06/1797.44 c speed (assignments/second) : 413804.7863066662 1800.06/1797.44 c non guided choices 1042 1800.06/1797.46 c learnt constraints type 1800.06/1797.46 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 217 1800.06/1797.46 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 50358 1800.06/1797.46 c constraints type 1800.06/1797.46 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9170 1800.06/1797.46 c org.sat4j.minisat.constraints.cnf.UnitClauses => 100 1800.06/1797.46 c org.sat4j.minisat.constraints.card.MinWatchCard => 34022 1800.06/1797.46 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4 1800.06/1797.46 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100 1800.06/1797.46 s SATISFIABLE 1800.06/1797.47 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 1800.06/1797.48 c objective function=-8 1800.06/1797.48 c Total wall clock time (in seconds): 1797.245
OK -8
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3479339-1307449646/watcher-3479339-1307449646 -o /tmp/evaluation-result-3479339-1307449646/solver-3479339-1307449646 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3479339-1307449646.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.08 1.04 1.25 2/508 30155 /proc/meminfo: memFree=19020408/32951124 swapFree=65259120/67111528 [pid=30155] ppid=30153 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/30155/stat : 30155 (java) D 30153 30155 29279 0 -1 4202496 462 0 3 0 0 0 0 0 21 0 1 0 837380736 23580672 208 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255101806357 0 0 4096 0 18446744071562234166 0 0 17 3 0 0 0 /proc/30155/statm: 5757 208 163 9 0 124 0 [startup+0.0442301 s] /proc/loadavg: 1.08 1.04 1.25 2/508 30155 /proc/meminfo: memFree=19020408/32951124 swapFree=65259120/67111528 [pid=30155] ppid=30153 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/30155/stat : 30155 (java) D 30153 30155 29279 0 -1 4202496 1013 0 35 0 0 0 0 0 18 0 1 0 837380736 23580672 791 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 47313712878352 0 0 4096 0 18446744071562234166 0 0 17 3 0 0 3 /proc/30155/statm: 5757 791 587 9 0 124 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23028 [startup+0.101174 s] /proc/loadavg: 1.08 1.04 1.25 2/508 30155 /proc/meminfo: memFree=19020408/32951124 swapFree=65259120/67111528 [pid=30155] ppid=30153 vsize=13526316 CPUtime=0.01 cores=1,3,5,7 /proc/30155/stat : 30155 (java) S 30153 30155 29279 0 -1 4202496 9374 0 46 0 0 1 0 0 18 0 2 0 837380736 13850947584 9120 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 4 /proc/30155/statm: 3381579 9141 917 9 0 3372735 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13526316 [startup+0.304101 s] /proc/loadavg: 1.08 1.04 1.25 2/508 30155 /proc/meminfo: memFree=19020408/32951124 swapFree=65259120/67111528 [pid=30155] ppid=30153 vsize=13622676 CPUtime=0.22 cores=1,3,5,7 /proc/30155/stat : 30155 (java) S 30153 30155 29279 0 -1 4202496 16308 0 61 0 20 2 0 0 18 0 18 0 837380736 13949620224 16033 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 4 /proc/30155/statm: 3405669 16033 2169 9 0 3396403 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 13622676 [startup+0.701093 s] /proc/loadavg: 1.08 1.04 1.25 2/508 30155 /proc/meminfo: memFree=19020408/32951124 swapFree=65259120/67111528 [pid=30155] ppid=30153 vsize=13628336 CPUtime=1.01 cores=1,3,5,7 /proc/30155/stat : 30155 (java) S 30153 30155 29279 0 -1 4202496 131142 0 61 0 85 16 0 0 18 0 18 0 837380736 13955416064 129494 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 4 /proc/30155/statm: 3407084 129514 2210 9 0 3397818 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 13628336 [startup+1.50093 s] /proc/loadavg: 1.08 1.04 1.25 3/546 30196 /proc/meminfo: memFree=17521544/32951124 swapFree=65259120/67111528 [pid=30155] ppid=30153 vsize=13628336 CPUtime=1.92 cores=1,3,5,7 /proc/30155/stat : 30155 (java) S 30153 30155 29279 0 -1 4202496 563669 0 61 0 127 65 0 0 18 0 18 0 837380736 13955416064 561794 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 4 /proc/30155/statm: 3407084 561818 2214 9 0 3397818 0 [pid=30155/tid=30157] ppid=30153 vsize=13628336 CPUtime=1.35 cores=1,3,5,7 /proc/30155/task/30157/stat : 30157 (java) R 30153 30155 29279 0 -1 4202560 557971 0 23 0 71 64 0 0 19 0 18 0 837380741 13955416064 561830 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 46912505698837 0 4 0 16800975 0 0 0 -1 3 0 0 7 [pid=30155/tid=30158] ppid=30153 vsize=13628336 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30158/stat : 30158 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 837380747 13955416064 561844 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30159] ppid=30153 vsize=13628336 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30159/stat : 30159 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 837380747 13955416064 561858 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30160] ppid=30153 vsize=13628336 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30160/stat : 30160 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 837380747 13955416064 561873 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30161] ppid=30153 vsize=13628336 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30161/stat : 30161 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 837380747 13955416064 561887 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30162] ppid=30153 vsize=13628336 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30162/stat : 30162 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 837380747 13955416064 561899 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30163] ppid=30153 vsize=13628336 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30163/stat : 30163 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 837380747 13955416064 561916 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30164] ppid=30153 vsize=13628336 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30164/stat : 30164 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 837380747 13955416064 561928 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30165] ppid=30153 vsize=13628336 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30165/stat : 30165 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 837380747 13955416064 561942 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30166] ppid=30153 vsize=13628336 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30166/stat : 30166 (java) S 30153 30155 29279 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 837380749 13955416064 561957 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 0 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30167] ppid=30153 vsize=13628336 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30167/stat : 30167 (java) S 30153 30155 29279 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 837380749 13955416064 561971 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30168] ppid=30153 vsize=13628336 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30168/stat : 30168 (java) S 30153 30155 29279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 837380749 13955416064 561985 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30176] ppid=30153 vsize=13628336 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30176/stat : 30176 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 837380754 13955416064 561999 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118592433 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30177] ppid=30153 vsize=13628336 CPUtime=0.27 cores=1,3,5,7 /proc/30155/task/30177/stat : 30177 (java) S 30153 30155 29279 0 -1 4202560 1649 0 0 0 27 0 0 0 15 0 18 0 837380754 13955416064 562014 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 7 0 0 0 [pid=30155/tid=30178] ppid=30153 vsize=13628336 CPUtime=0.28 cores=1,3,5,7 /proc/30155/task/30178/stat : 30178 (java) S 30153 30155 29279 0 -1 4202560 2972 0 1 0 28 0 0 0 16 0 18 0 837380754 13955416064 562027 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30179] ppid=30153 vsize=13628336 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30179/stat : 30179 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 837380754 13955416064 562040 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30180] ppid=30153 vsize=13628336 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30180/stat : 30180 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 837380754 13955416064 562055 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.92 Current children cumulated vsize (KiB) 13628336 [startup+3.10065 s] /proc/loadavg: 1.08 1.04 1.25 3/547 30197 /proc/meminfo: memFree=13183204/32951124 swapFree=65259120/67111528 [pid=30155] ppid=30153 vsize=13629364 CPUtime=3.88 cores=1,3,5,7 /proc/30155/stat : 30155 (java) S 30153 30155 29279 0 -1 4202496 721649 0 61 0 306 82 0 0 18 0 19 0 837380736 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 4 /proc/30155/statm: 3407341 718066 2235 9 0 3398075 0 [pid=30155/tid=30157] ppid=30153 vsize=13629364 CPUtime=2.96 cores=1,3,5,7 /proc/30155/task/30157/stat : 30157 (java) R 30153 30155 29279 0 -1 4202560 714116 0 23 0 215 81 0 0 25 0 19 0 837380741 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 46912505835235 0 4 0 16800975 0 0 0 -1 3 0 0 7 [pid=30155/tid=30158] ppid=30153 vsize=13629364 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30158/stat : 30158 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 837380747 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30159] ppid=30153 vsize=13629364 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30159/stat : 30159 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380747 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30160] ppid=30153 vsize=13629364 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30160/stat : 30160 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380747 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30161] ppid=30153 vsize=13629364 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30161/stat : 30161 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380747 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30162] ppid=30153 vsize=13629364 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30162/stat : 30162 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380747 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30163] ppid=30153 vsize=13629364 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30163/stat : 30163 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380747 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30164] ppid=30153 vsize=13629364 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30164/stat : 30164 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380747 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30165] ppid=30153 vsize=13629364 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30165/stat : 30165 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380747 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30166] ppid=30153 vsize=13629364 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30166/stat : 30166 (java) S 30153 30155 29279 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 837380749 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 0 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30167] ppid=30153 vsize=13629364 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30167/stat : 30167 (java) S 30153 30155 29279 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 837380749 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30168] ppid=30153 vsize=13629364 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30168/stat : 30168 (java) S 30153 30155 29279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 837380749 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30176] ppid=30153 vsize=13629364 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30176/stat : 30176 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380754 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118592433 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30177] ppid=30153 vsize=13629364 CPUtime=0.44 cores=1,3,5,7 /proc/30155/task/30177/stat : 30177 (java) S 30153 30155 29279 0 -1 4202560 1698 0 0 0 44 0 0 0 15 0 19 0 837380754 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 7 0 0 0 [pid=30155/tid=30178] ppid=30153 vsize=13629364 CPUtime=0.47 cores=1,3,5,7 /proc/30155/task/30178/stat : 30178 (java) S 30153 30155 29279 0 -1 4202560 4710 0 1 0 47 0 0 0 15 0 19 0 837380754 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30179] ppid=30153 vsize=13629364 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30179/stat : 30179 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 837380754 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30180] ppid=30153 vsize=13629364 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30180/stat : 30180 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 837380754 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30197] ppid=30153 vsize=13629364 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30197/stat : 30197 (java) S 30153 30155 29279 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 837380927 13956468736 718066 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.88 Current children cumulated vsize (KiB) 13629364 [startup+6.30109 s] /proc/loadavg: 1.15 1.06 1.26 3/547 30197 /proc/meminfo: memFree=12066636/32951124 swapFree=65259120/67111528 [pid=30155] ppid=30153 vsize=13627764 CPUtime=7.13 cores=1,3,5,7 /proc/30155/stat : 30155 (java) S 30153 30155 29279 0 -1 4202496 722433 0 61 0 631 82 0 0 18 0 19 0 837380736 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 4 /proc/30155/statm: 3406941 718447 2238 9 0 3397675 0 [pid=30155/tid=30157] ppid=30153 vsize=13627764 CPUtime=6.12 cores=1,3,5,7 /proc/30155/task/30157/stat : 30157 (java) R 30153 30155 29279 0 -1 4202560 714861 0 23 0 531 81 0 0 25 0 19 0 837380741 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 46912505828864 0 4 0 16800975 0 0 0 -1 3 0 0 11 [pid=30155/tid=30158] ppid=30153 vsize=13627764 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30158/stat : 30158 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 837380747 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30159] ppid=30153 vsize=13627764 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30159/stat : 30159 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380747 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30160] ppid=30153 vsize=13627764 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30160/stat : 30160 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380747 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30161] ppid=30153 vsize=13627764 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30161/stat : 30161 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380747 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30162] ppid=30153 vsize=13627764 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30162/stat : 30162 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380747 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30163] ppid=30153 vsize=13627764 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30163/stat : 30163 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380747 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30164] ppid=30153 vsize=13627764 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30164/stat : 30164 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380747 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30165] ppid=30153 vsize=13627764 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30165/stat : 30165 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380747 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30166] ppid=30153 vsize=13627764 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30166/stat : 30166 (java) S 30153 30155 29279 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 837380749 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 0 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30167] ppid=30153 vsize=13627764 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30167/stat : 30167 (java) S 30153 30155 29279 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 837380749 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30168] ppid=30153 vsize=13627764 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30168/stat : 30168 (java) S 30153 30155 29279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 837380749 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30176] ppid=30153 vsize=13627764 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30176/stat : 30176 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380754 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118592433 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30177] ppid=30153 vsize=13627764 CPUtime=0.48 cores=1,3,5,7 /proc/30155/task/30177/stat : 30177 (java) S 30153 30155 29279 0 -1 4202560 1709 0 0 0 48 0 0 0 15 0 19 0 837380754 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 7 0 0 0 [pid=30155/tid=30178] ppid=30153 vsize=13627764 CPUtime=0.51 cores=1,3,5,7 /proc/30155/task/30178/stat : 30178 (java) S 30153 30155 29279 0 -1 4202560 4738 0 1 0 51 0 0 0 15 0 19 0 837380754 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30179] ppid=30153 vsize=13627764 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30179/stat : 30179 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 837380754 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30180] ppid=30153 vsize=13627764 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30180/stat : 30180 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 837380754 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30197] ppid=30153 vsize=13627764 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30197/stat : 30197 (java) S 30153 30155 29279 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 837380927 13954830336 718447 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 7.13 Current children cumulated vsize (KiB) 13627764 [startup+12.701 s] /proc/loadavg: 1.22 1.07 1.26 3/547 30197 /proc/meminfo: memFree=11580888/32951124 swapFree=65259120/67111528 ################ # More data... # ################ /proc/30155/task/30168/stat : 30168 (java) S 30153 30155 29279 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 837380749 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30176] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30176/stat : 30176 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380754 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118592433 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30177] ppid=30153 vsize=13626572 CPUtime=0.54 cores=1,3,5,7 /proc/30155/task/30177/stat : 30177 (java) S 30153 30155 29279 0 -1 4202560 1718 0 0 0 54 0 0 0 15 0 19 0 837380754 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 7 0 0 0 [pid=30155/tid=30178] ppid=30153 vsize=13626572 CPUtime=0.62 cores=1,3,5,7 /proc/30155/task/30178/stat : 30178 (java) S 30153 30155 29279 0 -1 4202560 5663 0 1 0 62 0 0 0 15 0 19 0 837380754 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30179] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30179/stat : 30179 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 837380754 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30180] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30180/stat : 30180 (java) S 30153 30155 29279 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 837380754 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 4 0 16800975 18446604463122860096 0 0 -1 1 0 0 0 [pid=30155/tid=30197] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30197/stat : 30197 (java) S 30153 30155 29279 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 837380927 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1664.79 Current children cumulated vsize (KiB) 13626572 [startup+1722.3 s] /proc/loadavg: 2.07 2.04 1.89 3/548 30244 /proc/meminfo: memFree=11246344/32951124 swapFree=65259120/67111528 [pid=30155] ppid=30153 vsize=13626572 CPUtime=1724.81 cores=1,3,5,7 /proc/30155/stat : 30155 (java) S 30153 30155 29279 0 -1 4202496 759228 0 61 0 172392 89 0 0 18 0 19 0 837380736 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 4 /proc/30155/statm: 3406643 754039 2264 9 0 3397377 0 [pid=30155/tid=30157] ppid=30153 vsize=13626572 CPUtime=1716.08 cores=1,3,5,7 /proc/30155/task/30157/stat : 30157 (java) R 30153 30155 29279 0 -1 4202560 715509 0 23 0 171527 81 0 0 25 0 19 0 837380741 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 46912505828172 0 4 0 16800975 0 0 0 -1 1 0 0 11 [pid=30155/tid=30158] ppid=30153 vsize=13626572 CPUtime=0.31 cores=1,3,5,7 /proc/30155/task/30158/stat : 30158 (java) S 30153 30155 29279 0 -1 4202560 1648 0 0 0 31 0 0 0 15 0 19 0 837380747 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30159] ppid=30153 vsize=13626572 CPUtime=0.3 cores=1,3,5,7 /proc/30155/task/30159/stat : 30159 (java) S 30153 30155 29279 0 -1 4202560 2052 0 0 0 30 0 0 0 15 0 19 0 837380747 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 7 0 0 0 [pid=30155/tid=30160] ppid=30153 vsize=13626572 CPUtime=0.27 cores=1,3,5,7 /proc/30155/task/30160/stat : 30160 (java) S 30153 30155 29279 0 -1 4202560 521 0 0 0 27 0 0 0 16 0 19 0 837380747 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30161] ppid=30153 vsize=13626572 CPUtime=0.3 cores=1,3,5,7 /proc/30155/task/30161/stat : 30161 (java) S 30153 30155 29279 0 -1 4202560 1976 0 0 0 30 0 0 0 15 0 19 0 837380747 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 1 0 0 0 [pid=30155/tid=30162] ppid=30153 vsize=13626572 CPUtime=0.26 cores=1,3,5,7 /proc/30155/task/30162/stat : 30162 (java) S 30153 30155 29279 0 -1 4202560 1437 0 0 0 26 0 0 0 16 0 19 0 837380747 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 7 0 0 0 [pid=30155/tid=30163] ppid=30153 vsize=13626572 CPUtime=0.29 cores=1,3,5,7 /proc/30155/task/30163/stat : 30163 (java) S 30153 30155 29279 0 -1 4202560 1537 0 0 0 29 0 0 0 16 0 19 0 837380747 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 1 0 0 0 [pid=30155/tid=30164] ppid=30153 vsize=13626572 CPUtime=0.24 cores=1,3,5,7 /proc/30155/task/30164/stat : 30164 (java) S 30153 30155 29279 0 -1 4202560 2099 0 0 0 24 0 0 0 16 0 19 0 837380747 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 1 0 0 0 [pid=30155/tid=30165] ppid=30153 vsize=13626572 CPUtime=0.26 cores=1,3,5,7 /proc/30155/task/30165/stat : 30165 (java) S 30153 30155 29279 0 -1 4202560 2191 0 0 0 26 0 0 0 15 0 19 0 837380747 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30166] ppid=30153 vsize=13626572 CPUtime=5.22 cores=1,3,5,7 /proc/30155/task/30166/stat : 30166 (java) S 30153 30155 29279 0 -1 4202560 21664 0 0 0 518 4 0 0 15 0 19 0 837380749 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 0 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30167] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30167/stat : 30167 (java) S 30153 30155 29279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 837380749 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30168] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30168/stat : 30168 (java) S 30153 30155 29279 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 837380749 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30176] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30176/stat : 30176 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380754 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118592433 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30177] ppid=30153 vsize=13626572 CPUtime=0.54 cores=1,3,5,7 /proc/30155/task/30177/stat : 30177 (java) S 30153 30155 29279 0 -1 4202560 1718 0 0 0 54 0 0 0 15 0 19 0 837380754 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 7 0 0 0 [pid=30155/tid=30178] ppid=30153 vsize=13626572 CPUtime=0.62 cores=1,3,5,7 /proc/30155/task/30178/stat : 30178 (java) S 30153 30155 29279 0 -1 4202560 5663 0 1 0 62 0 0 0 15 0 19 0 837380754 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30179] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30179/stat : 30179 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 837380754 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30180] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30180/stat : 30180 (java) S 30153 30155 29279 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 837380754 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 4 0 16800975 18446604463122860096 0 0 -1 1 0 0 0 [pid=30155/tid=30197] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30197/stat : 30197 (java) S 30153 30155 29279 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 837380927 13953609728 754039 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1724.81 Current children cumulated vsize (KiB) 13626572 [startup+1782.3 s] /proc/loadavg: 2.15 2.06 1.90 3/548 30245 /proc/meminfo: memFree=11234660/32951124 swapFree=65259120/67111528 [pid=30155] ppid=30153 vsize=13626572 CPUtime=1784.89 cores=1,3,5,7 /proc/30155/stat : 30155 (java) S 30153 30155 29279 0 -1 4202496 761957 0 61 0 178399 90 0 0 18 0 19 0 837380736 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 4 /proc/30155/statm: 3406643 756754 2264 9 0 3397377 0 [pid=30155/tid=30157] ppid=30153 vsize=13626572 CPUtime=1775.79 cores=1,3,5,7 /proc/30155/task/30157/stat : 30157 (java) R 30153 30155 29279 0 -1 4202560 715512 0 23 0 177497 82 0 0 25 0 19 0 837380741 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 46912505882398 0 4 0 16800975 0 0 0 -1 1 0 0 11 [pid=30155/tid=30158] ppid=30153 vsize=13626572 CPUtime=0.32 cores=1,3,5,7 /proc/30155/task/30158/stat : 30158 (java) S 30153 30155 29279 0 -1 4202560 1648 0 0 0 32 0 0 0 16 0 19 0 837380747 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30159] ppid=30153 vsize=13626572 CPUtime=0.32 cores=1,3,5,7 /proc/30155/task/30159/stat : 30159 (java) S 30153 30155 29279 0 -1 4202560 2719 0 0 0 32 0 0 0 15 0 19 0 837380747 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 7 0 0 0 [pid=30155/tid=30160] ppid=30153 vsize=13626572 CPUtime=0.29 cores=1,3,5,7 /proc/30155/task/30160/stat : 30160 (java) S 30153 30155 29279 0 -1 4202560 521 0 0 0 29 0 0 0 16 0 19 0 837380747 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 1 0 0 0 [pid=30155/tid=30161] ppid=30153 vsize=13626572 CPUtime=0.33 cores=1,3,5,7 /proc/30155/task/30161/stat : 30161 (java) S 30153 30155 29279 0 -1 4202560 2388 0 0 0 33 0 0 0 16 0 19 0 837380747 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 7 0 0 0 [pid=30155/tid=30162] ppid=30153 vsize=13626572 CPUtime=0.28 cores=1,3,5,7 /proc/30155/task/30162/stat : 30162 (java) S 30153 30155 29279 0 -1 4202560 1437 0 0 0 28 0 0 0 15 0 19 0 837380747 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 1 0 0 0 [pid=30155/tid=30163] ppid=30153 vsize=13626572 CPUtime=0.3 cores=1,3,5,7 /proc/30155/task/30163/stat : 30163 (java) S 30153 30155 29279 0 -1 4202560 1537 0 0 0 30 0 0 0 15 0 19 0 837380747 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 1 0 0 0 [pid=30155/tid=30164] ppid=30153 vsize=13626572 CPUtime=0.26 cores=1,3,5,7 /proc/30155/task/30164/stat : 30164 (java) S 30153 30155 29279 0 -1 4202560 2461 0 0 0 26 0 0 0 15 0 19 0 837380747 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30165] ppid=30153 vsize=13626572 CPUtime=0.26 cores=1,3,5,7 /proc/30155/task/30165/stat : 30165 (java) S 30153 30155 29279 0 -1 4202560 2191 0 0 0 26 0 0 0 15 0 19 0 837380747 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30166] ppid=30153 vsize=13626572 CPUtime=5.48 cores=1,3,5,7 /proc/30155/task/30166/stat : 30166 (java) S 30153 30155 29279 0 -1 4202560 22947 0 0 0 544 4 0 0 15 0 19 0 837380749 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 0 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30167] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30167/stat : 30167 (java) S 30153 30155 29279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 837380749 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30168] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30168/stat : 30168 (java) S 30153 30155 29279 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 837380749 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30176] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30176/stat : 30176 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380754 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118592433 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30177] ppid=30153 vsize=13626572 CPUtime=0.54 cores=1,3,5,7 /proc/30155/task/30177/stat : 30177 (java) S 30153 30155 29279 0 -1 4202560 1718 0 0 0 54 0 0 0 15 0 19 0 837380754 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 7 0 0 0 [pid=30155/tid=30178] ppid=30153 vsize=13626572 CPUtime=0.62 cores=1,3,5,7 /proc/30155/task/30178/stat : 30178 (java) S 30153 30155 29279 0 -1 4202560 5663 0 1 0 62 0 0 0 15 0 19 0 837380754 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30179] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30179/stat : 30179 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 837380754 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30180] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30180/stat : 30180 (java) S 30153 30155 29279 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 837380754 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 4 0 16800975 18446604463122860096 0 0 -1 1 0 0 0 [pid=30155/tid=30197] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30197/stat : 30197 (java) S 30153 30155 29279 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 837380927 13953609728 756754 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1784.89 Current children cumulated vsize (KiB) 13626572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.42 s] /proc/loadavg: 2.03 2.04 1.90 2/525 30266 /proc/meminfo: memFree=15987836/32951124 swapFree=65259120/67111528 [pid=30155] ppid=30153 vsize=13626572 CPUtime=1800.06 cores=1,3,5,7 /proc/30155/stat : 30155 (java) S 30153 30155 29279 0 -1 4202496 761991 0 61 0 179916 90 0 0 18 0 19 0 837380736 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 4 /proc/30155/statm: 3406643 756783 2264 9 0 3397377 0 [pid=30155/tid=30157] ppid=30153 vsize=13626572 CPUtime=1790.83 cores=1,3,5,7 /proc/30155/task/30157/stat : 30157 (java) R 30153 30155 29279 0 -1 4202560 715513 0 23 0 179001 82 0 0 25 0 19 0 837380741 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 46912505955865 0 4 0 16800975 0 0 0 -1 1 0 0 11 [pid=30155/tid=30158] ppid=30153 vsize=13626572 CPUtime=0.33 cores=1,3,5,7 /proc/30155/task/30158/stat : 30158 (java) S 30153 30155 29279 0 -1 4202560 1648 0 0 0 33 0 0 0 16 0 19 0 837380747 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 1 0 0 0 [pid=30155/tid=30159] ppid=30153 vsize=13626572 CPUtime=0.33 cores=1,3,5,7 /proc/30155/task/30159/stat : 30159 (java) S 30153 30155 29279 0 -1 4202560 2719 0 0 0 33 0 0 0 16 0 19 0 837380747 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 7 0 0 0 [pid=30155/tid=30160] ppid=30153 vsize=13626572 CPUtime=0.29 cores=1,3,5,7 /proc/30155/task/30160/stat : 30160 (java) S 30153 30155 29279 0 -1 4202560 521 0 0 0 29 0 0 0 16 0 19 0 837380747 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 7 0 0 0 [pid=30155/tid=30161] ppid=30153 vsize=13626572 CPUtime=0.33 cores=1,3,5,7 /proc/30155/task/30161/stat : 30161 (java) S 30153 30155 29279 0 -1 4202560 2388 0 0 0 33 0 0 0 15 0 19 0 837380747 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 7 0 0 0 [pid=30155/tid=30162] ppid=30153 vsize=13626572 CPUtime=0.28 cores=1,3,5,7 /proc/30155/task/30162/stat : 30162 (java) S 30153 30155 29279 0 -1 4202560 1437 0 0 0 28 0 0 0 15 0 19 0 837380747 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 1 0 0 0 [pid=30155/tid=30163] ppid=30153 vsize=13626572 CPUtime=0.31 cores=1,3,5,7 /proc/30155/task/30163/stat : 30163 (java) S 30153 30155 29279 0 -1 4202560 1537 0 0 0 31 0 0 0 16 0 19 0 837380747 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 1 0 0 0 [pid=30155/tid=30164] ppid=30153 vsize=13626572 CPUtime=0.28 cores=1,3,5,7 /proc/30155/task/30164/stat : 30164 (java) S 30153 30155 29279 0 -1 4202560 2461 0 0 0 28 0 0 0 16 0 19 0 837380747 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30165] ppid=30153 vsize=13626572 CPUtime=0.26 cores=1,3,5,7 /proc/30155/task/30165/stat : 30165 (java) S 30153 30155 29279 0 -1 4202560 2191 0 0 0 26 0 0 0 16 0 19 0 837380747 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30166] ppid=30153 vsize=13626572 CPUtime=5.56 cores=1,3,5,7 /proc/30155/task/30166/stat : 30166 (java) S 30153 30155 29279 0 -1 4202560 22978 0 0 0 552 4 0 0 15 0 19 0 837380749 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 0 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30167] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30167/stat : 30167 (java) S 30153 30155 29279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 837380749 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30168] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30168/stat : 30168 (java) S 30153 30155 29279 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 837380749 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30176] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30176/stat : 30176 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 837380754 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118592433 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30177] ppid=30153 vsize=13626572 CPUtime=0.54 cores=1,3,5,7 /proc/30155/task/30177/stat : 30177 (java) S 30153 30155 29279 0 -1 4202560 1718 0 0 0 54 0 0 0 15 0 19 0 837380754 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 7 0 0 0 [pid=30155/tid=30178] ppid=30153 vsize=13626572 CPUtime=0.62 cores=1,3,5,7 /proc/30155/task/30178/stat : 30178 (java) S 30153 30155 29279 0 -1 4202560 5663 0 1 0 62 0 0 0 15 0 19 0 837380754 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 [pid=30155/tid=30179] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30179/stat : 30179 (java) S 30153 30155 29279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 837380754 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118584729 0 4 0 16800975 18446604463122860096 0 0 -1 3 0 0 0 [pid=30155/tid=30180] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30180/stat : 30180 (java) S 30153 30155 29279 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 837380754 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 4 0 16800975 18446604463122860096 0 0 -1 1 0 0 0 [pid=30155/tid=30197] ppid=30153 vsize=13626572 CPUtime=0 cores=1,3,5,7 /proc/30155/task/30197/stat : 30197 (java) S 30153 30155 29279 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 837380927 13953609728 756783 33554432000 1073741824 1073778376 140736808203136 18446744073709551615 255118585344 0 4 0 16800975 18446604463122860096 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 13626572 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.6 s] /proc/loadavg: 2.03 2.04 1.90 2/525 30266 /proc/meminfo: memFree=15987836/32951124 swapFree=65259120/67111528 [pid=30155] ppid=30153 vsize=0 CPUtime=1800.3 cores=1,3,5,7 /proc/30155/stat : 30155 (java) Z 30153 30155 29279 0 -1 4203548 762035 0 61 0 179929 101 0 0 17 0 2 0 837380736 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 4 /proc/30155/statm: 0 0 0 0 0 0 0 [pid=30155/tid=30179] ppid=30153 vsize=0 CPUtime=0.11 cores=1,3,5,7 /proc/30155/task/30179/stat : 30179 (java) R 30153 30155 29279 0 -1 4203588 1 0 0 0 0 11 0 0 18 0 2 0 837380754 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.3 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1797.61 CPU time (s): 1800.32 CPU user time (s): 1799.3 CPU system time (s): 1.02284 CPU usage (%): 100.151 Max. virtual memory (cumulated for all children) (KiB): 13629500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.3 system time used= 1.02284 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 762035 page faults= 61 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39442 involuntary context switches= 13648 runsolver used 9.10661 second user time and 21.3857 second system time The end
Begin job on node144 at 2011-06-07 14:27:26 IDJOB=3479339 IDBENCH=89891 IDSOLVER=1952 FILE ID=node144/3479339-1307449646 RUNJOBID= node144-1307449646-30142 PBS_JOBID= 13519944 Free space on /tmp= 73952 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-ns1685374.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479339-1307449646/watcher-3479339-1307449646 -o /tmp/evaluation-result-3479339-1307449646/solver-3479339-1307449646 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3479339-1307449646.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 50acc4afebeb32cddb95c5011f072af8 RANDOM SEED=2126963410 node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 19021060 kB Buffers: 92180 kB Cached: 203392 kB SwapCached: 64452 kB Active: 4876416 kB Inactive: 8797484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 19021060 kB SwapTotal: 67111528 kB SwapFree: 65259120 kB Dirty: 4884 kB Writeback: 0 kB AnonPages: 13313924 kB Mapped: 37576 kB Slab: 116088 kB PageTables: 68964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 157747488 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73952 MiB End job on node144 at 2011-06-07 14:57:26