| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat 4j PB Resolution 2.3.2 Snapshot | SAT (TO) | 1800.06 | 1794.18 |
| 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.07/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.07/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.09 c See www.sat4j.org for details. 0.09/0.10 c version 2.3.2.v20120418 0.09/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.09/0.10 c java.vm.version 19.1-b02 0.09/0.10 c java.vm.vendor Sun Microsystems Inc. 0.09/0.10 c sun.arch.data.model 64 0.09/0.10 c java.version 1.6.0_24 0.09/0.10 c os.name Linux 0.09/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.09/0.10 c os.arch amd64 0.09/0.10 c Free memory 501472288 0.09/0.10 c Max memory 7480803328 0.09/0.10 c Total memory 504102912 0.09/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3690145-1337896322.opb 0.09/0.12 c reading problem ... 1.03/0.55 c ... done. Wall clock time 0.427s. 1.03/0.55 c declared #vars 9940 1.03/0.55 c #constraints 24510 1.03/0.55 c constraints type 1.03/0.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.03/0.55 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.03/0.55 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.03/0.55 c ignored satisfied constraints => 2 1.03/0.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.03/0.55 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.03/0.55 c 24512 constraints processed. 1.03/0.55 c objective function length is 9730 literals 1.71/0.82 c SATISFIABLE 1.71/0.82 c OPTIMIZING... 1.71/0.82 c Got one! Elapsed wall clock time (in seconds):0.703 1.71/0.82 o 3471965 3.56/2.54 c cleaning 2587 clauses out of 5174 with flag 5001/5175 5.10/3.99 c cleaning 4292 clauses out of 8586 with flag 11000/11174 6.80/5.63 c cleaning 5645 clauses out of 11294 with flag 18000/18174 8.72/7.52 c cleaning 6824 clauses out of 13650 with flag 26001/26175 10.89/9.63 c cleaning 7913 clauses out of 15825 with flag 35000/35174 13.20/11.90 c cleaning 8953 clauses out of 17912 with flag 45000/45174 15.70/14.41 c cleaning 9976 clauses out of 19960 with flag 56001/56175 18.40/17.15 c cleaning 10991 clauses out of 21983 with flag 68000/68174 21.53/20.20 c cleaning 11997 clauses out of 23993 with flag 81001/81175 24.65/23.36 c cleaning 12995 clauses out of 25997 with flag 95002/95176 28.07/26.76 c cleaning 13998 clauses out of 28001 with flag 110001/110175 31.79/30.45 c cleaning 14999 clauses out of 30003 with flag 126001/126175 35.72/34.34 c cleaning 16000 clauses out of 32003 with flag 143000/143174 39.86/38.45 c cleaning 16996 clauses out of 34003 with flag 161000/161174 44.29/42.82 c cleaning 17999 clauses out of 36007 with flag 180000/180174 48.81/47.36 c cleaning 19004 clauses out of 38008 with flag 200000/200174 53.53/52.07 c cleaning 20002 clauses out of 40005 with flag 221001/221175 58.57/57.01 c cleaning 20998 clauses out of 42002 with flag 243000/243174 63.80/62.26 c cleaning 22000 clauses out of 44005 with flag 266001/266175 69.32/67.70 c cleaning 23001 clauses out of 46005 with flag 290001/290175 75.02/73.40 c cleaning 24001 clauses out of 48003 with flag 315000/315174 80.94/79.35 c cleaning 24998 clauses out of 50002 with flag 341000/341174 87.19/85.54 c cleaning 26001 clauses out of 52005 with flag 368001/368175 93.59/91.96 c cleaning 26996 clauses out of 54003 with flag 396000/396174 100.21/98.58 c cleaning 28000 clauses out of 56007 with flag 425000/425174 107.23/105.52 c cleaning 28999 clauses out of 58007 with flag 455000/455174 114.33/112.68 c cleaning 30001 clauses out of 60008 with flag 486000/486174 121.74/120.01 c cleaning 30999 clauses out of 62007 with flag 518000/518174 129.15/127.47 c cleaning 32001 clauses out of 64008 with flag 551000/551174 137.06/135.36 c cleaning 33004 clauses out of 66007 with flag 585000/585174 145.06/143.35 c cleaning 33995 clauses out of 68003 with flag 620000/620174 153.40/151.63 c cleaning 34996 clauses out of 70008 with flag 656000/656174 161.90/160.18 c cleaning 36007 clauses out of 72013 with flag 693001/693175 170.62/168.84 c cleaning 36997 clauses out of 74006 with flag 731001/731175 179.54/177.72 c cleaning 37997 clauses out of 76009 with flag 770001/770175 188.67/186.87 c cleaning 39001 clauses out of 78011 with flag 810000/810174 197.99/196.17 c cleaning 39999 clauses out of 80010 with flag 851000/851174 207.91/206.01 c cleaning 41004 clauses out of 82011 with flag 893000/893174 217.82/215.97 c cleaning 42004 clauses out of 84008 with flag 936001/936175 227.97/226.09 c cleaning 42996 clauses out of 86003 with flag 980000/980174 238.40/236.44 c cleaning 44000 clauses out of 88008 with flag 1025001/1025175 248.94/246.95 c cleaning 45002 clauses out of 90008 with flag 1071001/1071175 259.66/257.67 c cleaning 45996 clauses out of 92006 with flag 1118001/1118175 270.69/268.62 c cleaning 47001 clauses out of 94010 with flag 1166001/1166175 281.89/279.87 c cleaning 48000 clauses out of 96009 with flag 1215001/1215175 293.39/291.31 c cleaning 49003 clauses out of 98009 with flag 1265001/1265175 305.11/303.08 c cleaning 50003 clauses out of 100006 with flag 1316001/1316175 317.39/315.26 c cleaning 50995 clauses out of 102002 with flag 1368000/1368174 329.50/327.32 c cleaning 51996 clauses out of 104008 with flag 1421001/1421175 341.82/339.64 c cleaning 53002 clauses out of 106011 with flag 1475000/1475174 354.63/352.41 c cleaning 53998 clauses out of 108009 with flag 1530000/1530174 367.66/365.49 c cleaning 55000 clauses out of 110012 with flag 1586001/1586175 381.29/379.00 c cleaning 56002 clauses out of 112012 with flag 1643001/1643175 395.45/392.66 c cleaning 56993 clauses out of 114000 with flag 1701000/1701174 409.83/406.93 c cleaning 57993 clauses out of 116008 with flag 1760001/1760175 424.78/421.87 c cleaning 59004 clauses out of 118015 with flag 1820001/1820175 439.23/436.20 c cleaning 60000 clauses out of 120010 with flag 1881000/1881174 453.76/450.76 c cleaning 60998 clauses out of 122010 with flag 1943000/1943174 468.98/465.99 c cleaning 62003 clauses out of 124012 with flag 2006000/2006174 484.55/481.40 c cleaning 62997 clauses out of 126010 with flag 2070001/2070175 499.67/496.57 c cleaning 64005 clauses out of 128012 with flag 2135000/2135174 514.89/511.74 c cleaning 65002 clauses out of 130009 with flag 2201002/2201176 530.32/527.13 c cleaning 65996 clauses out of 132005 with flag 2268000/2268174 545.94/542.79 c cleaning 66999 clauses out of 134010 with flag 2336001/2336175 562.35/559.18 c cleaning 67997 clauses out of 136010 with flag 2405000/2405174 579.26/576.02 c cleaning 69003 clauses out of 138013 with flag 2475000/2475174 595.86/592.51 c cleaning 69996 clauses out of 140010 with flag 2546000/2546174 612.99/609.65 c cleaning 70995 clauses out of 142015 with flag 2618001/2618175 630.58/627.11 c cleaning 72005 clauses out of 144019 with flag 2691000/2691174 648.10/644.64 c cleaning 72983 clauses out of 145997 with flag 2765000/2765174 665.32/661.87 c cleaning 73994 clauses out of 148015 with flag 2840001/2840175 683.43/679.99 c cleaning 74993 clauses out of 150020 with flag 2916000/2916174 701.97/698.46 c cleaning 76006 clauses out of 152027 with flag 2993000/2993174 720.00/716.42 c cleaning 76999 clauses out of 154021 with flag 3071000/3071174 738.45/734.85 c cleaning 78006 clauses out of 156023 with flag 3150001/3150175 756.08/752.41 c cleaning 79005 clauses out of 158017 with flag 3230001/3230175 774.71/771.08 c cleaning 79998 clauses out of 160011 with flag 3311000/3311174 793.95/790.30 c cleaning 80997 clauses out of 162013 with flag 3393000/3393174 813.62/809.81 c cleaning 82004 clauses out of 164016 with flag 3476000/3476174 832.97/829.10 c cleaning 82999 clauses out of 166012 with flag 3560000/3560174 853.09/849.22 c cleaning 83999 clauses out of 168015 with flag 3645002/3645176 873.56/869.60 c cleaning 85001 clauses out of 170015 with flag 3731001/3731175 894.13/890.11 c cleaning 86003 clauses out of 172014 with flag 3818001/3818175 915.08/911.05 c cleaning 87001 clauses out of 174011 with flag 3906001/3906175 936.85/932.75 c cleaning 88000 clauses out of 176009 with flag 3995000/3995174 958.18/954.06 c cleaning 89000 clauses out of 178010 with flag 4085001/4085175 979.81/975.69 c cleaning 90001 clauses out of 180009 with flag 4176000/4176174 1002.37/998.12 c cleaning 91000 clauses out of 182008 with flag 4268000/4268174 1024.59/1020.34 c cleaning 91999 clauses out of 184008 with flag 4361000/4361174 1048.06/1043.77 c cleaning 93001 clauses out of 186010 with flag 4455001/4455175 1070.94/1066.57 c cleaning 94004 clauses out of 188008 with flag 4550000/4550174 1093.36/1088.98 c cleaning 94995 clauses out of 190004 with flag 4646000/4646174 1116.59/1112.14 c cleaning 95999 clauses out of 192010 with flag 4743001/4743175 1139.66/1135.12 c cleaning 97004 clauses out of 194010 with flag 4841000/4841174 1163.29/1158.79 c cleaning 98003 clauses out of 196006 with flag 4940000/4940174 1186.96/1182.32 c cleaning 98996 clauses out of 198003 with flag 5040000/5040174 1211.53/1206.74 c cleaning 99996 clauses out of 200008 with flag 5141001/5141175 1236.01/1231.14 c cleaning 100995 clauses out of 202011 with flag 5243000/5243174 1261.07/1256.18 c cleaning 102003 clauses out of 204016 with flag 5346000/5346174 1286.10/1281.16 c cleaning 102999 clauses out of 206014 with flag 5450001/5450175 1311.14/1306.20 c cleaning 104006 clauses out of 208015 with flag 5555001/5555175 1336.10/1331.09 c cleaning 105002 clauses out of 210008 with flag 5661000/5661174 1361.95/1356.80 c cleaning 106001 clauses out of 212007 with flag 5768001/5768175 1388.51/1383.31 c cleaning 106997 clauses out of 214005 with flag 5876000/5876174 1414.73/1409.52 c cleaning 108001 clauses out of 216009 with flag 5985001/5985175 1440.68/1435.47 c cleaning 108996 clauses out of 218007 with flag 6095000/6095174 1467.92/1462.65 c cleaning 109995 clauses out of 220012 with flag 6206001/6206175 1495.08/1489.78 c cleaning 110999 clauses out of 222017 with flag 6318001/6318175 1523.33/1517.93 c cleaning 112006 clauses out of 224018 with flag 6431001/6431175 1550.79/1545.34 c cleaning 112996 clauses out of 226012 with flag 6545001/6545175 1578.14/1572.62 c cleaning 114000 clauses out of 228016 with flag 6660001/6660175 1606.47/1600.96 c cleaning 115004 clauses out of 230016 with flag 6776001/6776175 1634.93/1629.34 c cleaning 115996 clauses out of 232012 with flag 6893001/6893175 1662.97/1657.39 c cleaning 117002 clauses out of 234015 with flag 7011000/7011174 1691.64/1685.93 c cleaning 118002 clauses out of 236014 with flag 7130001/7130175 1721.89/1716.16 c cleaning 118987 clauses out of 238011 with flag 7250001/7250175 1752.06/1746.28 c cleaning 120004 clauses out of 240023 with flag 7371000/7371174 1781.99/1776.18 c cleaning 121004 clauses out of 242019 with flag 7493000/7493174 1800.06/1794.12 c starts : 297 1800.06/1794.12 c conflicts : 7570086 1800.06/1794.12 c decisions : 8406052 1800.06/1794.12 c propagations : 94982158 1800.06/1794.12 c inspects : 2233098345 1800.06/1794.12 c shortcuts : 0 1800.06/1794.12 c learnt literals : 28 1800.06/1794.12 c learnt binary clauses : 10 1800.06/1794.12 c learnt ternary clauses : 402 1800.06/1794.12 c learnt constraints : 7570059 1800.06/1794.12 c ignored constraints : 0 1800.06/1794.12 c root simplifications : 0 1800.06/1794.12 c removed literals (reason simplification) : 0 1800.06/1794.12 c reason swapping (by a shorter reason) : 0 1800.06/1794.12 c Calls to reduceDB : 118 1800.06/1794.12 c number of reductions to clauses (during analyze) : 0 1800.06/1794.12 c number of learned constraints concerned by reduction : 0 1800.06/1794.12 c number of learning phase by resolution : 0 1800.06/1794.12 c number of learning phase by cutting planes : 0 1800.06/1794.12 c speed (assignments/second) : 52958.40813950636 1800.06/1794.12 c non guided choices 17 1800.06/1794.15 c learnt constraints type 1800.06/1794.15 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 10 1800.06/1794.15 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 198033 1800.06/1794.15 c constraints type 1800.06/1794.15 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1800.06/1794.15 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.06/1794.15 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.06/1794.15 c ignored satisfied constraints => 2 1800.06/1794.15 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1800.06/1794.15 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626 1800.06/1794.15 c 24513 constraints processed. 1800.06/1794.15 s SATISFIABLE 1800.06/1794.16 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.06/1794.17 c objective function=3471965 1800.06/1794.17 c Total wall clock time (in seconds): 1794.048
OK 3471965
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-3690145-1337896322/watcher-3690145-1337896322 -o /tmp/evaluation-result-3690145-1337896322/solver-3690145-1337896322 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690145-1337896322.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.03 2.01 3/196 25070 /proc/meminfo: memFree=28893536/32873844 swapFree=6584/6584 [pid=25070] ppid=25068 vsize=9224 CPUtime=0 cores=1,3,5,7 /proc/25070/stat : 25070 (java) R 25068 25070 21531 0 -1 4202496 148 0 0 0 0 0 0 0 20 0 1 0 255757544 9445376 98 33554432000 1073741824 1073778376 140737361502416 140737361499544 273579863943 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/25070/statm: 2290 91 68 9 0 38 0 [startup+0.0908651 s] /proc/loadavg: 2.00 2.03 2.01 3/196 25070 /proc/meminfo: memFree=28893536/32873844 swapFree=6584/6584 [pid=25070] ppid=25068 vsize=9558412 CPUtime=0.07 cores=1,3,5,7 /proc/25070/stat : 25070 (java) S 25068 25070 21531 0 -1 4202496 3366 0 1 0 6 1 0 0 20 0 18 0 255757544 9787813888 4575 33554432000 1073741824 1073778376 140733222615440 140733222606576 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25070/statm: 2389603 4575 1772 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558412 [startup+0.100329 s] /proc/loadavg: 2.00 2.03 2.01 3/196 25070 /proc/meminfo: memFree=28893536/32873844 swapFree=6584/6584 [pid=25070] ppid=25068 vsize=9558412 CPUtime=0.09 cores=1,3,5,7 /proc/25070/stat : 25070 (java) S 25068 25070 21531 0 -1 4202496 4156 0 1 0 8 1 0 0 20 0 18 0 255757544 9787813888 5356 33554432000 1073741824 1073778376 140733222615440 140733222606576 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25070/statm: 2389603 5356 2080 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300273 s] /proc/loadavg: 2.00 2.03 2.01 3/196 25070 /proc/meminfo: memFree=28893536/32873844 swapFree=6584/6584 [pid=25070] ppid=25068 vsize=9558412 CPUtime=0.5 cores=1,3,5,7 /proc/25070/stat : 25070 (java) S 25068 25070 21531 0 -1 4202496 6724 0 1 0 49 1 0 0 20 0 18 0 255757544 9787813888 10495 33554432000 1073741824 1073778376 140733222615440 140733222606576 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25070/statm: 2389603 10498 2218 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558412 [startup+0.70027 s] /proc/loadavg: 2.00 2.03 2.01 3/196 25070 /proc/meminfo: memFree=28893536/32873844 swapFree=6584/6584 [pid=25070] ppid=25068 vsize=9624976 CPUtime=1.5 cores=1,3,5,7 /proc/25070/stat : 25070 (java) S 25068 25070 21531 0 -1 4202496 10804 0 1 0 147 3 0 0 20 0 19 0 255757544 9855975424 24629 33554432000 1073741824 1073778376 140733222615440 140733222606576 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25070/statm: 2406244 24629 2250 9 0 2396937 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 9624976 [startup+1.50076 s] /proc/loadavg: 2.00 2.03 2.01 3/215 25089 /proc/meminfo: memFree=28800408/32873844 swapFree=6584/6584 [pid=25070] ppid=25068 vsize=9624976 CPUtime=2.56 cores=1,3,5,7 /proc/25070/stat : 25070 (java) S 25068 25070 21531 0 -1 4202496 10839 0 1 0 253 3 0 0 20 0 19 0 255757544 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140733222606576 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25070/statm: 2406244 26171 2254 9 0 2396937 0 [pid=25070/tid=25072] ppid=25068 vsize=9624976 CPUtime=1.46 cores=1,3,5,7 /proc/25070/task/25072/stat : 25072 (java) R 25068 25070 21531 0 -1 4202560 2483 0 1 0 144 2 0 0 20 0 19 0 255757545 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140452024189288 140451890739872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25073] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25073/stat : 25073 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140452013250856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25074] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25074/stat : 25074 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140452012198056 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25075] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25075/stat : 25075 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140452011145768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25070/tid=25076] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25076/stat : 25076 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140452010092968 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25077] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25077/stat : 25077 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140452009040680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25078] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25078/stat : 25078 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140451862231720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25079] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25079/stat : 25079 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140451861179432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25080] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25080/stat : 25080 (java) S 25068 25070 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140451860126632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25081] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25081/stat : 25081 (java) S 25068 25070 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255757547 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140451847928040 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25082] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25082/stat : 25082 (java) S 25068 25070 21531 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255757548 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140451846874104 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25083] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25083/stat : 25083 (java) S 25068 25070 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255757548 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140451845821704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25084] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25084/stat : 25084 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140451844770192 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25085] ppid=25068 vsize=9624976 CPUtime=0.51 cores=1,3,5,7 /proc/25070/task/25085/stat : 25085 (java) S 25068 25070 21531 0 -1 4202560 4325 0 0 0 51 0 0 0 20 0 19 0 255757551 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140451843717816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25086] ppid=25068 vsize=9624976 CPUtime=0.54 cores=1,3,5,7 /proc/25070/task/25086/stat : 25086 (java) S 25068 25070 21531 0 -1 4202560 2831 0 0 0 54 0 0 0 20 0 19 0 255757551 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140451842665016 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25087] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25087/stat : 25087 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140451841612920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25088] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25088/stat : 25088 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140451840560328 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25089] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25089/stat : 25089 (java) S 25068 25070 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255757603 9855975424 26171 33554432000 1073741824 1073778376 140733222615440 140451839505320 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.56 Current children cumulated vsize (KiB) 9624976 [startup+3.10067 s] /proc/loadavg: 2.00 2.03 2.01 3/215 25089 /proc/meminfo: memFree=28795196/32873844 swapFree=6584/6584 [pid=25070] ppid=25068 vsize=9624976 CPUtime=4.25 cores=1,3,5,7 /proc/25070/stat : 25070 (java) S 25068 25070 21531 0 -1 4202496 10921 0 1 0 420 5 0 0 20 0 19 0 255757544 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140733222606576 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25070/statm: 2406244 32873 2281 9 0 2396937 0 [pid=25070/tid=25072] ppid=25068 vsize=9624976 CPUtime=3 cores=1,3,5,7 /proc/25070/task/25072/stat : 25072 (java) R 25068 25070 21531 0 -1 4202560 2490 0 1 0 298 2 0 0 20 0 19 0 255757545 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140452024189304 140451890682985 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25073] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25073/stat : 25073 (java) S 25068 25070 21531 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140452013250856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25070/tid=25074] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25074/stat : 25074 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140452012198056 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25075] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25075/stat : 25075 (java) S 25068 25070 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140452011145768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25076] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25076/stat : 25076 (java) S 25068 25070 21531 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140452010092968 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25077] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25077/stat : 25077 (java) S 25068 25070 21531 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140452009040680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25078] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25078/stat : 25078 (java) S 25068 25070 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140451862231720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25079] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25079/stat : 25079 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140451861179432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25080] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25080/stat : 25080 (java) S 25068 25070 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140451860126632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25081] ppid=25068 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/25070/task/25081/stat : 25081 (java) S 25068 25070 21531 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 255757547 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140451847928040 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25070/tid=25082] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25082/stat : 25082 (java) S 25068 25070 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255757548 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140451846874104 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25083] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25083/stat : 25083 (java) S 25068 25070 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255757548 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140451845821704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25084] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25084/stat : 25084 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140451844770192 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25085] ppid=25068 vsize=9624976 CPUtime=0.54 cores=1,3,5,7 /proc/25070/task/25085/stat : 25085 (java) S 25068 25070 21531 0 -1 4202560 4329 0 0 0 54 0 0 0 20 0 19 0 255757551 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140451843717816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25086] ppid=25068 vsize=9624976 CPUtime=0.56 cores=1,3,5,7 /proc/25070/task/25086/stat : 25086 (java) S 25068 25070 21531 0 -1 4202560 2836 0 0 0 56 0 0 0 20 0 19 0 255757551 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140451842665016 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25087] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25087/stat : 25087 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140451841612920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25088] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25088/stat : 25088 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140451840560328 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25089] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25089/stat : 25089 (java) S 25068 25070 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255757603 9855975424 32873 33554432000 1073741824 1073778376 140733222615440 140451839505320 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.25 Current children cumulated vsize (KiB) 9624976 [startup+6.30064 s] /proc/loadavg: 2.00 2.03 2.01 3/215 25089 /proc/meminfo: memFree=28764484/32873844 swapFree=6584/6584 [pid=25070] ppid=25068 vsize=9624976 CPUtime=7.52 cores=1,3,5,7 /proc/25070/stat : 25070 (java) S 25068 25070 21531 0 -1 4202496 10946 0 1 0 747 5 0 0 20 0 19 0 255757544 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140733222606576 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25070/statm: 2406244 35314 2281 9 0 2396937 0 [pid=25070/tid=25072] ppid=25068 vsize=9624976 CPUtime=6.13 cores=1,3,5,7 /proc/25070/task/25072/stat : 25072 (java) R 25068 25070 21531 0 -1 4202560 2492 0 1 0 611 2 0 0 20 0 19 0 255757545 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140452024189432 140451890665776 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25073] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25073/stat : 25073 (java) S 25068 25070 21531 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140452013250856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25070/tid=25074] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25074/stat : 25074 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140452012198056 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25075] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25075/stat : 25075 (java) S 25068 25070 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140452011145768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25076] ppid=25068 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/25070/task/25076/stat : 25076 (java) S 25068 25070 21531 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 255757546 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140452010092968 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25077] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25077/stat : 25077 (java) S 25068 25070 21531 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140452009040680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25078] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25078/stat : 25078 (java) S 25068 25070 21531 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140451862231720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25079] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25079/stat : 25079 (java) S 25068 25070 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140451861179432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25080] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25080/stat : 25080 (java) S 25068 25070 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255757546 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140451860126632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25081] ppid=25068 vsize=9624976 CPUtime=0.07 cores=1,3,5,7 /proc/25070/task/25081/stat : 25081 (java) S 25068 25070 21531 0 -1 4202560 37 0 0 0 7 0 0 0 20 0 19 0 255757547 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140451847928040 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25070/tid=25082] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25082/stat : 25082 (java) S 25068 25070 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255757548 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140451846874104 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25083] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25083/stat : 25083 (java) S 25068 25070 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255757548 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140451845821704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25084] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25084/stat : 25084 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140451844770192 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25085] ppid=25068 vsize=9624976 CPUtime=0.56 cores=1,3,5,7 /proc/25070/task/25085/stat : 25085 (java) S 25068 25070 21531 0 -1 4202560 4330 0 0 0 56 0 0 0 20 0 19 0 255757551 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140451843717816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25070/tid=25086] ppid=25068 vsize=9624976 CPUtime=0.59 cores=1,3,5,7 /proc/25070/task/25086/stat : 25086 (java) S 25068 25070 21531 0 -1 4202560 2836 0 0 0 59 0 0 0 20 0 19 0 255757551 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140451842665016 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25087] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25087/stat : 25087 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140451841612920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25088] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25088/stat : 25088 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140451840560328 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25089] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25089/stat : 25089 (java) S 25068 25070 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255757603 9855975424 35314 33554432000 1073741824 1073778376 140733222615440 140451839505320 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.52 Current children cumulated vsize (KiB) 9624976 [startup+12.7007 s] ################ # More data... # ################ [pid=25070/tid=25085] ppid=25068 vsize=9624976 CPUtime=1.12 cores=1,3,5,7 /proc/25070/task/25085/stat : 25085 (java) S 25068 25070 21531 0 -1 4202560 10124 0 0 0 110 2 0 0 20 0 19 0 255757551 9855975424 86414 33554432000 1073741824 1073778376 140733222615440 140451843717816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25086] ppid=25068 vsize=9624976 CPUtime=0.72 cores=1,3,5,7 /proc/25070/task/25086/stat : 25086 (java) S 25068 25070 21531 0 -1 4202560 2842 0 0 0 72 0 0 0 20 0 19 0 255757551 9855975424 86414 33554432000 1073741824 1073778376 140733222615440 140451842665016 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25087] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25087/stat : 25087 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 86414 33554432000 1073741824 1073778376 140733222615440 140451841612920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25088] ppid=25068 vsize=9624976 CPUtime=0.29 cores=1,3,5,7 /proc/25070/task/25088/stat : 25088 (java) S 25068 25070 21531 0 -1 4202560 99 0 0 0 12 17 0 0 20 0 19 0 255757551 9855975424 86414 33554432000 1073741824 1073778376 140733222615440 140451840560328 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25089] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25089/stat : 25089 (java) S 25068 25070 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255757603 9855975424 86414 33554432000 1073741824 1073778376 140733222615440 140451839505320 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1728.16 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 1.08 1.51 1.79 2/191 25163 /proc/meminfo: memFree=28797660/32873844 swapFree=6584/6584 [pid=25070] ppid=25068 vsize=9624976 CPUtime=1788.25 cores=1,3,5,7 /proc/25070/stat : 25070 (java) S 25068 25070 21531 0 -1 4202496 19079 0 1 0 178766 59 0 0 20 0 19 0 255757544 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140733222606576 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25070/statm: 2406244 88974 2283 9 0 2396937 0 [pid=25070/tid=25072] ppid=25068 vsize=9624976 CPUtime=1768.24 cores=1,3,5,7 /proc/25070/task/25072/stat : 25072 (java) R 25068 25070 21531 0 -1 4202560 2633 0 1 0 176792 32 0 0 20 0 19 0 255757545 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452024189216 140451890561619 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25073] ppid=25068 vsize=9624976 CPUtime=0.73 cores=1,3,5,7 /proc/25070/task/25073/stat : 25073 (java) S 25068 25070 21531 0 -1 4202560 305 0 0 0 70 3 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452013250856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25074] ppid=25068 vsize=9624976 CPUtime=0.79 cores=1,3,5,7 /proc/25070/task/25074/stat : 25074 (java) S 25068 25070 21531 0 -1 4202560 283 0 0 0 75 4 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452012198056 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25075] ppid=25068 vsize=9624976 CPUtime=0.75 cores=1,3,5,7 /proc/25070/task/25075/stat : 25075 (java) S 25068 25070 21531 0 -1 4202560 186 0 0 0 70 5 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452011145768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25076] ppid=25068 vsize=9624976 CPUtime=0.77 cores=1,3,5,7 /proc/25070/task/25076/stat : 25076 (java) S 25068 25070 21531 0 -1 4202560 443 0 0 0 73 4 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452010092968 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25077] ppid=25068 vsize=9624976 CPUtime=0.7 cores=1,3,5,7 /proc/25070/task/25077/stat : 25077 (java) S 25068 25070 21531 0 -1 4202560 259 0 0 0 68 2 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452009040680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25078] ppid=25068 vsize=9624976 CPUtime=0.72 cores=1,3,5,7 /proc/25070/task/25078/stat : 25078 (java) S 25068 25070 21531 0 -1 4202560 234 0 0 0 69 3 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451862231720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25070/tid=25079] ppid=25068 vsize=9624976 CPUtime=0.78 cores=1,3,5,7 /proc/25070/task/25079/stat : 25079 (java) S 25068 25070 21531 0 -1 4202560 201 0 0 0 76 2 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451861179432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25080] ppid=25068 vsize=9624976 CPUtime=0.67 cores=1,3,5,7 /proc/25070/task/25080/stat : 25080 (java) S 25068 25070 21531 0 -1 4202560 118 0 0 0 65 2 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451860126632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25070/tid=25081] ppid=25068 vsize=9624976 CPUtime=7.46 cores=1,3,5,7 /proc/25070/task/25081/stat : 25081 (java) S 25068 25070 21531 0 -1 4202560 162 0 0 0 743 3 0 0 20 0 19 0 255757547 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451847928040 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25082] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25082/stat : 25082 (java) S 25068 25070 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255757548 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451846874104 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25083] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25083/stat : 25083 (java) S 25068 25070 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255757548 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451845821704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25084] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25084/stat : 25084 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451844770192 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25085] ppid=25068 vsize=9624976 CPUtime=1.12 cores=1,3,5,7 /proc/25070/task/25085/stat : 25085 (java) S 25068 25070 21531 0 -1 4202560 10124 0 0 0 110 2 0 0 20 0 19 0 255757551 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451843717816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25086] ppid=25068 vsize=9624976 CPUtime=0.72 cores=1,3,5,7 /proc/25070/task/25086/stat : 25086 (java) S 25068 25070 21531 0 -1 4202560 2842 0 0 0 72 0 0 0 20 0 19 0 255757551 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451842665016 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25087] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25087/stat : 25087 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451841612920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25088] ppid=25068 vsize=9624976 CPUtime=0.3 cores=1,3,5,7 /proc/25070/task/25088/stat : 25088 (java) S 25068 25070 21531 0 -1 4202560 103 0 0 0 13 17 0 0 20 0 19 0 255757551 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451840560328 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25089] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25089/stat : 25089 (java) S 25068 25070 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255757603 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451839505320 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1788.25 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.11 s] /proc/loadavg: 1.07 1.49 1.78 2/191 25163 /proc/meminfo: memFree=28797660/32873844 swapFree=6584/6584 [pid=25070] ppid=25068 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7 /proc/25070/stat : 25070 (java) S 25068 25070 21531 0 -1 4202496 19079 0 1 0 179947 59 0 0 20 0 19 0 255757544 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140733222606576 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25070/statm: 2406244 88974 2283 9 0 2396937 0 [pid=25070/tid=25072] ppid=25068 vsize=9624976 CPUtime=1780.02 cores=1,3,5,7 /proc/25070/task/25072/stat : 25072 (java) R 25068 25070 21531 0 -1 4202560 2633 0 1 0 177969 33 0 0 20 0 19 0 255757545 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452024189216 140451890739872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25073] ppid=25068 vsize=9624976 CPUtime=0.73 cores=1,3,5,7 /proc/25070/task/25073/stat : 25073 (java) S 25068 25070 21531 0 -1 4202560 305 0 0 0 70 3 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452013250856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25074] ppid=25068 vsize=9624976 CPUtime=0.79 cores=1,3,5,7 /proc/25070/task/25074/stat : 25074 (java) S 25068 25070 21531 0 -1 4202560 283 0 0 0 75 4 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452012198056 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25075] ppid=25068 vsize=9624976 CPUtime=0.75 cores=1,3,5,7 /proc/25070/task/25075/stat : 25075 (java) S 25068 25070 21531 0 -1 4202560 186 0 0 0 70 5 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452011145768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25076] ppid=25068 vsize=9624976 CPUtime=0.77 cores=1,3,5,7 /proc/25070/task/25076/stat : 25076 (java) S 25068 25070 21531 0 -1 4202560 443 0 0 0 73 4 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452010092968 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25077] ppid=25068 vsize=9624976 CPUtime=0.7 cores=1,3,5,7 /proc/25070/task/25077/stat : 25077 (java) S 25068 25070 21531 0 -1 4202560 259 0 0 0 68 2 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452009040680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25078] ppid=25068 vsize=9624976 CPUtime=0.72 cores=1,3,5,7 /proc/25070/task/25078/stat : 25078 (java) S 25068 25070 21531 0 -1 4202560 234 0 0 0 69 3 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451862231720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25070/tid=25079] ppid=25068 vsize=9624976 CPUtime=0.78 cores=1,3,5,7 /proc/25070/task/25079/stat : 25079 (java) S 25068 25070 21531 0 -1 4202560 201 0 0 0 76 2 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451861179432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25080] ppid=25068 vsize=9624976 CPUtime=0.67 cores=1,3,5,7 /proc/25070/task/25080/stat : 25080 (java) S 25068 25070 21531 0 -1 4202560 118 0 0 0 65 2 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451860126632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25070/tid=25081] ppid=25068 vsize=9624976 CPUtime=7.46 cores=1,3,5,7 /proc/25070/task/25081/stat : 25081 (java) S 25068 25070 21531 0 -1 4202560 162 0 0 0 743 3 0 0 20 0 19 0 255757547 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451847928040 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25082] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25082/stat : 25082 (java) S 25068 25070 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255757548 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451846874104 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25083] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25083/stat : 25083 (java) S 25068 25070 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255757548 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451845821704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25084] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25084/stat : 25084 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451844770192 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25085] ppid=25068 vsize=9624976 CPUtime=1.12 cores=1,3,5,7 /proc/25070/task/25085/stat : 25085 (java) S 25068 25070 21531 0 -1 4202560 10124 0 0 0 110 2 0 0 20 0 19 0 255757551 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451843717816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25086] ppid=25068 vsize=9624976 CPUtime=0.72 cores=1,3,5,7 /proc/25070/task/25086/stat : 25086 (java) S 25068 25070 21531 0 -1 4202560 2842 0 0 0 72 0 0 0 20 0 19 0 255757551 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451842665016 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25087] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25087/stat : 25087 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451841612920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25088] ppid=25068 vsize=9624976 CPUtime=0.3 cores=1,3,5,7 /proc/25070/task/25088/stat : 25088 (java) S 25068 25070 21531 0 -1 4202560 103 0 0 0 13 17 0 0 20 0 19 0 255757551 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451840560328 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25089] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25089/stat : 25089 (java) S 25068 25070 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255757603 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451839505320 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 9624976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1794.11 s] /proc/loadavg: 1.07 1.49 1.78 2/191 25163 /proc/meminfo: memFree=28797660/32873844 swapFree=6584/6584 [pid=25070] ppid=25068 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7 /proc/25070/stat : 25070 (java) S 25068 25070 21531 0 -1 4202496 19079 0 1 0 179947 59 0 0 20 0 19 0 255757544 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140733222606576 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25070/statm: 2406244 88974 2283 9 0 2396937 0 [pid=25070/tid=25072] ppid=25068 vsize=9624976 CPUtime=1780.02 cores=1,3,5,7 /proc/25070/task/25072/stat : 25072 (java) R 25068 25070 21531 0 -1 4202560 2633 0 1 0 177969 33 0 0 20 0 19 0 255757545 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452024189216 140451890739872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25073] ppid=25068 vsize=9624976 CPUtime=0.73 cores=1,3,5,7 /proc/25070/task/25073/stat : 25073 (java) S 25068 25070 21531 0 -1 4202560 305 0 0 0 70 3 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452013250856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25074] ppid=25068 vsize=9624976 CPUtime=0.79 cores=1,3,5,7 /proc/25070/task/25074/stat : 25074 (java) S 25068 25070 21531 0 -1 4202560 283 0 0 0 75 4 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452012198056 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25075] ppid=25068 vsize=9624976 CPUtime=0.75 cores=1,3,5,7 /proc/25070/task/25075/stat : 25075 (java) S 25068 25070 21531 0 -1 4202560 186 0 0 0 70 5 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452011145768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25076] ppid=25068 vsize=9624976 CPUtime=0.77 cores=1,3,5,7 /proc/25070/task/25076/stat : 25076 (java) S 25068 25070 21531 0 -1 4202560 443 0 0 0 73 4 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452010092968 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25077] ppid=25068 vsize=9624976 CPUtime=0.7 cores=1,3,5,7 /proc/25070/task/25077/stat : 25077 (java) S 25068 25070 21531 0 -1 4202560 259 0 0 0 68 2 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140452009040680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25078] ppid=25068 vsize=9624976 CPUtime=0.72 cores=1,3,5,7 /proc/25070/task/25078/stat : 25078 (java) S 25068 25070 21531 0 -1 4202560 234 0 0 0 69 3 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451862231720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25070/tid=25079] ppid=25068 vsize=9624976 CPUtime=0.78 cores=1,3,5,7 /proc/25070/task/25079/stat : 25079 (java) S 25068 25070 21531 0 -1 4202560 201 0 0 0 76 2 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451861179432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25080] ppid=25068 vsize=9624976 CPUtime=0.67 cores=1,3,5,7 /proc/25070/task/25080/stat : 25080 (java) S 25068 25070 21531 0 -1 4202560 118 0 0 0 65 2 0 0 20 0 19 0 255757546 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451860126632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25070/tid=25081] ppid=25068 vsize=9624976 CPUtime=7.46 cores=1,3,5,7 /proc/25070/task/25081/stat : 25081 (java) S 25068 25070 21531 0 -1 4202560 162 0 0 0 743 3 0 0 20 0 19 0 255757547 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451847928040 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25082] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25082/stat : 25082 (java) S 25068 25070 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255757548 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451846874104 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25083] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25083/stat : 25083 (java) S 25068 25070 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255757548 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451845821704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25084] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25084/stat : 25084 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451844770192 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25085] ppid=25068 vsize=9624976 CPUtime=1.12 cores=1,3,5,7 /proc/25070/task/25085/stat : 25085 (java) S 25068 25070 21531 0 -1 4202560 10124 0 0 0 110 2 0 0 20 0 19 0 255757551 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451843717816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25070/tid=25086] ppid=25068 vsize=9624976 CPUtime=0.72 cores=1,3,5,7 /proc/25070/task/25086/stat : 25086 (java) S 25068 25070 21531 0 -1 4202560 2842 0 0 0 72 0 0 0 20 0 19 0 255757551 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451842665016 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25087] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25087/stat : 25087 (java) S 25068 25070 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255757551 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451841612920 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25070/tid=25088] ppid=25068 vsize=9624976 CPUtime=0.3 cores=1,3,5,7 /proc/25070/task/25088/stat : 25088 (java) S 25068 25070 21531 0 -1 4202560 103 0 0 0 13 17 0 0 20 0 19 0 255757551 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451840560328 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25070/tid=25089] ppid=25068 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25070/task/25089/stat : 25089 (java) S 25068 25070 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255757603 9855975424 88974 33554432000 1073741824 1073778376 140733222615440 140451839505320 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 9624976 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25070 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=9117 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=941856 # CPU time returned by wait4() is 1795.95 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1794.18 CPU time (s): 1800.06 CPU user time (s): 1799.47 CPU system time (s): 0.59 CPU usage (%): 100.328 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.01 system time used= 0.941856 maximum resident set size= 356024 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19113 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1744 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41297 involuntary context switches= 26754 runsolver used 6.20306 second user time and 14.5328 second system time The end
Begin job on node132 at 2012-05-24 23:52:02 IDJOB=3690145 IDBENCH=92725 IDSOLVER=2269 FILE ID=node132/3690145-1337896322 RUNJOBID= node132-1337871880-21548 PBS_JOBID= 14620072 Free space on /tmp= 71636 MiB SOLVER NAME= Sat 4j PB Resolution 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-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690145-1337896322/watcher-3690145-1337896322 -o /tmp/evaluation-result-3690145-1337896322/solver-3690145-1337896322 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690145-1337896322.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b9760eca078029bee17418839cb4525f RANDOM SEED=855900329 node132.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.832 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.66 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.832 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 : 5332.55 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.832 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 : 5332.56 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.832 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 : 5332.56 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.832 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 : 5332.55 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.832 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 : 5332.56 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.832 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 : 5332.55 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.832 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28894180 kB Buffers: 229568 kB Cached: 2722448 kB SwapCached: 0 kB Active: 922412 kB Inactive: 2288928 kB Active(anon): 261552 kB Inactive(anon): 0 kB Active(file): 660860 kB Inactive(file): 2288928 kB Unevictable: 6584 kB Mlocked: 6584 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1232 kB Writeback: 0 kB AnonPages: 387520 kB Mapped: 22660 kB Shmem: 212 kB Slab: 628964 kB SReclaimable: 71380 kB SUnreclaim: 557584 kB KernelStack: 1784 kB PageTables: 4504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 828260 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 342016 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= 71636 MiB End job on node132 at 2012-05-25 00:21:58