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