Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 1800.06 | 1793.47 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_8.opb |
| MD5SUM | c9443936e5641d3aca30cbd92e359860 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4692139 |
| Best CPU time to get the best result obtained on this benchmark | 1801.26 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 134217728 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 91246785518 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 134217728 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 91246785518 |
| Number of bits of the biggest sum of numbers | 37 |
| 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.13 c read org.sat4j.minisat.orders.VarOrderHeap 0.08/0.13 c configuring ORDERS 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3 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-3710390-1338253621.opb 0.08/0.13 c reading problem ... 1.00/0.55 c ... done. Wall clock time 0.42s. 1.00/0.55 c declared #vars 9940 1.00/0.55 c #constraints 24510 1.00/0.55 c constraints type 1.00/0.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.00/0.55 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.00/0.55 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.00/0.55 c ignored satisfied constraints => 2 1.00/0.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.00/0.55 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.00/0.55 c 24512 constraints processed. 1.22/0.67 c SATISFIABLE 1.22/0.67 c OPTIMIZING... 1.22/0.67 c Got one! Elapsed wall clock time (in seconds):0.536 1.22/0.67 o 80759201 1.73/0.86 c Got one! Elapsed wall clock time (in seconds):0.729 1.73/0.86 o 80678027 4.87/3.69 c Got one! Elapsed wall clock time (in seconds):3.554 4.87/3.69 o 78099795 5.63/4.36 c cleaning 2534 clauses out of 5067 with flag 1007/5090 8.56/7.16 c Got one! Elapsed wall clock time (in seconds):7.024 8.56/7.16 o 50710857 9.28/7.85 c cleaning 3903 clauses out of 7806 with flag 1003/10390 12.92/11.30 c cleaning 4938 clauses out of 9883 with flag 7000/16387 13.10/11.42 c Got one! Elapsed wall clock time (in seconds):11.291 13.10/11.42 o 44900899 13.99/11.94 c Got one! Elapsed wall clock time (in seconds):11.807 13.99/11.94 o 42174779 13.99/11.97 c Got one! Elapsed wall clock time (in seconds):11.832 13.99/11.97 o 42119005 16.99/14.98 c cleaning 5511 clauses out of 11034 with flag 5002/22484 19.48/17.35 c Got one! Elapsed wall clock time (in seconds):17.211 19.48/17.35 o 17040899 20.98/18.85 c cleaning 5428 clauses out of 10863 with flag 3000/28366 21.39/19.25 c Got one! Elapsed wall clock time (in seconds):19.121 21.39/19.25 o 17009573 23.59/21.47 c cleaning 5201 clauses out of 10414 with flag 4002/33415 27.61/25.44 c Got one! Elapsed wall clock time (in seconds):25.306 27.61/25.44 o 11735085 28.85/26.60 c cleaning 4883 clauses out of 9768 with flag 2001/39166 33.26/31.08 c Got one! Elapsed wall clock time (in seconds):30.943 33.26/31.08 o 9643385 35.47/33.21 c cleaning 7724 clauses out of 15452 with flag 5000/50039 38.20/35.93 c cleaning 6823 clauses out of 13654 with flag 11000/56039 40.42/38.16 c Got one! Elapsed wall clock time (in seconds):38.03 40.42/38.16 o 8341907 41.22/38.91 c cleaning 6246 clauses out of 12492 with flag 2001/61761 44.04/41.79 c cleaning 6087 clauses out of 12194 with flag 8001/67761 45.84/43.56 c cleaning 6546 clauses out of 13105 with flag 15000/74760 49.57/47.22 c cleaning 7271 clauses out of 14549 with flag 23001/82761 54.99/52.65 c cleaning 8056 clauses out of 16114 with flag 32000/91760 59.80/57.44 c cleaning 9014 clauses out of 18042 with flag 42000/101760 62.40/60.03 c cleaning 10004 clauses out of 20021 with flag 53000/112760 65.42/63.07 c cleaning 11001 clauses out of 22017 with flag 65000/124760 68.03/65.65 c Got one! Elapsed wall clock time (in seconds):65.52 68.03/65.65 o 7000133 70.33/67.99 c cleaning 11210 clauses out of 22448 with flag 5000/136300 72.04/69.66 c cleaning 8612 clauses out of 17227 with flag 11000/142300 73.65/71.29 c cleaning 7797 clauses out of 15609 with flag 18000/149300 75.56/73.13 c cleaning 7894 clauses out of 15808 with flag 26000/157300 77.57/75.14 c cleaning 8448 clauses out of 16915 with flag 35001/166301 80.98/78.52 c cleaning 9208 clauses out of 18429 with flag 45000/176300 83.29/80.88 c cleaning 10101 clauses out of 20222 with flag 56001/187301 89.32/86.84 c cleaning 11024 clauses out of 22051 with flag 68001/199301 93.73/91.24 c cleaning 12009 clauses out of 24024 with flag 81013/212313 98.04/95.54 c cleaning 12987 clauses out of 25981 with flag 95000/226300 101.47/98.96 c cleaning 13986 clauses out of 27983 with flag 110000/241300 105.27/102.71 c cleaning 14991 clauses out of 29996 with flag 126000/257300 109.18/106.61 c cleaning 15992 clauses out of 32005 with flag 143000/274300 116.00/113.46 c cleaning 16982 clauses out of 33981 with flag 161002/292302 124.82/122.27 c cleaning 17972 clauses out of 35986 with flag 180000/311300 129.54/126.97 c cleaning 18996 clauses out of 38012 with flag 200000/331300 134.05/131.49 c cleaning 20002 clauses out of 40017 with flag 221001/352301 138.97/136.37 c cleaning 20999 clauses out of 42013 with flag 243001/374301 144.88/142.25 c cleaning 21999 clauses out of 44011 with flag 266001/397301 150.19/147.53 c cleaning 22994 clauses out of 46011 with flag 290000/421300 155.91/153.29 c cleaning 24010 clauses out of 48024 with flag 315007/446307 161.93/159.24 c cleaning 25000 clauses out of 50007 with flag 341000/472300 168.17/165.45 c cleaning 25994 clauses out of 52005 with flag 368001/499301 175.78/173.03 c cleaning 26999 clauses out of 54012 with flag 396002/527302 181.91/179.16 c cleaning 27995 clauses out of 56011 with flag 425000/556300 188.44/185.66 c cleaning 28999 clauses out of 58016 with flag 455000/586300 195.46/192.61 c cleaning 29998 clauses out of 60017 with flag 486000/617300 206.19/203.31 c cleaning 30991 clauses out of 62010 with flag 518000/649300 213.80/210.97 c cleaning 32002 clauses out of 64020 with flag 551001/682301 223.02/220.17 c cleaning 33000 clauses out of 66017 with flag 585000/716300 232.23/229.33 c cleaning 33991 clauses out of 68018 with flag 620001/751301 241.16/238.27 c cleaning 34999 clauses out of 70026 with flag 656000/787300 250.29/247.32 c cleaning 36009 clauses out of 72027 with flag 693000/824300 259.21/256.23 c cleaning 36995 clauses out of 74018 with flag 731000/862300 268.64/265.61 c cleaning 38000 clauses out of 76023 with flag 770000/901300 281.68/278.62 c cleaning 39001 clauses out of 78024 with flag 810001/941301 293.70/290.63 c cleaning 39998 clauses out of 80024 with flag 851002/982302 305.32/302.24 c cleaning 41009 clauses out of 82026 with flag 893002/1024302 326.54/323.43 c cleaning 41989 clauses out of 84015 with flag 936000/1067300 337.08/333.96 c cleaning 42996 clauses out of 86026 with flag 980000/1111300 349.31/346.15 c cleaning 43998 clauses out of 88030 with flag 1025000/1156300 360.93/357.70 c cleaning 45001 clauses out of 90032 with flag 1071000/1202300 373.36/370.16 c cleaning 46005 clauses out of 92032 with flag 1118001/1249301 385.18/381.96 c cleaning 47003 clauses out of 94027 with flag 1166001/1297301 397.31/394.09 c cleaning 47998 clauses out of 96023 with flag 1215000/1346300 411.82/408.57 c cleaning 49008 clauses out of 98026 with flag 1265001/1396301 425.53/422.22 c cleaning 49995 clauses out of 100017 with flag 1316000/1447300 438.09/434.78 c cleaning 50994 clauses out of 102022 with flag 1368000/1499300 450.13/446.79 c cleaning 52009 clauses out of 104029 with flag 1421001/1552301 463.45/460.01 c cleaning 52989 clauses out of 106019 with flag 1475000/1606300 477.76/474.32 c cleaning 53998 clauses out of 108031 with flag 1530001/1661301 491.48/488.09 c cleaning 55004 clauses out of 110032 with flag 1586000/1717300 506.61/503.15 c cleaning 56004 clauses out of 112029 with flag 1643001/1774301 520.77/517.22 c cleaning 57003 clauses out of 114025 with flag 1701001/1832301 534.81/531.30 c cleaning 57999 clauses out of 116021 with flag 1760000/1891300 549.33/545.76 c cleaning 58999 clauses out of 118023 with flag 1820001/1951301 564.29/560.65 c cleaning 60000 clauses out of 120023 with flag 1881000/2012300 579.93/576.20 c cleaning 61005 clauses out of 122023 with flag 1943000/2074300 598.56/594.85 c cleaning 61998 clauses out of 124018 with flag 2006000/2137300 613.58/609.82 c cleaning 63003 clauses out of 126021 with flag 2070001/2201301 629.30/625.53 c cleaning 63996 clauses out of 128018 with flag 2135001/2266301 645.08/641.25 c cleaning 64998 clauses out of 130021 with flag 2201000/2332300 662.20/658.37 c cleaning 65993 clauses out of 132023 with flag 2268000/2399300 679.14/675.26 c cleaning 66999 clauses out of 134030 with flag 2336000/2467300 695.98/692.07 c cleaning 67997 clauses out of 136032 with flag 2405001/2536301 712.60/708.67 c cleaning 69002 clauses out of 138034 with flag 2475000/2606300 729.94/725.91 c cleaning 70001 clauses out of 140032 with flag 2546000/2677300 746.59/742.56 c cleaning 71002 clauses out of 142031 with flag 2618000/2749300 764.22/760.11 c cleaning 72002 clauses out of 144029 with flag 2691000/2822300 782.85/778.74 c cleaning 72997 clauses out of 146027 with flag 2765000/2896300 799.88/795.73 c cleaning 73997 clauses out of 148031 with flag 2840001/2971301 819.57/815.34 c cleaning 75002 clauses out of 150033 with flag 2916000/3047300 841.34/837.06 c cleaning 76007 clauses out of 152031 with flag 2993000/3124300 859.95/855.61 c cleaning 76999 clauses out of 154025 with flag 3071001/3202301 878.99/874.68 c cleaning 78001 clauses out of 156025 with flag 3150000/3281300 898.22/893.81 c cleaning 79006 clauses out of 158025 with flag 3230001/3361301 917.58/913.16 c cleaning 79994 clauses out of 160019 with flag 3311001/3442301 940.42/935.95 c cleaning 81004 clauses out of 162025 with flag 3393001/3524301 961.77/957.26 c cleaning 81997 clauses out of 164020 with flag 3476000/3607300 983.63/979.10 c cleaning 83000 clauses out of 166024 with flag 3560001/3691301 1010.19/1005.50 c cleaning 84002 clauses out of 168023 with flag 3645000/3776300 1035.63/1030.91 c cleaning 85001 clauses out of 170021 with flag 3731000/3862300 1061.27/1056.55 c cleaning 85999 clauses out of 172021 with flag 3818001/3949301 1087.36/1082.59 c cleaning 87005 clauses out of 174022 with flag 3906001/4037301 1107.51/1102.66 c cleaning 87992 clauses out of 176017 with flag 3995001/4126301 1130.46/1125.54 c cleaning 88999 clauses out of 178024 with flag 4085000/4216300 1153.92/1148.90 c cleaning 90001 clauses out of 180025 with flag 4176000/4307300 1177.26/1172.26 c cleaning 90995 clauses out of 182024 with flag 4268000/4399300 1201.69/1196.61 c cleaning 92003 clauses out of 184029 with flag 4361000/4492300 1225.32/1220.28 c cleaning 93004 clauses out of 186027 with flag 4455001/4586301 1243.46/1238.36 c Got one! Elapsed wall clock time (in seconds):1238.225 1243.46/1238.36 o 6849317 1245.16/1240.02 c cleaning 88223 clauses out of 176463 with flag 5000/4669741 1246.84/1241.68 c cleaning 47110 clauses out of 94241 with flag 11001/4675742 1248.65/1243.45 c cleaning 27053 clauses out of 54130 with flag 18000/4682741 1250.57/1245.37 c cleaning 17522 clauses out of 35077 with flag 26000/4690741 1252.80/1247.51 c cleaning 13265 clauses out of 26555 with flag 35000/4699741 1255.23/1249.90 c cleaning 11626 clauses out of 23290 with flag 45000/4709741 1257.75/1252.48 c cleaning 11312 clauses out of 22664 with flag 56000/4720741 1260.65/1255.39 c cleaning 11666 clauses out of 23352 with flag 68000/4732741 1263.47/1258.18 c cleaning 12326 clauses out of 24686 with flag 81000/4745741 1266.59/1261.22 c cleaning 13171 clauses out of 26361 with flag 95001/4759742 1270.01/1264.60 c cleaning 14086 clauses out of 28189 with flag 110000/4774741 1273.51/1268.16 c cleaning 15042 clauses out of 30103 with flag 126000/4790741 1277.31/1271.96 c cleaning 16016 clauses out of 32061 with flag 143000/4807741 1281.52/1276.11 c cleaning 17012 clauses out of 34045 with flag 161000/4825741 1285.85/1280.44 c cleaning 18006 clauses out of 36034 with flag 180001/4844742 1290.47/1285.02 c cleaning 19004 clauses out of 38027 with flag 200000/4864741 1295.27/1289.89 c cleaning 20006 clauses out of 40024 with flag 221001/4885742 1300.48/1295.02 c cleaning 20993 clauses out of 42018 with flag 243001/4907742 1305.80/1300.31 c cleaning 22004 clauses out of 44024 with flag 266000/4930741 1311.30/1305.88 c cleaning 22998 clauses out of 46021 with flag 290001/4954742 1317.82/1312.32 c cleaning 24003 clauses out of 48022 with flag 315000/4979741 1323.62/1318.16 c cleaning 24996 clauses out of 50019 with flag 341000/5005741 1329.85/1324.36 c cleaning 25997 clauses out of 52023 with flag 368000/5032741 1336.17/1330.67 c cleaning 26993 clauses out of 54027 with flag 396001/5060742 1343.00/1337.40 c cleaning 28001 clauses out of 56034 with flag 425001/5089742 1350.03/1344.42 c cleaning 28998 clauses out of 58033 with flag 455001/5119742 1357.36/1351.76 c cleaning 29996 clauses out of 60034 with flag 486000/5150741 1364.99/1359.35 c cleaning 31003 clauses out of 62038 with flag 518000/5182741 1372.69/1367.08 c cleaning 32010 clauses out of 64036 with flag 551001/5215742 1380.74/1375.03 c cleaning 33004 clauses out of 66026 with flag 585001/5249742 1389.77/1384.02 c cleaning 34001 clauses out of 68022 with flag 620001/5284742 1398.89/1393.17 c cleaning 35001 clauses out of 70021 with flag 656001/5320742 1408.40/1402.64 c cleaning 35997 clauses out of 72020 with flag 693001/5357742 1418.21/1412.46 c cleaning 36996 clauses out of 74022 with flag 731000/5395741 1428.53/1422.70 c cleaning 38002 clauses out of 76026 with flag 770000/5434741 1438.55/1432.73 c cleaning 39001 clauses out of 78024 with flag 810000/5474741 1448.86/1443.09 c cleaning 40001 clauses out of 80024 with flag 851001/5515742 1459.58/1453.71 c cleaning 40992 clauses out of 82012 with flag 893001/5557742 1470.92/1465.05 c cleaning 42000 clauses out of 84020 with flag 936001/5600742 1482.85/1476.90 c cleaning 43004 clauses out of 86019 with flag 980000/5644741 1495.18/1489.29 c cleaning 43998 clauses out of 88016 with flag 1025001/5689742 1508.01/1502.06 c cleaning 44993 clauses out of 90017 with flag 1071000/5735741 1521.05/1515.06 c cleaning 46001 clauses out of 92025 with flag 1118001/5782742 1534.37/1528.39 c cleaning 47003 clauses out of 94023 with flag 1166000/5830741 1548.11/1542.08 c cleaning 47997 clauses out of 96020 with flag 1215000/5879741 1562.54/1556.45 c cleaning 48996 clauses out of 98023 with flag 1265000/5929741 1576.55/1570.46 c cleaning 50004 clauses out of 100028 with flag 1316001/5980742 1590.86/1584.79 c cleaning 51001 clauses out of 102023 with flag 1368000/6032741 1603.22/1597.07 c cleaning 51998 clauses out of 104022 with flag 1421000/6085741 1615.14/1608.92 c cleaning 53001 clauses out of 106024 with flag 1475000/6139741 1627.76/1621.50 c cleaning 53999 clauses out of 108024 with flag 1530001/6194742 1640.80/1634.59 c cleaning 55000 clauses out of 110025 with flag 1586001/6250742 1654.32/1648.00 c cleaning 56002 clauses out of 112025 with flag 1643001/6307742 1668.16/1661.86 c cleaning 56995 clauses out of 114022 with flag 1701000/6365741 1682.39/1676.01 c cleaning 58001 clauses out of 116028 with flag 1760001/6424742 1696.74/1690.37 c cleaning 58995 clauses out of 118026 with flag 1820000/6484741 1711.48/1705.01 c cleaning 60002 clauses out of 120032 with flag 1881001/6545742 1726.20/1719.79 c cleaning 60998 clauses out of 122029 with flag 1943000/6607741 1741.62/1735.10 c cleaning 62003 clauses out of 124032 with flag 2006001/6670742 1757.44/1750.98 c cleaning 63000 clauses out of 126028 with flag 2070000/6734741 1772.67/1766.18 c cleaning 64003 clauses out of 128021 with flag 2135000/6799741 1790.80/1784.23 c cleaning 64999 clauses out of 130019 with flag 2201001/6865742 1800.06/1793.41 c starts : 290 1800.06/1793.41 c conflicts : 6904600 1800.06/1793.41 c decisions : 7751605 1800.06/1793.41 c propagations : 178936898 1800.06/1793.41 c inspects : 2645740128 1800.06/1793.41 c shortcuts : 0 1800.06/1793.41 c learnt literals : 567 1800.06/1793.41 c learnt binary clauses : 581 1800.06/1793.41 c learnt ternary clauses : 1014 1800.06/1793.41 c learnt constraints : 6904033 1800.06/1793.41 c ignored constraints : 0 1800.06/1793.41 c root simplifications : 857 1800.06/1793.41 c removed literals (reason simplification) : 667937022 1800.06/1793.41 c reason swapping (by a shorter reason) : 0 1800.06/1793.41 c Calls to reduceDB : 169 1800.06/1793.41 c number of reductions to clauses (during analyze) : 0 1800.06/1793.41 c number of learned constraints concerned by reduction : 0 1800.06/1793.41 c number of learning phase by resolution : 0 1800.06/1793.41 c number of learning phase by cutting planes : 0 1800.06/1793.41 c speed (assignments/second) : 99806.5129141618 1800.06/1793.41 c non guided choices 7925 1800.06/1793.44 c learnt constraints type 1800.06/1793.44 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 516 1800.06/1793.44 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 103471 1800.06/1793.44 c constraints type 1800.06/1793.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1800.06/1793.44 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.06/1793.44 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.06/1793.44 c ignored satisfied constraints => 2 1800.06/1793.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1800.06/1793.44 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626 1800.06/1793.44 c 24513 constraints processed. 1800.06/1793.44 s SATISFIABLE 1800.06/1793.45 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 1800.06/1793.46 c objective function=6849317 1800.06/1793.46 c Total wall clock time (in seconds): 1793.324
OK 6849317
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-3710390-1338253621/watcher-3710390-1338253621 -o /tmp/evaluation-result-3710390-1338253621/solver-3710390-1338253621 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710390-1338253621.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.95 1.99 1.99 3/195 10202 /proc/meminfo: memFree=28386872/32873844 swapFree=7620/7620 [pid=10202] ppid=10200 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/10202/stat : 10202 (java) D 10200 10202 8308 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 291486504 9515008 183 33554432000 1073741824 1073778376 140734617412400 140734617403432 251044642485 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/10202/statm: 2323 183 140 9 0 71 0 [startup+0.027267 s] /proc/loadavg: 1.95 1.99 1.99 3/195 10202 /proc/meminfo: memFree=28386872/32873844 swapFree=7620/7620 [pid=10202] ppid=10200 vsize=9016616 CPUtime=0 cores=1,3,5,7 /proc/10202/stat : 10202 (java) S 10200 10202 8308 0 -1 4202496 2342 0 1 0 0 0 0 0 20 0 10 0 291486504 9233014784 2529 33554432000 1073741824 1073778376 140734323402432 140734323393568 251048001597 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/10202/statm: 2254154 2539 1150 9 0 2244855 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9016616 [startup+0.1003 s] /proc/loadavg: 1.95 1.99 1.99 3/195 10202 /proc/meminfo: memFree=28386872/32873844 swapFree=7620/7620 [pid=10202] ppid=10200 vsize=9558440 CPUtime=0.08 cores=1,3,5,7 /proc/10202/stat : 10202 (java) S 10200 10202 8308 0 -1 4202496 3857 0 1 0 7 1 0 0 20 0 18 0 291486504 9787842560 4553 33554432000 1073741824 1073778376 140734323402432 140734323393568 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/10202/statm: 2389610 4562 2018 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558440 [startup+0.300302 s] /proc/loadavg: 1.95 1.99 1.99 3/195 10202 /proc/meminfo: memFree=28386872/32873844 swapFree=7620/7620 [pid=10202] ppid=10200 vsize=9558440 CPUtime=0.47 cores=1,3,5,7 /proc/10202/stat : 10202 (java) S 10200 10202 8308 0 -1 4202496 5546 0 1 0 46 1 0 0 20 0 18 0 291486504 9787842560 8646 33554432000 1073741824 1073778376 140734323402432 140734323393568 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/10202/statm: 2389610 8646 2226 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558440 [startup+0.700312 s] /proc/loadavg: 1.95 1.99 1.99 3/195 10202 /proc/meminfo: memFree=28386872/32873844 swapFree=7620/7620 [pid=10202] ppid=10200 vsize=9625004 CPUtime=1.46 cores=1,3,5,7 /proc/10202/stat : 10202 (java) S 10200 10202 8308 0 -1 4202496 12156 0 1 0 143 3 0 0 20 0 19 0 291486504 9856004096 25287 33554432000 1073741824 1073778376 140734323402432 140734323393568 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/10202/statm: 2406251 25287 2250 9 0 2396937 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 9625004 [startup+1.50077 s] /proc/loadavg: 1.95 1.99 1.99 3/214 10221 /proc/meminfo: memFree=28290200/32873844 swapFree=7620/7620 [pid=10202] ppid=10200 vsize=9625004 CPUtime=2.69 cores=1,3,5,7 /proc/10202/stat : 10202 (java) S 10200 10202 8308 0 -1 4202496 12426 0 1 0 265 4 0 0 20 0 19 0 291486504 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140734323393568 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/10202/statm: 2406251 27514 2263 9 0 2396937 0 [pid=10202/tid=10204] ppid=10200 vsize=9625004 CPUtime=1.47 cores=1,3,5,7 /proc/10202/task/10204/stat : 10204 (java) R 10200 10202 8308 0 -1 4202560 2597 0 1 0 144 3 0 0 20 0 19 0 291486506 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427245744440 140427118603968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10205] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10205/stat : 10205 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427089406760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10206] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10206/stat : 10206 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427088353960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10207] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10207/stat : 10207 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427087301672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10208] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10208/stat : 10208 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427086248872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10209] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10209/stat : 10209 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427085195560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10210] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10210/stat : 10210 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427084142760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10211] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10211/stat : 10211 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427083090472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10212] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10212/stat : 10212 (java) S 10200 10202 8308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427082037672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10213] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10213/stat : 10213 (java) S 10200 10202 8308 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291486508 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427069840104 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10214] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10214/stat : 10214 (java) S 10200 10202 8308 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291486509 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427068786168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10215] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10215/stat : 10215 (java) S 10200 10202 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291486509 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427067733768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10216] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10216/stat : 10216 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427066682256 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10217] ppid=10200 vsize=9625004 CPUtime=0.59 cores=1,3,5,7 /proc/10202/task/10217/stat : 10217 (java) S 10200 10202 8308 0 -1 4202560 5373 0 0 0 59 0 0 0 20 0 19 0 291486511 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427065628856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10218] ppid=10200 vsize=9625004 CPUtime=0.6 cores=1,3,5,7 /proc/10202/task/10218/stat : 10218 (java) S 10200 10202 8308 0 -1 4202560 3255 0 0 0 60 0 0 0 20 0 19 0 291486511 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427064576056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10219] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10219/stat : 10219 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427063523960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10220] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10220/stat : 10220 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427062471368 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10221] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10221/stat : 10221 (java) S 10200 10202 8308 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291486562 9856004096 27514 33554432000 1073741824 1073778376 140734323402432 140427061417384 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.69 Current children cumulated vsize (KiB) 9625004 [startup+3.10068 s] /proc/loadavg: 1.95 1.99 1.99 3/214 10221 /proc/meminfo: memFree=28283188/32873844 swapFree=7620/7620 [pid=10202] ppid=10200 vsize=9625004 CPUtime=4.36 cores=1,3,5,7 /proc/10202/stat : 10202 (java) S 10200 10202 8308 0 -1 4202496 12446 0 1 0 432 4 0 0 20 0 19 0 291486504 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140734323393568 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/10202/statm: 2406251 29575 2265 9 0 2396937 0 [pid=10202/tid=10204] ppid=10200 vsize=9625004 CPUtime=3.06 cores=1,3,5,7 /proc/10202/task/10204/stat : 10204 (java) R 10200 10202 8308 0 -1 4202560 2604 0 1 0 303 3 0 0 20 0 19 0 291486506 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427245744552 140427118578820 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10205] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10205/stat : 10205 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427089406760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10206] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10206/stat : 10206 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427088353960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10207] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10207/stat : 10207 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427087301672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10208] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10208/stat : 10208 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427086248872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10209] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10209/stat : 10209 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427085195560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10210] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10210/stat : 10210 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427084142760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10211] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10211/stat : 10211 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427083090472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10212] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10212/stat : 10212 (java) S 10200 10202 8308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427082037672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10213] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10213/stat : 10213 (java) S 10200 10202 8308 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291486508 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427069840104 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10214] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10214/stat : 10214 (java) S 10200 10202 8308 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291486509 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427068786168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10215] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10215/stat : 10215 (java) S 10200 10202 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291486509 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427067733768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10216] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10216/stat : 10216 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427066682256 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10217] ppid=10200 vsize=9625004 CPUtime=0.65 cores=1,3,5,7 /proc/10202/task/10217/stat : 10217 (java) S 10200 10202 8308 0 -1 4202560 5385 0 0 0 65 0 0 0 20 0 19 0 291486511 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427065628856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10218] ppid=10200 vsize=9625004 CPUtime=0.6 cores=1,3,5,7 /proc/10202/task/10218/stat : 10218 (java) S 10200 10202 8308 0 -1 4202560 3255 0 0 0 60 0 0 0 20 0 19 0 291486511 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427064576056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10219] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10219/stat : 10219 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427063523960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10220] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10220/stat : 10220 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427062471368 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10221] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10221/stat : 10221 (java) S 10200 10202 8308 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291486562 9856004096 29575 33554432000 1073741824 1073778376 140734323402432 140427061417384 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.36 Current children cumulated vsize (KiB) 9625004 [startup+6.30082 s] /proc/loadavg: 1.95 1.99 1.99 3/214 10221 /proc/meminfo: memFree=28231136/32873844 swapFree=7620/7620 [pid=10202] ppid=10200 vsize=9625004 CPUtime=7.75 cores=1,3,5,7 /proc/10202/stat : 10202 (java) S 10200 10202 8308 0 -1 4202496 12558 0 1 0 768 7 0 0 20 0 19 0 291486504 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140734323393568 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/10202/statm: 2406251 40715 2291 9 0 2396937 0 [pid=10202/tid=10204] ppid=10200 vsize=9625004 CPUtime=6.18 cores=1,3,5,7 /proc/10202/task/10204/stat : 10204 (java) R 10200 10202 8308 0 -1 4202560 2613 0 1 0 615 3 0 0 20 0 19 0 291486506 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427245752488 140427118640280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10205] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10205/stat : 10205 (java) S 10200 10202 8308 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427089406760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10206] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10206/stat : 10206 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427088353960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10207] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10207/stat : 10207 (java) S 10200 10202 8308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427087301672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10208] ppid=10200 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/10202/task/10208/stat : 10208 (java) S 10200 10202 8308 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 291486507 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427086248872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10209] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10209/stat : 10209 (java) S 10200 10202 8308 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427085195560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10210] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10210/stat : 10210 (java) S 10200 10202 8308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427084142760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10211] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10211/stat : 10211 (java) S 10200 10202 8308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427083090472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10212] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10212/stat : 10212 (java) S 10200 10202 8308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291486507 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427082037672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10213] ppid=10200 vsize=9625004 CPUtime=0.03 cores=1,3,5,7 /proc/10202/task/10213/stat : 10213 (java) S 10200 10202 8308 0 -1 4202560 39 0 0 0 3 0 0 0 20 0 19 0 291486508 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427069840104 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10214] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10214/stat : 10214 (java) S 10200 10202 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291486509 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427068786168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10215] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10215/stat : 10215 (java) S 10200 10202 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291486509 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427067733768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10216] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10216/stat : 10216 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427066682256 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10217] ppid=10200 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/10202/task/10217/stat : 10217 (java) S 10200 10202 8308 0 -1 4202560 5397 0 0 0 71 0 0 0 20 0 19 0 291486511 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427065628856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10218] ppid=10200 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/10202/task/10218/stat : 10218 (java) S 10200 10202 8308 0 -1 4202560 3264 0 0 0 66 0 0 0 20 0 19 0 291486511 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427064576056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10219] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10219/stat : 10219 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427063523960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10220] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10220/stat : 10220 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427062471368 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10221] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10221/stat : 10221 (java) S 10200 10202 8308 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291486562 9856004096 40715 33554432000 1073741824 1073778376 140734323402432 140427061417384 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.75 Current children cumulated vsize (KiB) 9625004 [startup+12.7007 s] ################ # More data... # ################ [pid=10202/tid=10217] ppid=10200 vsize=9625004 CPUtime=0.82 cores=1,3,5,7 /proc/10202/task/10217/stat : 10217 (java) S 10200 10202 8308 0 -1 4202560 5438 0 0 0 82 0 0 0 20 0 19 0 291486511 9856004096 69006 33554432000 1073741824 1073778376 140734323402432 140427065628856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10218] ppid=10200 vsize=9625004 CPUtime=1.23 cores=1,3,5,7 /proc/10202/task/10218/stat : 10218 (java) S 10200 10202 8308 0 -1 4202560 10422 0 0 0 121 2 0 0 20 0 19 0 291486511 9856004096 69006 33554432000 1073741824 1073778376 140734323402432 140427064576056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10219] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10219/stat : 10219 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 69006 33554432000 1073741824 1073778376 140734323402432 140427063523960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10220] ppid=10200 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/10202/task/10220/stat : 10220 (java) S 10200 10202 8308 0 -1 4202560 95 0 0 0 20 12 0 0 20 0 19 0 291486511 9856004096 69006 33554432000 1073741824 1073778376 140734323402432 140427062471368 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10221] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10221/stat : 10221 (java) S 10200 10202 8308 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291486562 9856004096 69006 33554432000 1073741824 1073778376 140734323402432 140427061417384 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1668.69 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/215 10494 /proc/meminfo: memFree=28020904/32873844 swapFree=7620/7620 [pid=10202] ppid=10200 vsize=9625004 CPUtime=1728.82 cores=1,3,5,7 /proc/10202/stat : 10202 (java) S 10200 10202 8308 0 -1 4202496 21817 0 1 0 172853 29 0 0 20 0 19 0 291486504 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140734323393568 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/10202/statm: 2406251 69063 2292 9 0 2396937 0 [pid=10202/tid=10204] ppid=10200 vsize=9625004 CPUtime=1702.77 cores=1,3,5,7 /proc/10202/task/10204/stat : 10204 (java) R 10200 10202 8308 0 -1 4202560 2777 0 1 0 170249 28 0 0 20 0 19 0 291486506 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427245752656 140427118640971 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10205] ppid=10200 vsize=9625004 CPUtime=0.8 cores=1,3,5,7 /proc/10202/task/10205/stat : 10205 (java) S 10200 10202 8308 0 -1 4202560 173 0 0 0 78 2 0 0 20 0 19 0 291486507 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427089406760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10206] ppid=10200 vsize=9625004 CPUtime=0.74 cores=1,3,5,7 /proc/10202/task/10206/stat : 10206 (java) S 10200 10202 8308 0 -1 4202560 378 0 0 0 72 2 0 0 20 0 19 0 291486507 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427088353960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10207] ppid=10200 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/10202/task/10207/stat : 10207 (java) S 10200 10202 8308 0 -1 4202560 212 0 0 0 81 3 0 0 20 0 19 0 291486507 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427087301672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10208] ppid=10200 vsize=9625004 CPUtime=0.82 cores=1,3,5,7 /proc/10202/task/10208/stat : 10208 (java) S 10200 10202 8308 0 -1 4202560 73 0 0 0 80 2 0 0 20 0 19 0 291486507 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427086248872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10209] ppid=10200 vsize=9625004 CPUtime=0.82 cores=1,3,5,7 /proc/10202/task/10209/stat : 10209 (java) S 10200 10202 8308 0 -1 4202560 202 0 0 0 80 2 0 0 20 0 19 0 291486507 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427085195560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10210] ppid=10200 vsize=9625004 CPUtime=0.87 cores=1,3,5,7 /proc/10202/task/10210/stat : 10210 (java) S 10200 10202 8308 0 -1 4202560 193 0 0 0 84 3 0 0 20 0 19 0 291486507 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427084142760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10211] ppid=10200 vsize=9625004 CPUtime=0.79 cores=1,3,5,7 /proc/10202/task/10211/stat : 10211 (java) S 10200 10202 8308 0 -1 4202560 246 0 0 0 77 2 0 0 20 0 19 0 291486507 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427083090472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10212] ppid=10200 vsize=9625004 CPUtime=0.79 cores=1,3,5,7 /proc/10202/task/10212/stat : 10212 (java) S 10200 10202 8308 0 -1 4202560 220 0 0 0 78 1 0 0 20 0 19 0 291486507 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427082037672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10213] ppid=10200 vsize=9625004 CPUtime=13.16 cores=1,3,5,7 /proc/10202/task/10213/stat : 10213 (java) S 10200 10202 8308 0 -1 4202560 197 0 0 0 1314 2 0 0 20 0 19 0 291486508 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427069840104 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10214] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10214/stat : 10214 (java) S 10200 10202 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291486509 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427068786168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10215] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10215/stat : 10215 (java) S 10200 10202 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291486509 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427067733768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10216] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10216/stat : 10216 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427066682256 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10217] ppid=10200 vsize=9625004 CPUtime=0.82 cores=1,3,5,7 /proc/10202/task/10217/stat : 10217 (java) S 10200 10202 8308 0 -1 4202560 5438 0 0 0 82 0 0 0 20 0 19 0 291486511 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427065628856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10218] ppid=10200 vsize=9625004 CPUtime=1.23 cores=1,3,5,7 /proc/10202/task/10218/stat : 10218 (java) S 10200 10202 8308 0 -1 4202560 10422 0 0 0 121 2 0 0 20 0 19 0 291486511 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427064576056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10219] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10219/stat : 10219 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427063523960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10220] ppid=10200 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/10202/task/10220/stat : 10220 (java) S 10200 10202 8308 0 -1 4202560 99 0 0 0 20 14 0 0 20 0 19 0 291486511 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427062471368 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10221] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10221/stat : 10221 (java) S 10200 10202 8308 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291486562 9856004096 69063 33554432000 1073741824 1073778376 140734323402432 140427061417384 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1728.82 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/214 10495 /proc/meminfo: memFree=28018492/32873844 swapFree=7620/7620 [pid=10202] ppid=10200 vsize=9625004 CPUtime=1788.89 cores=1,3,5,7 /proc/10202/stat : 10202 (java) S 10200 10202 8308 0 -1 4202496 21831 0 1 0 178860 29 0 0 20 0 19 0 291486504 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140734323393568 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/10202/statm: 2406251 69068 2292 9 0 2396937 0 [pid=10202/tid=10204] ppid=10200 vsize=9625004 CPUtime=1762.26 cores=1,3,5,7 /proc/10202/task/10204/stat : 10204 (java) R 10200 10202 8308 0 -1 4202560 2780 0 1 0 176197 29 0 0 20 0 19 0 291486506 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427245752656 140427118596384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10205] ppid=10200 vsize=9625004 CPUtime=0.82 cores=1,3,5,7 /proc/10202/task/10205/stat : 10205 (java) S 10200 10202 8308 0 -1 4202560 173 0 0 0 80 2 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427089406760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10206] ppid=10200 vsize=9625004 CPUtime=0.76 cores=1,3,5,7 /proc/10202/task/10206/stat : 10206 (java) S 10200 10202 8308 0 -1 4202560 378 0 0 0 74 2 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427088353960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10207] ppid=10200 vsize=9625004 CPUtime=0.85 cores=1,3,5,7 /proc/10202/task/10207/stat : 10207 (java) S 10200 10202 8308 0 -1 4202560 217 0 0 0 82 3 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427087301672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10208] ppid=10200 vsize=9625004 CPUtime=0.82 cores=1,3,5,7 /proc/10202/task/10208/stat : 10208 (java) S 10200 10202 8308 0 -1 4202560 73 0 0 0 80 2 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427086248872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10209] ppid=10200 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/10202/task/10209/stat : 10209 (java) S 10200 10202 8308 0 -1 4202560 202 0 0 0 82 2 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427085195560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10210] ppid=10200 vsize=9625004 CPUtime=0.88 cores=1,3,5,7 /proc/10202/task/10210/stat : 10210 (java) S 10200 10202 8308 0 -1 4202560 193 0 0 0 85 3 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427084142760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10211] ppid=10200 vsize=9625004 CPUtime=0.8 cores=1,3,5,7 /proc/10202/task/10211/stat : 10211 (java) S 10200 10202 8308 0 -1 4202560 246 0 0 0 78 2 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427083090472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10212] ppid=10200 vsize=9625004 CPUtime=0.81 cores=1,3,5,7 /proc/10202/task/10212/stat : 10212 (java) S 10200 10202 8308 0 -1 4202560 220 0 0 0 80 1 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427082037672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10213] ppid=10200 vsize=9625004 CPUtime=13.49 cores=1,3,5,7 /proc/10202/task/10213/stat : 10213 (java) S 10200 10202 8308 0 -1 4202560 199 0 0 0 1347 2 0 0 20 0 19 0 291486508 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427069840104 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10214] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10214/stat : 10214 (java) S 10200 10202 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291486509 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427068786168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10215] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10215/stat : 10215 (java) S 10200 10202 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291486509 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427067733768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10216] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10216/stat : 10216 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427066682256 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10217] ppid=10200 vsize=9625004 CPUtime=0.82 cores=1,3,5,7 /proc/10202/task/10217/stat : 10217 (java) S 10200 10202 8308 0 -1 4202560 5438 0 0 0 82 0 0 0 20 0 19 0 291486511 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427065628856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10218] ppid=10200 vsize=9625004 CPUtime=1.23 cores=1,3,5,7 /proc/10202/task/10218/stat : 10218 (java) S 10200 10202 8308 0 -1 4202560 10422 0 0 0 121 2 0 0 20 0 19 0 291486511 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427064576056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10219] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10219/stat : 10219 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427063523960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10220] ppid=10200 vsize=9625004 CPUtime=0.36 cores=1,3,5,7 /proc/10202/task/10220/stat : 10220 (java) S 10200 10202 8308 0 -1 4202560 103 0 0 0 22 14 0 0 20 0 19 0 291486511 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427062471368 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10221] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10221/stat : 10221 (java) S 10200 10202 8308 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291486562 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427061417384 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1788.89 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.4 s] /proc/loadavg: 2.00 2.00 2.00 3/214 10495 /proc/meminfo: memFree=28018492/32873844 swapFree=7620/7620 [pid=10202] ppid=10200 vsize=9625004 CPUtime=1800.06 cores=1,3,5,7 /proc/10202/stat : 10202 (java) S 10200 10202 8308 0 -1 4202496 21834 0 1 0 179977 29 0 0 20 0 19 0 291486504 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140734323393568 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/10202/statm: 2406251 69068 2292 9 0 2396937 0 [pid=10202/tid=10204] ppid=10200 vsize=9625004 CPUtime=1773.22 cores=1,3,5,7 /proc/10202/task/10204/stat : 10204 (java) R 10200 10202 8308 0 -1 4202560 2781 0 1 0 177293 29 0 0 20 0 19 0 291486506 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427245752656 140427118612131 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10205] ppid=10200 vsize=9625004 CPUtime=0.83 cores=1,3,5,7 /proc/10202/task/10205/stat : 10205 (java) S 10200 10202 8308 0 -1 4202560 173 0 0 0 81 2 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427089406760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10206] ppid=10200 vsize=9625004 CPUtime=0.77 cores=1,3,5,7 /proc/10202/task/10206/stat : 10206 (java) S 10200 10202 8308 0 -1 4202560 378 0 0 0 75 2 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427088353960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10207] ppid=10200 vsize=9625004 CPUtime=0.86 cores=1,3,5,7 /proc/10202/task/10207/stat : 10207 (java) S 10200 10202 8308 0 -1 4202560 217 0 0 0 83 3 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427087301672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10208] ppid=10200 vsize=9625004 CPUtime=0.83 cores=1,3,5,7 /proc/10202/task/10208/stat : 10208 (java) S 10200 10202 8308 0 -1 4202560 73 0 0 0 81 2 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427086248872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10209] ppid=10200 vsize=9625004 CPUtime=0.85 cores=1,3,5,7 /proc/10202/task/10209/stat : 10209 (java) S 10200 10202 8308 0 -1 4202560 202 0 0 0 83 2 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427085195560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10210] ppid=10200 vsize=9625004 CPUtime=0.89 cores=1,3,5,7 /proc/10202/task/10210/stat : 10210 (java) S 10200 10202 8308 0 -1 4202560 193 0 0 0 86 3 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427084142760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10211] ppid=10200 vsize=9625004 CPUtime=0.8 cores=1,3,5,7 /proc/10202/task/10211/stat : 10211 (java) S 10200 10202 8308 0 -1 4202560 246 0 0 0 78 2 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427083090472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10212] ppid=10200 vsize=9625004 CPUtime=0.82 cores=1,3,5,7 /proc/10202/task/10212/stat : 10212 (java) S 10200 10202 8308 0 -1 4202560 220 0 0 0 81 1 0 0 20 0 19 0 291486507 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427082037672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10213] ppid=10200 vsize=9625004 CPUtime=13.59 cores=1,3,5,7 /proc/10202/task/10213/stat : 10213 (java) S 10200 10202 8308 0 -1 4202560 201 0 0 0 1357 2 0 0 20 0 19 0 291486508 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427069840104 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10214] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10214/stat : 10214 (java) S 10200 10202 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291486509 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427068786168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10215] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10215/stat : 10215 (java) S 10200 10202 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291486509 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427067733768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10216] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10216/stat : 10216 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427066682256 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10202/tid=10217] ppid=10200 vsize=9625004 CPUtime=0.82 cores=1,3,5,7 /proc/10202/task/10217/stat : 10217 (java) S 10200 10202 8308 0 -1 4202560 5438 0 0 0 82 0 0 0 20 0 19 0 291486511 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427065628856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10218] ppid=10200 vsize=9625004 CPUtime=1.23 cores=1,3,5,7 /proc/10202/task/10218/stat : 10218 (java) S 10200 10202 8308 0 -1 4202560 10422 0 0 0 121 2 0 0 20 0 19 0 291486511 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427064576056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10202/tid=10219] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10219/stat : 10219 (java) S 10200 10202 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291486511 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427063523960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10202/tid=10220] ppid=10200 vsize=9625004 CPUtime=0.36 cores=1,3,5,7 /proc/10202/task/10220/stat : 10220 (java) S 10200 10202 8308 0 -1 4202560 103 0 0 0 22 14 0 0 20 0 19 0 291486511 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427062471368 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10202/tid=10221] ppid=10200 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/10202/task/10221/stat : 10221 (java) S 10200 10202 8308 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291486562 9856004096 69068 33554432000 1073741824 1073778376 140734323402432 140427061417384 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10202 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=478045 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=783880 # CPU time returned by wait4() is 1796.26 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1793.47 CPU time (s): 1800.06 CPU user time (s): 1799.77 CPU system time (s): 0.29 CPU usage (%): 100.368 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.48 system time used= 0.78388 maximum resident set size= 276396 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21866 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1720 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42707 involuntary context switches= 15501 runsolver used 5.86211 second user time and 14.0019 second system time The end
Begin job on node143 at 2012-05-29 03:07:01 IDJOB=3710390 IDBENCH=92727 IDSOLVER=2289 FILE ID=node143/3710390-1338253621 RUNJOBID= node143-1338231615-8325 PBS_JOBID= 14624659 Free space on /tmp= 69360 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_8.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-3710390-1338253621/watcher-3710390-1338253621 -o /tmp/evaluation-result-3710390-1338253621/solver-3710390-1338253621 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710390-1338253621.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c9443936e5641d3aca30cbd92e359860 RANDOM SEED=1350280570 node143.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 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 : 2666.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 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 : 5298.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 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: 28386880 kB Buffers: 441872 kB Cached: 3061588 kB SwapCached: 0 kB Active: 3139028 kB Inactive: 478516 kB Active(anon): 105064 kB Inactive(anon): 11300 kB Active(file): 3033964 kB Inactive(file): 467216 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1692 kB Writeback: 0 kB AnonPages: 120712 kB Mapped: 22584 kB Shmem: 200 kB Slab: 729168 kB SReclaimable: 171108 kB SUnreclaim: 558060 kB KernelStack: 1608 kB PageTables: 3800 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 698912 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 90112 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= 69360 MiB End job on node143 at 2012-05-29 03:36:57