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.07 | 1793.86 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_0.opb |
| MD5SUM | ca79c3a72fcbc528e4a81e658af79fe0 |
| 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 | 4272093 |
| Best CPU time to get the best result obtained on this benchmark | 1800.49 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 134217728 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 100330219838 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 134217728 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 100330219838 |
| 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.05/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.05/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.07 c See www.sat4j.org for details. 0.05/0.07 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.05/0.08 c version 2.3.2.v20120418 0.05/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.08 c java.vm.version 19.1-b02 0.05/0.08 c java.vm.vendor Sun Microsystems Inc. 0.05/0.08 c sun.arch.data.model 64 0.05/0.08 c java.version 1.6.0_24 0.05/0.08 c os.name Linux 0.05/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.08 c os.arch amd64 0.05/0.08 c Free memory 501472288 0.05/0.08 c Max memory 7480803328 0.05/0.08 c Total memory 504102912 0.05/0.08 c Number of processors 8 0.10/0.11 c read org.sat4j.minisat.orders.VarOrderHeap 0.10/0.11 c configuring ORDERS 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=true 0.10/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3710383-1338255161.opb 0.10/0.12 c reading problem ... 1.03/0.54 c ... done. Wall clock time 0.424s. 1.03/0.54 c declared #vars 9940 1.03/0.54 c #constraints 24510 1.03/0.54 c constraints type 1.03/0.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.03/0.54 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.03/0.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.03/0.54 c ignored satisfied constraints => 2 1.03/0.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.03/0.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.03/0.54 c 24512 constraints processed. 1.26/0.66 c SATISFIABLE 1.26/0.66 c OPTIMIZING... 1.26/0.66 c Got one! Elapsed wall clock time (in seconds):0.54 1.26/0.66 o 234147383 1.77/0.81 c Got one! Elapsed wall clock time (in seconds):0.696 1.77/0.81 o 234141789 9.25/8.01 c cleaning 2500 clauses out of 5004 with flag 5002/5004 10.63/9.24 c Got one! Elapsed wall clock time (in seconds):9.128 10.63/9.24 o 125783679 10.63/9.27 c Got one! Elapsed wall clock time (in seconds):9.15 10.63/9.27 o 107106677 10.63/9.29 c Got one! Elapsed wall clock time (in seconds):9.171 10.63/9.29 o 107101097 10.81/9.31 c Got one! Elapsed wall clock time (in seconds):9.191 10.81/9.31 o 107091157 10.81/9.32 c Got one! Elapsed wall clock time (in seconds):9.209 10.81/9.32 o 74860343 12.93/11.49 c Got one! Elapsed wall clock time (in seconds):11.378 12.93/11.49 o 37175709 14.50/12.96 c cleaning 4329 clauses out of 8664 with flag 2000/11188 14.85/13.19 c Got one! Elapsed wall clock time (in seconds):13.072 14.85/13.19 o 20881813 17.38/15.45 c Got one! Elapsed wall clock time (in seconds):15.337 17.38/15.45 o 16770121 17.87/15.99 c cleaning 4861 clauses out of 9731 with flag 1000/16643 20.78/18.43 c cleaning 5433 clauses out of 10866 with flag 7005/22648 25.83/23.46 c cleaning 6169 clauses out of 12350 with flag 14003/29646 28.54/26.15 c Got one! Elapsed wall clock time (in seconds):26.033 28.54/26.15 o 12454931 32.39/29.91 c cleaning 7493 clauses out of 15004 with flag 5000/39712 35.80/33.34 c cleaning 6675 clauses out of 13361 with flag 11006/45718 38.31/35.82 c cleaning 6827 clauses out of 13680 with flag 18001/52713 39.62/37.14 c Got one! Elapsed wall clock time (in seconds):37.025 39.62/37.14 o 10552633 42.02/39.60 c cleaning 5959 clauses out of 11928 with flag 4004/57881 44.02/41.55 c cleaning 5969 clauses out of 11946 with flag 10000/63877 46.12/43.68 c cleaning 6481 clauses out of 12975 with flag 17000/70877 48.12/45.68 c cleaning 7240 clauses out of 14495 with flag 25002/78879 52.74/50.22 c cleaning 8108 clauses out of 16233 with flag 34000/87877 55.74/53.29 c cleaning 9052 clauses out of 18118 with flag 44000/97877 59.17/56.66 c cleaning 10020 clauses out of 20049 with flag 55000/108877 64.18/61.60 c cleaning 11006 clauses out of 22030 with flag 67001/120878 68.68/66.15 c cleaning 11990 clauses out of 23991 with flag 80000/133877 72.28/69.74 c cleaning 12988 clauses out of 25998 with flag 94000/147877 75.69/73.10 c cleaning 14001 clauses out of 28008 with flag 109001/162878 78.90/76.38 c cleaning 14993 clauses out of 30006 with flag 125000/178877 80.20/77.61 c Got one! Elapsed wall clock time (in seconds):77.495 80.20/77.61 o 9077147 81.41/78.82 c cleaning 10393 clauses out of 20797 with flag 3000/184715 83.01/80.45 c cleaning 8194 clauses out of 16401 with flag 9001/190716 84.92/82.36 c cleaning 7591 clauses out of 15200 with flag 16001/197716 86.72/84.14 c cleaning 7793 clauses out of 15601 with flag 24000/205715 89.22/86.68 c cleaning 8382 clauses out of 16772 with flag 33001/214716 91.66/89.01 c cleaning 9193 clauses out of 18389 with flag 43001/224716 93.97/91.34 c cleaning 10091 clauses out of 20196 with flag 54001/235716 96.79/94.16 c cleaning 11042 clauses out of 22093 with flag 66000/247715 99.69/97.08 c cleaning 12018 clauses out of 24052 with flag 79001/260716 105.21/102.56 c cleaning 13010 clauses out of 26020 with flag 93014/274729 109.44/106.75 c cleaning 13984 clauses out of 27981 with flag 108000/289715 119.04/116.36 c cleaning 14983 clauses out of 29975 with flag 124004/305719 130.45/127.70 c cleaning 15984 clauses out of 31987 with flag 141001/322716 134.58/131.89 c cleaning 16994 clauses out of 34001 with flag 159001/340716 139.09/136.37 c cleaning 17996 clauses out of 36006 with flag 178000/359715 139.79/137.03 c Got one! Elapsed wall clock time (in seconds):136.914 139.79/137.03 o 9039845 140.59/137.88 c cleaning 11830 clauses out of 23672 with flag 3000/365381 142.00/139.25 c cleaning 8915 clauses out of 17843 with flag 9001/371382 143.61/140.85 c cleaning 7956 clauses out of 15928 with flag 16001/378382 145.41/142.70 c cleaning 7979 clauses out of 15971 with flag 24000/386381 147.61/144.80 c cleaning 8490 clauses out of 16992 with flag 33000/395381 149.91/147.17 c cleaning 9244 clauses out of 18502 with flag 43000/405381 153.22/150.48 c cleaning 10115 clauses out of 20237 with flag 54001/416382 156.52/153.78 c cleaning 11056 clauses out of 22115 with flag 66000/428381 160.23/157.42 c cleaning 12006 clauses out of 24042 with flag 79000/441381 162.64/159.81 c Got one! Elapsed wall clock time (in seconds):159.696 162.64/159.81 o 7360915 162.64/159.83 c Got one! Elapsed wall clock time (in seconds):159.718 162.64/159.83 o 7360557 165.44/162.65 c cleaning 13669 clauses out of 27350 with flag 5004/456726 168.78/165.95 c cleaning 9829 clauses out of 19678 with flag 11001/462723 171.88/169.07 c cleaning 8413 clauses out of 16850 with flag 18002/469724 175.19/172.34 c cleaning 8208 clauses out of 16433 with flag 26000/477722 178.69/175.80 c cleaning 8608 clauses out of 17226 with flag 35001/486723 182.20/179.39 c cleaning 9302 clauses out of 18617 with flag 45000/496722 185.31/182.49 c cleaning 10144 clauses out of 20304 with flag 56001/507723 192.83/189.97 c cleaning 11076 clauses out of 22159 with flag 68000/519722 199.35/196.43 c cleaning 9688 clauses out of 19436 with flag 81000/532722 202.76/199.85 c cleaning 11846 clauses out of 23748 with flag 95000/546722 206.51/203.58 c cleaning 13420 clauses out of 26902 with flag 110000/561722 210.31/207.31 c cleaning 14731 clauses out of 29480 with flag 126001/577723 214.34/211.32 c cleaning 15865 clauses out of 31748 with flag 143000/594722 218.64/215.64 c cleaning 16936 clauses out of 33883 with flag 161000/612722 223.35/220.35 c cleaning 17965 clauses out of 35936 with flag 180001/631723 229.38/226.32 c cleaning 18940 clauses out of 37893 with flag 200000/651722 231.00/227.98 c Got one! Elapsed wall clock time (in seconds):227.864 231.00/227.98 o 6722177 232.21/229.16 c cleaning 15584 clauses out of 31185 with flag 5001/663960 233.73/230.64 c cleaning 10790 clauses out of 21600 with flag 11000/669959 235.35/232.29 c cleaning 8898 clauses out of 17807 with flag 18001/676960 237.25/234.10 c cleaning 8446 clauses out of 16908 with flag 26000/684959 239.97/236.86 c cleaning 8693 clauses out of 17400 with flag 35000/693959 242.18/239.08 c cleaning 9349 clauses out of 18708 with flag 45001/703960 244.58/241.43 c cleaning 10175 clauses out of 20358 with flag 56000/714959 247.38/244.21 c cleaning 11084 clauses out of 22181 with flag 68000/726959 250.59/247.43 c cleaning 12048 clauses out of 24097 with flag 81000/739959 254.08/250.90 c cleaning 13020 clauses out of 26049 with flag 95000/753959 257.79/254.65 c cleaning 14008 clauses out of 28030 with flag 110001/768960 261.90/258.79 c cleaning 15007 clauses out of 30021 with flag 126000/784959 267.41/264.22 c cleaning 16000 clauses out of 32015 with flag 143001/801960 273.22/270.07 c cleaning 16998 clauses out of 34015 with flag 161001/819960 278.62/275.42 c cleaning 18004 clauses out of 36009 with flag 180000/838959 283.73/280.51 c cleaning 19002 clauses out of 38005 with flag 200000/858959 289.33/286.19 c cleaning 20000 clauses out of 40004 with flag 221001/879960 295.14/291.99 c cleaning 21000 clauses out of 42004 with flag 243001/901960 300.74/297.53 c cleaning 21998 clauses out of 44004 with flag 266001/924960 307.75/304.54 c cleaning 22944 clauses out of 45917 with flag 290000/948959 314.28/311.04 c cleaning 23958 clauses out of 47929 with flag 315002/973961 320.00/316.76 c cleaning 24975 clauses out of 49966 with flag 341000/999959 326.12/322.88 c cleaning 25990 clauses out of 51985 with flag 368001/1026960 332.74/329.45 c cleaning 26993 clauses out of 53995 with flag 396001/1054960 339.56/336.28 c cleaning 27991 clauses out of 55999 with flag 425000/1083959 345.77/342.45 c cleaning 28996 clauses out of 58009 with flag 455001/1113960 352.17/348.81 c cleaning 29984 clauses out of 59982 with flag 486001/1144960 359.39/356.01 c cleaning 30992 clauses out of 61998 with flag 518001/1176960 366.69/363.33 c cleaning 31994 clauses out of 64005 with flag 551000/1209959 375.30/371.92 c cleaning 33000 clauses out of 66013 with flag 585002/1243961 386.93/383.54 c cleaning 33996 clauses out of 68011 with flag 620000/1278959 399.25/395.88 c cleaning 34997 clauses out of 70016 with flag 656001/1314960 413.08/409.62 c cleaning 36001 clauses out of 72018 with flag 693000/1351959 428.61/425.11 c cleaning 36757 clauses out of 73515 with flag 731000/1389959 437.93/434.47 c cleaning 37857 clauses out of 75740 with flag 770000/1428959 447.75/444.29 c cleaning 38938 clauses out of 77879 with flag 810000/1468959 457.78/454.26 c cleaning 39955 clauses out of 79938 with flag 851000/1509959 467.91/464.35 c cleaning 40974 clauses out of 81971 with flag 893001/1551960 478.32/474.70 c cleaning 41984 clauses out of 83991 with flag 936000/1594959 489.16/485.58 c cleaning 42994 clauses out of 86008 with flag 980001/1638960 500.37/496.79 c cleaning 43994 clauses out of 88014 with flag 1025001/1683960 510.89/507.26 c cleaning 44998 clauses out of 90019 with flag 1071000/1729959 522.04/518.30 c cleaning 46000 clauses out of 92021 with flag 1118000/1776959 533.66/529.91 c cleaning 46995 clauses out of 94021 with flag 1166000/1824959 546.10/542.34 c cleaning 48002 clauses out of 96022 with flag 1215001/1873960 559.70/555.95 c cleaning 48999 clauses out of 98020 with flag 1265001/1923960 573.53/569.72 c cleaning 50002 clauses out of 100020 with flag 1316000/1974959 587.76/583.92 c cleaning 50998 clauses out of 102018 with flag 1368000/2026959 607.69/603.81 c cleaning 51982 clauses out of 103982 with flag 1421000/2079959 620.92/617.04 c cleaning 52980 clauses out of 105998 with flag 1475001/2133960 634.33/630.46 c cleaning 53996 clauses out of 108013 with flag 1530000/2188959 649.16/645.28 c cleaning 54997 clauses out of 110013 with flag 1586000/2244959 663.90/659.99 c cleaning 55995 clauses out of 112015 with flag 1643001/2301960 679.13/675.11 c cleaning 57000 clauses out of 114019 with flag 1701000/2359959 693.34/689.37 c cleaning 57996 clauses out of 116017 with flag 1760001/2418960 707.86/703.80 c cleaning 58988 clauses out of 118021 with flag 1820001/2478960 722.18/718.15 c cleaning 60005 clauses out of 120029 with flag 1881001/2539960 737.69/733.69 c cleaning 61001 clauses out of 122025 with flag 1943002/2601961 753.89/749.85 c cleaning 61997 clauses out of 124023 with flag 2006001/2664960 771.02/766.91 c cleaning 63005 clauses out of 126025 with flag 2070000/2728959 787.39/783.29 c cleaning 63992 clauses out of 128020 with flag 2135000/2793959 803.11/798.92 c cleaning 64998 clauses out of 130028 with flag 2201000/2859959 820.24/816.00 c cleaning 66000 clauses out of 132030 with flag 2268000/2926959 837.39/833.11 c cleaning 66994 clauses out of 134031 with flag 2336001/2994960 854.82/850.54 c cleaning 68019 clauses out of 136042 with flag 2405006/3063965 879.67/875.31 c cleaning 68980 clauses out of 137988 with flag 2475000/3133959 899.31/894.97 c cleaning 69994 clauses out of 140008 with flag 2546000/3204959 918.05/913.62 c cleaning 70994 clauses out of 142014 with flag 2618000/3276959 934.67/930.20 c cleaning 72000 clauses out of 144020 with flag 2691000/3349959 951.61/947.12 c cleaning 72995 clauses out of 146020 with flag 2765000/3423959 969.15/964.60 c cleaning 74000 clauses out of 148026 with flag 2840001/3498960 988.11/983.54 c cleaning 75000 clauses out of 150025 with flag 2916000/3574959 1006.93/1002.32 c cleaning 75998 clauses out of 152025 with flag 2993000/3651959 1026.00/1021.39 c cleaning 77002 clauses out of 154027 with flag 3071000/3729959 1044.93/1040.28 c cleaning 78000 clauses out of 156025 with flag 3150000/3808959 1063.67/1058.93 c cleaning 78996 clauses out of 158026 with flag 3230001/3888960 1082.92/1078.15 c cleaning 80004 clauses out of 160030 with flag 3311001/3969960 1102.15/1097.35 c cleaning 81004 clauses out of 162026 with flag 3393001/4051960 1124.02/1119.15 c cleaning 81994 clauses out of 164021 with flag 3476000/4134959 1144.28/1139.34 c cleaning 82995 clauses out of 166027 with flag 3560000/4218959 1165.22/1160.28 c cleaning 83997 clauses out of 168032 with flag 3645000/4303959 1186.06/1181.05 c cleaning 85000 clauses out of 170035 with flag 3731000/4389959 1207.78/1202.76 c cleaning 86002 clauses out of 172036 with flag 3818001/4476960 1229.03/1223.99 c cleaning 86995 clauses out of 174034 with flag 3906001/4564960 1253.94/1248.88 c cleaning 88008 clauses out of 176040 with flag 3995002/4653961 1277.07/1271.91 c cleaning 88996 clauses out of 178030 with flag 4085000/4743959 1298.42/1293.25 c cleaning 90001 clauses out of 180035 with flag 4176001/4834960 1320.60/1315.31 c cleaning 90999 clauses out of 182034 with flag 4268001/4926960 1343.53/1338.25 c cleaning 92009 clauses out of 184034 with flag 4361000/5019959 1365.08/1359.72 c cleaning 92994 clauses out of 186025 with flag 4455000/5113959 1388.23/1382.88 c cleaning 93998 clauses out of 188032 with flag 4550001/5208960 1416.78/1411.33 c cleaning 95003 clauses out of 190034 with flag 4646001/5304960 1441.14/1435.65 c cleaning 96001 clauses out of 192031 with flag 4743001/5401960 1466.61/1461.01 c cleaning 96993 clauses out of 194029 with flag 4841000/5499959 1491.73/1486.11 c cleaning 98005 clauses out of 196036 with flag 4940000/5598959 1525.66/1520.07 c cleaning 98999 clauses out of 198031 with flag 5040000/5698959 1559.37/1553.65 c cleaning 99999 clauses out of 200032 with flag 5141000/5799959 1595.58/1589.82 c cleaning 101000 clauses out of 202033 with flag 5243000/5901959 1628.26/1622.50 c cleaning 102004 clauses out of 204033 with flag 5346000/6004959 1656.89/1651.08 c cleaning 103002 clauses out of 206030 with flag 5450001/6108960 1681.52/1675.66 c cleaning 103996 clauses out of 208027 with flag 5555000/6213959 1710.81/1704.88 c cleaning 104997 clauses out of 210032 with flag 5661001/6319960 1737.10/1731.05 c cleaning 105995 clauses out of 212034 with flag 5768000/6426959 1765.25/1759.11 c cleaning 106995 clauses out of 214039 with flag 5876000/6534959 1795.12/1788.94 c cleaning 107998 clauses out of 216044 with flag 5985000/6643959 1800.07/1793.81 c starts : 293 1800.07/1793.81 c conflicts : 6663815 1800.07/1793.81 c decisions : 7522973 1800.07/1793.81 c propagations : 163954129 1800.07/1793.81 c inspects : 3000395227 1800.07/1793.81 c shortcuts : 0 1800.07/1793.81 c learnt literals : 653 1800.07/1793.81 c learnt binary clauses : 538 1800.07/1793.81 c learnt ternary clauses : 1119 1800.07/1793.81 c learnt constraints : 6663162 1800.07/1793.81 c ignored constraints : 0 1800.07/1793.81 c root simplifications : 946 1800.07/1793.81 c removed literals (reason simplification) : 652620202 1800.07/1793.81 c reason swapping (by a shorter reason) : 0 1800.07/1793.81 c Calls to reduceDB : 165 1800.07/1793.81 c number of reductions to clauses (during analyze) : 0 1800.07/1793.81 c number of learned constraints concerned by reduction : 0 1800.07/1793.81 c number of learning phase by resolution : 0 1800.07/1793.81 c number of learning phase by cutting planes : 0 1800.07/1793.81 c speed (assignments/second) : 91428.53892571529 1800.07/1793.81 c non guided choices 8226 1800.07/1793.83 c learnt constraints type 1800.07/1793.83 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 322 1800.07/1793.83 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 127654 1800.07/1793.83 c constraints type 1800.07/1793.83 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1800.07/1793.83 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.07/1793.83 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.07/1793.83 c ignored satisfied constraints => 2 1800.07/1793.83 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1800.07/1793.83 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626 1800.07/1793.83 c 24513 constraints processed. 1800.07/1793.83 s SATISFIABLE 1800.07/1793.84 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 x1263 x1264 -x1265 -x1266 x1267 x1268 -x1269 -x1270 x1271 -x1272 x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 x1301 -x1302 -x1303 x1304 x1305 -x1306 x1307 x1308 -x1309 x1310 -x1311 -x1312 x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 x2176 -x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 x2195 -x2196 -x2197 x2198 x2199 x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 x2207 -x2208 -x2209 -x2210 -x2211 x2212 x2213 -x2214 -x2215 x2216 -x2217 -x2218 x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 x2229 -x2230 -x2231 -x2232 -x2233 x2234 x2235 -x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306 x3307 -x3308 x3309 x3310 x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 x3324 x3325 x3326 -x3327 -x3328 x3329 x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 x3345 x3346 x3347 -x3348 -x3349 x3350 -x3351 x3352 x3353 -x3354 -x3355 -x3356 x3357 -x3358 x3359 x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 1800.07/1793.85 c objective function=6722177 1800.07/1793.85 c Total wall clock time (in seconds): 1793.739
OK 6722177
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-3710383-1338255161/watcher-3710383-1338255161 -o /tmp/evaluation-result-3710383-1338255161/solver-3710383-1338255161 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710383-1338255161.opb running on 4 cores: 0,2,4,6 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.08 2.02 1.91 2/194 26613 /proc/meminfo: memFree=30895320/32873844 swapFree=6080/6080 [pid=26613] ppid=26611 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/26613/stat : 26613 (java) R 26611 26613 26215 0 -1 4202496 991 0 0 0 0 0 0 0 20 0 1 0 291640677 23793664 718 33554432000 1073741824 1073778376 140734057685584 140734057674648 248780994640 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/26613/statm: 5809 726 538 9 0 128 0 [startup+0.0576081 s] /proc/loadavg: 2.08 2.02 1.91 2/194 26613 /proc/meminfo: memFree=30895320/32873844 swapFree=6080/6080 [pid=26613] ppid=26611 vsize=9558440 CPUtime=0.05 cores=0,2,4,6 /proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 3199 0 1 0 4 1 0 0 20 0 18 0 291640677 9787842560 4406 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26613/statm: 2389610 4406 1764 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558440 [startup+0.100273 s] /proc/loadavg: 2.08 2.02 1.91 2/194 26613 /proc/meminfo: memFree=30895320/32873844 swapFree=6080/6080 [pid=26613] ppid=26611 vsize=9558440 CPUtime=0.1 cores=0,2,4,6 /proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 4265 0 1 0 9 1 0 0 20 0 18 0 291640677 9787842560 5982 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26613/statm: 2389610 5982 2116 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558440 [startup+0.300256 s] /proc/loadavg: 2.08 2.02 1.91 2/194 26613 /proc/meminfo: memFree=30895320/32873844 swapFree=6080/6080 [pid=26613] ppid=26611 vsize=9558440 CPUtime=0.51 cores=0,2,4,6 /proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 6742 0 1 0 49 2 0 0 20 0 18 0 291640677 9787842560 10512 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26613/statm: 2389809 10535 2226 9 0 2380495 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558440 [startup+0.700263 s] /proc/loadavg: 2.08 2.02 1.91 2/194 26613 /proc/meminfo: memFree=30895320/32873844 swapFree=6080/6080 [pid=26613] ppid=26611 vsize=9625004 CPUtime=1.49 cores=0,2,4,6 /proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 10913 0 1 0 146 3 0 0 20 0 19 0 291640677 9856004096 25649 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26613/statm: 2406251 25649 2250 9 0 2396937 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9625004 [startup+1.50064 s] /proc/loadavg: 2.08 2.02 1.91 3/213 26632 /proc/meminfo: memFree=30793620/32873844 swapFree=6080/6080 [pid=26613] ppid=26611 vsize=9625004 CPUtime=2.7 cores=0,2,4,6 /proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 11007 0 1 0 267 3 0 0 20 0 19 0 291640677 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26613/statm: 2406251 27786 2263 9 0 2396937 0 [pid=26613/tid=26615] ppid=26611 vsize=9625004 CPUtime=1.47 cores=0,2,4,6 /proc/26613/task/26615/stat : 26615 (java) R 26611 26613 26215 0 -1 4202560 2544 0 1 0 145 2 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409757753656 140409612050961 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26616] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26616/stat : 26616 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409730206120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26617] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26617/stat : 26617 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409600256552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26618] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26618/stat : 26618 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409599203496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26613/tid=26619] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26619/stat : 26619 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409598150952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26620] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26620/stat : 26620 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409597098920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26621] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26621/stat : 26621 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409596046376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26622] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26622/stat : 26622 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409258896040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26623] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26623/stat : 26623 (java) S 26611 26613 26215 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409257843496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26624] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26624/stat : 26624 (java) S 26611 26613 26215 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291640679 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409245645160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26625] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26625/stat : 26625 (java) S 26611 26613 26215 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409244591480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26626] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26626/stat : 26626 (java) S 26611 26613 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409243538312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26627] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26627/stat : 26627 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409242487056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26628] ppid=26611 vsize=9625004 CPUtime=0.6 cores=0,2,4,6 /proc/26613/task/26628/stat : 26628 (java) S 26611 26613 26215 0 -1 4202560 2748 0 0 0 60 0 0 0 20 0 19 0 291640682 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409241434936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26629] ppid=26611 vsize=9625004 CPUtime=0.59 cores=0,2,4,6 /proc/26613/task/26629/stat : 26629 (java) S 26611 26613 26215 0 -1 4202560 4514 0 0 0 59 0 0 0 20 0 19 0 291640682 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409240382392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26630] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26630/stat : 26630 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409239329528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26631] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26631/stat : 26631 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409238277192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26632] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26632/stat : 26632 (java) S 26611 26613 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640733 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409237222440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.7 Current children cumulated vsize (KiB) 9625004 [startup+3.10068 s] /proc/loadavg: 2.07 2.02 1.91 3/213 26632 /proc/meminfo: memFree=30784932/32873844 swapFree=6080/6080 [pid=26613] ppid=26611 vsize=9625004 CPUtime=4.3 cores=0,2,4,6 /proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 11012 0 1 0 427 3 0 0 20 0 19 0 291640677 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26613/statm: 2406251 29323 2263 9 0 2396937 0 [pid=26613/tid=26615] ppid=26611 vsize=9625004 CPUtime=3.07 cores=0,2,4,6 /proc/26613/task/26615/stat : 26615 (java) R 26611 26613 26215 0 -1 4202560 2548 0 1 0 305 2 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409757751744 140409612175063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26616] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26616/stat : 26616 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409730206120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26617] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26617/stat : 26617 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409600256552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26618] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26618/stat : 26618 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409599203496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26613/tid=26619] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26619/stat : 26619 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409598150952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26620] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26620/stat : 26620 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409597098920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26621] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26621/stat : 26621 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409596046376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26622] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26622/stat : 26622 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409258896040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26623] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26623/stat : 26623 (java) S 26611 26613 26215 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409257843496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26624] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26624/stat : 26624 (java) S 26611 26613 26215 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291640679 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409245645160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26625] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26625/stat : 26625 (java) S 26611 26613 26215 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409244591480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26626] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26626/stat : 26626 (java) S 26611 26613 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409243538312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26627] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26627/stat : 26627 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409242487056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26628] ppid=26611 vsize=9625004 CPUtime=0.6 cores=0,2,4,6 /proc/26613/task/26628/stat : 26628 (java) S 26611 26613 26215 0 -1 4202560 2748 0 0 0 60 0 0 0 20 0 19 0 291640682 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409241434936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26629] ppid=26611 vsize=9625004 CPUtime=0.59 cores=0,2,4,6 /proc/26613/task/26629/stat : 26629 (java) S 26611 26613 26215 0 -1 4202560 4514 0 0 0 59 0 0 0 20 0 19 0 291640682 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409240382392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26630] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26630/stat : 26630 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409239329528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26631] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26631/stat : 26631 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409238277192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26632] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26632/stat : 26632 (java) S 26611 26613 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640733 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409237222440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.3 Current children cumulated vsize (KiB) 9625004 [startup+6.30065 s] /proc/loadavg: 2.07 2.02 1.91 3/213 26632 /proc/meminfo: memFree=30715176/32873844 swapFree=6080/6080 [pid=26613] ppid=26611 vsize=9625004 CPUtime=7.55 cores=0,2,4,6 /proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 11167 0 1 0 751 4 0 0 20 0 19 0 291640677 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26613/statm: 2406251 32771 2265 9 0 2396937 0 [pid=26613/tid=26615] ppid=26611 vsize=9625004 CPUtime=6.26 cores=0,2,4,6 /proc/26613/task/26615/stat : 26615 (java) R 26611 26613 26215 0 -1 4202560 2558 0 1 0 624 2 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409757753616 140409612209081 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26616] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26616/stat : 26616 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409730206120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26617] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26617/stat : 26617 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409600256552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26618] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26618/stat : 26618 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409599203496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26613/tid=26619] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26619/stat : 26619 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409598150952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26620] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26620/stat : 26620 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409597098920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26621] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26621/stat : 26621 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409596046376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26622] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26622/stat : 26622 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409258896040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26623] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26623/stat : 26623 (java) S 26611 26613 26215 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409257843496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26624] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26624/stat : 26624 (java) S 26611 26613 26215 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291640679 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409245645160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26625] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26625/stat : 26625 (java) S 26611 26613 26215 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409244591480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26626] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26626/stat : 26626 (java) S 26611 26613 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409243538312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26627] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26627/stat : 26627 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409242487056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26628] ppid=26611 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/26613/task/26628/stat : 26628 (java) S 26611 26613 26215 0 -1 4202560 2893 0 0 0 64 0 0 0 20 0 19 0 291640682 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409241434936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26629] ppid=26611 vsize=9625004 CPUtime=0.59 cores=0,2,4,6 /proc/26613/task/26629/stat : 26629 (java) S 26611 26613 26215 0 -1 4202560 4514 0 0 0 59 0 0 0 20 0 19 0 291640682 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409240382392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26630] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26630/stat : 26630 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409239329528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26631] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26631/stat : 26631 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409238277192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26632] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26632/stat : 26632 (java) S 26611 26613 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640733 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409237222440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.55 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=26613/tid=26628] ppid=26611 vsize=9625004 CPUtime=0.92 cores=0,2,4,6 /proc/26613/task/26628/stat : 26628 (java) S 26611 26613 26215 0 -1 4202560 7533 0 0 0 91 1 0 0 20 0 19 0 291640682 9856004096 83752 33554432000 1073741824 1073778376 140734057685584 140409241434936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26629] ppid=26611 vsize=9625004 CPUtime=1.49 cores=0,2,4,6 /proc/26613/task/26629/stat : 26629 (java) S 26611 26613 26215 0 -1 4202560 12086 0 0 0 147 2 0 0 20 0 19 0 291640682 9856004096 83752 33554432000 1073741824 1073778376 140734057685584 140409240382392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26630] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26630/stat : 26630 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 83752 33554432000 1073741824 1073778376 140734057685584 140409239329528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26631] ppid=26611 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/26613/task/26631/stat : 26631 (java) S 26611 26613 26215 0 -1 4202560 95 0 0 0 12 14 0 0 20 0 19 0 291640682 9856004096 83752 33554432000 1073741824 1073778376 140734057685584 140409238277192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26632] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26632/stat : 26632 (java) S 26611 26613 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640733 9856004096 83752 33554432000 1073741824 1073778376 140734057685584 140409237222440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1668.22 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/214 26670 /proc/meminfo: memFree=30372100/32873844 swapFree=6080/6080 [pid=26613] ppid=26611 vsize=9625004 CPUtime=1728.39 cores=0,2,4,6 /proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 25576 0 1 0 172800 39 0 0 20 0 19 0 291640677 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26613/statm: 2406251 84276 2292 9 0 2396937 0 [pid=26613/tid=26615] ppid=26611 vsize=9625004 CPUtime=1705.97 cores=0,2,4,6 /proc/26613/task/26615/stat : 26615 (java) R 26611 26613 26215 0 -1 4202560 2724 0 1 0 170566 31 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409757753664 140409611955667 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26616] ppid=26611 vsize=9625004 CPUtime=0.66 cores=0,2,4,6 /proc/26613/task/26616/stat : 26616 (java) S 26611 26613 26215 0 -1 4202560 284 0 0 0 63 3 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409730206120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26617] ppid=26611 vsize=9625004 CPUtime=0.63 cores=0,2,4,6 /proc/26613/task/26617/stat : 26617 (java) S 26611 26613 26215 0 -1 4202560 273 0 0 0 62 1 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409600256552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26618] ppid=26611 vsize=9625004 CPUtime=0.61 cores=0,2,4,6 /proc/26613/task/26618/stat : 26618 (java) S 26611 26613 26215 0 -1 4202560 324 0 0 0 59 2 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409599203496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26619] ppid=26611 vsize=9625004 CPUtime=0.69 cores=0,2,4,6 /proc/26613/task/26619/stat : 26619 (java) S 26611 26613 26215 0 -1 4202560 335 0 0 0 66 3 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409598150952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26620] ppid=26611 vsize=9625004 CPUtime=0.61 cores=0,2,4,6 /proc/26613/task/26620/stat : 26620 (java) S 26611 26613 26215 0 -1 4202560 86 0 0 0 59 2 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409597098920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26621] ppid=26611 vsize=9625004 CPUtime=0.67 cores=0,2,4,6 /proc/26613/task/26621/stat : 26621 (java) S 26611 26613 26215 0 -1 4202560 62 0 0 0 65 2 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409596046376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26622] ppid=26611 vsize=9625004 CPUtime=0.72 cores=0,2,4,6 /proc/26613/task/26622/stat : 26622 (java) S 26611 26613 26215 0 -1 4202560 182 0 0 0 69 3 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409258896040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26613/tid=26623] ppid=26611 vsize=9625004 CPUtime=0.62 cores=0,2,4,6 /proc/26613/task/26623/stat : 26623 (java) S 26611 26613 26215 0 -1 4202560 209 0 0 0 60 2 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409257843496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26624] ppid=26611 vsize=9625004 CPUtime=10.23 cores=0,2,4,6 /proc/26613/task/26624/stat : 26624 (java) S 26611 26613 26215 0 -1 4202560 191 0 0 0 1021 2 0 0 20 0 19 0 291640679 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409245645160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26625] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26625/stat : 26625 (java) S 26611 26613 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409244591480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26626] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26626/stat : 26626 (java) S 26611 26613 26215 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409243538312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26627] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26627/stat : 26627 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409242487056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26628] ppid=26611 vsize=9625004 CPUtime=0.92 cores=0,2,4,6 /proc/26613/task/26628/stat : 26628 (java) S 26611 26613 26215 0 -1 4202560 7533 0 0 0 91 1 0 0 20 0 19 0 291640682 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409241434936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26629] ppid=26611 vsize=9625004 CPUtime=1.49 cores=0,2,4,6 /proc/26613/task/26629/stat : 26629 (java) S 26611 26613 26215 0 -1 4202560 12086 0 0 0 147 2 0 0 20 0 19 0 291640682 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409240382392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26630] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26630/stat : 26630 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409239329528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26631] ppid=26611 vsize=9625004 CPUtime=0.28 cores=0,2,4,6 /proc/26613/task/26631/stat : 26631 (java) S 26611 26613 26215 0 -1 4202560 99 0 0 0 13 15 0 0 20 0 19 0 291640682 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409238277192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26632] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26632/stat : 26632 (java) S 26611 26613 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640733 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409237222440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1728.39 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/213 26671 /proc/meminfo: memFree=30371612/32873844 swapFree=6080/6080 [pid=26613] ppid=26611 vsize=9625004 CPUtime=1788.52 cores=0,2,4,6 /proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 25623 0 1 0 178812 40 0 0 20 0 19 0 291640677 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26613/statm: 2406251 84315 2292 9 0 2396937 0 [pid=26613/tid=26615] ppid=26611 vsize=9625004 CPUtime=1765.52 cores=0,2,4,6 /proc/26613/task/26615/stat : 26615 (java) R 26611 26613 26215 0 -1 4202560 2726 0 1 0 176520 32 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409757753664 140409612106834 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26616] ppid=26611 vsize=9625004 CPUtime=0.68 cores=0,2,4,6 /proc/26613/task/26616/stat : 26616 (java) S 26611 26613 26215 0 -1 4202560 323 0 0 0 65 3 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409730206120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26617] ppid=26611 vsize=9625004 CPUtime=0.65 cores=0,2,4,6 /proc/26613/task/26617/stat : 26617 (java) S 26611 26613 26215 0 -1 4202560 273 0 0 0 64 1 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409600256552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26618] ppid=26611 vsize=9625004 CPUtime=0.63 cores=0,2,4,6 /proc/26613/task/26618/stat : 26618 (java) S 26611 26613 26215 0 -1 4202560 324 0 0 0 61 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409599203496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26619] ppid=26611 vsize=9625004 CPUtime=0.71 cores=0,2,4,6 /proc/26613/task/26619/stat : 26619 (java) S 26611 26613 26215 0 -1 4202560 335 0 0 0 68 3 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409598150952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26613/tid=26620] ppid=26611 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/26613/task/26620/stat : 26620 (java) S 26611 26613 26215 0 -1 4202560 86 0 0 0 62 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409597098920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26621] ppid=26611 vsize=9625004 CPUtime=0.68 cores=0,2,4,6 /proc/26613/task/26621/stat : 26621 (java) S 26611 26613 26215 0 -1 4202560 62 0 0 0 66 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409596046376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26622] ppid=26611 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/26613/task/26622/stat : 26622 (java) S 26611 26613 26215 0 -1 4202560 182 0 0 0 71 3 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409258896040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26623] ppid=26611 vsize=9625004 CPUtime=0.65 cores=0,2,4,6 /proc/26613/task/26623/stat : 26623 (java) S 26611 26613 26215 0 -1 4202560 209 0 0 0 63 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409257843496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26624] ppid=26611 vsize=9625004 CPUtime=10.47 cores=0,2,4,6 /proc/26613/task/26624/stat : 26624 (java) S 26611 26613 26215 0 -1 4202560 193 0 0 0 1045 2 0 0 20 0 19 0 291640679 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409245645160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26625] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26625/stat : 26625 (java) S 26611 26613 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409244591480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26626] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26626/stat : 26626 (java) S 26611 26613 26215 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409243538312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26627] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26627/stat : 26627 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409242487056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26628] ppid=26611 vsize=9625004 CPUtime=0.92 cores=0,2,4,6 /proc/26613/task/26628/stat : 26628 (java) S 26611 26613 26215 0 -1 4202560 7533 0 0 0 91 1 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409241434936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26629] ppid=26611 vsize=9625004 CPUtime=1.49 cores=0,2,4,6 /proc/26613/task/26629/stat : 26629 (java) S 26611 26613 26215 0 -1 4202560 12086 0 0 0 147 2 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409240382392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26630] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26630/stat : 26630 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409239329528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26631] ppid=26611 vsize=9625004 CPUtime=0.29 cores=0,2,4,6 /proc/26613/task/26631/stat : 26631 (java) S 26611 26613 26215 0 -1 4202560 103 0 0 0 13 16 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409238277192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26632] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26632/stat : 26632 (java) S 26611 26613 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640733 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409237222440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.8 s] /proc/loadavg: 1.92 1.98 1.92 4/212 26729 /proc/meminfo: memFree=30612224/32873844 swapFree=6080/6080 [pid=26613] ppid=26611 vsize=9625004 CPUtime=1800.07 cores=0,2,4,6 /proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 25626 0 1 0 179967 40 0 0 20 0 19 0 291640677 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26613/statm: 2406251 84315 2292 9 0 2396937 0 [pid=26613/tid=26615] ppid=26611 vsize=9625004 CPUtime=1776.88 cores=0,2,4,6 /proc/26613/task/26615/stat : 26615 (java) R 26611 26613 26215 0 -1 4202560 2727 0 1 0 177655 33 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409757753664 140409612049273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26616] ppid=26611 vsize=9625004 CPUtime=0.7 cores=0,2,4,6 /proc/26613/task/26616/stat : 26616 (java) S 26611 26613 26215 0 -1 4202560 323 0 0 0 67 3 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409730206120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26613/tid=26617] ppid=26611 vsize=9625004 CPUtime=0.66 cores=0,2,4,6 /proc/26613/task/26617/stat : 26617 (java) S 26611 26613 26215 0 -1 4202560 273 0 0 0 64 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409600256552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26618] ppid=26611 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/26613/task/26618/stat : 26618 (java) S 26611 26613 26215 0 -1 4202560 324 0 0 0 62 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409599203496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26619] ppid=26611 vsize=9625004 CPUtime=0.71 cores=0,2,4,6 /proc/26613/task/26619/stat : 26619 (java) S 26611 26613 26215 0 -1 4202560 335 0 0 0 68 3 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409598150952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26620] ppid=26611 vsize=9625004 CPUtime=0.65 cores=0,2,4,6 /proc/26613/task/26620/stat : 26620 (java) S 26611 26613 26215 0 -1 4202560 86 0 0 0 63 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409597098920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26613/tid=26621] ppid=26611 vsize=9625004 CPUtime=0.69 cores=0,2,4,6 /proc/26613/task/26621/stat : 26621 (java) S 26611 26613 26215 0 -1 4202560 62 0 0 0 67 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409596046376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26622] ppid=26611 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/26613/task/26622/stat : 26622 (java) S 26611 26613 26215 0 -1 4202560 182 0 0 0 71 3 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409258896040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26623] ppid=26611 vsize=9625004 CPUtime=0.66 cores=0,2,4,6 /proc/26613/task/26623/stat : 26623 (java) S 26611 26613 26215 0 -1 4202560 209 0 0 0 64 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409257843496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26613/tid=26624] ppid=26611 vsize=9625004 CPUtime=10.57 cores=0,2,4,6 /proc/26613/task/26624/stat : 26624 (java) S 26611 26613 26215 0 -1 4202560 195 0 0 0 1055 2 0 0 20 0 19 0 291640679 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409245645160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26625] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26625/stat : 26625 (java) S 26611 26613 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409244591480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26626] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26626/stat : 26626 (java) S 26611 26613 26215 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409243538312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26627] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26627/stat : 26627 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409242487056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26628] ppid=26611 vsize=9625004 CPUtime=0.92 cores=0,2,4,6 /proc/26613/task/26628/stat : 26628 (java) S 26611 26613 26215 0 -1 4202560 7533 0 0 0 91 1 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409241434936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26613/tid=26629] ppid=26611 vsize=9625004 CPUtime=1.49 cores=0,2,4,6 /proc/26613/task/26629/stat : 26629 (java) S 26611 26613 26215 0 -1 4202560 12086 0 0 0 147 2 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409240382392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26630] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26630/stat : 26630 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409239329528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26613/tid=26631] ppid=26611 vsize=9625004 CPUtime=0.29 cores=0,2,4,6 /proc/26613/task/26631/stat : 26631 (java) S 26611 26613 26215 0 -1 4202560 103 0 0 0 13 16 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409238277192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26613/tid=26632] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/26613/task/26632/stat : 26632 (java) S 26611 26613 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640733 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409237222440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 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 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 26613 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=129098 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=871867 # CPU time returned by wait4() is 1796 # while last known CPU time is 1800.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1793.86 CPU time (s): 1800.07 CPU user time (s): 1799.67 CPU system time (s): 0.4 CPU usage (%): 100.346 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.13 system time used= 0.871867 maximum resident set size= 337388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25660 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42530 involuntary context switches= 17878 runsolver used 6.06908 second user time and 13.6359 second system time The end
Begin job on node139 at 2012-05-29 03:32:41 IDJOB=3710383 IDBENCH=92754 IDSOLVER=2289 FILE ID=node139/3710383-1338255161 RUNJOBID= node139-1338253362-26231 PBS_JOBID= 14624667 Free space on /tmp= 71652 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_0.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-3710383-1338255161/watcher-3710383-1338255161 -o /tmp/evaluation-result-3710383-1338255161/solver-3710383-1338255161 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710383-1338255161.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ca79c3a72fcbc528e4a81e658af79fe0 RANDOM SEED=1151757369 node139.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.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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.750 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.750 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.90 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.750 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.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 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: 30895600 kB Buffers: 447092 kB Cached: 549040 kB SwapCached: 828 kB Active: 813496 kB Inactive: 304884 kB Active(anon): 115832 kB Inactive(anon): 7968 kB Active(file): 697664 kB Inactive(file): 296916 kB Unevictable: 6080 kB Mlocked: 6080 kB SwapTotal: 67108856 kB SwapFree: 67104692 kB Dirty: 3324 kB Writeback: 0 kB AnonPages: 130700 kB Mapped: 20028 kB Shmem: 8 kB Slab: 718616 kB SReclaimable: 160292 kB SUnreclaim: 558324 kB KernelStack: 1576 kB PageTables: 4308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 694868 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 92160 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= 71624 MiB End job on node139 at 2012-05-29 04:02:37