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) | 199987 | 1800.08 | 1786.58 |
| Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air03.opb |
| MD5SUM | 721f63c71e5f6018eabb753425e3fdd2 |
| Bench Category | OPT-MEDINT (optimisation, medium integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 199987 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 170080 |
| Optimality of the best value was proved | YES |
| Number of variables | 10757 |
| Total number of constraints | 124 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 124 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3861 |
| Number of terms in the objective function | 10757 |
| Biggest coefficient in the objective function | 6873 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 13748961 |
| Number of bits of the sum of numbers in the objective function | 24 |
| Biggest number in a constraint | 6873 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 13748961 |
| Number of bits of the biggest sum of numbers | 24 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.00/0.09 c version 2.3.2.v20120418 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.08/0.12 c configuring ORDERS 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=true 0.08/0.13 c Heuristics kept accross calls (keep the solver "hot") 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-3710150-1338133717.opb 0.08/0.13 c reading problem ... 0.71/0.44 c ... done. Wall clock time 0.31s. 0.71/0.44 c declared #vars 10757 0.71/0.44 c #constraints 248 0.71/0.44 c constraints type 0.71/0.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 122 0.71/0.44 c org.sat4j.minisat.constraints.card.MinWatchCard => 122 0.71/0.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4 0.71/0.44 c 248 constraints processed. 1.14/0.69 c SATISFIABLE 1.14/0.69 c OPTIMIZING... 1.14/0.69 c Got one! Elapsed wall clock time (in seconds):0.564 1.14/0.69 o 292572 1.41/0.77 c Got one! Elapsed wall clock time (in seconds):0.648 1.41/0.77 o 288940 1.64/0.87 c Got one! Elapsed wall clock time (in seconds):0.744 1.64/0.87 o 270622 1.81/0.91 c Got one! Elapsed wall clock time (in seconds):0.781 1.81/0.91 o 270432 2.14/1.22 c Got one! Elapsed wall clock time (in seconds):1.096 2.14/1.22 o 270302 2.14/1.25 c Got one! Elapsed wall clock time (in seconds):1.121 2.14/1.25 o 259450 2.14/1.29 c Got one! Elapsed wall clock time (in seconds):1.164 2.14/1.29 o 256567 2.57/1.64 c Got one! Elapsed wall clock time (in seconds):1.511 2.57/1.64 o 250930 2.67/1.74 c Got one! Elapsed wall clock time (in seconds):1.61 2.67/1.74 o 250262 3.64/2.62 c Got one! Elapsed wall clock time (in seconds):2.492 3.64/2.62 o 248906 5.27/4.20 c cleaning 3661 clauses out of 7346 with flag 3000/7346 5.56/4.44 c Got one! Elapsed wall clock time (in seconds):4.316 5.56/4.44 o 247179 6.35/5.23 c Got one! Elapsed wall clock time (in seconds):5.108 6.35/5.23 o 240551 7.18/6.07 c Got one! Elapsed wall clock time (in seconds):5.941 7.18/6.07 o 239157 8.19/7.06 c Got one! Elapsed wall clock time (in seconds):6.932 8.19/7.06 o 234932 8.90/7.73 c cleaning 5568 clauses out of 11211 with flag 1000/14872 11.07/9.82 c Got one! Elapsed wall clock time (in seconds):9.689 11.07/9.82 o 233159 12.77/11.52 c cleaning 5616 clauses out of 11271 with flag 3000/20500 17.50/16.17 c cleaning 5817 clauses out of 11659 with flag 9004/26504 22.64/21.12 c cleaning 6413 clauses out of 12838 with flag 16000/33500 28.01/26.46 c cleaning 7075 clauses out of 14429 with flag 24004/41504 35.86/34.29 c cleaning 8176 clauses out of 16352 with flag 33002/50502 42.38/40.62 c cleaning 9057 clauses out of 18174 with flag 43000/60500 43.04/41.23 c Got one! Elapsed wall clock time (in seconds):41.106 43.04/41.23 o 229106 45.45/43.63 c cleaning 7243 clauses out of 14568 with flag 4006/65951 49.70/47.82 c cleaning 6633 clauses out of 13319 with flag 10000/71945 54.46/52.56 c Got one! Elapsed wall clock time (in seconds):52.434 54.46/52.56 o 228523 54.56/52.68 c Got one! Elapsed wall clock time (in seconds):52.553 54.56/52.68 o 227442 57.66/55.75 c cleaning 9131 clauses out of 18331 with flag 5000/83590 61.13/59.19 c cleaning 7581 clauses out of 15200 with flag 11000/89590 63.06/61.09 c Got one! Elapsed wall clock time (in seconds):60.961 63.06/61.09 o 221581 65.46/63.45 c cleaning 6600 clauses out of 13382 with flag 3000/95353 70.22/68.16 c cleaning 6365 clauses out of 12782 with flag 9000/101353 75.65/73.57 c cleaning 6649 clauses out of 13418 with flag 16001/108354 80.80/78.61 c cleaning 7379 clauses out of 14771 with flag 24003/116356 86.14/83.91 c cleaning 8191 clauses out of 16390 with flag 33001/125354 92.70/90.41 c cleaning 9089 clauses out of 18201 with flag 43003/135356 100.75/98.42 c cleaning 10036 clauses out of 20109 with flag 54000/146353 112.63/110.25 c cleaning 11013 clauses out of 22073 with flag 66000/158353 131.12/128.58 c cleaning 11723 clauses out of 24062 with flag 79002/171355 141.81/139.10 c cleaning 13143 clauses out of 26337 with flag 93000/185353 159.05/156.22 c cleaning 14073 clauses out of 28194 with flag 108000/200353 173.62/170.65 c cleaning 15002 clauses out of 30124 with flag 124003/216356 185.32/182.20 c Got one! Elapsed wall clock time (in seconds):182.071 185.32/182.20 o 220316 188.82/185.77 c Got one! Elapsed wall clock time (in seconds):185.639 188.82/185.77 o 216694 189.52/186.46 c cleaning 17309 clauses out of 34841 with flag 1000/236075 191.68/188.49 c Got one! Elapsed wall clock time (in seconds):188.368 191.68/188.49 o 211238 193.98/190.79 c cleaning 11475 clauses out of 22990 with flag 3000/241533 197.63/194.39 c cleaning 8738 clauses out of 17515 with flag 9000/247533 202.97/199.67 c cleaning 7859 clauses out of 15777 with flag 16000/254533 208.05/204.68 c cleaning 7943 clauses out of 15920 with flag 24002/262535 209.56/206.14 c Got one! Elapsed wall clock time (in seconds):206.016 209.56/206.14 o 211179 211.06/207.61 c cleaning 6827 clauses out of 13685 with flag 3001/268243 214.88/211.43 c cleaning 6418 clauses out of 12858 with flag 9001/274243 221.30/217.84 c cleaning 6558 clauses out of 13440 with flag 16001/281243 227.54/224.07 c cleaning 7351 clauses out of 14881 with flag 24000/289242 237.38/233.83 c cleaning 8263 clauses out of 16532 with flag 33002/298244 245.75/242.12 c cleaning 9129 clauses out of 18267 with flag 43000/308242 253.54/249.83 c Got one! Elapsed wall clock time (in seconds):249.706 253.54/249.83 o 210116 257.64/253.97 c cleaning 12220 clauses out of 24452 with flag 5000/323556 262.82/259.01 c cleaning 9107 clauses out of 18232 with flag 11000/329556 270.90/267.07 c cleaning 8056 clauses out of 16125 with flag 18000/336556 283.27/279.40 c cleaning 7817 clauses out of 16069 with flag 26000/344556 294.44/290.47 c cleaning 8613 clauses out of 17252 with flag 35000/353556 305.74/301.67 c cleaning 9291 clauses out of 18639 with flag 45000/363556 316.00/311.84 c cleaning 10155 clauses out of 20351 with flag 56003/374559 327.42/323.18 c cleaning 11065 clauses out of 22195 with flag 68002/386558 337.69/333.34 c cleaning 11963 clauses out of 24130 with flag 81002/399558 347.85/343.46 c cleaning 13040 clauses out of 26165 with flag 95000/413556 364.93/360.48 c cleaning 13964 clauses out of 28125 with flag 110000/428556 382.65/378.09 c cleaning 15074 clauses out of 30161 with flag 126000/444556 398.07/393.32 c cleaning 16021 clauses out of 32087 with flag 143000/461556 403.57/398.78 c Got one! Elapsed wall clock time (in seconds):398.651 403.57/398.78 o 208632 407.27/402.43 c cleaning 12855 clauses out of 26116 with flag 5000/471606 411.43/406.57 c cleaning 9390 clauses out of 19263 with flag 11002/477608 417.66/412.75 c cleaning 8362 clauses out of 16873 with flag 18002/484608 421.82/416.90 c cleaning 8207 clauses out of 16509 with flag 26000/492606 428.46/423.47 c cleaning 8598 clauses out of 17302 with flag 35000/501606 435.44/430.38 c cleaning 9339 clauses out of 18704 with flag 45000/511606 446.19/441.03 c cleaning 10167 clauses out of 20368 with flag 56003/522609 462.26/457.01 c cleaning 11055 clauses out of 22201 with flag 68003/534609 477.39/472.09 c cleaning 12049 clauses out of 24144 with flag 81001/547607 492.99/487.56 c cleaning 13018 clauses out of 26096 with flag 95002/561608 506.92/501.33 c cleaning 14001 clauses out of 28077 with flag 110001/576607 524.94/519.26 c cleaning 15037 clauses out of 30076 with flag 126001/592607 540.52/534.73 c cleaning 15997 clauses out of 32038 with flag 143000/609606 557.33/551.40 c cleaning 17007 clauses out of 34041 with flag 161000/627606 575.65/569.63 c cleaning 17998 clauses out of 36036 with flag 180002/646608 608.59/601.98 c cleaning 18816 clauses out of 38036 with flag 200000/666606 622.95/616.16 c Got one! Elapsed wall clock time (in seconds):616.033 622.95/616.16 o 206657 626.85/620.00 c cleaning 16280 clauses out of 32604 with flag 5000/679990 634.68/627.77 c cleaning 11012 clauses out of 22324 with flag 11000/685990 641.55/634.54 c cleaning 9138 clauses out of 18312 with flag 18000/692990 649.47/642.40 c cleaning 8570 clauses out of 17176 with flag 26002/700992 663.85/656.62 c cleaning 8777 clauses out of 17604 with flag 35000/709990 679.55/672.26 c cleaning 9404 clauses out of 18827 with flag 45000/719990 687.56/680.19 c cleaning 10159 clauses out of 20423 with flag 56000/730990 700.29/692.87 c cleaning 11061 clauses out of 22265 with flag 68001/742991 718.74/711.23 c cleaning 12042 clauses out of 24204 with flag 81001/755991 734.78/727.13 c cleaning 13082 clauses out of 26165 with flag 95004/769994 756.00/748.28 c cleaning 14036 clauses out of 28080 with flag 110001/784991 769.18/761.37 c cleaning 15007 clauses out of 30044 with flag 126001/800991 782.77/774.85 c cleaning 15978 clauses out of 32039 with flag 143003/817993 800.65/792.67 c cleaning 16969 clauses out of 34058 with flag 161000/835990 821.20/813.00 c cleaning 18002 clauses out of 36092 with flag 180003/854993 843.07/834.73 c cleaning 18942 clauses out of 38087 with flag 200000/874990 859.23/850.74 c cleaning 20036 clauses out of 40145 with flag 221000/895990 863.42/854.85 c Got one! Elapsed wall clock time (in seconds):854.72 863.42/854.85 o 206632 864.02/855.48 c cleaning 12708 clauses out of 25441 with flag 1000/901322 867.48/858.82 c cleaning 9340 clauses out of 18734 with flag 7001/907323 872.39/863.79 c cleaning 8130 clauses out of 16395 with flag 14002/914324 879.43/870.76 c cleaning 8090 clauses out of 16263 with flag 22000/922322 886.87/878.17 c cleaning 8577 clauses out of 17173 with flag 31000/931322 893.78/885.06 c cleaning 9284 clauses out of 18599 with flag 41003/941325 906.24/897.44 c cleaning 10150 clauses out of 20313 with flag 52001/952323 927.99/919.09 c cleaning 11027 clauses out of 22172 with flag 64010/964332 960.69/951.64 c cleaning 12069 clauses out of 24141 with flag 77006/977328 976.25/967.16 c cleaning 13013 clauses out of 26069 with flag 91003/991325 990.03/980.86 c cleaning 14013 clauses out of 28053 with flag 106000/1006322 1007.92/998.61 c cleaning 15008 clauses out of 30042 with flag 122002/1022324 1027.55/1018.16 c cleaning 15987 clauses out of 32032 with flag 139000/1039322 1048.05/1038.54 c cleaning 16993 clauses out of 34047 with flag 157002/1057324 1080.76/1071.16 c cleaning 17996 clauses out of 36059 with flag 176007/1076329 1102.30/1092.55 c cleaning 19010 clauses out of 38061 with flag 196005/1096327 1123.79/1113.95 c cleaning 20010 clauses out of 40047 with flag 217001/1117323 1139.45/1129.56 c cleaning 20984 clauses out of 42038 with flag 239002/1139324 1159.85/1149.86 c cleaning 22010 clauses out of 44053 with flag 262001/1162323 1174.79/1164.68 c Got one! Elapsed wall clock time (in seconds):1164.549 1174.79/1164.68 o 206171 1179.99/1169.82 c cleaning 22511 clauses out of 45178 with flag 5000/1185458 1184.69/1174.43 c cleaning 14250 clauses out of 28667 with flag 11000/1191458 1193.83/1183.57 c cleaning 10592 clauses out of 21417 with flag 18000/1198458 1199.12/1188.74 c cleaning 9371 clauses out of 18828 with flag 26003/1206461 1203.94/1193.56 c cleaning 9172 clauses out of 18454 with flag 35000/1215458 1213.07/1202.65 c cleaning 9633 clauses out of 19285 with flag 45003/1225461 1220.33/1209.85 c cleaning 10268 clauses out of 20649 with flag 56000/1236458 1229.76/1219.21 c cleaning 11177 clauses out of 22382 with flag 68001/1248459 1238.28/1227.72 c cleaning 12075 clauses out of 24204 with flag 81000/1261458 1247.33/1236.74 c cleaning 13039 clauses out of 26130 with flag 95001/1275459 1259.13/1248.50 c cleaning 13988 clauses out of 28092 with flag 110002/1290460 1278.34/1267.57 c cleaning 15007 clauses out of 30102 with flag 126000/1306458 1298.66/1287.71 c cleaning 15957 clauses out of 32096 with flag 143001/1323459 1317.67/1306.68 c cleaning 16936 clauses out of 34153 with flag 161015/1341473 1338.09/1326.92 c cleaning 18094 clauses out of 36204 with flag 180002/1360460 1357.48/1346.21 c cleaning 19051 clauses out of 38108 with flag 200000/1380458 1370.68/1359.36 c Got one! Elapsed wall clock time (in seconds):1359.235 1370.68/1359.36 o 199987 1375.99/1364.63 c cleaning 18376 clauses out of 37125 with flag 5000/1398526 1386.09/1374.68 c cleaning 12260 clauses out of 24749 with flag 11000/1404526 1393.23/1381.76 c cleaning 9624 clauses out of 19489 with flag 18000/1411526 1399.61/1388.06 c cleaning 8814 clauses out of 17865 with flag 26000/1419526 1406.94/1395.32 c cleaning 8904 clauses out of 18051 with flag 35000/1428526 1418.57/1406.93 c cleaning 9538 clauses out of 19150 with flag 45003/1438529 1435.13/1423.45 c cleaning 10261 clauses out of 20612 with flag 56003/1449529 1450.17/1438.43 c cleaning 11139 clauses out of 22348 with flag 68000/1461526 1459.83/1448.03 c cleaning 12077 clauses out of 24209 with flag 81000/1474526 1472.19/1460.35 c cleaning 12998 clauses out of 26132 with flag 95000/1488526 1487.45/1475.56 c cleaning 14040 clauses out of 28135 with flag 110001/1503527 1506.46/1494.40 c cleaning 15043 clauses out of 30097 with flag 126003/1519529 1522.08/1509.99 c cleaning 15862 clauses out of 32051 with flag 143000/1536526 1543.30/1531.07 c cleaning 16917 clauses out of 34189 with flag 161000/1554526 1582.17/1569.71 c cleaning 18114 clauses out of 36272 with flag 180000/1573526 1626.98/1614.30 c cleaning 19042 clauses out of 38163 with flag 200005/1593531 1657.08/1644.22 c cleaning 19861 clauses out of 40121 with flag 221005/1614531 1683.93/1670.93 c cleaning 21011 clauses out of 42255 with flag 243000/1636526 1711.05/1697.92 c cleaning 21935 clauses out of 44244 with flag 266000/1659526 1741.63/1728.37 c cleaning 23146 clauses out of 46310 with flag 290001/1683527 1762.47/1749.00 c cleaning 24050 clauses out of 48165 with flag 315002/1708528 1800.08/1786.51 c starts : 238 1800.08/1786.51 c conflicts : 1730457 1800.08/1786.51 c decisions : 5847954 1800.08/1786.51 c propagations : 185695883 1800.08/1786.51 c inspects : 1349302133 1800.08/1786.51 c shortcuts : 0 1800.08/1786.51 c learnt literals : 0 1800.08/1786.51 c learnt binary clauses : 235 1800.08/1786.51 c learnt ternary clauses : 561 1800.08/1786.51 c learnt constraints : 1730457 1800.08/1786.51 c ignored constraints : 0 1800.08/1786.51 c root simplifications : 238 1800.08/1786.51 c removed literals (reason simplification) : 16596532 1800.08/1786.51 c reason swapping (by a shorter reason) : 0 1800.08/1786.51 c Calls to reduceDB : 137 1800.08/1786.51 c number of reductions to clauses (during analyze) : 0 1800.08/1786.51 c number of learned constraints concerned by reduction : 0 1800.08/1786.51 c number of learning phase by resolution : 0 1800.08/1786.51 c number of learning phase by cutting planes : 0 1800.08/1786.51 c speed (assignments/second) : 103969.56653191942 1800.08/1786.51 c non guided choices 9247 1800.08/1786.54 c learnt constraints type 1800.08/1786.54 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 235 1800.08/1786.54 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 45817 1800.08/1786.54 c constraints type 1800.08/1786.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 122 1800.08/1786.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 122 1800.08/1786.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4 1800.08/1786.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.08/1786.54 c 249 constraints processed. 1800.08/1786.54 s SATISFIABLE 1800.08/1786.55 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 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 x10752 -x10753 -x10754 -x10755 -x10756 -x10757 1800.08/1786.56 c objective function=199987 1800.08/1786.56 c Total wall clock time (in seconds): 1786.432
OK 199987
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-3710150-1338133717/watcher-3710150-1338133717 -o /tmp/evaluation-result-3710150-1338133717/solver-3710150-1338133717 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710150-1338133717.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.92 1.99 1.99 3/194 29719 /proc/meminfo: memFree=30563192/32873844 swapFree=6600/6600 [pid=29719] ppid=29717 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/29719/stat : 29719 (java) D 29717 29719 28151 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 279496568 9515008 182 33554432000 1073741824 1073778376 140735445456976 140735445448008 213419638453 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/29719/statm: 2323 182 140 9 0 71 0 [startup+0.0345049 s] /proc/loadavg: 1.92 1.99 1.99 3/194 29719 /proc/meminfo: memFree=30563192/32873844 swapFree=6600/6600 [pid=29719] ppid=29717 vsize=9016616 CPUtime=0 cores=1,3,5,7 /proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 2771 0 1 0 0 0 0 0 20 0 10 0 279496568 9233014784 3470 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/29719/statm: 2254154 3471 1538 9 0 2244855 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9016616 [startup+0.100312 s] /proc/loadavg: 1.92 1.99 1.99 3/194 29719 /proc/meminfo: memFree=30563192/32873844 swapFree=6600/6600 [pid=29719] ppid=29717 vsize=9558440 CPUtime=0.08 cores=1,3,5,7 /proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 4114 0 1 0 7 1 0 0 20 0 18 0 279496568 9787842560 5321 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/29719/statm: 2389610 5321 2111 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558440 [startup+0.300295 s] /proc/loadavg: 1.92 1.99 1.99 3/194 29719 /proc/meminfo: memFree=30563192/32873844 swapFree=6600/6600 [pid=29719] ppid=29717 vsize=9558440 CPUtime=0.5 cores=1,3,5,7 /proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 7094 0 1 0 48 2 0 0 20 0 18 0 279496568 9787842560 11750 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/29719/statm: 2389610 11750 2225 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558440 [startup+0.700307 s] /proc/loadavg: 1.92 1.99 1.99 3/194 29719 /proc/meminfo: memFree=30563192/32873844 swapFree=6600/6600 [pid=29719] ppid=29717 vsize=9625004 CPUtime=1.41 cores=1,3,5,7 /proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 9330 0 1 0 137 4 0 0 20 0 19 0 279496568 9856004096 28646 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/29719/statm: 2406251 28646 2249 9 0 2396937 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 9625004 [startup+1.50079 s] /proc/loadavg: 1.92 1.99 1.99 3/213 29738 /proc/meminfo: memFree=30439576/32873844 swapFree=6600/6600 [pid=29719] ppid=29717 vsize=9625004 CPUtime=2.47 cores=1,3,5,7 /proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 10218 0 1 0 243 4 0 0 20 0 19 0 279496568 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/29719/statm: 2406251 37077 2255 9 0 2396937 0 [pid=29719/tid=29721] ppid=29717 vsize=9625004 CPUtime=1.45 cores=1,3,5,7 /proc/29719/task/29721/stat : 29721 (java) R 29717 29719 28151 0 -1 4202560 2568 0 1 0 142 3 0 0 20 0 19 0 279496569 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074901471304 140074738790188 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29722] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29722/stat : 29722 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074862962856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29723] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29723/stat : 29723 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074861910312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29724] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29724/stat : 29724 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074860857768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29719/tid=29725] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29725/stat : 29725 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074859805224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29726] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29726/stat : 29726 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074858752680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29727] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29727/stat : 29727 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074857700136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29728] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29728/stat : 29728 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074856647592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29729] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29729/stat : 29729 (java) S 29717 29719 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074737986600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29730] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29730/stat : 29730 (java) S 29717 29719 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279496571 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074725574760 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29731] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29731/stat : 29731 (java) S 29717 29719 28151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074724521080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29732] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29732/stat : 29732 (java) S 29717 29719 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074723468424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29733] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29733/stat : 29733 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140074722417168 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29734] ppid=29717 vsize=9625004 CPUtime=0.47 cores=1,3,5,7 /proc/29719/task/29734/stat : 29734 (java) S 29717 29719 28151 0 -1 4202560 2284 0 0 0 47 0 0 0 20 0 19 0 279496574 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140073983011384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29735] ppid=29717 vsize=9625004 CPUtime=0.51 cores=1,3,5,7 /proc/29719/task/29735/stat : 29735 (java) S 29717 29719 28151 0 -1 4202560 4166 0 0 0 51 0 0 0 20 0 19 0 279496574 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140073981958840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29736] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29736/stat : 29736 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140073980906488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29737] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29737/stat : 29737 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140073979854152 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29738] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29738/stat : 29738 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496613 9856004096 37077 33554432000 1073741824 1073778376 140736429082512 140073978798888 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.47 Current children cumulated vsize (KiB) 9625004 [startup+3.10072 s] /proc/loadavg: 1.92 1.99 1.99 3/213 29738 /proc/meminfo: memFree=30391604/32873844 swapFree=6600/6600 [pid=29719] ppid=29717 vsize=9625004 CPUtime=4.15 cores=1,3,5,7 /proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 10352 0 1 0 407 8 0 0 20 0 19 0 279496568 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/29719/statm: 2406251 44842 2268 9 0 2396937 0 [pid=29719/tid=29721] ppid=29717 vsize=9625004 CPUtime=3.02 cores=1,3,5,7 /proc/29719/task/29721/stat : 29721 (java) R 29717 29719 28151 0 -1 4202560 2579 0 1 0 299 3 0 0 20 0 19 0 279496569 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074901469824 140074738790135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29722] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29722/stat : 29722 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074862962856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29723] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29723/stat : 29723 (java) S 29717 29719 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074861910312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29724] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29724/stat : 29724 (java) S 29717 29719 28151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074860857768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29725] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29725/stat : 29725 (java) S 29717 29719 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074859805224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29726] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29726/stat : 29726 (java) S 29717 29719 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074858752680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29727] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29727/stat : 29727 (java) S 29717 29719 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074857700136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29728] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29728/stat : 29728 (java) S 29717 29719 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074856647592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29729] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29729/stat : 29729 (java) S 29717 29719 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074737986600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29730] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29730/stat : 29730 (java) S 29717 29719 28151 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 279496571 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074725574760 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29731] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29731/stat : 29731 (java) S 29717 29719 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074724521080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29732] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29732/stat : 29732 (java) S 29717 29719 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074723468424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29733] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29733/stat : 29733 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140074722417168 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29734] ppid=29717 vsize=9625004 CPUtime=0.47 cores=1,3,5,7 /proc/29719/task/29734/stat : 29734 (java) S 29717 29719 28151 0 -1 4202560 2284 0 0 0 47 0 0 0 20 0 19 0 279496574 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140073983011384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29735] ppid=29717 vsize=9625004 CPUtime=0.52 cores=1,3,5,7 /proc/29719/task/29735/stat : 29735 (java) S 29717 29719 28151 0 -1 4202560 4166 0 0 0 52 0 0 0 20 0 19 0 279496574 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140073981958840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29736] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29736/stat : 29736 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140073980906488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29737] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29737/stat : 29737 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140073979854152 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29738] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29738/stat : 29738 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496613 9856004096 44842 33554432000 1073741824 1073778376 140736429082512 140073978798888 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.15 Current children cumulated vsize (KiB) 9625004 [startup+6.30082 s] /proc/loadavg: 1.93 1.99 1.99 3/213 29738 /proc/meminfo: memFree=30352196/32873844 swapFree=6600/6600 [pid=29719] ppid=29717 vsize=9625004 CPUtime=7.48 cores=1,3,5,7 /proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 10683 0 1 0 737 11 0 0 20 0 19 0 279496568 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/29719/statm: 2406251 54557 2282 9 0 2396937 0 [pid=29719/tid=29721] ppid=29717 vsize=9625004 CPUtime=6.15 cores=1,3,5,7 /proc/29719/task/29721/stat : 29721 (java) R 29717 29719 28151 0 -1 4202560 2581 0 1 0 612 3 0 0 20 0 19 0 279496569 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074901469800 140074738625387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29722] ppid=29717 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/29719/task/29722/stat : 29722 (java) S 29717 29719 28151 0 -1 4202560 20 0 0 0 0 1 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074862962856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29719/tid=29723] ppid=29717 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/29719/task/29723/stat : 29723 (java) S 29717 29719 28151 0 -1 4202560 17 0 0 0 0 1 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074861910312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29724] ppid=29717 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/29719/task/29724/stat : 29724 (java) S 29717 29719 28151 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074860857768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29725] ppid=29717 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/29719/task/29725/stat : 29725 (java) S 29717 29719 28151 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074859805224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29726] ppid=29717 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/29719/task/29726/stat : 29726 (java) S 29717 29719 28151 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074858752680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29727] ppid=29717 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/29719/task/29727/stat : 29727 (java) S 29717 29719 28151 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074857700136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29728] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29728/stat : 29728 (java) S 29717 29719 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074856647592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29729] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29729/stat : 29729 (java) S 29717 29719 28151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279496570 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074737986600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29730] ppid=29717 vsize=9625004 CPUtime=0.02 cores=1,3,5,7 /proc/29719/task/29730/stat : 29730 (java) S 29717 29719 28151 0 -1 4202560 103 0 0 0 2 0 0 0 20 0 19 0 279496571 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074725574760 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29731] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29731/stat : 29731 (java) S 29717 29719 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074724521080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29732] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29732/stat : 29732 (java) S 29717 29719 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074723468424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29733] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29733/stat : 29733 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140074722417168 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29734] ppid=29717 vsize=9625004 CPUtime=0.49 cores=1,3,5,7 /proc/29719/task/29734/stat : 29734 (java) S 29717 29719 28151 0 -1 4202560 2291 0 0 0 49 0 0 0 20 0 19 0 279496574 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140073983011384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29735] ppid=29717 vsize=9625004 CPUtime=0.57 cores=1,3,5,7 /proc/29719/task/29735/stat : 29735 (java) S 29717 29719 28151 0 -1 4202560 4427 0 0 0 56 1 0 0 20 0 19 0 279496574 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140073981958840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29736] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29736/stat : 29736 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140073980906488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29737] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29737/stat : 29737 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140073979854152 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29738] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29738/stat : 29738 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496613 9856004096 54557 33554432000 1073741824 1073778376 140736429082512 140073978798888 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.48 Current children cumulated vsize (KiB) 9625004 [startup+12.7007 s] ################ # More data... # ################ [pid=29719/tid=29734] ppid=29717 vsize=9625004 CPUtime=0.64 cores=1,3,5,7 /proc/29719/task/29734/stat : 29734 (java) S 29717 29719 28151 0 -1 4202560 3715 0 0 0 64 0 0 0 20 0 19 0 279496574 9856004096 188036 33554432000 1073741824 1073778376 140736429082512 140073983011384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29735] ppid=29717 vsize=9625004 CPUtime=0.58 cores=1,3,5,7 /proc/29719/task/29735/stat : 29735 (java) S 29717 29719 28151 0 -1 4202560 4428 0 0 0 57 1 0 0 20 0 19 0 279496574 9856004096 188036 33554432000 1073741824 1073778376 140736429082512 140073981958840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29736] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29736/stat : 29736 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 188036 33554432000 1073741824 1073778376 140736429082512 140073980906488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29737] ppid=29717 vsize=9625004 CPUtime=0.73 cores=1,3,5,7 /proc/29719/task/29737/stat : 29737 (java) S 29717 29719 28151 0 -1 4202560 98 0 0 0 40 33 0 0 20 0 19 0 279496574 9856004096 188036 33554432000 1073741824 1073778376 140736429082512 140073979854152 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29738] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29738/stat : 29738 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496613 9856004096 188036 33554432000 1073741824 1073778376 140736429082512 140073978798888 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1735.63 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/213 29836 /proc/meminfo: memFree=29875188/32873844 swapFree=6600/6600 [pid=29719] ppid=29717 vsize=9625004 CPUtime=1795.87 cores=1,3,5,7 /proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 14503 0 1 0 179445 142 0 0 20 0 19 0 279496568 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/29719/statm: 2406251 188037 2283 9 0 2396937 0 [pid=29719/tid=29721] ppid=29717 vsize=9625004 CPUtime=1765.66 cores=1,3,5,7 /proc/29719/task/29721/stat : 29721 (java) R 29717 29719 28151 0 -1 4202560 2772 0 1 0 176534 32 0 0 20 0 19 0 279496569 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074901471536 140074738790154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29722] ppid=29717 vsize=9625004 CPUtime=2.08 cores=1,3,5,7 /proc/29719/task/29722/stat : 29722 (java) S 29717 29719 28151 0 -1 4202560 283 0 0 0 197 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074862962856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29723] ppid=29717 vsize=9625004 CPUtime=2.04 cores=1,3,5,7 /proc/29719/task/29723/stat : 29723 (java) S 29717 29719 28151 0 -1 4202560 292 0 0 0 193 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074861910312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29719/tid=29724] ppid=29717 vsize=9625004 CPUtime=1.99 cores=1,3,5,7 /proc/29719/task/29724/stat : 29724 (java) S 29717 29719 28151 0 -1 4202560 234 0 0 0 189 10 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074860857768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29725] ppid=29717 vsize=9625004 CPUtime=1.76 cores=1,3,5,7 /proc/29719/task/29725/stat : 29725 (java) S 29717 29719 28151 0 -1 4202560 139 0 0 0 167 9 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074859805224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29726] ppid=29717 vsize=9625004 CPUtime=1.84 cores=1,3,5,7 /proc/29719/task/29726/stat : 29726 (java) S 29717 29719 28151 0 -1 4202560 157 0 0 0 176 8 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074858752680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29727] ppid=29717 vsize=9625004 CPUtime=2 cores=1,3,5,7 /proc/29719/task/29727/stat : 29727 (java) S 29717 29719 28151 0 -1 4202560 277 0 0 0 189 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074857700136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29728] ppid=29717 vsize=9625004 CPUtime=1.9 cores=1,3,5,7 /proc/29719/task/29728/stat : 29728 (java) S 29717 29719 28151 0 -1 4202560 151 0 0 0 179 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074856647592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29729] ppid=29717 vsize=9625004 CPUtime=1.97 cores=1,3,5,7 /proc/29719/task/29729/stat : 29729 (java) S 29717 29719 28151 0 -1 4202560 94 0 0 0 190 7 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074737986600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29719/tid=29730] ppid=29717 vsize=9625004 CPUtime=7.71 cores=1,3,5,7 /proc/29719/task/29730/stat : 29730 (java) S 29717 29719 28151 0 -1 4202560 673 0 0 0 769 2 0 0 20 0 19 0 279496571 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074725574760 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29731] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29731/stat : 29731 (java) S 29717 29719 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074724521080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29732] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29732/stat : 29732 (java) S 29717 29719 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074723468424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29733] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29733/stat : 29733 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074722417168 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29734] ppid=29717 vsize=9625004 CPUtime=0.64 cores=1,3,5,7 /proc/29719/task/29734/stat : 29734 (java) S 29717 29719 28151 0 -1 4202560 3715 0 0 0 64 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073983011384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29735] ppid=29717 vsize=9625004 CPUtime=0.58 cores=1,3,5,7 /proc/29719/task/29735/stat : 29735 (java) S 29717 29719 28151 0 -1 4202560 4428 0 0 0 57 1 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073981958840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29736] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29736/stat : 29736 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073980906488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29737] ppid=29717 vsize=9625004 CPUtime=0.75 cores=1,3,5,7 /proc/29719/task/29737/stat : 29737 (java) S 29717 29719 28151 0 -1 4202560 102 0 0 0 41 34 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073979854152 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29738] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29738/stat : 29738 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496613 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073978798888 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1795.87 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.5 s] /proc/loadavg: 2.00 2.01 2.00 3/213 29836 /proc/meminfo: memFree=29875064/32873844 swapFree=6600/6600 [pid=29719] ppid=29717 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7 /proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 14503 0 1 0 179866 142 0 0 20 0 19 0 279496568 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/29719/statm: 2406251 188037 2283 9 0 2396937 0 [pid=29719/tid=29721] ppid=29717 vsize=9625004 CPUtime=1769.86 cores=1,3,5,7 /proc/29719/task/29721/stat : 29721 (java) R 29717 29719 28151 0 -1 4202560 2772 0 1 0 176954 32 0 0 20 0 19 0 279496569 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074901471536 140074738676034 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29722] ppid=29717 vsize=9625004 CPUtime=2.08 cores=1,3,5,7 /proc/29719/task/29722/stat : 29722 (java) S 29717 29719 28151 0 -1 4202560 283 0 0 0 197 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074862962856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29723] ppid=29717 vsize=9625004 CPUtime=2.04 cores=1,3,5,7 /proc/29719/task/29723/stat : 29723 (java) S 29717 29719 28151 0 -1 4202560 292 0 0 0 193 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074861910312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29719/tid=29724] ppid=29717 vsize=9625004 CPUtime=1.99 cores=1,3,5,7 /proc/29719/task/29724/stat : 29724 (java) S 29717 29719 28151 0 -1 4202560 234 0 0 0 189 10 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074860857768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29725] ppid=29717 vsize=9625004 CPUtime=1.76 cores=1,3,5,7 /proc/29719/task/29725/stat : 29725 (java) S 29717 29719 28151 0 -1 4202560 139 0 0 0 167 9 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074859805224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29726] ppid=29717 vsize=9625004 CPUtime=1.84 cores=1,3,5,7 /proc/29719/task/29726/stat : 29726 (java) S 29717 29719 28151 0 -1 4202560 157 0 0 0 176 8 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074858752680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29727] ppid=29717 vsize=9625004 CPUtime=2 cores=1,3,5,7 /proc/29719/task/29727/stat : 29727 (java) S 29717 29719 28151 0 -1 4202560 277 0 0 0 189 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074857700136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29728] ppid=29717 vsize=9625004 CPUtime=1.9 cores=1,3,5,7 /proc/29719/task/29728/stat : 29728 (java) S 29717 29719 28151 0 -1 4202560 151 0 0 0 179 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074856647592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29729] ppid=29717 vsize=9625004 CPUtime=1.97 cores=1,3,5,7 /proc/29719/task/29729/stat : 29729 (java) S 29717 29719 28151 0 -1 4202560 94 0 0 0 190 7 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074737986600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29719/tid=29730] ppid=29717 vsize=9625004 CPUtime=7.71 cores=1,3,5,7 /proc/29719/task/29730/stat : 29730 (java) S 29717 29719 28151 0 -1 4202560 673 0 0 0 769 2 0 0 20 0 19 0 279496571 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074725574760 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29731] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29731/stat : 29731 (java) S 29717 29719 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074724521080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29732] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29732/stat : 29732 (java) S 29717 29719 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074723468424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29733] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29733/stat : 29733 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074722417168 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29734] ppid=29717 vsize=9625004 CPUtime=0.64 cores=1,3,5,7 /proc/29719/task/29734/stat : 29734 (java) S 29717 29719 28151 0 -1 4202560 3715 0 0 0 64 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073983011384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29735] ppid=29717 vsize=9625004 CPUtime=0.58 cores=1,3,5,7 /proc/29719/task/29735/stat : 29735 (java) S 29717 29719 28151 0 -1 4202560 4428 0 0 0 57 1 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073981958840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29736] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29736/stat : 29736 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073980906488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29737] ppid=29717 vsize=9625004 CPUtime=0.75 cores=1,3,5,7 /proc/29719/task/29737/stat : 29737 (java) S 29717 29719 28151 0 -1 4202560 102 0 0 0 41 34 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073979854152 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29738] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29738/stat : 29738 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496613 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073978798888 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 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 [startup+1786.5 s] /proc/loadavg: 2.00 2.01 2.00 3/213 29836 /proc/meminfo: memFree=29875064/32873844 swapFree=6600/6600 [pid=29719] ppid=29717 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7 /proc/29719/stat : 29719 (java) S 29717 29719 28151 0 -1 4202496 14503 0 1 0 179866 142 0 0 20 0 19 0 279496568 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140736429073648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/29719/statm: 2406251 188037 2283 9 0 2396937 0 [pid=29719/tid=29721] ppid=29717 vsize=9625004 CPUtime=1769.86 cores=1,3,5,7 /proc/29719/task/29721/stat : 29721 (java) R 29717 29719 28151 0 -1 4202560 2772 0 1 0 176954 32 0 0 20 0 19 0 279496569 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074901471536 140074738676034 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29722] ppid=29717 vsize=9625004 CPUtime=2.08 cores=1,3,5,7 /proc/29719/task/29722/stat : 29722 (java) S 29717 29719 28151 0 -1 4202560 283 0 0 0 197 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074862962856 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29723] ppid=29717 vsize=9625004 CPUtime=2.04 cores=1,3,5,7 /proc/29719/task/29723/stat : 29723 (java) S 29717 29719 28151 0 -1 4202560 292 0 0 0 193 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074861910312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29719/tid=29724] ppid=29717 vsize=9625004 CPUtime=1.99 cores=1,3,5,7 /proc/29719/task/29724/stat : 29724 (java) S 29717 29719 28151 0 -1 4202560 234 0 0 0 189 10 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074860857768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29725] ppid=29717 vsize=9625004 CPUtime=1.76 cores=1,3,5,7 /proc/29719/task/29725/stat : 29725 (java) S 29717 29719 28151 0 -1 4202560 139 0 0 0 167 9 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074859805224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29726] ppid=29717 vsize=9625004 CPUtime=1.84 cores=1,3,5,7 /proc/29719/task/29726/stat : 29726 (java) S 29717 29719 28151 0 -1 4202560 157 0 0 0 176 8 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074858752680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29727] ppid=29717 vsize=9625004 CPUtime=2 cores=1,3,5,7 /proc/29719/task/29727/stat : 29727 (java) S 29717 29719 28151 0 -1 4202560 277 0 0 0 189 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074857700136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29728] ppid=29717 vsize=9625004 CPUtime=1.9 cores=1,3,5,7 /proc/29719/task/29728/stat : 29728 (java) S 29717 29719 28151 0 -1 4202560 151 0 0 0 179 11 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074856647592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29729] ppid=29717 vsize=9625004 CPUtime=1.97 cores=1,3,5,7 /proc/29719/task/29729/stat : 29729 (java) S 29717 29719 28151 0 -1 4202560 94 0 0 0 190 7 0 0 20 0 19 0 279496570 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074737986600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29719/tid=29730] ppid=29717 vsize=9625004 CPUtime=7.71 cores=1,3,5,7 /proc/29719/task/29730/stat : 29730 (java) S 29717 29719 28151 0 -1 4202560 673 0 0 0 769 2 0 0 20 0 19 0 279496571 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074725574760 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29731] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29731/stat : 29731 (java) S 29717 29719 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074724521080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29732] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29732/stat : 29732 (java) S 29717 29719 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279496572 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074723468424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29733] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29733/stat : 29733 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140074722417168 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29734] ppid=29717 vsize=9625004 CPUtime=0.64 cores=1,3,5,7 /proc/29719/task/29734/stat : 29734 (java) S 29717 29719 28151 0 -1 4202560 3715 0 0 0 64 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073983011384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29735] ppid=29717 vsize=9625004 CPUtime=0.58 cores=1,3,5,7 /proc/29719/task/29735/stat : 29735 (java) S 29717 29719 28151 0 -1 4202560 4428 0 0 0 57 1 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073981958840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29719/tid=29736] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29736/stat : 29736 (java) S 29717 29719 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073980906488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29719/tid=29737] ppid=29717 vsize=9625004 CPUtime=0.75 cores=1,3,5,7 /proc/29719/task/29737/stat : 29737 (java) S 29717 29719 28151 0 -1 4202560 102 0 0 0 41 34 0 0 20 0 19 0 279496574 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073979854152 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29719/tid=29738] ppid=29717 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/29719/task/29738/stat : 29738 (java) S 29717 29719 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279496613 9856004096 188037 33554432000 1073741824 1073778376 140736429082512 140073978798888 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9625004 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 29719 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=888287 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=632751 # CPU time returned by wait4() is 1795.52 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1786.58 CPU time (s): 1800.08 CPU user time (s): 1798.66 CPU system time (s): 1.42 CPU usage (%): 100.756 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.89 system time used= 1.63275 maximum resident set size= 760496 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14550 page faults= 1 swaps= 0 block input operations= 72 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41622 involuntary context switches= 19861 runsolver used 6.609 second user time and 15.4137 second system time The end
Begin job on node140 at 2012-05-27 17:48:37 IDJOB=3710150 IDBENCH=1515 IDSOLVER=2289 FILE ID=node140/3710150-1338133717 RUNJOBID= node140-1338124688-28168 PBS_JOBID= 14624514 Free space on /tmp= 71328 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air03.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-3710150-1338133717/watcher-3710150-1338133717 -o /tmp/evaluation-result-3710150-1338133717/solver-3710150-1338133717 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710150-1338133717.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 721f63c71e5f6018eabb753425e3fdd2 RANDOM SEED=1339983382 node140.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 : 2667.094 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 : 5334.18 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 : 2667.094 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 : 2667.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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 : 2667.094 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 : 2667.094 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.92 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 : 2667.094 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.88 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 : 2667.094 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.90 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 : 2667.094 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: 30563564 kB Buffers: 383792 kB Cached: 716512 kB SwapCached: 1492 kB Active: 1198600 kB Inactive: 252348 kB Active(anon): 342516 kB Inactive(anon): 8612 kB Active(file): 856084 kB Inactive(file): 243736 kB Unevictable: 6600 kB Mlocked: 6600 kB SwapTotal: 67108856 kB SwapFree: 67105300 kB Dirty: 1612 kB Writeback: 0 kB AnonPages: 354180 kB Mapped: 19904 kB Shmem: 8 kB Slab: 718580 kB SReclaimable: 160632 kB SUnreclaim: 557948 kB KernelStack: 1600 kB PageTables: 4888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 824944 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 329728 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= 71332 MiB End job on node140 at 2012-05-27 18:18:26