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