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.03 | 1795.06 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_2.opb |
| MD5SUM | 1172ec321506151f46656b695a5e98c9 |
| 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 | 4041903 |
| 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 | 148877000 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 81547827734 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 148877000 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 81547827734 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.08 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.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.10/0.12 c configuring ORDERS 0.10/0.13 c --- Begin Solver configuration --- 0.10/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3 0.10/0.13 c Learn all clauses as in MiniSAT 0.10/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.10/0.13 c Expensive reason simplification 0.10/0.13 c Armin Biere (Picosat) restarts strategy 0.10/0.13 c Glucose learned constraints deletion strategy 0.10/0.13 c timeout=2147483s 0.10/0.13 c DB Simplification allowed=true 0.10/0.13 c Heuristics kept accross calls (keep the solver "hot") 0.10/0.13 c --- End Solver configuration --- 0.10/0.13 c solving HOME/instance-3710384-1338254775.opb 0.10/0.13 c reading problem ... 1.01/0.55 c ... done. Wall clock time 0.425s. 1.01/0.55 c declared #vars 9940 1.01/0.55 c #constraints 24510 1.01/0.55 c constraints type 1.01/0.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.01/0.55 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.01/0.55 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.01/0.55 c ignored satisfied constraints => 2 1.01/0.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.01/0.55 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.01/0.55 c 24512 constraints processed. 1.24/0.67 c SATISFIABLE 1.24/0.67 c OPTIMIZING... 1.24/0.67 c Got one! Elapsed wall clock time (in seconds):0.54 1.24/0.67 o 120192177 1.75/0.82 c Got one! Elapsed wall clock time (in seconds):0.696 1.75/0.82 o 119967337 2.95/1.86 c Got one! Elapsed wall clock time (in seconds):1.73 2.95/1.86 o 111135699 9.68/8.44 c Got one! Elapsed wall clock time (in seconds):8.31 9.68/8.44 o 22862613 10.81/9.50 c cleaning 3236 clauses out of 6476 with flag 1000/6621 14.56/13.14 c cleaning 4585 clauses out of 9169 with flag 7000/12621 19.97/18.56 c cleaning 5777 clauses out of 11553 with flag 14003/19624 24.81/22.92 c cleaning 6873 clauses out of 13746 with flag 22000/27621 27.86/25.91 c Got one! Elapsed wall clock time (in seconds):25.788 27.86/25.91 o 16244965 29.49/27.55 c Got one! Elapsed wall clock time (in seconds):27.423 29.49/27.55 o 8314951 30.99/29.04 c cleaning 9197 clauses out of 18412 with flag 3001/40590 33.34/31.34 c cleaning 7600 clauses out of 15209 with flag 9002/46591 35.49/33.41 c cleaning 7295 clauses out of 14592 with flag 16001/53590 38.89/36.81 c Got one! Elapsed wall clock time (in seconds):36.687 38.89/36.81 o 7114925 42.53/40.48 c cleaning 9780 clauses out of 19567 with flag 5001/66013 45.44/43.32 c cleaning 7882 clauses out of 15780 with flag 11001/72013 47.06/44.97 c cleaning 7440 clauses out of 14894 with flag 18000/79012 50.27/48.19 c cleaning 7635 clauses out of 15290 with flag 26000/87012 52.68/50.57 c cleaning 8319 clauses out of 16646 with flag 35000/96012 55.27/53.15 c cleaning 9152 clauses out of 18323 with flag 45002/106014 58.28/56.17 c cleaning 10073 clauses out of 20168 with flag 56001/117013 62.99/60.82 c cleaning 11033 clauses out of 22073 with flag 68001/129013 66.51/64.35 c cleaning 12007 clauses out of 24027 with flag 81001/142013 70.02/67.85 c cleaning 13001 clauses out of 26010 with flag 95001/156013 73.75/71.56 c cleaning 13994 clauses out of 28006 with flag 110000/171012 78.28/76.07 c Got one! Elapsed wall clock time (in seconds):75.942 78.28/76.07 o 5633905 78.28/76.09 c Got one! Elapsed wall clock time (in seconds):75.966 78.28/76.09 o 5505621 78.48/76.23 c Got one! Elapsed wall clock time (in seconds):76.109 78.48/76.24 o 5505471 80.68/78.42 c cleaning 16010 clauses out of 32029 with flag 5000/189428 82.41/80.13 c cleaning 10999 clauses out of 22008 with flag 11001/195429 84.11/81.89 c cleaning 8998 clauses out of 18005 with flag 18000/202428 86.22/84.00 c cleaning 8490 clauses out of 16999 with flag 26000/210428 88.44/86.16 c cleaning 8741 clauses out of 17502 with flag 35001/219429 90.74/88.49 c cleaning 9364 clauses out of 18757 with flag 45000/229428 93.97/91.61 c cleaning 10181 clauses out of 20394 with flag 56001/240429 97.28/94.97 c cleaning 11090 clauses out of 22198 with flag 68001/252429 100.79/98.41 c cleaning 12045 clauses out of 24108 with flag 81001/265429 104.81/102.42 c cleaning 13012 clauses out of 26038 with flag 95001/279429 108.52/106.19 c cleaning 14009 clauses out of 28023 with flag 110001/294429 112.72/110.37 c cleaning 15001 clauses out of 30013 with flag 126001/310429 119.23/116.84 c cleaning 15990 clauses out of 32000 with flag 143000/327428 123.73/121.38 c cleaning 16994 clauses out of 34007 with flag 161001/345429 129.04/126.61 c cleaning 17998 clauses out of 36010 with flag 180000/364428 136.16/133.76 c cleaning 18990 clauses out of 38012 with flag 200000/384428 143.76/141.32 c cleaning 20004 clauses out of 40023 with flag 221001/405429 152.39/149.98 c cleaning 20876 clauses out of 41772 with flag 243000/427428 158.31/155.80 c cleaning 21936 clauses out of 43886 with flag 266001/450429 166.44/163.92 c cleaning 22937 clauses out of 45881 with flag 290001/474429 172.55/170.01 c cleaning 23963 clauses out of 47944 with flag 315001/499429 186.55/184.09 c cleaning 22606 clauses out of 45230 with flag 341001/525429 192.88/190.34 c cleaning 24802 clauses out of 49623 with flag 368000/552428 200.18/197.69 c cleaning 26402 clauses out of 52816 with flag 396001/580429 207.89/205.30 c cleaning 27702 clauses out of 55414 with flag 425001/609429 217.11/214.59 c cleaning 28816 clauses out of 57659 with flag 455001/639429 225.61/223.03 c cleaning 29907 clauses out of 59836 with flag 486001/670429 233.54/230.92 c cleaning 30953 clauses out of 61927 with flag 518001/702429 242.66/240.06 c cleaning 31968 clauses out of 63971 with flag 551000/735428 251.46/248.81 c cleaning 32996 clauses out of 65995 with flag 585000/769428 261.08/258.45 c cleaning 33994 clauses out of 68000 with flag 620001/804429 270.79/268.12 c cleaning 34997 clauses out of 70003 with flag 656000/840428 280.19/277.58 c cleaning 35995 clauses out of 72006 with flag 693000/877428 290.14/287.45 c cleaning 36999 clauses out of 74011 with flag 731000/915428 301.44/298.76 c cleaning 37989 clauses out of 75997 with flag 770000/954428 323.17/320.48 c cleaning 38997 clauses out of 78002 with flag 810000/994428 336.98/334.28 c cleaning 39984 clauses out of 80002 with flag 851000/1035428 347.10/344.39 c cleaning 40995 clauses out of 82018 with flag 893000/1077428 357.61/354.81 c cleaning 41998 clauses out of 84024 with flag 936001/1120429 370.43/367.67 c cleaning 43001 clauses out of 86023 with flag 980000/1164428 382.14/379.33 c cleaning 44004 clauses out of 88022 with flag 1025000/1209428 393.65/390.80 c cleaning 44999 clauses out of 90019 with flag 1071001/1255429 405.56/402.76 c cleaning 45993 clauses out of 92020 with flag 1118001/1302429 417.99/415.12 c cleaning 46995 clauses out of 94027 with flag 1166001/1350429 439.20/436.38 c cleaning 47998 clauses out of 96016 with flag 1215001/1399429 454.21/451.32 c cleaning 48999 clauses out of 98018 with flag 1265001/1449429 473.63/470.80 c cleaning 49997 clauses out of 100016 with flag 1316000/1500428 488.11/485.12 c cleaning 50999 clauses out of 102021 with flag 1368002/1552430 502.92/499.97 c cleaning 52001 clauses out of 104021 with flag 1421001/1605429 517.54/514.51 c cleaning 52999 clauses out of 106021 with flag 1475002/1659430 531.35/528.32 c cleaning 54004 clauses out of 108020 with flag 1530000/1714428 546.06/543.10 c cleaning 54998 clauses out of 110016 with flag 1586000/1770428 561.39/558.37 c cleaning 56002 clauses out of 112019 with flag 1643001/1827429 576.70/573.67 c cleaning 56993 clauses out of 114016 with flag 1701000/1885428 593.74/590.69 c cleaning 57998 clauses out of 116024 with flag 1760001/1944429 610.76/607.65 c cleaning 59000 clauses out of 118025 with flag 1820000/2004428 629.97/626.87 c cleaning 60002 clauses out of 120025 with flag 1881000/2065428 646.98/643.88 c cleaning 61002 clauses out of 122023 with flag 1943000/2127428 661.92/658.78 c cleaning 62003 clauses out of 124021 with flag 2006000/2190428 680.26/677.07 c cleaning 63002 clauses out of 126019 with flag 2070001/2254429 696.01/692.76 c cleaning 63999 clauses out of 128016 with flag 2135000/2319428 711.83/708.58 c cleaning 64992 clauses out of 130018 with flag 2201001/2385429 727.84/724.59 c cleaning 65998 clauses out of 132026 with flag 2268001/2452429 744.26/740.98 c cleaning 66996 clauses out of 134027 with flag 2336000/2520428 761.89/758.50 c cleaning 68001 clauses out of 136031 with flag 2405000/2589428 781.25/777.82 c cleaning 68998 clauses out of 138030 with flag 2475000/2659428 802.19/798.75 c cleaning 70007 clauses out of 140033 with flag 2546001/2730429 822.23/818.73 c cleaning 71000 clauses out of 142025 with flag 2618000/2802428 842.75/839.22 c cleaning 72000 clauses out of 144026 with flag 2691001/2875429 863.87/860.31 c cleaning 72996 clauses out of 146025 with flag 2765000/2949428 884.88/881.34 c cleaning 73998 clauses out of 148029 with flag 2840000/3024428 918.81/915.22 c cleaning 75005 clauses out of 150032 with flag 2916001/3100429 942.72/939.17 c cleaning 76003 clauses out of 152027 with flag 2993001/3177429 970.16/966.54 c cleaning 76999 clauses out of 154023 with flag 3071000/3255428 989.21/985.54 c cleaning 77995 clauses out of 156025 with flag 3150001/3334429 1010.72/1007.05 c cleaning 79002 clauses out of 158029 with flag 3230000/3414428 1032.64/1028.98 c cleaning 80003 clauses out of 160028 with flag 3311001/3495429 1053.00/1049.29 c cleaning 80999 clauses out of 162024 with flag 3393000/3577428 1076.27/1072.43 c cleaning 81998 clauses out of 164025 with flag 3476000/3660428 1098.59/1094.76 c cleaning 83000 clauses out of 166027 with flag 3560000/3744428 1121.11/1117.21 c cleaning 84004 clauses out of 168028 with flag 3645001/3829429 1145.44/1141.55 c cleaning 85003 clauses out of 170024 with flag 3731001/3915429 1170.28/1166.35 c cleaning 85999 clauses out of 172020 with flag 3818000/4002428 1193.91/1189.96 c cleaning 87000 clauses out of 174022 with flag 3906001/4090429 1215.95/1211.97 c cleaning 88000 clauses out of 176021 with flag 3995000/4179428 1238.58/1234.51 c cleaning 88996 clauses out of 178022 with flag 4085001/4269429 1263.29/1259.29 c cleaning 89995 clauses out of 180025 with flag 4176000/4360428 1288.95/1284.87 c cleaning 91006 clauses out of 182031 with flag 4268001/4452429 1314.20/1310.03 c cleaning 92009 clauses out of 184024 with flag 4361000/4545428 1344.82/1340.60 c cleaning 92995 clauses out of 186016 with flag 4455001/4639429 1368.57/1364.32 c cleaning 93996 clauses out of 188020 with flag 4550000/4734428 1393.60/1389.33 c cleaning 94997 clauses out of 190024 with flag 4646000/4830428 1420.33/1416.04 c cleaning 96000 clauses out of 192027 with flag 4743000/4927428 1446.57/1442.21 c cleaning 96998 clauses out of 194027 with flag 4841000/5025428 1473.80/1469.42 c cleaning 97998 clauses out of 196030 with flag 4940001/5124429 1501.53/1497.11 c cleaning 99011 clauses out of 198031 with flag 5040000/5224428 1527.32/1522.80 c cleaning 99999 clauses out of 200021 with flag 5141001/5325429 1554.75/1550.21 c cleaning 100999 clauses out of 202022 with flag 5243001/5427429 1583.28/1578.77 c cleaning 101996 clauses out of 204023 with flag 5346001/5530429 1613.33/1608.79 c cleaning 103000 clauses out of 206026 with flag 5450000/5634428 1645.29/1640.66 c cleaning 104000 clauses out of 208027 with flag 5555001/5739429 1676.77/1672.01 c cleaning 105000 clauses out of 210026 with flag 5661000/5845428 1709.30/1704.54 c cleaning 106000 clauses out of 212026 with flag 5768000/5952428 1739.95/1735.11 c cleaning 107003 clauses out of 214027 with flag 5876001/6060429 1768.68/1763.83 c cleaning 107999 clauses out of 216023 with flag 5985000/6169428 1799.24/1794.36 c cleaning 108999 clauses out of 218025 with flag 6095001/6279429 1800.03/1795.01 c starts : 286 1800.03/1795.01 c conflicts : 6281417 1800.03/1795.01 c decisions : 7114208 1800.03/1795.01 c propagations : 181894348 1800.03/1795.01 c inspects : 2686202952 1800.03/1795.01 c shortcuts : 0 1800.03/1795.01 c learnt literals : 556 1800.03/1795.01 c learnt binary clauses : 682 1800.03/1795.01 c learnt ternary clauses : 1079 1800.03/1795.01 c learnt constraints : 6280861 1800.03/1795.01 c ignored constraints : 0 1800.03/1795.01 c root simplifications : 842 1800.03/1795.01 c removed literals (reason simplification) : 604854217 1800.03/1795.01 c reason swapping (by a shorter reason) : 0 1800.03/1795.01 c Calls to reduceDB : 124 1800.03/1795.01 c number of reductions to clauses (during analyze) : 0 1800.03/1795.01 c number of learned constraints concerned by reduction : 0 1800.03/1795.01 c number of learning phase by resolution : 0 1800.03/1795.01 c number of learning phase by cutting planes : 0 1800.03/1795.01 c speed (assignments/second) : 101365.58835379747 1800.03/1795.01 c non guided choices 9275 1800.03/1795.03 c learnt constraints type 1800.03/1795.03 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 528 1800.03/1795.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 110589 1800.03/1795.03 c constraints type 1800.03/1795.03 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1800.03/1795.03 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.03/1795.03 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.03/1795.03 c ignored satisfied constraints => 2 1800.03/1795.03 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1800.03/1795.03 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626 1800.03/1795.03 c 24513 constraints processed. 1800.03/1795.03 s SATISFIABLE 1800.03/1795.04 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.03/1795.05 c objective function=5505471 1800.03/1795.05 c Total wall clock time (in seconds): 1794.927
OK 5505471
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-3710384-1338254775/watcher-3710384-1338254775 -o /tmp/evaluation-result-3710384-1338254775/solver-3710384-1338254775 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710384-1338254775.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: 1.98 2.01 2.00 3/195 4117 /proc/meminfo: memFree=30427428/32873844 swapFree=7116/7116 [pid=4117] ppid=4115 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/4117/stat : 4117 (java) R 4115 4117 2017 0 -1 4202496 989 0 0 0 0 0 0 0 20 0 1 0 291602476 23793664 715 33554432000 1073741824 1073778376 140734757412320 140734757401384 240555963752 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/4117/statm: 5809 716 530 9 0 128 0 [startup+0.062399 s] /proc/loadavg: 1.98 2.01 2.00 3/195 4117 /proc/meminfo: memFree=30427428/32873844 swapFree=7116/7116 [pid=4117] ppid=4115 vsize=9558440 CPUtime=0.05 cores=0,2,4,6 /proc/4117/stat : 4117 (java) S 4115 4117 2017 0 -1 4202496 3197 0 1 0 4 1 0 0 20 0 18 0 291602476 9787842560 4404 33554432000 1073741824 1073778376 140734757412320 140734757403456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4117/statm: 2389610 4404 1764 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558440 [startup+0.100256 s] /proc/loadavg: 1.98 2.01 2.00 3/195 4117 /proc/meminfo: memFree=30427428/32873844 swapFree=7116/7116 [pid=4117] ppid=4115 vsize=9558440 CPUtime=0.1 cores=0,2,4,6 /proc/4117/stat : 4117 (java) S 4115 4117 2017 0 -1 4202496 4229 0 1 0 9 1 0 0 20 0 18 0 291602476 9787842560 5435 33554432000 1073741824 1073778376 140734757412320 140734757403456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4117/statm: 2389610 5435 2115 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558440 [startup+0.300219 s] /proc/loadavg: 1.98 2.01 2.00 3/195 4117 /proc/meminfo: memFree=30427428/32873844 swapFree=7116/7116 [pid=4117] ppid=4115 vsize=9558440 CPUtime=0.49 cores=0,2,4,6 /proc/4117/stat : 4117 (java) S 4115 4117 2017 0 -1 4202496 5630 0 1 0 47 2 0 0 20 0 18 0 291602476 9787842560 9277 33554432000 1073741824 1073778376 140734757412320 140734757403456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4117/statm: 2389610 9277 2226 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558440 [startup+0.700231 s] /proc/loadavg: 1.98 2.01 2.00 3/195 4117 /proc/meminfo: memFree=30427428/32873844 swapFree=7116/7116 [pid=4117] ppid=4115 vsize=9625004 CPUtime=1.48 cores=0,2,4,6 /proc/4117/stat : 4117 (java) S 4115 4117 2017 0 -1 4202496 10887 0 1 0 145 3 0 0 20 0 19 0 291602476 9856004096 25639 33554432000 1073741824 1073778376 140734757412320 140734757403456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4117/statm: 2406251 25639 2250 9 0 2396937 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 9625004 [startup+1.50069 s] /proc/loadavg: 1.98 2.01 2.00 3/214 4136 /proc/meminfo: memFree=30329072/32873844 swapFree=7116/7116 [pid=4117] ppid=4115 vsize=9625004 CPUtime=2.65 cores=0,2,4,6 /proc/4117/stat : 4117 (java) S 4115 4117 2017 0 -1 4202496 11704 0 1 0 262 3 0 0 20 0 19 0 291602476 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140734757403456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4117/statm: 2406251 27767 2260 9 0 2396937 0 [pid=4117/tid=4119] ppid=4115 vsize=9625004 CPUtime=1.47 cores=0,2,4,6 /proc/4117/task/4119/stat : 4119 (java) R 4115 4117 2017 0 -1 4202560 2548 0 1 0 145 2 0 0 20 0 19 0 291602477 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140018456030456 140018300118624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4120] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4120/stat : 4120 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140018299431336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4121] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4121/stat : 4121 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140018298378792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4122] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4122/stat : 4122 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140018297325736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4117/tid=4123] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4123/stat : 4123 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140018296273192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4124] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4124/stat : 4124 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140018295221160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4125] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4125/stat : 4125 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140018294168616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4126] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4126/stat : 4126 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140018293115560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4127] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4127/stat : 4127 (java) S 4115 4117 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140018292063016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4128] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4128/stat : 4128 (java) S 4115 4117 2017 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291602479 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140017809733992 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4129] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4129/stat : 4129 (java) S 4115 4117 2017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291602479 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140017808680312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4130] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4130/stat : 4130 (java) S 4115 4117 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291602479 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140017807627144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4131] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4131/stat : 4131 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140017806575888 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4132] ppid=4115 vsize=9625004 CPUtime=0.6 cores=0,2,4,6 /proc/4117/task/4132/stat : 4132 (java) S 4115 4117 2017 0 -1 4202560 3554 0 0 0 60 0 0 0 20 0 19 0 291602482 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140017805523768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4133] ppid=4115 vsize=9625004 CPUtime=0.55 cores=0,2,4,6 /proc/4117/task/4133/stat : 4133 (java) S 4115 4117 2017 0 -1 4202560 4400 0 0 0 55 0 0 0 20 0 19 0 291602482 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140017804471224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4134] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4134/stat : 4134 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140017803418360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4135] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4135/stat : 4135 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140017802366024 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4136] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4136/stat : 4136 (java) S 4115 4117 2017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291602533 9856004096 27767 33554432000 1073741824 1073778376 140734757412320 140017801311272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.65 Current children cumulated vsize (KiB) 9625004 [startup+3.10068 s] /proc/loadavg: 1.98 2.01 2.00 3/214 4136 /proc/meminfo: memFree=30320384/32873844 swapFree=7116/7116 [pid=4117] ppid=4115 vsize=9625004 CPUtime=4.38 cores=0,2,4,6 /proc/4117/stat : 4117 (java) S 4115 4117 2017 0 -1 4202496 11713 0 1 0 434 4 0 0 20 0 19 0 291602476 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140734757403456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4117/statm: 2406251 30330 2263 9 0 2396937 0 [pid=4117/tid=4119] ppid=4115 vsize=9625004 CPUtime=3.07 cores=0,2,4,6 /proc/4117/task/4119/stat : 4119 (java) R 4115 4117 2017 0 -1 4202560 2554 0 1 0 305 2 0 0 20 0 19 0 291602477 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140018456031976 140018300174519 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4120] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4120/stat : 4120 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140018299431336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4121] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4121/stat : 4121 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140018298378792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4122] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4122/stat : 4122 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140018297325736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4117/tid=4123] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4123/stat : 4123 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140018296273192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4124] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4124/stat : 4124 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140018295221160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4125] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4125/stat : 4125 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140018294168616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4126] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4126/stat : 4126 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140018293115560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4127] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4127/stat : 4127 (java) S 4115 4117 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140018292063016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4128] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4128/stat : 4128 (java) S 4115 4117 2017 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291602479 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140017809733992 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4129] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4129/stat : 4129 (java) S 4115 4117 2017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291602479 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140017808680312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4130] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4130/stat : 4130 (java) S 4115 4117 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291602479 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140017807627144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4131] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4131/stat : 4131 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140017806575888 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4132] ppid=4115 vsize=9625004 CPUtime=0.63 cores=0,2,4,6 /proc/4117/task/4132/stat : 4132 (java) S 4115 4117 2017 0 -1 4202560 3554 0 0 0 63 0 0 0 20 0 19 0 291602482 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140017805523768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4133] ppid=4115 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/4117/task/4133/stat : 4133 (java) S 4115 4117 2017 0 -1 4202560 4403 0 0 0 64 0 0 0 20 0 19 0 291602482 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140017804471224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4134] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4134/stat : 4134 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140017803418360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4135] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4135/stat : 4135 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140017802366024 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4136] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4136/stat : 4136 (java) S 4115 4117 2017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291602533 9856004096 30330 33554432000 1073741824 1073778376 140734757412320 140017801311272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.38 Current children cumulated vsize (KiB) 9625004 [startup+6.30065 s] /proc/loadavg: 1.98 2.01 2.00 3/214 4136 /proc/meminfo: memFree=30306172/32873844 swapFree=7116/7116 [pid=4117] ppid=4115 vsize=9625004 CPUtime=7.58 cores=0,2,4,6 /proc/4117/stat : 4117 (java) S 4115 4117 2017 0 -1 4202496 11721 0 1 0 754 4 0 0 20 0 19 0 291602476 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140734757403456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4117/statm: 2406251 32684 2263 9 0 2396937 0 [pid=4117/tid=4119] ppid=4115 vsize=9625004 CPUtime=6.27 cores=0,2,4,6 /proc/4117/task/4119/stat : 4119 (java) R 4115 4117 2017 0 -1 4202560 2562 0 1 0 625 2 0 0 20 0 19 0 291602477 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140018456031960 140018300309776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4120] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4120/stat : 4120 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140018299431336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4121] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4121/stat : 4121 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140018298378792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4122] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4122/stat : 4122 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140018297325736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4117/tid=4123] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4123/stat : 4123 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140018296273192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4124] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4124/stat : 4124 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140018295221160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4125] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4125/stat : 4125 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140018294168616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4126] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4126/stat : 4126 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140018293115560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4127] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4127/stat : 4127 (java) S 4115 4117 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291602477 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140018292063016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4128] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4128/stat : 4128 (java) S 4115 4117 2017 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291602479 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140017809733992 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4129] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4129/stat : 4129 (java) S 4115 4117 2017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291602479 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140017808680312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4130] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4130/stat : 4130 (java) S 4115 4117 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291602479 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140017807627144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4131] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4131/stat : 4131 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140017806575888 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4132] ppid=4115 vsize=9625004 CPUtime=0.63 cores=0,2,4,6 /proc/4117/task/4132/stat : 4132 (java) S 4115 4117 2017 0 -1 4202560 3554 0 0 0 63 0 0 0 20 0 19 0 291602482 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140017805523768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4133] ppid=4115 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/4117/task/4133/stat : 4133 (java) S 4115 4117 2017 0 -1 4202560 4403 0 0 0 64 0 0 0 20 0 19 0 291602482 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140017804471224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4134] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4134/stat : 4134 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140017803418360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4135] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4135/stat : 4135 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140017802366024 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4136] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4136/stat : 4136 (java) S 4115 4117 2017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291602533 9856004096 32684 33554432000 1073741824 1073778376 140734757412320 140017801311272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.58 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=4117/tid=4132] ppid=4115 vsize=9625004 CPUtime=1.16 cores=0,2,4,6 /proc/4117/task/4132/stat : 4132 (java) S 4115 4117 2017 0 -1 4202560 10695 0 0 0 113 3 0 0 20 0 19 0 291602482 9856004096 79536 33554432000 1073741824 1073778376 140734757412320 140017805523768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4133] ppid=4115 vsize=9625004 CPUtime=0.88 cores=0,2,4,6 /proc/4117/task/4133/stat : 4133 (java) S 4115 4117 2017 0 -1 4202560 4490 0 0 0 88 0 0 0 20 0 19 0 291602482 9856004096 79536 33554432000 1073741824 1073778376 140734757412320 140017804471224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4134] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4134/stat : 4134 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 79536 33554432000 1073741824 1073778376 140734757412320 140017803418360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4135] ppid=4115 vsize=9625004 CPUtime=0.24 cores=0,2,4,6 /proc/4117/task/4135/stat : 4135 (java) S 4115 4117 2017 0 -1 4202560 97 0 0 0 13 11 0 0 20 0 19 0 291602482 9856004096 79536 33554432000 1073741824 1073778376 140734757412320 140017802366024 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4136] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4136/stat : 4136 (java) S 4115 4117 2017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291602533 9856004096 79536 33554432000 1073741824 1073778376 140734757412320 140017801311272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1667.06 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 5857 /proc/meminfo: memFree=29934764/32873844 swapFree=7116/7116 [pid=4117] ppid=4115 vsize=9625004 CPUtime=1727.16 cores=0,2,4,6 /proc/4117/stat : 4117 (java) S 4115 4117 2017 0 -1 4202496 21049 0 1 0 172682 34 0 0 20 0 19 0 291602476 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140734757403456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4117/statm: 2406251 79579 2290 9 0 2396937 0 [pid=4117/tid=4119] ppid=4115 vsize=9625004 CPUtime=1708.53 cores=0,2,4,6 /proc/4117/task/4119/stat : 4119 (java) R 4115 4117 2017 0 -1 4202560 2692 0 1 0 170823 30 0 0 20 0 19 0 291602477 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140018456031568 140018300275441 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4120] ppid=4115 vsize=9625004 CPUtime=0.53 cores=0,2,4,6 /proc/4117/task/4120/stat : 4120 (java) S 4115 4117 2017 0 -1 4202560 157 0 0 0 52 1 0 0 20 0 19 0 291602477 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140018299431336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4121] ppid=4115 vsize=9625004 CPUtime=0.54 cores=0,2,4,6 /proc/4117/task/4121/stat : 4121 (java) S 4115 4117 2017 0 -1 4202560 304 0 0 0 52 2 0 0 20 0 19 0 291602477 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140018298378792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4117/tid=4122] ppid=4115 vsize=9625004 CPUtime=0.43 cores=0,2,4,6 /proc/4117/task/4122/stat : 4122 (java) S 4115 4117 2017 0 -1 4202560 170 0 0 0 41 2 0 0 20 0 19 0 291602477 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140018297325736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4123] ppid=4115 vsize=9625004 CPUtime=0.56 cores=0,2,4,6 /proc/4117/task/4123/stat : 4123 (java) S 4115 4117 2017 0 -1 4202560 242 0 0 0 54 2 0 0 20 0 19 0 291602477 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140018296273192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4124] ppid=4115 vsize=9625004 CPUtime=0.55 cores=0,2,4,6 /proc/4117/task/4124/stat : 4124 (java) S 4115 4117 2017 0 -1 4202560 292 0 0 0 53 2 0 0 20 0 19 0 291602477 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140018295221160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4125] ppid=4115 vsize=9625004 CPUtime=0.53 cores=0,2,4,6 /proc/4117/task/4125/stat : 4125 (java) S 4115 4117 2017 0 -1 4202560 222 0 0 0 53 0 0 0 20 0 19 0 291602477 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140018294168616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4117/tid=4126] ppid=4115 vsize=9625004 CPUtime=0.51 cores=0,2,4,6 /proc/4117/task/4126/stat : 4126 (java) S 4115 4117 2017 0 -1 4202560 145 0 0 0 49 2 0 0 20 0 19 0 291602477 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140018293115560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4127] ppid=4115 vsize=9625004 CPUtime=0.56 cores=0,2,4,6 /proc/4117/task/4127/stat : 4127 (java) S 4115 4117 2017 0 -1 4202560 162 0 0 0 54 2 0 0 20 0 19 0 291602477 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140018292063016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4128] ppid=4115 vsize=9625004 CPUtime=7.76 cores=0,2,4,6 /proc/4117/task/4128/stat : 4128 (java) S 4115 4117 2017 0 -1 4202560 191 0 0 0 773 3 0 0 20 0 19 0 291602479 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140017809733992 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4129] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4129/stat : 4129 (java) S 4115 4117 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291602479 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140017808680312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4130] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4130/stat : 4130 (java) S 4115 4117 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291602479 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140017807627144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4131] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4131/stat : 4131 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140017806575888 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4132] ppid=4115 vsize=9625004 CPUtime=1.16 cores=0,2,4,6 /proc/4117/task/4132/stat : 4132 (java) S 4115 4117 2017 0 -1 4202560 10695 0 0 0 113 3 0 0 20 0 19 0 291602482 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140017805523768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4133] ppid=4115 vsize=9625004 CPUtime=0.88 cores=0,2,4,6 /proc/4117/task/4133/stat : 4133 (java) S 4115 4117 2017 0 -1 4202560 4490 0 0 0 88 0 0 0 20 0 19 0 291602482 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140017804471224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4134] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4134/stat : 4134 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140017803418360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4135] ppid=4115 vsize=9625004 CPUtime=0.25 cores=0,2,4,6 /proc/4117/task/4135/stat : 4135 (java) S 4115 4117 2017 0 -1 4202560 99 0 0 0 14 11 0 0 20 0 19 0 291602482 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140017802366024 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4136] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4136/stat : 4136 (java) S 4115 4117 2017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291602533 9856004096 79579 33554432000 1073741824 1073778376 140734757412320 140017801311272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1727.16 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/212 5915 /proc/meminfo: memFree=29010172/32873844 swapFree=7116/7116 [pid=4117] ppid=4115 vsize=9625004 CPUtime=1787.24 cores=0,2,4,6 /proc/4117/stat : 4117 (java) S 4115 4117 2017 0 -1 4202496 21065 0 1 0 178690 34 0 0 20 0 19 0 291602476 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140734757403456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4117/statm: 2406251 79587 2290 9 0 2396937 0 [pid=4117/tid=4119] ppid=4115 vsize=9625004 CPUtime=1768.15 cores=0,2,4,6 /proc/4117/task/4119/stat : 4119 (java) R 4115 4117 2017 0 -1 4202560 2694 0 1 0 176784 31 0 0 20 0 19 0 291602477 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140018456031568 140018300259127 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4120] ppid=4115 vsize=9625004 CPUtime=0.54 cores=0,2,4,6 /proc/4117/task/4120/stat : 4120 (java) S 4115 4117 2017 0 -1 4202560 157 0 0 0 53 1 0 0 20 0 19 0 291602477 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140018299431336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4121] ppid=4115 vsize=9625004 CPUtime=0.56 cores=0,2,4,6 /proc/4117/task/4121/stat : 4121 (java) S 4115 4117 2017 0 -1 4202560 304 0 0 0 54 2 0 0 20 0 19 0 291602477 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140018298378792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4122] ppid=4115 vsize=9625004 CPUtime=0.45 cores=0,2,4,6 /proc/4117/task/4122/stat : 4122 (java) S 4115 4117 2017 0 -1 4202560 170 0 0 0 43 2 0 0 20 0 19 0 291602477 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140018297325736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4123] ppid=4115 vsize=9625004 CPUtime=0.57 cores=0,2,4,6 /proc/4117/task/4123/stat : 4123 (java) S 4115 4117 2017 0 -1 4202560 242 0 0 0 55 2 0 0 20 0 19 0 291602477 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140018296273192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4124] ppid=4115 vsize=9625004 CPUtime=0.56 cores=0,2,4,6 /proc/4117/task/4124/stat : 4124 (java) S 4115 4117 2017 0 -1 4202560 292 0 0 0 54 2 0 0 20 0 19 0 291602477 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140018295221160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4125] ppid=4115 vsize=9625004 CPUtime=0.56 cores=0,2,4,6 /proc/4117/task/4125/stat : 4125 (java) S 4115 4117 2017 0 -1 4202560 230 0 0 0 56 0 0 0 20 0 19 0 291602477 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140018294168616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4126] ppid=4115 vsize=9625004 CPUtime=0.54 cores=0,2,4,6 /proc/4117/task/4126/stat : 4126 (java) S 4115 4117 2017 0 -1 4202560 145 0 0 0 52 2 0 0 20 0 19 0 291602477 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140018293115560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4127] ppid=4115 vsize=9625004 CPUtime=0.57 cores=0,2,4,6 /proc/4117/task/4127/stat : 4127 (java) S 4115 4117 2017 0 -1 4202560 162 0 0 0 55 2 0 0 20 0 19 0 291602477 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140018292063016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4128] ppid=4115 vsize=9625004 CPUtime=7.95 cores=0,2,4,6 /proc/4117/task/4128/stat : 4128 (java) S 4115 4117 2017 0 -1 4202560 193 0 0 0 792 3 0 0 20 0 19 0 291602479 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140017809733992 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4129] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4129/stat : 4129 (java) S 4115 4117 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291602479 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140017808680312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4130] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4130/stat : 4130 (java) S 4115 4117 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291602479 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140017807627144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4131] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4131/stat : 4131 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140017806575888 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4132] ppid=4115 vsize=9625004 CPUtime=1.16 cores=0,2,4,6 /proc/4117/task/4132/stat : 4132 (java) S 4115 4117 2017 0 -1 4202560 10695 0 0 0 113 3 0 0 20 0 19 0 291602482 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140017805523768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4133] ppid=4115 vsize=9625004 CPUtime=0.88 cores=0,2,4,6 /proc/4117/task/4133/stat : 4133 (java) S 4115 4117 2017 0 -1 4202560 4490 0 0 0 88 0 0 0 20 0 19 0 291602482 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140017804471224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4134] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4134/stat : 4134 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140017803418360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4135] ppid=4115 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/4117/task/4135/stat : 4135 (java) S 4115 4117 2017 0 -1 4202560 103 0 0 0 14 12 0 0 20 0 19 0 291602482 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140017802366024 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4136] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4136/stat : 4136 (java) S 4115 4117 2017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291602533 9856004096 79587 33554432000 1073741824 1073778376 140734757412320 140017801311272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1787.24 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795 s] /proc/loadavg: 2.00 2.00 2.00 3/213 5916 /proc/meminfo: memFree=28867968/32873844 swapFree=7116/7116 [pid=4117] ppid=4115 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6 /proc/4117/stat : 4117 (java) S 4115 4117 2017 0 -1 4202496 21096 0 1 0 179968 35 0 0 20 0 19 0 291602476 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140734757403456 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4117/statm: 2406251 80123 2290 9 0 2396937 0 [pid=4117/tid=4119] ppid=4115 vsize=9625004 CPUtime=1780.66 cores=0,2,4,6 /proc/4117/task/4119/stat : 4119 (java) R 4115 4117 2017 0 -1 4202560 2695 0 1 0 178034 32 0 0 20 0 19 0 291602477 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140018456031568 140018300259291 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4120] ppid=4115 vsize=9625004 CPUtime=0.55 cores=0,2,4,6 /proc/4117/task/4120/stat : 4120 (java) S 4115 4117 2017 0 -1 4202560 161 0 0 0 54 1 0 0 20 0 19 0 291602477 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140018299431336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4121] ppid=4115 vsize=9625004 CPUtime=0.57 cores=0,2,4,6 /proc/4117/task/4121/stat : 4121 (java) S 4115 4117 2017 0 -1 4202560 305 0 0 0 55 2 0 0 20 0 19 0 291602477 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140018298378792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4122] ppid=4115 vsize=9625004 CPUtime=0.48 cores=0,2,4,6 /proc/4117/task/4122/stat : 4122 (java) S 4115 4117 2017 0 -1 4202560 171 0 0 0 46 2 0 0 20 0 19 0 291602477 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140018297325736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4123] ppid=4115 vsize=9625004 CPUtime=0.59 cores=0,2,4,6 /proc/4117/task/4123/stat : 4123 (java) S 4115 4117 2017 0 -1 4202560 257 0 0 0 57 2 0 0 20 0 19 0 291602477 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140018296273192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4124] ppid=4115 vsize=9625004 CPUtime=0.56 cores=0,2,4,6 /proc/4117/task/4124/stat : 4124 (java) S 4115 4117 2017 0 -1 4202560 292 0 0 0 54 2 0 0 20 0 19 0 291602477 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140018295221160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4125] ppid=4115 vsize=9625004 CPUtime=0.58 cores=0,2,4,6 /proc/4117/task/4125/stat : 4125 (java) S 4115 4117 2017 0 -1 4202560 237 0 0 0 58 0 0 0 20 0 19 0 291602477 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140018294168616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4126] ppid=4115 vsize=9625004 CPUtime=0.55 cores=0,2,4,6 /proc/4117/task/4126/stat : 4126 (java) S 4115 4117 2017 0 -1 4202560 145 0 0 0 53 2 0 0 20 0 19 0 291602477 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140018293115560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4127] ppid=4115 vsize=9625004 CPUtime=0.57 cores=0,2,4,6 /proc/4117/task/4127/stat : 4127 (java) S 4115 4117 2017 0 -1 4202560 162 0 0 0 55 2 0 0 20 0 19 0 291602477 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140018292063016 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4128] ppid=4115 vsize=9625004 CPUtime=8.08 cores=0,2,4,6 /proc/4117/task/4128/stat : 4128 (java) S 4115 4117 2017 0 -1 4202560 195 0 0 0 805 3 0 0 20 0 19 0 291602479 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140017809733992 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4129] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4129/stat : 4129 (java) S 4115 4117 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291602479 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140017808680312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4130] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4130/stat : 4130 (java) S 4115 4117 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291602479 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140017807627144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4131] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4131/stat : 4131 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140017806575888 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4132] ppid=4115 vsize=9625004 CPUtime=1.16 cores=0,2,4,6 /proc/4117/task/4132/stat : 4132 (java) S 4115 4117 2017 0 -1 4202560 10695 0 0 0 113 3 0 0 20 0 19 0 291602482 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140017805523768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4133] ppid=4115 vsize=9625004 CPUtime=0.88 cores=0,2,4,6 /proc/4117/task/4133/stat : 4133 (java) S 4115 4117 2017 0 -1 4202560 4490 0 0 0 88 0 0 0 20 0 19 0 291602482 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140017804471224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4117/tid=4134] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4134/stat : 4134 (java) S 4115 4117 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291602482 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140017803418360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4117/tid=4135] ppid=4115 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/4117/task/4135/stat : 4135 (java) S 4115 4117 2017 0 -1 4202560 103 0 0 0 14 12 0 0 20 0 19 0 291602482 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140017802366024 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4117/tid=4136] ppid=4115 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/4117/task/4136/stat : 4136 (java) S 4115 4117 2017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291602533 9856004096 80123 33554432000 1073741824 1073778376 140734757412320 140017801311272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 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 4117 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=108102 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=773882 # CPU time returned by wait4() is 1795.88 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1795.06 CPU time (s): 1800.03 CPU user time (s): 1799.68 CPU system time (s): 0.35 CPU usage (%): 100.277 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.11 system time used= 0.773882 maximum resident set size= 320620 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21130 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41402 involuntary context switches= 43260 runsolver used 5.29019 second user time and 13.7939 second system time The end
Begin job on node146 at 2012-05-29 03:26:16 IDJOB=3710384 IDBENCH=92749 IDSOLVER=2289 FILE ID=node146/3710384-1338254775 RUNJOBID= node146-1338229576-2033 PBS_JOBID= 14624646 Free space on /tmp= 71184 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_2.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-3710384-1338254775/watcher-3710384-1338254775 -o /tmp/evaluation-result-3710384-1338254775/solver-3710384-1338254775 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710384-1338254775.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1172ec321506151f46656b695a5e98c9 RANDOM SEED=1579796260 node146.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 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 : 2667.034 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 : 2667.034 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30427544 kB Buffers: 433728 kB Cached: 1017040 kB SwapCached: 2180 kB Active: 1139392 kB Inactive: 433940 kB Active(anon): 121576 kB Inactive(anon): 2668 kB Active(file): 1017816 kB Inactive(file): 431272 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100344 kB Dirty: 2968 kB Writeback: 8 kB AnonPages: 128116 kB Mapped: 17636 kB Shmem: 0 kB Slab: 731024 kB SReclaimable: 172040 kB SUnreclaim: 558984 kB KernelStack: 1584 kB PageTables: 4312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 697120 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 86016 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= 71132 MiB End job on node146 at 2012-05-29 03:56:13