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.81 | 1793.77 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_6.opb |
| MD5SUM | 3d381ed93f57c88e2b6d7a913913eca6 |
| 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 | 5298527 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| 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 | 174676879 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 105424044698 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 174676879 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 105424044698 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 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.06/0.09 c Number of processors 8 0.08/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.08/0.12 c configuring ORDERS 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=true 0.08/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-3710388-1338254210.opb 0.08/0.12 c reading problem ... 1.03/0.53 c ... done. Wall clock time 0.41s. 1.03/0.53 c declared #vars 9940 1.03/0.53 c #constraints 24510 1.03/0.53 c constraints type 1.03/0.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.03/0.53 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.03/0.53 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.03/0.53 c ignored satisfied constraints => 2 1.03/0.53 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.03/0.53 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.03/0.53 c 24512 constraints processed. 1.24/0.65 c SATISFIABLE 1.24/0.65 c OPTIMIZING... 1.24/0.65 c Got one! Elapsed wall clock time (in seconds):0.524 1.24/0.65 o 125335389 1.77/0.83 c Got one! Elapsed wall clock time (in seconds):0.709 1.77/0.83 o 125272591 3.58/2.46 c Got one! Elapsed wall clock time (in seconds):2.333 3.58/2.46 o 111270131 6.11/4.81 c Got one! Elapsed wall clock time (in seconds):4.686 6.11/4.81 o 94333419 8.12/6.80 c cleaning 2870 clauses out of 5739 with flag 3009/5750 9.88/8.35 c Got one! Elapsed wall clock time (in seconds):8.227 9.88/8.35 o 60917487 13.36/11.70 c cleaning 4223 clauses out of 8452 with flag 5007/11430 16.11/14.47 c cleaning 5108 clauses out of 10216 with flag 11006/17429 16.74/15.08 c Got one! Elapsed wall clock time (in seconds):14.957 16.74/15.08 o 51672295 16.84/15.10 c Got one! Elapsed wall clock time (in seconds):14.982 16.84/15.10 o 51644305 16.84/15.13 c Got one! Elapsed wall clock time (in seconds):15.009 16.84/15.13 o 51630145 19.35/17.60 c cleaning 5072 clauses out of 10146 with flag 4001/22479 21.11/19.35 c Got one! Elapsed wall clock time (in seconds):19.232 21.11/19.35 o 49741331 23.51/21.70 c cleaning 5467 clauses out of 10937 with flag 4000/28368 25.22/23.44 c cleaning 5723 clauses out of 11463 with flag 10000/34368 28.84/27.08 c cleaning 6353 clauses out of 12726 with flag 17000/41368 31.35/29.55 c cleaning 7181 clauses out of 14372 with flag 25001/49369 32.97/31.17 c Got one! Elapsed wall clock time (in seconds):31.045 32.97/31.17 o 43592357 34.27/32.47 c Got one! Elapsed wall clock time (in seconds):32.35 34.27/32.47 o 21575137 35.27/33.41 c cleaning 6630 clauses out of 13270 with flag 1001/55698 39.87/38.02 c cleaning 6311 clauses out of 12633 with flag 7001/61698 42.19/40.35 c cleaning 6656 clauses out of 13320 with flag 14000/68697 50.09/48.21 c cleaning 7335 clauses out of 14672 with flag 22009/76706 53.41/51.57 c Got one! Elapsed wall clock time (in seconds):51.443 53.41/51.57 o 8877319 54.95/53.05 c cleaning 4437 clauses out of 8884 with flag 2008/81947 57.46/55.51 c cleaning 5215 clauses out of 10430 with flag 8001/87940 59.19/57.23 c cleaning 6087 clauses out of 12184 with flag 15001/94940 61.53/59.58 c cleaning 7025 clauses out of 14061 with flag 23001/102940 63.93/61.91 c cleaning 8011 clauses out of 16032 with flag 32001/111940 66.84/64.84 c cleaning 9018 clauses out of 18035 with flag 42046/121985 71.54/69.58 c cleaning 9955 clauses out of 19921 with flag 53002/132941 75.37/73.30 c cleaning 10967 clauses out of 21954 with flag 65001/144940 78.87/76.89 c cleaning 11981 clauses out of 23973 with flag 78001/157940 83.07/81.07 c cleaning 12986 clauses out of 25988 with flag 92000/171939 89.28/87.28 c cleaning 13992 clauses out of 28003 with flag 107001/186940 89.49/87.47 c Got one! Elapsed wall clock time (in seconds):87.343 89.49/87.47 o 8300973 91.29/89.29 c cleaning 9578 clauses out of 19177 with flag 5001/192131 92.91/90.86 c cleaning 7790 clauses out of 15590 with flag 11001/198131 94.91/92.82 c cleaning 7390 clauses out of 14793 with flag 18001/205131 96.83/94.70 c cleaning 7691 clauses out of 15398 with flag 26000/213130 98.76/96.62 c cleaning 8352 clauses out of 16708 with flag 35001/222131 101.07/98.98 c cleaning 9168 clauses out of 18354 with flag 45000/232130 104.28/102.15 c cleaning 10087 clauses out of 20186 with flag 56000/243130 107.58/105.47 c cleaning 11044 clauses out of 22099 with flag 68001/255131 111.10/108.98 c cleaning 12021 clauses out of 24055 with flag 81001/268131 115.90/113.75 c cleaning 13002 clauses out of 26004 with flag 95001/282131 120.30/118.17 c cleaning 13976 clauses out of 27980 with flag 110000/297130 124.02/121.88 c cleaning 14993 clauses out of 30004 with flag 126000/313130 127.84/125.67 c cleaning 16006 clauses out of 32011 with flag 143001/330131 131.85/129.69 c cleaning 16992 clauses out of 33999 with flag 161001/348131 136.67/134.47 c cleaning 17991 clauses out of 35993 with flag 180003/367133 143.18/140.91 c cleaning 18983 clauses out of 37999 with flag 200000/387130 149.90/147.66 c cleaning 19994 clauses out of 40016 with flag 221000/408130 156.22/153.92 c cleaning 20980 clauses out of 41975 with flag 243002/430132 162.12/159.82 c cleaning 21986 clauses out of 43990 with flag 266000/453130 171.83/169.58 c cleaning 22994 clauses out of 46004 with flag 290000/477130 177.74/175.41 c cleaning 23999 clauses out of 48007 with flag 315000/502130 183.67/181.37 c cleaning 24997 clauses out of 50009 with flag 341001/528131 190.00/187.61 c cleaning 25994 clauses out of 52009 with flag 368000/555130 197.04/194.70 c cleaning 27004 clauses out of 54016 with flag 396001/583131 204.87/202.42 c cleaning 28002 clauses out of 56003 with flag 425001/612131 214.40/211.90 c cleaning 28984 clauses out of 57985 with flag 455000/642130 222.44/219.98 c cleaning 29984 clauses out of 59988 with flag 486001/673131 230.66/228.13 c cleaning 30998 clauses out of 62003 with flag 518000/705130 239.17/236.63 c cleaning 31995 clauses out of 64005 with flag 551000/738130 247.88/245.31 c cleaning 32995 clauses out of 66000 with flag 585000/772130 255.70/253.15 c cleaning 33992 clauses out of 68006 with flag 620001/807131 264.02/261.40 c cleaning 34990 clauses out of 70011 with flag 656000/843130 272.65/270.04 c cleaning 35993 clauses out of 72022 with flag 693001/880131 283.96/281.36 c cleaning 36999 clauses out of 74019 with flag 731001/918131 298.78/296.14 c cleaning 37998 clauses out of 76019 with flag 770000/957130 308.22/305.56 c cleaning 39000 clauses out of 78022 with flag 810001/997131 318.73/316.07 c cleaning 39999 clauses out of 80022 with flag 851001/1038131 328.86/326.11 c cleaning 41002 clauses out of 82019 with flag 893000/1080130 345.17/342.43 c cleaning 42004 clauses out of 84016 with flag 936001/1123131 372.30/369.58 c cleaning 42998 clauses out of 86012 with flag 980001/1167131 397.79/394.96 c cleaning 44000 clauses out of 88014 with flag 1025001/1212131 408.66/405.75 c cleaning 44995 clauses out of 90014 with flag 1071001/1258131 419.69/416.75 c cleaning 45998 clauses out of 92018 with flag 1118000/1305130 431.20/428.27 c cleaning 47001 clauses out of 94020 with flag 1166000/1353130 431.84/428.80 c Got one! Elapsed wall clock time (in seconds):428.679 431.84/428.80 o 7792449 434.74/431.77 c cleaning 26401 clauses out of 52809 with flag 4000/1358949 436.38/433.36 c cleaning 16191 clauses out of 32401 with flag 10001/1364950 438.10/435.06 c cleaning 11596 clauses out of 23209 with flag 17000/1371949 439.91/436.80 c cleaning 9802 clauses out of 19613 with flag 25000/1379949 442.23/439.12 c cleaning 9390 clauses out of 18812 with flag 34001/1388950 444.75/441.61 c cleaning 9690 clauses out of 19421 with flag 44000/1398949 447.27/444.15 c cleaning 10350 clauses out of 20732 with flag 55001/1409950 449.99/446.81 c cleaning 11178 clauses out of 22381 with flag 67000/1421949 452.80/449.69 c cleaning 12090 clauses out of 24204 with flag 80001/1434950 456.41/453.20 c cleaning 13048 clauses out of 26114 with flag 94001/1448950 459.62/456.43 c cleaning 14021 clauses out of 28066 with flag 109001/1463950 463.02/459.83 c cleaning 15013 clauses out of 30044 with flag 125000/1479949 466.93/463.79 c cleaning 16007 clauses out of 32032 with flag 142001/1496950 470.95/467.79 c cleaning 17000 clauses out of 34024 with flag 160000/1514949 475.25/472.00 c cleaning 18001 clauses out of 36024 with flag 179000/1533949 479.77/476.50 c cleaning 19007 clauses out of 38025 with flag 199002/1553951 484.40/481.18 c cleaning 19998 clauses out of 40016 with flag 220000/1574949 489.80/486.57 c cleaning 21002 clauses out of 42018 with flag 242000/1596949 495.53/492.22 c cleaning 21996 clauses out of 44016 with flag 265000/1619949 501.24/497.99 c cleaning 23000 clauses out of 46021 with flag 289001/1643950 511.05/507.71 c cleaning 23985 clauses out of 47992 with flag 314001/1668950 517.38/514.09 c cleaning 24993 clauses out of 50006 with flag 340000/1694949 524.19/520.81 c cleaning 25995 clauses out of 52014 with flag 367001/1721950 531.20/527.80 c cleaning 26996 clauses out of 54019 with flag 395001/1749950 538.51/535.11 c cleaning 27994 clauses out of 56022 with flag 424000/1778949 547.12/543.72 c cleaning 28998 clauses out of 58021 with flag 454001/1808950 554.34/550.98 c cleaning 29998 clauses out of 60022 with flag 485000/1839949 561.94/558.53 c cleaning 30995 clauses out of 62024 with flag 517000/1871949 569.87/566.44 c cleaning 32002 clauses out of 64031 with flag 550002/1904951 578.17/574.79 c cleaning 32998 clauses out of 66029 with flag 584002/1938951 586.68/583.27 c cleaning 33999 clauses out of 68029 with flag 619000/1973949 595.70/592.20 c cleaning 34995 clauses out of 70031 with flag 655001/2009950 606.13/602.63 c cleaning 36002 clauses out of 72031 with flag 692001/2046950 616.94/613.45 c cleaning 37009 clauses out of 74028 with flag 730000/2084949 627.36/623.83 c cleaning 37999 clauses out of 76019 with flag 769000/2123949 638.38/634.80 c cleaning 39004 clauses out of 78020 with flag 809000/2163949 650.50/646.96 c cleaning 39996 clauses out of 80016 with flag 850000/2204949 664.43/660.81 c cleaning 40999 clauses out of 82020 with flag 892000/2246949 674.76/671.12 c cleaning 42001 clauses out of 84021 with flag 935000/2289949 685.20/681.58 c cleaning 43002 clauses out of 86020 with flag 979000/2333949 696.22/692.51 c cleaning 43999 clauses out of 88019 with flag 1024001/2378950 707.38/703.65 c cleaning 44996 clauses out of 90019 with flag 1070000/2424949 719.08/715.32 c cleaning 45997 clauses out of 92023 with flag 1117000/2471949 730.10/726.36 c cleaning 47000 clauses out of 94028 with flag 1165002/2519951 741.93/738.12 c cleaning 48000 clauses out of 96027 with flag 1214001/2568950 754.06/750.29 c cleaning 48998 clauses out of 98027 with flag 1264001/2618950 766.69/762.86 c cleaning 49996 clauses out of 100028 with flag 1315000/2669949 779.45/775.52 c cleaning 51005 clauses out of 102033 with flag 1367001/2721950 793.17/789.24 c cleaning 52003 clauses out of 104028 with flag 1420001/2774950 807.01/803.09 c cleaning 53000 clauses out of 106024 with flag 1474000/2828949 820.83/816.80 c cleaning 54001 clauses out of 108024 with flag 1529000/2883949 835.06/831.06 c cleaning 55000 clauses out of 110023 with flag 1585000/2939949 849.78/845.78 c cleaning 55997 clauses out of 112024 with flag 1642001/2996950 865.13/861.08 c cleaning 57005 clauses out of 114026 with flag 1700000/3054949 880.17/876.06 c cleaning 58001 clauses out of 116022 with flag 1759001/3113950 894.10/889.92 c cleaning 58994 clauses out of 118021 with flag 1819001/3173950 908.04/903.89 c cleaning 59998 clauses out of 120026 with flag 1880000/3234949 922.31/918.00 c cleaning 61002 clauses out of 122029 with flag 1942001/3296950 937.04/932.75 c cleaning 62000 clauses out of 124027 with flag 2005001/3359950 953.05/948.76 c cleaning 63000 clauses out of 126026 with flag 2069000/3423949 969.01/964.62 c cleaning 63999 clauses out of 128027 with flag 2134001/3488950 985.75/981.37 c cleaning 64999 clauses out of 130027 with flag 2200000/3554949 1003.07/998.64 c cleaning 66001 clauses out of 132028 with flag 2267000/3621949 1020.83/1016.34 c cleaning 67006 clauses out of 134028 with flag 2335001/3689950 1037.18/1032.64 c cleaning 67996 clauses out of 136022 with flag 2404001/3758950 1054.52/1049.94 c cleaning 68998 clauses out of 138025 with flag 2474000/3828949 1071.98/1067.31 c cleaning 70000 clauses out of 140028 with flag 2545001/3899950 1089.01/1084.33 c cleaning 70997 clauses out of 142029 with flag 2617002/3971951 1105.94/1101.24 c cleaning 72001 clauses out of 144030 with flag 2690000/4044949 1124.07/1119.32 c cleaning 73002 clauses out of 146029 with flag 2764000/4118949 1143.43/1138.62 c cleaning 74000 clauses out of 148027 with flag 2839000/4193949 1162.50/1157.61 c cleaning 75001 clauses out of 150027 with flag 2915000/4269949 1181.95/1177.07 c cleaning 76003 clauses out of 152027 with flag 2992001/4346950 1202.37/1197.47 c cleaning 76998 clauses out of 154023 with flag 3070000/4424949 1222.81/1217.89 c cleaning 78003 clauses out of 156025 with flag 3149000/4503949 1246.26/1241.28 c cleaning 79003 clauses out of 158023 with flag 3229001/4583950 1270.53/1265.41 c cleaning 80001 clauses out of 160021 with flag 3310002/4664951 1302.79/1297.62 c cleaning 80992 clauses out of 162019 with flag 3392001/4746950 1323.35/1318.17 c cleaning 82004 clauses out of 164026 with flag 3475000/4829949 1343.42/1338.11 c cleaning 83000 clauses out of 166023 with flag 3559001/4913950 1363.57/1358.21 c cleaning 83999 clauses out of 168022 with flag 3644000/4998949 1387.53/1382.12 c cleaning 84995 clauses out of 170023 with flag 3730000/5084949 1410.78/1405.38 c cleaning 86001 clauses out of 172028 with flag 3817000/5171949 1435.07/1429.55 c cleaning 87007 clauses out of 174028 with flag 3905001/5259950 1461.01/1455.44 c cleaning 88003 clauses out of 176020 with flag 3994000/5348949 1487.46/1481.86 c cleaning 89002 clauses out of 178017 with flag 4084000/5438949 1513.71/1508.08 c cleaning 89987 clauses out of 180016 with flag 4175001/5529950 1543.77/1538.01 c cleaning 90990 clauses out of 182029 with flag 4267001/5621950 1574.83/1569.06 c cleaning 92003 clauses out of 184038 with flag 4360000/5714949 1598.32/1592.43 c cleaning 92999 clauses out of 186035 with flag 4454000/5808949 1623.25/1617.30 c cleaning 93998 clauses out of 188036 with flag 4549000/5903949 1648.11/1642.10 c cleaning 95004 clauses out of 190039 with flag 4645001/5999950 1672.96/1666.96 c cleaning 96004 clauses out of 192034 with flag 4742000/6096949 1699.94/1693.86 c cleaning 97005 clauses out of 194030 with flag 4840000/6194949 1726.73/1720.59 c cleaning 97998 clauses out of 196026 with flag 4939001/6293950 1754.46/1748.21 c cleaning 99001 clauses out of 198027 with flag 5039000/6393949 1782.54/1776.24 c cleaning 100000 clauses out of 200026 with flag 5140000/6494949 1800.07/1793.71 c starts : 290 1800.07/1793.71 c conflicts : 6564422 1800.07/1793.71 c decisions : 7315812 1800.07/1793.71 c propagations : 147680526 1800.07/1793.71 c inspects : 2632356969 1800.07/1793.71 c shortcuts : 0 1800.07/1793.71 c learnt literals : 478 1800.07/1793.71 c learnt binary clauses : 342 1800.07/1793.71 c learnt ternary clauses : 930 1800.07/1793.71 c learnt constraints : 6563945 1800.07/1793.71 c ignored constraints : 0 1800.07/1793.71 c root simplifications : 768 1800.07/1793.71 c removed literals (reason simplification) : 748719845 1800.07/1793.71 c reason swapping (by a shorter reason) : 0 1800.07/1793.71 c Calls to reduceDB : 164 1800.07/1793.71 c number of reductions to clauses (during analyze) : 0 1800.07/1793.71 c number of learned constraints concerned by reduction : 0 1800.07/1793.71 c number of learning phase by resolution : 0 1800.07/1793.71 c number of learning phase by cutting planes : 0 1800.07/1793.71 c speed (assignments/second) : 82357.70260322558 1800.07/1793.71 c non guided choices 7872 1800.07/1793.74 c learnt constraints type 1800.07/1793.74 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 266 1800.07/1793.74 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 169336 1800.07/1793.74 c constraints type 1800.07/1793.74 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1800.07/1793.74 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.07/1793.74 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.07/1793.74 c ignored satisfied constraints => 2 1800.07/1793.74 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1800.07/1793.74 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626 1800.07/1793.74 c 24513 constraints processed. 1800.07/1793.74 s SATISFIABLE 1800.07/1793.75 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.07/1793.76 c objective function=7792449 1800.07/1793.76 c Total wall clock time (in seconds): 1793.638
OK 7792449
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-3710388-1338254210/watcher-3710388-1338254210 -o /tmp/evaluation-result-3710388-1338254210/solver-3710388-1338254210 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710388-1338254210.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: 2.00 2.00 2.00 3/195 32387 /proc/meminfo: memFree=26024300/32873844 swapFree=6088/6088 [pid=32387] ppid=32385 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/32387/stat : 32387 (java) D 32385 32387 30092 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291549592 9515008 182 33554432000 1073741824 1073778376 140734389741584 140734389732616 240426761909 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0 /proc/32387/statm: 2323 182 140 9 0 71 0 [startup+0.090666 s] /proc/loadavg: 2.00 2.00 2.00 3/195 32387 /proc/meminfo: memFree=26024300/32873844 swapFree=6088/6088 [pid=32387] ppid=32385 vsize=9558440 CPUtime=0.06 cores=1,3,5,7 /proc/32387/stat : 32387 (java) S 32385 32387 30092 0 -1 4202496 3689 0 1 0 5 1 0 0 20 0 18 0 291549592 9787842560 4897 33554432000 1073741824 1073778376 140737211727968 140737211719104 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32387/statm: 2389610 4898 1939 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558440 [startup+0.100317 s] /proc/loadavg: 2.00 2.00 2.00 3/195 32387 /proc/meminfo: memFree=26024300/32873844 swapFree=6088/6088 [pid=32387] ppid=32385 vsize=9558440 CPUtime=0.08 cores=1,3,5,7 /proc/32387/stat : 32387 (java) S 32385 32387 30092 0 -1 4202496 4243 0 1 0 7 1 0 0 20 0 18 0 291549592 9787842560 5450 33554432000 1073741824 1073778376 140737211727968 140737211719104 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32387/statm: 2389610 5452 2113 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558440 [startup+0.300306 s] /proc/loadavg: 2.00 2.00 2.00 3/195 32387 /proc/meminfo: memFree=26024300/32873844 swapFree=6088/6088 [pid=32387] ppid=32385 vsize=9558440 CPUtime=0.49 cores=1,3,5,7 /proc/32387/stat : 32387 (java) S 32385 32387 30092 0 -1 4202496 6498 0 1 0 47 2 0 0 20 0 18 0 291549592 9787842560 10238 33554432000 1073741824 1073778376 140737211727968 140737211719104 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32387/statm: 2389610 10238 2226 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558440 [startup+0.70032 s] /proc/loadavg: 2.00 2.00 2.00 3/195 32387 /proc/meminfo: memFree=26024300/32873844 swapFree=6088/6088 [pid=32387] ppid=32385 vsize=9625004 CPUtime=1.5 cores=1,3,5,7 /proc/32387/stat : 32387 (java) S 32385 32387 30092 0 -1 4202496 11227 0 1 0 146 4 0 0 20 0 19 0 291549592 9856004096 25633 33554432000 1073741824 1073778376 140737211727968 140737211719104 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32387/statm: 2406251 25633 2250 9 0 2396937 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 9625004 [startup+1.50082 s] /proc/loadavg: 2.00 2.00 2.00 3/214 32406 /proc/meminfo: memFree=25926340/32873844 swapFree=6088/6088 [pid=32387] ppid=32385 vsize=9625004 CPUtime=2.67 cores=1,3,5,7 /proc/32387/stat : 32387 (java) S 32385 32387 30092 0 -1 4202496 12142 0 1 0 263 4 0 0 20 0 19 0 291549592 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140737211719104 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32387/statm: 2406251 27752 2260 9 0 2396937 0 [pid=32387/tid=32389] ppid=32385 vsize=9625004 CPUtime=1.46 cores=1,3,5,7 /proc/32387/task/32389/stat : 32389 (java) R 32385 32387 30092 0 -1 4202560 2547 0 1 0 143 3 0 0 20 0 19 0 291549593 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657547345928 140657377951219 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32390] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32390/stat : 32390 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657508838056 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32391] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32391/stat : 32391 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657507785512 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32392] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32392/stat : 32392 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657506732968 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32387/tid=32393] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32393/stat : 32393 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657505680424 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32394] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32394/stat : 32394 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657504626856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32395] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32395/stat : 32395 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657503574312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32396] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32396/stat : 32396 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657502521768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32397] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32397/stat : 32397 (java) S 32385 32387 30092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657501469224 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32398] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32398/stat : 32398 (java) S 32385 32387 30092 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291549595 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657370827368 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32399] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32399/stat : 32399 (java) S 32385 32387 30092 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291549596 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657369773688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32400] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32400/stat : 32400 (java) S 32385 32387 30092 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291549596 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657368721032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32401] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32401/stat : 32401 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657367669776 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32402] ppid=32385 vsize=9625004 CPUtime=0.54 cores=1,3,5,7 /proc/32387/task/32402/stat : 32402 (java) S 32385 32387 30092 0 -1 4202560 3839 0 0 0 54 0 0 0 20 0 19 0 291549598 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657366616120 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32403] ppid=32385 vsize=9625004 CPUtime=0.63 cores=1,3,5,7 /proc/32387/task/32403/stat : 32403 (java) S 32385 32387 30092 0 -1 4202560 4555 0 0 0 63 0 0 0 20 0 19 0 291549598 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657365563576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32404] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32404/stat : 32404 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657364511224 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32405] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32405/stat : 32405 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657363458888 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32406] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32406/stat : 32406 (java) S 32385 32387 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291549647 9856004096 27752 33554432000 1073741824 1073778376 140737211727968 140657362404648 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.67 Current children cumulated vsize (KiB) 9625004 [startup+3.1008 s] /proc/loadavg: 2.00 2.00 2.00 3/214 32406 /proc/meminfo: memFree=25919700/32873844 swapFree=6088/6088 [pid=32387] ppid=32385 vsize=9625004 CPUtime=4.41 cores=1,3,5,7 /proc/32387/stat : 32387 (java) S 32385 32387 30092 0 -1 4202496 12189 0 1 0 437 4 0 0 20 0 19 0 291549592 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140737211719104 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32387/statm: 2406251 29803 2263 9 0 2396937 0 [pid=32387/tid=32389] ppid=32385 vsize=9625004 CPUtime=3.06 cores=1,3,5,7 /proc/32387/task/32389/stat : 32389 (java) R 32385 32387 30092 0 -1 4202560 2552 0 1 0 303 3 0 0 20 0 19 0 291549593 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657547346360 140657378170854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32390] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32390/stat : 32390 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657508838056 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32391] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32391/stat : 32391 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657507785512 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32392] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32392/stat : 32392 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657506732968 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32387/tid=32393] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32393/stat : 32393 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657505680424 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32394] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32394/stat : 32394 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657504626856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32395] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32395/stat : 32395 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657503574312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32396] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32396/stat : 32396 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657502521768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32397] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32397/stat : 32397 (java) S 32385 32387 30092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657501469224 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32398] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32398/stat : 32398 (java) S 32385 32387 30092 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291549595 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657370827368 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32399] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32399/stat : 32399 (java) S 32385 32387 30092 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291549596 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657369773688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32400] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32400/stat : 32400 (java) S 32385 32387 30092 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291549596 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657368721032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32401] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32401/stat : 32401 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657367669776 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32402] ppid=32385 vsize=9625004 CPUtime=0.64 cores=1,3,5,7 /proc/32387/task/32402/stat : 32402 (java) S 32385 32387 30092 0 -1 4202560 3881 0 0 0 64 0 0 0 20 0 19 0 291549598 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657366616120 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32403] ppid=32385 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/32387/task/32403/stat : 32403 (java) S 32385 32387 30092 0 -1 4202560 4555 0 0 0 68 0 0 0 20 0 19 0 291549598 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657365563576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32404] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32404/stat : 32404 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657364511224 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32405] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32405/stat : 32405 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657363458888 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32406] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32406/stat : 32406 (java) S 32385 32387 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291549647 9856004096 29803 33554432000 1073741824 1073778376 140737211727968 140657362404648 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.41 Current children cumulated vsize (KiB) 9625004 [startup+6.30081 s] /proc/loadavg: 2.00 2.00 2.00 3/214 32406 /proc/meminfo: memFree=25899592/32873844 swapFree=6088/6088 [pid=32387] ppid=32385 vsize=9625004 CPUtime=7.61 cores=1,3,5,7 /proc/32387/stat : 32387 (java) S 32385 32387 30092 0 -1 4202496 12202 0 1 0 757 4 0 0 20 0 19 0 291549592 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140737211719104 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32387/statm: 2406251 34738 2263 9 0 2396937 0 [pid=32387/tid=32389] ppid=32385 vsize=9625004 CPUtime=6.27 cores=1,3,5,7 /proc/32387/task/32389/stat : 32389 (java) R 32385 32387 30092 0 -1 4202560 2565 0 1 0 623 4 0 0 20 0 19 0 291549593 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657547346480 140657377971688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32390] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32390/stat : 32390 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657508838056 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32391] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32391/stat : 32391 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657507785512 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32392] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32392/stat : 32392 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657506732968 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32387/tid=32393] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32393/stat : 32393 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657505680424 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32394] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32394/stat : 32394 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657504626856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32395] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32395/stat : 32395 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657503574312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32396] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32396/stat : 32396 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657502521768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32397] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32397/stat : 32397 (java) S 32385 32387 30092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291549594 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657501469224 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32398] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32398/stat : 32398 (java) S 32385 32387 30092 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291549595 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657370827368 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32399] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32399/stat : 32399 (java) S 32385 32387 30092 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291549596 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657369773688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32400] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32400/stat : 32400 (java) S 32385 32387 30092 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291549596 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657368721032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32401] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32401/stat : 32401 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657367669776 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32402] ppid=32385 vsize=9625004 CPUtime=0.64 cores=1,3,5,7 /proc/32387/task/32402/stat : 32402 (java) S 32385 32387 30092 0 -1 4202560 3881 0 0 0 64 0 0 0 20 0 19 0 291549598 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657366616120 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32403] ppid=32385 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/32387/task/32403/stat : 32403 (java) S 32385 32387 30092 0 -1 4202560 4555 0 0 0 68 0 0 0 20 0 19 0 291549598 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657365563576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32404] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32404/stat : 32404 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657364511224 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32405] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32405/stat : 32405 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657363458888 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32406] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32406/stat : 32406 (java) S 32385 32387 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291549647 9856004096 34738 33554432000 1073741824 1073778376 140737211727968 140657362404648 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.61 Current children cumulated vsize (KiB) 9625004 [startup+12.7007 s] ################ # More data... # ################ [pid=32387/tid=32395] ppid=32385 vsize=9625004 CPUtime=0.83 cores=1,3,5,7 /proc/32387/task/32395/stat : 32395 (java) S 32385 32387 30092 0 -1 4202560 231 0 0 0 80 3 0 0 20 0 19 0 291549594 9856004096 78137 33554432000 1073741824 1073778376 140737211727968 140657503574312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32396] ppid=32385 vsize=9625004 CPUtime=0.85 cores=1,3,5,7 /proc/32387/task/32396/stat : 32396 (java) S 32385 32387 30092 0 -1 4202560 244 0 0 0 83 2 0 0 20 0 19 0 291549594 9856004096 78137 33554432000 1073741824 1073778376 140737211727968 140657502521768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32397] ppid=32385 vsize=9625004 CPUtime=0.81 cores=1,3,5,7 /proc/32387/task/32397/stat : 32397 (java) S 32385 32387 30092 0 -1 4202560 202 0 0 0 78 3 0 0 20 0 19 0 291549594 9856004096 78137 33554432000 1073741824 1073778376 140737211727968 140657501469224 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32387/tid=32398] ppid=32385 vsize=9625004 CPUtime=12.05 cores=1,3,5,7 /proc/32387/task/32398/stat : 32398 (java) S 32385 32387 30092 0 -1 4202560 173 0 0 0 1203 2 0 0 20 0 19 0 291549595 9856004096 78137 33554432000 1073741824 1073778376 140737211727968 140657370827368 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32399] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32399/stat : 32399 (java) S 32385 32387 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291549596 9856004096 78137 33554432000 1073741824 1073778376 140737211727968 140657369773688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32400] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32400/stat : 32400 (java) S 32385 32387 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291549596 9856004096 78137 33554432000 1073741824 1073778376 140737211727968 140657368721032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32401] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32401/stat : 32401 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 78137 33554432000 1073741824 1073778376 140737211727968 140657367669776 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32402] ppid=32385 vsize=9625004 CPUtime=0.83 cores=1,3,5,7 /proc/32387/task/32402/stat : 32402 (java) S 32385 32387 30092 0 -1 4202560 5266 0 0 0 83 0 0 0 20 0 19 0 291549598 9856004096 78137 33554432000 1073741824 1073778376 140737211727968 140657366616120 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32403] ppid=32385 vsize=9625004 CPUtime=0.86 cores=1,3,5,7 /proc/32387/task/32403/stat : 32403 (java) S 32385 32387 30092 0 -1 4202560 4614 0 0 0 86 0 0 0 20 0 19 0 291549598 9856004096 78137 33554432000 1073741824 1073778376 140737211727968 140657365563576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32404] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32404/stat : 32404 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 78137 33554432000 1073741824 1073778376 140737211727968 140657364511224 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32405] ppid=32385 vsize=9625004 CPUtime=0.27 cores=1,3,5,7 /proc/32387/task/32405/stat : 32405 (java) S 32385 32387 30092 0 -1 4202560 98 0 0 0 13 14 0 0 20 0 19 0 291549598 9856004096 78137 33554432000 1073741824 1073778376 140737211727968 140657363458888 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32406] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32406/stat : 32406 (java) S 32385 32387 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291549647 9856004096 78137 33554432000 1073741824 1073778376 140737211727968 140657362404648 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1728.56 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.06 2.03 2.01 3/213 32683 /proc/meminfo: memFree=26420100/32873844 swapFree=6088/6088 [pid=32387] ppid=32385 vsize=9625004 CPUtime=1788.67 cores=1,3,5,7 /proc/32387/stat : 32387 (java) S 32385 32387 30092 0 -1 4202496 15876 0 1 0 178821 46 0 0 20 0 19 0 291549592 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140737211719104 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32387/statm: 2406251 78261 2290 9 0 2396937 0 [pid=32387/tid=32389] ppid=32385 vsize=9625004 CPUtime=1767.91 cores=1,3,5,7 /proc/32387/task/32389/stat : 32389 (java) R 32385 32387 30092 0 -1 4202560 2731 0 1 0 176758 33 0 0 20 0 19 0 291549593 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657547346256 140657377971683 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32390] ppid=32385 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/32387/task/32390/stat : 32390 (java) S 32385 32387 30092 0 -1 4202560 303 0 0 0 80 4 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657508838056 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32391] ppid=32385 vsize=9625004 CPUtime=0.78 cores=1,3,5,7 /proc/32387/task/32391/stat : 32391 (java) S 32385 32387 30092 0 -1 4202560 292 0 0 0 75 3 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657507785512 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32392] ppid=32385 vsize=9625004 CPUtime=0.87 cores=1,3,5,7 /proc/32387/task/32392/stat : 32392 (java) S 32385 32387 30092 0 -1 4202560 301 0 0 0 84 3 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657506732968 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32393] ppid=32385 vsize=9625004 CPUtime=0.88 cores=1,3,5,7 /proc/32387/task/32393/stat : 32393 (java) S 32385 32387 30092 0 -1 4202560 65 0 0 0 84 4 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657505680424 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32387/tid=32394] ppid=32385 vsize=9625004 CPUtime=0.87 cores=1,3,5,7 /proc/32387/task/32394/stat : 32394 (java) S 32385 32387 30092 0 -1 4202560 164 0 0 0 85 2 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657504626856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32387/tid=32395] ppid=32385 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/32387/task/32395/stat : 32395 (java) S 32385 32387 30092 0 -1 4202560 231 0 0 0 81 3 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657503574312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32396] ppid=32385 vsize=9625004 CPUtime=0.88 cores=1,3,5,7 /proc/32387/task/32396/stat : 32396 (java) S 32385 32387 30092 0 -1 4202560 244 0 0 0 86 2 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657502521768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32397] ppid=32385 vsize=9625004 CPUtime=0.83 cores=1,3,5,7 /proc/32387/task/32397/stat : 32397 (java) S 32385 32387 30092 0 -1 4202560 202 0 0 0 80 3 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657501469224 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32398] ppid=32385 vsize=9625004 CPUtime=12.3 cores=1,3,5,7 /proc/32387/task/32398/stat : 32398 (java) S 32385 32387 30092 0 -1 4202560 175 0 0 0 1228 2 0 0 20 0 19 0 291549595 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657370827368 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32399] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32399/stat : 32399 (java) S 32385 32387 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291549596 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657369773688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32400] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32400/stat : 32400 (java) S 32385 32387 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291549596 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657368721032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32401] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32401/stat : 32401 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657367669776 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32402] ppid=32385 vsize=9625004 CPUtime=0.83 cores=1,3,5,7 /proc/32387/task/32402/stat : 32402 (java) S 32385 32387 30092 0 -1 4202560 5266 0 0 0 83 0 0 0 20 0 19 0 291549598 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657366616120 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32403] ppid=32385 vsize=9625004 CPUtime=0.86 cores=1,3,5,7 /proc/32387/task/32403/stat : 32403 (java) S 32385 32387 30092 0 -1 4202560 4614 0 0 0 86 0 0 0 20 0 19 0 291549598 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657365563576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32404] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32404/stat : 32404 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657364511224 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32405] ppid=32385 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/32387/task/32405/stat : 32405 (java) S 32385 32387 30092 0 -1 4202560 102 0 0 0 14 15 0 0 20 0 19 0 291549598 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657363458888 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32406] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32406/stat : 32406 (java) S 32385 32387 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291549647 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657362404648 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1788.67 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.7 s] /proc/loadavg: 2.04 2.03 2.00 3/213 32683 /proc/meminfo: memFree=26420224/32873844 swapFree=6088/6088 [pid=32387] ppid=32385 vsize=9625004 CPUtime=1800.07 cores=1,3,5,7 /proc/32387/stat : 32387 (java) S 32385 32387 30092 0 -1 4202496 15876 0 1 0 179961 46 0 0 20 0 19 0 291549592 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140737211719104 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32387/statm: 2406251 78261 2290 9 0 2396937 0 [pid=32387/tid=32389] ppid=32385 vsize=9625004 CPUtime=1779.32 cores=1,3,5,7 /proc/32387/task/32389/stat : 32389 (java) R 32385 32387 30092 0 -1 4202560 2731 0 1 0 177898 34 0 0 20 0 19 0 291549593 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657547346256 140657377971743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32390] ppid=32385 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/32387/task/32390/stat : 32390 (java) S 32385 32387 30092 0 -1 4202560 303 0 0 0 80 4 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657508838056 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32391] ppid=32385 vsize=9625004 CPUtime=0.78 cores=1,3,5,7 /proc/32387/task/32391/stat : 32391 (java) S 32385 32387 30092 0 -1 4202560 292 0 0 0 75 3 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657507785512 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32392] ppid=32385 vsize=9625004 CPUtime=0.87 cores=1,3,5,7 /proc/32387/task/32392/stat : 32392 (java) S 32385 32387 30092 0 -1 4202560 301 0 0 0 84 3 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657506732968 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32393] ppid=32385 vsize=9625004 CPUtime=0.88 cores=1,3,5,7 /proc/32387/task/32393/stat : 32393 (java) S 32385 32387 30092 0 -1 4202560 65 0 0 0 84 4 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657505680424 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32387/tid=32394] ppid=32385 vsize=9625004 CPUtime=0.87 cores=1,3,5,7 /proc/32387/task/32394/stat : 32394 (java) S 32385 32387 30092 0 -1 4202560 164 0 0 0 85 2 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657504626856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32387/tid=32395] ppid=32385 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/32387/task/32395/stat : 32395 (java) S 32385 32387 30092 0 -1 4202560 231 0 0 0 81 3 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657503574312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32396] ppid=32385 vsize=9625004 CPUtime=0.88 cores=1,3,5,7 /proc/32387/task/32396/stat : 32396 (java) S 32385 32387 30092 0 -1 4202560 244 0 0 0 86 2 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657502521768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32397] ppid=32385 vsize=9625004 CPUtime=0.83 cores=1,3,5,7 /proc/32387/task/32397/stat : 32397 (java) S 32385 32387 30092 0 -1 4202560 202 0 0 0 80 3 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657501469224 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32398] ppid=32385 vsize=9625004 CPUtime=12.3 cores=1,3,5,7 /proc/32387/task/32398/stat : 32398 (java) S 32385 32387 30092 0 -1 4202560 175 0 0 0 1228 2 0 0 20 0 19 0 291549595 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657370827368 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32399] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32399/stat : 32399 (java) S 32385 32387 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291549596 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657369773688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32400] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32400/stat : 32400 (java) S 32385 32387 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291549596 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657368721032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32401] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32401/stat : 32401 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657367669776 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32402] ppid=32385 vsize=9625004 CPUtime=0.83 cores=1,3,5,7 /proc/32387/task/32402/stat : 32402 (java) S 32385 32387 30092 0 -1 4202560 5266 0 0 0 83 0 0 0 20 0 19 0 291549598 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657366616120 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32403] ppid=32385 vsize=9625004 CPUtime=0.86 cores=1,3,5,7 /proc/32387/task/32403/stat : 32403 (java) S 32385 32387 30092 0 -1 4202560 4614 0 0 0 86 0 0 0 20 0 19 0 291549598 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657365563576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32404] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32404/stat : 32404 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657364511224 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32405] ppid=32385 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/32387/task/32405/stat : 32405 (java) S 32385 32387 30092 0 -1 4202560 102 0 0 0 14 15 0 0 20 0 19 0 291549598 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657363458888 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32406] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32406/stat : 32406 (java) S 32385 32387 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291549647 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657362404648 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.7 s] /proc/loadavg: 2.04 2.03 2.00 3/213 32683 /proc/meminfo: memFree=26420224/32873844 swapFree=6088/6088 [pid=32387] ppid=32385 vsize=9625004 CPUtime=1800.07 cores=1,3,5,7 /proc/32387/stat : 32387 (java) S 32385 32387 30092 0 -1 4202496 15876 0 1 0 179961 46 0 0 20 0 19 0 291549592 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140737211719104 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/32387/statm: 2406251 78261 2290 9 0 2396937 0 [pid=32387/tid=32389] ppid=32385 vsize=9625004 CPUtime=1779.32 cores=1,3,5,7 /proc/32387/task/32389/stat : 32389 (java) R 32385 32387 30092 0 -1 4202560 2731 0 1 0 177898 34 0 0 20 0 19 0 291549593 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657547346256 140657377971743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32390] ppid=32385 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/32387/task/32390/stat : 32390 (java) S 32385 32387 30092 0 -1 4202560 303 0 0 0 80 4 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657508838056 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32391] ppid=32385 vsize=9625004 CPUtime=0.78 cores=1,3,5,7 /proc/32387/task/32391/stat : 32391 (java) S 32385 32387 30092 0 -1 4202560 292 0 0 0 75 3 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657507785512 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32392] ppid=32385 vsize=9625004 CPUtime=0.87 cores=1,3,5,7 /proc/32387/task/32392/stat : 32392 (java) S 32385 32387 30092 0 -1 4202560 301 0 0 0 84 3 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657506732968 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32393] ppid=32385 vsize=9625004 CPUtime=0.88 cores=1,3,5,7 /proc/32387/task/32393/stat : 32393 (java) S 32385 32387 30092 0 -1 4202560 65 0 0 0 84 4 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657505680424 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32387/tid=32394] ppid=32385 vsize=9625004 CPUtime=0.87 cores=1,3,5,7 /proc/32387/task/32394/stat : 32394 (java) S 32385 32387 30092 0 -1 4202560 164 0 0 0 85 2 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657504626856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32387/tid=32395] ppid=32385 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/32387/task/32395/stat : 32395 (java) S 32385 32387 30092 0 -1 4202560 231 0 0 0 81 3 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657503574312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32396] ppid=32385 vsize=9625004 CPUtime=0.88 cores=1,3,5,7 /proc/32387/task/32396/stat : 32396 (java) S 32385 32387 30092 0 -1 4202560 244 0 0 0 86 2 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657502521768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32397] ppid=32385 vsize=9625004 CPUtime=0.83 cores=1,3,5,7 /proc/32387/task/32397/stat : 32397 (java) S 32385 32387 30092 0 -1 4202560 202 0 0 0 80 3 0 0 20 0 19 0 291549594 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657501469224 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32398] ppid=32385 vsize=9625004 CPUtime=12.3 cores=1,3,5,7 /proc/32387/task/32398/stat : 32398 (java) S 32385 32387 30092 0 -1 4202560 175 0 0 0 1228 2 0 0 20 0 19 0 291549595 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657370827368 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32399] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32399/stat : 32399 (java) S 32385 32387 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291549596 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657369773688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32400] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32400/stat : 32400 (java) S 32385 32387 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291549596 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657368721032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32401] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32401/stat : 32401 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657367669776 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32402] ppid=32385 vsize=9625004 CPUtime=0.83 cores=1,3,5,7 /proc/32387/task/32402/stat : 32402 (java) S 32385 32387 30092 0 -1 4202560 5266 0 0 0 83 0 0 0 20 0 19 0 291549598 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657366616120 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32403] ppid=32385 vsize=9625004 CPUtime=0.86 cores=1,3,5,7 /proc/32387/task/32403/stat : 32403 (java) S 32385 32387 30092 0 -1 4202560 4614 0 0 0 86 0 0 0 20 0 19 0 291549598 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657365563576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32387/tid=32404] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32404/stat : 32404 (java) S 32385 32387 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291549598 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657364511224 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32387/tid=32405] ppid=32385 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/32387/task/32405/stat : 32405 (java) S 32385 32387 30092 0 -1 4202560 102 0 0 0 14 15 0 0 20 0 19 0 291549598 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657363458888 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32387/tid=32406] ppid=32385 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/32387/task/32406/stat : 32406 (java) S 32385 32387 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291549647 9856004096 78261 33554432000 1073741824 1073778376 140737211727968 140657362404648 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9625004 Child status: 143 Real time (s): 1793.77 CPU time (s): 1800.81 CPU user time (s): 1799.92 CPU system time (s): 0.892864 CPU usage (%): 100.393 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.892864 maximum resident set size= 313168 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15911 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42640 involuntary context switches= 21347 runsolver used 5.83011 second user time and 14.3938 second system time The end
Begin job on node108 at 2012-05-29 03:16:50 IDJOB=3710388 IDBENCH=92737 IDSOLVER=2289 FILE ID=node108/3710388-1338254210 RUNJOBID= node108-1338240509-31238 PBS_JOBID= 14624630 Free space on /tmp= 71700 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_6.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-3710388-1338254210/watcher-3710388-1338254210 -o /tmp/evaluation-result-3710388-1338254210/solver-3710388-1338254210 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710388-1338254210.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3d381ed93f57c88e2b6d7a913913eca6 RANDOM SEED=1630299265 node108.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.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 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.273 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.273 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.273 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.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 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 : 5438.55 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.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 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: 26024680 kB Buffers: 339248 kB Cached: 4780512 kB SwapCached: 0 kB Active: 1613536 kB Inactive: 4417228 kB Active(anon): 910036 kB Inactive(anon): 0 kB Active(file): 703500 kB Inactive(file): 4417228 kB Unevictable: 6088 kB Mlocked: 6088 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1340 kB Writeback: 0 kB AnonPages: 935984 kB Mapped: 22644 kB Shmem: 200 kB Slab: 658084 kB SReclaimable: 100044 kB SUnreclaim: 558040 kB KernelStack: 1608 kB PageTables: 6144 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1718448 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 905216 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= 71724 MiB End job on node108 at 2012-05-29 03:46:46