Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 35 | 1800.74 | 1797.17 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_017_area_delay.opb |
MD5SUM | 11f76d5c4a01da95c686f09380ec8e85 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 15.8106 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 29 |
Optimality of the best value was proved | NO |
Number of variables | 9709 |
Total number of constraints | 29891 |
Number of constraints which are clauses | 29891 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 4768 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 4768 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 4768 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.01/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.08 c See www.sat4j.org for details. 0.01/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.01/0.08 c version 2.3.2.v20120418 0.01/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.08 c java.vm.version 19.1-b02 0.01/0.08 c java.vm.vendor Sun Microsystems Inc. 0.01/0.08 c sun.arch.data.model 64 0.01/0.08 c java.version 1.6.0_24 0.01/0.08 c os.name Linux 0.01/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.08 c os.arch amd64 0.01/0.08 c Free memory 501472288 0.01/0.08 c Max memory 7480803328 0.01/0.08 c Total memory 504102912 0.01/0.08 c Number of processors 8 0.09/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.12 c configuring ORDERS 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=true 0.09/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3710926-1338312561.opb 0.09/0.12 c reading problem ... 0.74/0.47 c ... done. Wall clock time 0.349s. 0.74/0.47 c declared #vars 9709 0.74/0.47 c #constraints 29891 0.74/0.47 c constraints type 0.74/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4950 0.74/0.47 c org.sat4j.minisat.constraints.cnf.UnitClause => 944 0.74/0.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23997 0.74/0.47 c 29891 constraints processed. 1.25/0.60 c SATISFIABLE 1.25/0.60 c OPTIMIZING... 1.25/0.60 c Got one! Elapsed wall clock time (in seconds):0.48 1.25/0.60 o 109 1.51/0.71 c Got one! Elapsed wall clock time (in seconds):0.596 1.51/0.71 o 72 2.01/1.04 c Got one! Elapsed wall clock time (in seconds):0.921 2.01/1.04 o 61 3.04/2.09 c Got one! Elapsed wall clock time (in seconds):1.972 3.04/2.09 o 60 3.68/2.62 c Got one! Elapsed wall clock time (in seconds):2.5 3.68/2.62 o 59 5.61/4.53 c Got one! Elapsed wall clock time (in seconds):4.411 5.61/4.53 o 58 6.33/5.23 c cleaning 3990 clauses out of 7980 with flag 1000/7980 7.08/5.99 c Got one! Elapsed wall clock time (in seconds):5.87 7.08/5.99 o 57 8.91/7.79 c Got one! Elapsed wall clock time (in seconds):7.667 8.91/7.79 o 56 9.51/8.39 c cleaning 4880 clauses out of 9762 with flag 1001/13752 12.71/11.55 c cleaning 5440 clauses out of 10882 with flag 7001/19752 16.62/15.47 c cleaning 6217 clauses out of 12442 with flag 14001/26752 21.47/20.25 c cleaning 7107 clauses out of 14224 with flag 22000/34751 26.67/25.43 c cleaning 8055 clauses out of 16118 with flag 31001/43752 31.27/30.10 c cleaning 9006 clauses out of 18062 with flag 41000/53751 33.27/32.02 c Got one! Elapsed wall clock time (in seconds):31.9 33.27/32.02 o 55 34.37/33.15 c cleaning 7218 clauses out of 14441 with flag 2002/59136 36.87/35.63 c cleaning 6603 clauses out of 13222 with flag 8001/65135 40.78/39.60 c cleaning 6800 clauses out of 13618 with flag 15000/72134 45.19/43.96 c cleaning 7402 clauses out of 14818 with flag 23000/80134 50.08/48.81 c cleaning 8203 clauses out of 16416 with flag 32000/89134 56.20/54.95 c cleaning 9079 clauses out of 18213 with flag 42000/99134 60.89/59.63 c cleaning 10060 clauses out of 20134 with flag 53000/110134 62.29/61.09 c Got one! Elapsed wall clock time (in seconds):60.972 62.29/61.09 o 54 62.49/61.24 c Got one! Elapsed wall clock time (in seconds):61.126 62.49/61.24 o 53 62.49/61.25 c Got one! Elapsed wall clock time (in seconds):61.133 62.49/61.25 o 52 62.49/61.26 c Got one! Elapsed wall clock time (in seconds):61.141 62.49/61.26 o 51 62.49/61.27 c Got one! Elapsed wall clock time (in seconds):61.148 62.49/61.27 o 45 62.49/61.27 c Got one! Elapsed wall clock time (in seconds):61.155 62.49/61.27 o 44 62.49/61.28 c Got one! Elapsed wall clock time (in seconds):61.162 62.49/61.28 o 43 62.49/61.29 c Got one! Elapsed wall clock time (in seconds):61.169 62.49/61.29 o 42 62.49/61.29 c Got one! Elapsed wall clock time (in seconds):61.175 62.49/61.29 o 41 62.60/61.30 c Got one! Elapsed wall clock time (in seconds):61.182 62.60/61.30 o 40 62.60/61.31 c Got one! Elapsed wall clock time (in seconds):61.189 62.60/61.31 o 39 62.60/61.31 c Got one! Elapsed wall clock time (in seconds):61.195 62.60/61.31 o 38 62.60/61.32 c Got one! Elapsed wall clock time (in seconds):61.202 62.60/61.32 o 37 62.60/61.33 c Got one! Elapsed wall clock time (in seconds):61.212 62.60/61.33 o 36 63.60/62.31 c cleaning 8017 clauses out of 16040 with flag 2000/116100 66.80/65.58 c cleaning 7009 clauses out of 14025 with flag 8002/122102 70.52/69.20 c cleaning 7003 clauses out of 14016 with flag 15002/129102 74.23/72.90 c cleaning 7500 clauses out of 15011 with flag 23000/137100 79.63/78.34 c cleaning 8250 clauses out of 16511 with flag 32000/146100 85.25/83.93 c cleaning 9127 clauses out of 18261 with flag 42000/156100 89.96/88.62 c cleaning 10057 clauses out of 20134 with flag 53000/167100 95.46/94.12 c cleaning 11034 clauses out of 22077 with flag 65000/179100 101.47/100.17 c cleaning 12019 clauses out of 24043 with flag 78000/192100 107.57/106.28 c cleaning 12995 clauses out of 26024 with flag 92000/206100 113.28/111.91 c cleaning 14003 clauses out of 28029 with flag 107000/221100 120.68/119.32 c cleaning 14986 clauses out of 30026 with flag 123000/237100 128.68/127.39 c cleaning 15999 clauses out of 32040 with flag 140000/254100 138.10/136.70 c cleaning 17015 clauses out of 34041 with flag 158000/272100 147.10/145.77 c cleaning 18006 clauses out of 36027 with flag 177001/291101 158.62/157.22 c cleaning 18983 clauses out of 38021 with flag 197001/311101 168.91/167.53 c cleaning 20013 clauses out of 40037 with flag 218000/332100 179.72/178.32 c cleaning 21002 clauses out of 42024 with flag 240000/354100 194.43/193.01 c cleaning 21997 clauses out of 44022 with flag 263000/377100 205.43/204.00 c Got one! Elapsed wall clock time (in seconds):203.879 205.43/204.00 o 35 207.43/206.04 c cleaning 23049 clauses out of 46117 with flag 5001/401192 211.03/209.61 c cleaning 14529 clauses out of 29067 with flag 11000/407191 213.65/212.21 c cleaning 10759 clauses out of 21538 with flag 18000/414191 218.66/217.22 c cleaning 9379 clauses out of 18779 with flag 26000/422191 224.26/222.88 c cleaning 9192 clauses out of 18401 with flag 35001/431192 227.97/226.58 c cleaning 9596 clauses out of 19208 with flag 45000/441191 232.58/231.11 c cleaning 10284 clauses out of 20612 with flag 56000/452191 238.20/236.72 c cleaning 11152 clauses out of 22328 with flag 68000/464191 244.54/243.04 c cleaning 12079 clauses out of 24177 with flag 81001/477192 249.93/248.49 c cleaning 13027 clauses out of 26097 with flag 95000/491191 255.67/254.16 c cleaning 14028 clauses out of 28070 with flag 110000/506191 261.86/260.30 c cleaning 15013 clauses out of 30042 with flag 126000/522191 269.47/267.94 c cleaning 16004 clauses out of 32031 with flag 143002/539193 277.88/276.32 c cleaning 16983 clauses out of 34025 with flag 161000/557191 286.40/284.84 c cleaning 18009 clauses out of 36042 with flag 180000/576191 295.71/294.19 c cleaning 19016 clauses out of 38036 with flag 200003/596194 305.44/303.84 c cleaning 20004 clauses out of 40018 with flag 221001/617192 314.76/313.12 c cleaning 20998 clauses out of 42013 with flag 243000/639191 324.27/322.60 c cleaning 21999 clauses out of 44015 with flag 266000/662191 335.18/333.55 c cleaning 22992 clauses out of 46017 with flag 290001/686192 348.29/346.63 c cleaning 23965 clauses out of 48024 with flag 315000/711191 359.20/357.52 c cleaning 25018 clauses out of 50059 with flag 341000/737191 369.83/368.17 c cleaning 26003 clauses out of 52041 with flag 368000/764191 381.75/380.04 c cleaning 26997 clauses out of 54038 with flag 396000/792191 396.45/394.76 c cleaning 27978 clauses out of 56041 with flag 425000/821191 411.67/409.98 c cleaning 29013 clauses out of 58066 with flag 455003/851194 428.88/427.17 c cleaning 29992 clauses out of 60050 with flag 486000/882191 442.81/441.08 c cleaning 31023 clauses out of 62058 with flag 518000/914191 457.80/456.02 c cleaning 32003 clauses out of 64035 with flag 551000/947191 472.33/470.52 c cleaning 32991 clauses out of 66032 with flag 585000/981191 489.05/487.25 c cleaning 34015 clauses out of 68041 with flag 620000/1016191 506.05/504.26 c cleaning 35004 clauses out of 70027 with flag 656001/1052192 523.48/521.67 c cleaning 35987 clauses out of 72022 with flag 693000/1089191 540.89/539.05 c cleaning 36992 clauses out of 74037 with flag 731002/1127193 559.31/557.41 c cleaning 38000 clauses out of 76043 with flag 770000/1166191 576.53/574.62 c cleaning 39011 clauses out of 78043 with flag 810000/1206191 593.24/591.36 c cleaning 39997 clauses out of 80032 with flag 851000/1247191 611.35/609.41 c cleaning 41007 clauses out of 82035 with flag 893000/1289191 629.46/627.54 c cleaning 42009 clauses out of 84028 with flag 936000/1332191 649.18/647.27 c cleaning 43002 clauses out of 86019 with flag 980000/1376191 669.79/667.83 c cleaning 43991 clauses out of 88017 with flag 1025000/1421191 689.90/687.92 c cleaning 44992 clauses out of 90027 with flag 1071001/1467192 712.81/710.87 c cleaning 45987 clauses out of 92036 with flag 1118002/1514193 733.44/731.43 c cleaning 47010 clauses out of 94048 with flag 1166001/1562192 753.96/751.91 c cleaning 48000 clauses out of 96037 with flag 1215000/1611191 778.47/776.41 c cleaning 48986 clauses out of 98037 with flag 1265000/1661191 804.80/802.79 c cleaning 50002 clauses out of 100051 with flag 1316000/1712191 832.76/830.63 c cleaning 51014 clauses out of 102049 with flag 1368000/1764191 855.48/853.36 c cleaning 51994 clauses out of 104035 with flag 1421000/1817191 878.51/876.39 c cleaning 53013 clauses out of 106041 with flag 1475000/1871191 901.92/899.75 c cleaning 54003 clauses out of 108028 with flag 1530000/1926191 926.23/924.06 c cleaning 55002 clauses out of 110027 with flag 1586002/1982193 952.77/950.55 c cleaning 55997 clauses out of 112023 with flag 1643000/2039191 981.10/978.81 c cleaning 57004 clauses out of 114026 with flag 1701000/2097191 1009.72/1007.49 c cleaning 58002 clauses out of 116023 with flag 1760001/2156192 1038.15/1035.86 c cleaning 58968 clauses out of 118021 with flag 1820001/2216192 1071.19/1068.81 c cleaning 60007 clauses out of 120052 with flag 1881000/2277191 1099.31/1096.93 c cleaning 61011 clauses out of 122046 with flag 1943001/2339192 1127.23/1124.83 c cleaning 61992 clauses out of 124034 with flag 2006000/2402191 1158.05/1155.65 c cleaning 63009 clauses out of 126042 with flag 2070000/2466191 1195.16/1192.76 c cleaning 63995 clauses out of 128033 with flag 2135000/2531191 1235.48/1233.09 c cleaning 65003 clauses out of 130039 with flag 2201001/2597192 1276.50/1274.04 c cleaning 66000 clauses out of 132035 with flag 2268000/2664191 1305.02/1302.57 c cleaning 67009 clauses out of 134035 with flag 2336000/2732191 1334.35/1331.84 c cleaning 68004 clauses out of 136026 with flag 2405000/2801191 1364.07/1361.57 c cleaning 68997 clauses out of 138022 with flag 2475000/2871191 1396.41/1393.86 c cleaning 70000 clauses out of 140025 with flag 2546000/2942191 1428.17/1425.57 c cleaning 71002 clauses out of 142026 with flag 2618001/3014192 1461.90/1459.23 c cleaning 71994 clauses out of 144023 with flag 2691000/3087191 1495.32/1492.61 c cleaning 73003 clauses out of 146029 with flag 2765000/3161191 1527.64/1524.93 c cleaning 73994 clauses out of 148026 with flag 2840000/3236191 1561.25/1558.51 c cleaning 74985 clauses out of 150032 with flag 2916000/3312191 1599.37/1596.64 c cleaning 76001 clauses out of 152047 with flag 2993000/3389191 1635.11/1632.38 c cleaning 77014 clauses out of 154046 with flag 3071000/3467191 1669.83/1667.06 c cleaning 78002 clauses out of 156032 with flag 3150000/3546191 1703.36/1700.55 c cleaning 79009 clauses out of 158031 with flag 3230001/3626192 1740.57/1737.79 c cleaning 79968 clauses out of 160021 with flag 3311000/3707191 1782.60/1779.75 c cleaning 80998 clauses out of 162054 with flag 3393001/3789192 1800.03/1797.11 c starts : 276 1800.03/1797.11 c conflicts : 3822949 1800.03/1797.11 c decisions : 11988794 1800.03/1797.11 c propagations : 8325787752 1800.03/1797.11 c inspects : 9079223847 1800.03/1797.11 c shortcuts : 0 1800.03/1797.11 c learnt literals : 0 1800.03/1797.11 c learnt binary clauses : 0 1800.03/1797.11 c learnt ternary clauses : 2 1800.03/1797.11 c learnt constraints : 3822949 1800.03/1797.11 c ignored constraints : 0 1800.03/1797.11 c root simplifications : 276 1800.03/1797.11 c removed literals (reason simplification) : 2940056 1800.03/1797.11 c reason swapping (by a shorter reason) : 0 1800.03/1797.11 c Calls to reduceDB : 111 1800.03/1797.11 c number of reductions to clauses (during analyze) : 0 1800.03/1797.11 c number of learned constraints concerned by reduction : 0 1800.03/1797.11 c number of learning phase by resolution : 0 1800.03/1797.11 c number of learning phase by cutting planes : 0 1800.03/1797.11 c speed (assignments/second) : 4634133.033474469 1800.03/1797.11 c non guided choices 38348 1800.03/1797.14 c learnt constraints type 1800.03/1797.14 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 114853 1800.03/1797.14 c constraints type 1800.03/1797.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4950 1800.03/1797.14 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.03/1797.14 c org.sat4j.minisat.constraints.cnf.UnitClause => 944 1800.03/1797.14 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23997 1800.03/1797.14 c 29892 constraints processed. 1800.03/1797.14 s SATISFIABLE 1800.03/1797.15 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 1800.03/1797.16 c objective function=35 1800.03/1797.16 c Total wall clock time (in seconds): 1797.038
OK 35
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-3710926-1338312561/watcher-3710926-1338312561 -o /tmp/evaluation-result-3710926-1338312561/solver-3710926-1338312561 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710926-1338312561.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 1.99 1.89 3/194 5651 /proc/meminfo: memFree=28757000/32873648 swapFree=7116/7116 [pid=5651] ppid=5649 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/5651/stat : 5651 (java) D 5649 5651 5492 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 297383453 9515008 183 33554432000 1073741824 1073778376 140733933650608 140733933641640 219513962165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/5651/statm: 2323 183 140 9 0 71 0 [startup+0.0433119 s] /proc/loadavg: 2.01 1.99 1.89 3/194 5651 /proc/meminfo: memFree=28757000/32873648 swapFree=7116/7116 [pid=5651] ppid=5649 vsize=9225560 CPUtime=0.01 cores=1,3,5,7 /proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 3019 0 1 0 1 0 0 0 20 0 13 0 297383453 9446973440 3715 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5651/statm: 2306390 3715 1695 9 0 2297091 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9225560 [startup+0.100252 s] /proc/loadavg: 2.01 1.99 1.89 3/194 5651 /proc/meminfo: memFree=28757000/32873648 swapFree=7116/7116 [pid=5651] ppid=5649 vsize=9558440 CPUtime=0.09 cores=1,3,5,7 /proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 4300 0 1 0 8 1 0 0 20 0 18 0 297383453 9787842560 5506 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5651/statm: 2389610 5506 2115 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.300263 s] /proc/loadavg: 2.01 1.99 1.89 3/194 5651 /proc/meminfo: memFree=28757000/32873648 swapFree=7116/7116 [pid=5651] ppid=5649 vsize=9558440 CPUtime=0.49 cores=1,3,5,7 /proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 5801 0 1 0 47 2 0 0 20 0 18 0 297383453 9787842560 8753 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5651/statm: 2389610 8753 2224 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558440 [startup+0.700226 s] /proc/loadavg: 2.01 1.99 1.89 3/194 5651 /proc/meminfo: memFree=28757000/32873648 swapFree=7116/7116 [pid=5651] ppid=5649 vsize=9625004 CPUtime=1.51 cores=1,3,5,7 /proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 9865 0 1 0 147 4 0 0 20 0 19 0 297383453 9856004096 23590 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5651/statm: 2406251 23590 2257 9 0 2396937 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 9625004 [startup+1.50065 s] /proc/loadavg: 1.93 1.97 1.89 3/213 5670 /proc/meminfo: memFree=28671156/32873648 swapFree=7116/7116 [pid=5651] ppid=5649 vsize=9625004 CPUtime=2.54 cores=1,3,5,7 /proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 10787 0 1 0 250 4 0 0 20 0 19 0 297383453 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5651/statm: 2406251 24104 2259 9 0 2396937 0 [pid=5651/tid=5653] ppid=5649 vsize=9625004 CPUtime=1.46 cores=1,3,5,7 /proc/5651/task/5653/stat : 5653 (java) R 5649 5651 5492 0 -1 4202560 2547 0 1 0 143 3 0 0 20 0 19 0 297383454 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043957428296 140043801728565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5654] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5654/stat : 5654 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043800799912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5655] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5655/stat : 5655 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043799747368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5656] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5656/stat : 5656 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043798694824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5651/tid=5657] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5657/stat : 5657 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043797642280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5658] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5658/stat : 5658 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043796588712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5659] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5659/stat : 5659 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043795536168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5660] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5660/stat : 5660 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043794483624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5661] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5661/stat : 5661 (java) S 5649 5651 5492 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043793431080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5662] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5662/stat : 5662 (java) S 5649 5651 5492 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 297383456 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043311102568 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5663] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5663/stat : 5663 (java) S 5649 5651 5492 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043310048888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5664] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5664/stat : 5664 (java) S 5649 5651 5492 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043308996232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5665] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5665/stat : 5665 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043307944976 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5666] ppid=5649 vsize=9625004 CPUtime=0.48 cores=1,3,5,7 /proc/5651/task/5666/stat : 5666 (java) S 5649 5651 5492 0 -1 4202560 3751 0 0 0 48 0 0 0 20 0 19 0 297383459 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043306891320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5667] ppid=5649 vsize=9625004 CPUtime=0.56 cores=1,3,5,7 /proc/5651/task/5667/stat : 5667 (java) S 5649 5651 5492 0 -1 4202560 3288 0 0 0 56 0 0 0 20 0 19 0 297383459 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043305838776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5668] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5668/stat : 5668 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043304786424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5669] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5669/stat : 5669 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043303734088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5670] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5670/stat : 5670 (java) S 5649 5651 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297383502 9856004096 24104 33554432000 1073741824 1073778376 140734842219408 140043302679848 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.54 Current children cumulated vsize (KiB) 9625004 [startup+3.10061 s] /proc/loadavg: 1.93 1.97 1.89 5/213 5670 /proc/meminfo: memFree=28666184/32873648 swapFree=7116/7116 [pid=5651] ppid=5649 vsize=9625004 CPUtime=4.21 cores=1,3,5,7 /proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 10794 0 1 0 417 4 0 0 20 0 19 0 297383453 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5651/statm: 2406251 25132 2262 9 0 2396937 0 [pid=5651/tid=5653] ppid=5649 vsize=9625004 CPUtime=3.06 cores=1,3,5,7 /proc/5651/task/5653/stat : 5653 (java) R 5649 5651 5492 0 -1 4202560 2550 0 1 0 303 3 0 0 20 0 19 0 297383454 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043957428872 140043801728771 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5654] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5654/stat : 5654 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043800799912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5655] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5655/stat : 5655 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043799747368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5656] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5656/stat : 5656 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043798694824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5651/tid=5657] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5657/stat : 5657 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043797642280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5658] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5658/stat : 5658 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043796588712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5659] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5659/stat : 5659 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043795536168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5660] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5660/stat : 5660 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043794483624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5661] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5661/stat : 5661 (java) S 5649 5651 5492 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043793431080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5662] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5662/stat : 5662 (java) S 5649 5651 5492 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 297383456 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043311102568 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5663] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5663/stat : 5663 (java) S 5649 5651 5492 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043310048888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5664] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5664/stat : 5664 (java) S 5649 5651 5492 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043308996232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5665] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5665/stat : 5665 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043307944976 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5666] ppid=5649 vsize=9625004 CPUtime=0.52 cores=1,3,5,7 /proc/5651/task/5666/stat : 5666 (java) S 5649 5651 5492 0 -1 4202560 3754 0 0 0 52 0 0 0 20 0 19 0 297383459 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043306891320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5667] ppid=5649 vsize=9625004 CPUtime=0.59 cores=1,3,5,7 /proc/5651/task/5667/stat : 5667 (java) S 5649 5651 5492 0 -1 4202560 3288 0 0 0 59 0 0 0 20 0 19 0 297383459 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043305838776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5668] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5668/stat : 5668 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043304786424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5669] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5669/stat : 5669 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043303734088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5670] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5670/stat : 5670 (java) S 5649 5651 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297383502 9856004096 25132 33554432000 1073741824 1073778376 140734842219408 140043302679848 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.21 Current children cumulated vsize (KiB) 9625004 [startup+6.30066 s] /proc/loadavg: 1.86 1.95 1.88 2/193 5673 /proc/meminfo: memFree=29042884/32873648 swapFree=7116/7116 [pid=5651] ppid=5649 vsize=9625004 CPUtime=7.48 cores=1,3,5,7 /proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 10943 0 1 0 743 5 0 0 20 0 19 0 297383453 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5651/statm: 2406251 29768 2289 9 0 2396937 0 [pid=5651/tid=5653] ppid=5649 vsize=9625004 CPUtime=6.23 cores=1,3,5,7 /proc/5651/task/5653/stat : 5653 (java) R 5649 5651 5492 0 -1 4202560 2555 0 1 0 620 3 0 0 20 0 19 0 297383454 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043957420480 140043801605440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5654] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5654/stat : 5654 (java) S 5649 5651 5492 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043800799912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5655] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5655/stat : 5655 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043799747368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5656] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5656/stat : 5656 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043798694824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5651/tid=5657] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5657/stat : 5657 (java) S 5649 5651 5492 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043797642280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5658] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5658/stat : 5658 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043796588712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5651/tid=5659] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5659/stat : 5659 (java) S 5649 5651 5492 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043795536168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5660] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5660/stat : 5660 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043794483624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5661] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5661/stat : 5661 (java) S 5649 5651 5492 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 297383455 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043793431080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5662] ppid=5649 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/5651/task/5662/stat : 5662 (java) S 5649 5651 5492 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 297383456 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043311102568 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5663] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5663/stat : 5663 (java) S 5649 5651 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043310048888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5664] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5664/stat : 5664 (java) S 5649 5651 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043308996232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5665] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5665/stat : 5665 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043307944976 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5666] ppid=5649 vsize=9625004 CPUtime=0.57 cores=1,3,5,7 /proc/5651/task/5666/stat : 5666 (java) S 5649 5651 5492 0 -1 4202560 3844 0 0 0 57 0 0 0 20 0 19 0 297383459 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043306891320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5651/tid=5667] ppid=5649 vsize=9625004 CPUtime=0.6 cores=1,3,5,7 /proc/5651/task/5667/stat : 5667 (java) S 5649 5651 5492 0 -1 4202560 3293 0 0 0 60 0 0 0 20 0 19 0 297383459 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043305838776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5668] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5668/stat : 5668 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043304786424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5669] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5669/stat : 5669 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043303734088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5670] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5670/stat : 5670 (java) S 5649 5651 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297383502 9856004096 29768 33554432000 1073741824 1073778376 140734842219408 140043302679848 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.48 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=5651/tid=5659] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/5651/task/5659/stat : 5659 (java) S 5649 5651 5492 0 -1 4202560 94 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043795536168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5660] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/5651/task/5660/stat : 5660 (java) S 5649 5651 5492 0 -1 4202560 46 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043794483624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5661] ppid=5649 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/5651/task/5661/stat : 5661 (java) S 5649 5651 5492 0 -1 4202560 100 0 0 0 30 0 0 0 20 0 19 0 297383455 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043793431080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5662] ppid=5649 vsize=9625004 CPUtime=3.4 cores=1,3,5,7 /proc/5651/task/5662/stat : 5662 (java) S 5649 5651 5492 0 -1 4202560 173 0 0 0 337 3 0 0 20 0 19 0 297383456 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043311102568 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5663] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5663/stat : 5663 (java) S 5649 5651 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043310048888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5664] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5664/stat : 5664 (java) S 5649 5651 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043308996232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5665] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5665/stat : 5665 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043307944976 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5666] ppid=5649 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/5651/task/5666/stat : 5666 (java) S 5649 5651 5492 0 -1 4202560 4847 0 0 0 66 0 0 0 20 0 19 0 297383459 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043306891320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5667] ppid=5649 vsize=9625004 CPUtime=0.61 cores=1,3,5,7 /proc/5651/task/5667/stat : 5667 (java) S 5649 5651 5492 0 -1 4202560 3293 0 0 0 61 0 0 0 20 0 19 0 297383459 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043305838776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5668] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5668/stat : 5668 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043304786424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5669] ppid=5649 vsize=9625004 CPUtime=0.26 cores=1,3,5,7 /proc/5651/task/5669/stat : 5669 (java) S 5649 5651 5492 0 -1 4202560 99 0 0 0 9 17 0 0 20 0 19 0 297383459 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043303734088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5670] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5670/stat : 5670 (java) S 5649 5651 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297383502 9856004096 45020 33554432000 1073741824 1073778376 140734842219408 140043302679848 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1725.17 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.96 3/213 5744 /proc/meminfo: memFree=28824520/32873648 swapFree=7116/7116 [pid=5651] ppid=5649 vsize=9625004 CPUtime=1785.23 cores=1,3,5,7 /proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 12788 0 1 0 178490 33 0 0 20 0 19 0 297383453 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5651/statm: 2406251 45036 2290 9 0 2396937 0 [pid=5651/tid=5653] ppid=5649 vsize=9625004 CPUtime=1777.99 cores=1,3,5,7 /proc/5651/task/5653/stat : 5653 (java) R 5649 5651 5492 0 -1 4202560 2662 0 1 0 177766 33 0 0 20 0 19 0 297383454 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043957428592 140043801728334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5654] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/5651/task/5654/stat : 5654 (java) S 5649 5651 5492 0 -1 4202560 57 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043800799912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5655] ppid=5649 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/5651/task/5655/stat : 5655 (java) S 5649 5651 5492 0 -1 4202560 36 0 0 0 34 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043799747368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5656] ppid=5649 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/5651/task/5656/stat : 5656 (java) S 5649 5651 5492 0 -1 4202560 62 0 0 0 30 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043798694824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5651/tid=5657] ppid=5649 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/5651/task/5657/stat : 5657 (java) S 5649 5651 5492 0 -1 4202560 58 0 0 0 28 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043797642280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5658] ppid=5649 vsize=9625004 CPUtime=0.27 cores=1,3,5,7 /proc/5651/task/5658/stat : 5658 (java) S 5649 5651 5492 0 -1 4202560 50 0 0 0 27 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043796588712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5651/tid=5659] ppid=5649 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/5651/task/5659/stat : 5659 (java) S 5649 5651 5492 0 -1 4202560 110 0 0 0 34 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043795536168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5660] ppid=5649 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/5651/task/5660/stat : 5660 (java) S 5649 5651 5492 0 -1 4202560 46 0 0 0 33 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043794483624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5661] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/5651/task/5661/stat : 5661 (java) S 5649 5651 5492 0 -1 4202560 100 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043793431080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5662] ppid=5649 vsize=9625004 CPUtime=3.49 cores=1,3,5,7 /proc/5651/task/5662/stat : 5662 (java) S 5649 5651 5492 0 -1 4202560 177 0 0 0 346 3 0 0 20 0 19 0 297383456 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043311102568 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5663] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5663/stat : 5663 (java) S 5649 5651 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043310048888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5664] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5664/stat : 5664 (java) S 5649 5651 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043308996232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5665] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5665/stat : 5665 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043307944976 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5666] ppid=5649 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/5651/task/5666/stat : 5666 (java) S 5649 5651 5492 0 -1 4202560 4847 0 0 0 66 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043306891320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5667] ppid=5649 vsize=9625004 CPUtime=0.61 cores=1,3,5,7 /proc/5651/task/5667/stat : 5667 (java) S 5649 5651 5492 0 -1 4202560 3293 0 0 0 61 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043305838776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5668] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5668/stat : 5668 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043304786424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5669] ppid=5649 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/5651/task/5669/stat : 5669 (java) S 5649 5651 5492 0 -1 4202560 103 0 0 0 10 18 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043303734088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5670] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5670/stat : 5670 (java) S 5649 5651 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297383502 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043302679848 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1785.23 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.96 4/213 5744 /proc/meminfo: memFree=28824400/32873648 swapFree=7116/7116 [pid=5651] ppid=5649 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7 /proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 12788 0 1 0 179970 33 0 0 20 0 19 0 297383453 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5651/statm: 2406251 45036 2290 9 0 2396937 0 [pid=5651/tid=5653] ppid=5649 vsize=9625004 CPUtime=1792.8 cores=1,3,5,7 /proc/5651/task/5653/stat : 5653 (java) R 5649 5651 5492 0 -1 4202560 2662 0 1 0 179247 33 0 0 20 0 19 0 297383454 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043957428592 140043801487293 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5654] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/5651/task/5654/stat : 5654 (java) S 5649 5651 5492 0 -1 4202560 57 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043800799912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5655] ppid=5649 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/5651/task/5655/stat : 5655 (java) S 5649 5651 5492 0 -1 4202560 36 0 0 0 34 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043799747368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5656] ppid=5649 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/5651/task/5656/stat : 5656 (java) S 5649 5651 5492 0 -1 4202560 62 0 0 0 30 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043798694824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5651/tid=5657] ppid=5649 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/5651/task/5657/stat : 5657 (java) S 5649 5651 5492 0 -1 4202560 58 0 0 0 28 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043797642280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5658] ppid=5649 vsize=9625004 CPUtime=0.27 cores=1,3,5,7 /proc/5651/task/5658/stat : 5658 (java) S 5649 5651 5492 0 -1 4202560 50 0 0 0 27 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043796588712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5651/tid=5659] ppid=5649 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/5651/task/5659/stat : 5659 (java) S 5649 5651 5492 0 -1 4202560 110 0 0 0 34 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043795536168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5660] ppid=5649 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/5651/task/5660/stat : 5660 (java) S 5649 5651 5492 0 -1 4202560 46 0 0 0 33 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043794483624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5661] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/5651/task/5661/stat : 5661 (java) S 5649 5651 5492 0 -1 4202560 100 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043793431080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5662] ppid=5649 vsize=9625004 CPUtime=3.49 cores=1,3,5,7 /proc/5651/task/5662/stat : 5662 (java) S 5649 5651 5492 0 -1 4202560 177 0 0 0 346 3 0 0 20 0 19 0 297383456 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043311102568 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5663] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5663/stat : 5663 (java) S 5649 5651 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043310048888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5664] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5664/stat : 5664 (java) S 5649 5651 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043308996232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5665] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5665/stat : 5665 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043307944976 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5666] ppid=5649 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/5651/task/5666/stat : 5666 (java) S 5649 5651 5492 0 -1 4202560 4847 0 0 0 66 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043306891320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5667] ppid=5649 vsize=9625004 CPUtime=0.61 cores=1,3,5,7 /proc/5651/task/5667/stat : 5667 (java) S 5649 5651 5492 0 -1 4202560 3293 0 0 0 61 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043305838776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5668] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5668/stat : 5668 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043304786424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5669] ppid=5649 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/5651/task/5669/stat : 5669 (java) S 5649 5651 5492 0 -1 4202560 103 0 0 0 10 18 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043303734088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5670] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5670/stat : 5670 (java) S 5649 5651 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297383502 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043302679848 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 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 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.96 4/213 5744 /proc/meminfo: memFree=28824400/32873648 swapFree=7116/7116 [pid=5651] ppid=5649 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7 /proc/5651/stat : 5651 (java) S 5649 5651 5492 0 -1 4202496 12788 0 1 0 179970 33 0 0 20 0 19 0 297383453 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140734842210544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5651/statm: 2406251 45036 2290 9 0 2396937 0 [pid=5651/tid=5653] ppid=5649 vsize=9625004 CPUtime=1792.8 cores=1,3,5,7 /proc/5651/task/5653/stat : 5653 (java) R 5649 5651 5492 0 -1 4202560 2662 0 1 0 179247 33 0 0 20 0 19 0 297383454 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043957428592 140043801487293 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5654] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/5651/task/5654/stat : 5654 (java) S 5649 5651 5492 0 -1 4202560 57 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043800799912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5655] ppid=5649 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/5651/task/5655/stat : 5655 (java) S 5649 5651 5492 0 -1 4202560 36 0 0 0 34 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043799747368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5656] ppid=5649 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/5651/task/5656/stat : 5656 (java) S 5649 5651 5492 0 -1 4202560 62 0 0 0 30 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043798694824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5651/tid=5657] ppid=5649 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/5651/task/5657/stat : 5657 (java) S 5649 5651 5492 0 -1 4202560 58 0 0 0 28 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043797642280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5658] ppid=5649 vsize=9625004 CPUtime=0.27 cores=1,3,5,7 /proc/5651/task/5658/stat : 5658 (java) S 5649 5651 5492 0 -1 4202560 50 0 0 0 27 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043796588712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5651/tid=5659] ppid=5649 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/5651/task/5659/stat : 5659 (java) S 5649 5651 5492 0 -1 4202560 110 0 0 0 34 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043795536168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5660] ppid=5649 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/5651/task/5660/stat : 5660 (java) S 5649 5651 5492 0 -1 4202560 46 0 0 0 33 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043794483624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5661] ppid=5649 vsize=9625004 CPUtime=0.32 cores=1,3,5,7 /proc/5651/task/5661/stat : 5661 (java) S 5649 5651 5492 0 -1 4202560 100 0 0 0 32 0 0 0 20 0 19 0 297383455 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043793431080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5662] ppid=5649 vsize=9625004 CPUtime=3.49 cores=1,3,5,7 /proc/5651/task/5662/stat : 5662 (java) S 5649 5651 5492 0 -1 4202560 177 0 0 0 346 3 0 0 20 0 19 0 297383456 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043311102568 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5663] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5663/stat : 5663 (java) S 5649 5651 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043310048888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5664] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5664/stat : 5664 (java) S 5649 5651 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297383457 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043308996232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5665] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5665/stat : 5665 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043307944976 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5666] ppid=5649 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/5651/task/5666/stat : 5666 (java) S 5649 5651 5492 0 -1 4202560 4847 0 0 0 66 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043306891320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5651/tid=5667] ppid=5649 vsize=9625004 CPUtime=0.61 cores=1,3,5,7 /proc/5651/task/5667/stat : 5667 (java) S 5649 5651 5492 0 -1 4202560 3293 0 0 0 61 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043305838776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5668] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5668/stat : 5668 (java) S 5649 5651 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043304786424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5651/tid=5669] ppid=5649 vsize=9625004 CPUtime=0.28 cores=1,3,5,7 /proc/5651/task/5669/stat : 5669 (java) S 5649 5651 5492 0 -1 4202560 103 0 0 0 10 18 0 0 20 0 19 0 297383459 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043303734088 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5651/tid=5670] ppid=5649 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5651/task/5670/stat : 5670 (java) S 5649 5651 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297383502 9856004096 45036 33554432000 1073741824 1073778376 140734842219408 140043302679848 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625004 Child status: 143 Real time (s): 1797.17 CPU time (s): 1800.74 CPU user time (s): 1800.05 CPU system time (s): 0.691894 CPU usage (%): 100.198 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.05 system time used= 0.691894 maximum resident set size= 180264 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12820 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40890 involuntary context switches= 14428 runsolver used 5.51016 second user time and 14.2948 second system time The end
Begin job on node114 at 2012-05-29 19:29:21 IDJOB=3710926 IDBENCH=24978 IDSOLVER=2289 FILE ID=node114/3710926-1338312561 RUNJOBID= node114-1338310769-5509 PBS_JOBID= 14632114 Free space on /tmp= 70976 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_017_area_delay.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-3710926-1338312561/watcher-3710926-1338312561 -o /tmp/evaluation-result-3710926-1338312561/solver-3710926-1338312561 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710926-1338312561.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 11f76d5c4a01da95c686f09380ec8e85 RANDOM SEED=2096491460 node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.242 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.242 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.242 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 : 5451.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.242 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.242 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.242 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.242 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.242 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28757000 kB Buffers: 865788 kB Cached: 1897668 kB SwapCached: 2300 kB Active: 1849048 kB Inactive: 1327580 kB Active(anon): 399372 kB Inactive(anon): 8436 kB Active(file): 1449676 kB Inactive(file): 1319144 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67103576 kB Dirty: 1640 kB Writeback: 0 kB AnonPages: 412576 kB Mapped: 19752 kB Shmem: 104 kB Slab: 801016 kB SReclaimable: 245504 kB SUnreclaim: 555512 kB KernelStack: 1608 kB PageTables: 5012 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1079600 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 385024 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70988 MiB End job on node114 at 2012-05-29 19:59:20