Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Sat4j PB 2.3.6 Resolution PB16 | MSAT (TO) | 1800.04 | 1778.26 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo |
MD5SUM | 5089c419eb4145debb9fb5e7fd1214f5 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 1800.13 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 10500 |
Total number of constraints | 205 |
Number of soft constraints | 132 |
Number of constraints which are clauses | 105 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 100 |
Maximum length of a constraint | 105 |
Top cost | 6845 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 6844 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 106 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4090620-1466063993.wbo 0.09/0.11 c reading problem ... 0.56/0.32 c ... done. Wall clock time 0.211s. 0.56/0.32 c declared #vars 10500 0.56/0.32 c internal #vars 10632 0.56/0.32 c #constraints 205 0.56/0.32 c constraints type 0.56/0.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 105 0.56/0.32 c org.sat4j.minisat.constraints.card.MinWatchCard => 35 0.56/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 65 0.56/0.32 c 205 constraints processed. 0.56/0.32 c objective function length is 132 literals 1.87/1.18 c cleaning 2492 clauses out of 5002 with flag 35822/5002 2.95/2.18 c cleaning 4251 clauses out of 8508 with flag 88938/11000 4.35/3.54 c cleaning 5626 clauses out of 11257 with flag 143102/18000 6.06/5.22 c cleaning 6814 clauses out of 13634 with flag 200389/26003 8.18/7.24 c cleaning 7905 clauses out of 15817 with flag 280345/35000 10.58/9.66 c cleaning 8951 clauses out of 17913 with flag 368348/45001 13.38/12.41 c cleaning 9977 clauses out of 19964 with flag 472280/56003 16.99/15.80 c cleaning 10989 clauses out of 21984 with flag 586143/68000 20.79/19.65 c cleaning 11994 clauses out of 23997 with flag 702185/81002 25.19/24.02 c cleaning 12994 clauses out of 26002 with flag 821728/95001 30.48/29.11 c cleaning 13999 clauses out of 28009 with flag 949695/110002 35.68/34.39 c cleaning 14999 clauses out of 30008 with flag 1083249/126000 41.44/40.05 c cleaning 15998 clauses out of 32009 with flag 1223998/143000 48.04/46.60 c cleaning 16997 clauses out of 34012 with flag 1391773/161001 49.54/48.04 c SATISFIABLE 49.54/48.04 c OPTIMIZING... 49.54/48.04 c Got one! Elapsed wall clock time (in seconds):47.934 49.54/48.05 o 183 49.54/48.09 c Got one! Elapsed wall clock time (in seconds):47.975 49.54/48.09 o 114 49.75/48.12 c Got one! Elapsed wall clock time (in seconds):48.009 49.75/48.12 o 96 49.75/48.15 c Got one! Elapsed wall clock time (in seconds):48.037 49.75/48.15 o 87 49.75/48.18 c Got one! Elapsed wall clock time (in seconds):48.07 49.75/48.18 o 44 49.95/48.24 c Got one! Elapsed wall clock time (in seconds):48.124 49.95/48.24 o 11 50.05/48.32 c Got one! Elapsed wall clock time (in seconds):48.207 50.05/48.32 o 8 50.35/48.61 c cleaning 11471 clauses out of 22947 with flag 8306/166933 51.85/50.10 c cleaning 8736 clauses out of 17477 with flag 59934/172934 53.46/51.74 c cleaning 7869 clauses out of 15741 with flag 120249/179934 55.25/53.58 c cleaning 7935 clauses out of 15874 with flag 193975/187936 57.44/55.65 c cleaning 8460 clauses out of 16936 with flag 272559/196933 59.84/58.08 c cleaning 9235 clauses out of 18476 with flag 368857/206933 63.04/61.25 c cleaning 10115 clauses out of 20242 with flag 490229/217934 66.85/64.97 c cleaning 11057 clauses out of 22126 with flag 611701/229933 70.94/69.03 c cleaning 12031 clauses out of 24072 with flag 739079/242936 75.73/73.69 c cleaning 13013 clauses out of 26038 with flag 879707/256933 80.33/78.25 c cleaning 14010 clauses out of 28026 with flag 1023591/271934 86.01/83.77 c cleaning 15004 clauses out of 30015 with flag 1153830/287933 91.90/89.61 c cleaning 16000 clauses out of 32011 with flag 1299488/304933 98.56/96.18 c cleaning 16997 clauses out of 34011 with flag 1457222/322933 106.10/103.42 c cleaning 18006 clauses out of 36017 with flag 1632370/341936 113.98/111.22 c cleaning 18993 clauses out of 38008 with flag 1836955/361933 122.27/119.41 c cleaning 20003 clauses out of 40016 with flag 2047186/382934 132.57/129.80 c cleaning 20997 clauses out of 42014 with flag 2272014/404935 144.13/141.14 c cleaning 21998 clauses out of 44017 with flag 2505388/427935 155.49/152.49 c cleaning 23004 clauses out of 46019 with flag 2750506/451935 166.80/163.66 c cleaning 23999 clauses out of 48014 with flag 3003935/476934 179.91/176.70 c cleaning 24997 clauses out of 50014 with flag 3281151/502933 192.55/189.12 c cleaning 26004 clauses out of 52018 with flag 3537817/529934 206.31/202.71 c cleaning 26998 clauses out of 54014 with flag 3817884/557934 219.91/216.21 c cleaning 27996 clauses out of 56016 with flag 4097263/586934 233.85/230.08 c cleaning 29006 clauses out of 58021 with flag 4377066/616935 250.36/246.42 c cleaning 29998 clauses out of 60014 with flag 4673160/647934 266.18/262.12 c cleaning 30997 clauses out of 62016 with flag 4953759/679934 285.99/281.75 c cleaning 32002 clauses out of 64018 with flag 5269398/712933 306.43/302.09 c cleaning 33004 clauses out of 66019 with flag 5597773/746936 325.89/321.34 c cleaning 34003 clauses out of 68014 with flag 5910367/781935 346.49/341.85 c cleaning 34994 clauses out of 70009 with flag 6223682/817933 369.86/365.01 c cleaning 36003 clauses out of 72015 with flag 6558264/854933 392.60/387.64 c cleaning 37000 clauses out of 74012 with flag 6897820/892933 417.96/412.74 c cleaning 38002 clauses out of 76013 with flag 7287401/931934 444.24/438.80 c cleaning 38996 clauses out of 78011 with flag 7660662/971934 473.04/467.49 c cleaning 40003 clauses out of 80014 with flag 8067339/1012933 505.49/499.52 c cleaning 40998 clauses out of 82012 with flag 8457120/1054934 537.85/531.57 c cleaning 41998 clauses out of 84016 with flag 8843306/1097936 571.61/565.06 c cleaning 43007 clauses out of 86018 with flag 9269640/1141936 608.43/601.53 c cleaning 44000 clauses out of 88008 with flag 9678429/1186933 646.77/639.56 c cleaning 44997 clauses out of 90009 with flag 10096840/1232934 688.24/680.52 c cleaning 46003 clauses out of 92011 with flag 10518745/1279933 730.54/722.34 c cleaning 46999 clauses out of 94008 with flag 10965106/1327933 770.02/761.39 c cleaning 47996 clauses out of 96011 with flag 11462840/1376935 809.59/800.43 c cleaning 49000 clauses out of 98013 with flag 11961716/1426933 849.44/839.73 c cleaning 49997 clauses out of 100014 with flag 12469498/1477934 868.70/858.70 c Got one! Elapsed wall clock time (in seconds):858.592 868.70/858.70 o 7 872.54/862.56 c cleaning 42586 clauses out of 85196 with flag 50964/1513113 875.37/865.32 c cleaning 24294 clauses out of 48608 with flag 115828/1519111 877.81/867.74 c cleaning 15648 clauses out of 31315 with flag 199916/1526112 880.07/869.96 c cleaning 11827 clauses out of 23667 with flag 293028/1534112 882.38/872.28 c cleaning 10416 clauses out of 20841 with flag 407769/1543113 885.01/874.88 c cleaning 10202 clauses out of 20425 with flag 524656/1553113 887.73/877.59 c cleaning 10602 clauses out of 21221 with flag 658048/1564111 890.78/880.53 c cleaning 11296 clauses out of 22620 with flag 801301/1576112 894.14/883.87 c cleaning 12148 clauses out of 24323 with flag 950188/1589111 898.13/887.77 c cleaning 13079 clauses out of 26175 with flag 1124023/1603111 902.50/892.05 c cleaning 14030 clauses out of 28100 with flag 1286221/1618115 906.87/896.31 c cleaning 15025 clauses out of 30066 with flag 1452720/1634111 911.13/900.53 c cleaning 16014 clauses out of 32044 with flag 1620666/1651114 916.33/905.67 c cleaning 16999 clauses out of 34027 with flag 1823498/1669111 921.64/910.87 c cleaning 18003 clauses out of 36028 with flag 2035659/1688111 927.53/916.64 c cleaning 19006 clauses out of 38025 with flag 2274742/1708111 934.93/923.95 c cleaning 20002 clauses out of 40020 with flag 2531596/1729112 942.62/931.51 c cleaning 20999 clauses out of 42018 with flag 2800602/1751112 951.20/940.04 c cleaning 22003 clauses out of 44020 with flag 3059324/1774113 960.27/948.96 c cleaning 22998 clauses out of 46015 with flag 3323735/1798111 968.95/957.56 c cleaning 23998 clauses out of 48018 with flag 3601974/1823112 979.13/967.54 c cleaning 25002 clauses out of 50019 with flag 3903638/1849111 990.04/978.37 c cleaning 26000 clauses out of 52019 with flag 4216710/1876113 1001.22/989.32 c cleaning 27000 clauses out of 54018 with flag 4547843/1904112 1014.37/1002.34 c cleaning 27997 clauses out of 56017 with flag 4860651/1933111 1027.44/1015.27 c cleaning 29003 clauses out of 58020 with flag 5205333/1963111 1041.95/1029.58 c cleaning 30000 clauses out of 60018 with flag 5581127/1994112 1056.63/1044.06 c cleaning 31003 clauses out of 62018 with flag 5952440/2026112 1073.89/1061.09 c cleaning 32001 clauses out of 64014 with flag 6366608/2059111 1091.88/1078.80 c cleaning 32998 clauses out of 66013 with flag 6782072/2093111 1112.12/1098.84 c cleaning 34001 clauses out of 68017 with flag 7201231/2128113 1133.53/1120.01 c cleaning 35002 clauses out of 70015 with flag 7643962/2164112 1153.60/1139.86 c cleaning 36002 clauses out of 72013 with flag 8049375/2201112 1174.05/1159.98 c cleaning 36998 clauses out of 74010 with flag 8473869/2239111 1194.99/1180.69 c cleaning 38001 clauses out of 76013 with flag 8912378/2278112 1211.17/1196.68 c Got one! Elapsed wall clock time (in seconds):1196.569 1211.17/1196.68 o 3 1215.13/1200.54 c cleaning 37220 clauses out of 74458 with flag 60158/2314558 1217.37/1202.75 c cleaning 21614 clauses out of 43238 with flag 137901/2320558 1219.39/1204.79 c cleaning 14307 clauses out of 28624 with flag 227596/2327558 1221.42/1206.77 c cleaning 11152 clauses out of 22321 with flag 333430/2335562 1223.78/1209.08 c cleaning 10073 clauses out of 20165 with flag 452949/2344558 1226.08/1211.39 c cleaning 10034 clauses out of 20092 with flag 585130/2354558 1228.85/1214.07 c cleaning 10525 clauses out of 21060 with flag 733196/2365560 1231.95/1217.00 c cleaning 11259 clauses out of 22534 with flag 884743/2377559 1235.09/1220.16 c cleaning 12133 clauses out of 24274 with flag 1042473/2390558 1238.69/1223.70 c cleaning 13066 clauses out of 26143 with flag 1210815/2404560 1242.73/1227.64 c cleaning 14031 clauses out of 28075 with flag 1392894/2419558 1247.49/1232.34 c cleaning 15017 clauses out of 30044 with flag 1593746/2435558 1253.23/1237.90 c cleaning 16011 clauses out of 32027 with flag 1803211/2452558 1259.25/1243.82 c cleaning 17006 clauses out of 34023 with flag 2015045/2470565 1265.69/1250.27 c cleaning 17999 clauses out of 36011 with flag 2254253/2489559 1273.36/1257.80 c cleaning 18995 clauses out of 38011 with flag 2480838/2509558 1281.50/1265.82 c cleaning 20000 clauses out of 40020 with flag 2716715/2530562 1290.20/1274.45 c cleaning 21000 clauses out of 42016 with flag 2974057/2552558 1300.63/1284.73 c cleaning 22000 clauses out of 44016 with flag 3256109/2575558 1311.54/1295.55 c cleaning 23000 clauses out of 46016 with flag 3550733/2599558 1323.04/1306.82 c cleaning 24003 clauses out of 48017 with flag 3852745/2624559 1335.59/1319.27 c cleaning 25001 clauses out of 50013 with flag 4174619/2650558 1349.31/1332.85 c cleaning 26004 clauses out of 52014 with flag 4514963/2677560 1364.07/1347.47 c cleaning 26999 clauses out of 54008 with flag 4880263/2705558 1379.86/1363.08 c cleaning 27999 clauses out of 56010 with flag 5237041/2734559 1394.79/1377.63 c cleaning 28998 clauses out of 58011 with flag 5593112/2764559 1409.57/1392.24 c cleaning 29995 clauses out of 60012 with flag 5924776/2795558 1425.88/1408.40 c cleaning 31001 clauses out of 62018 with flag 6284421/2827559 1440.78/1423.17 c cleaning 32002 clauses out of 64017 with flag 6658898/2860559 1457.52/1439.76 c cleaning 32999 clauses out of 66014 with flag 7045361/2894558 1476.30/1458.21 c cleaning 34003 clauses out of 68015 with flag 7418750/2929558 1493.95/1475.66 c cleaning 35000 clauses out of 70016 with flag 7779851/2965562 1512.71/1494.18 c cleaning 35993 clauses out of 72014 with flag 8168507/3002560 1534.62/1515.83 c cleaning 37003 clauses out of 74021 with flag 8573383/3040560 1557.13/1538.08 c cleaning 38002 clauses out of 76017 with flag 9011984/3079559 1584.11/1564.75 c cleaning 39003 clauses out of 78018 with flag 9504092/3119562 1611.48/1591.86 c cleaning 39999 clauses out of 80014 with flag 9983411/3160561 1641.17/1621.29 c cleaning 41002 clauses out of 82018 with flag 10520191/3202564 1670.30/1650.08 c cleaning 41997 clauses out of 84010 with flag 11040737/3245558 1698.25/1677.61 c cleaning 43000 clauses out of 86014 with flag 11542900/3289559 1727.06/1706.05 c cleaning 44002 clauses out of 88015 with flag 12031232/3334560 1760.72/1739.35 c cleaning 44999 clauses out of 90015 with flag 12542574/3380562 1795.77/1774.08 c cleaning 46000 clauses out of 92013 with flag 13051093/3427559 1800.04/1778.20 c starts : 35 1800.04/1778.20 c conflicts : 3435867 1800.04/1778.20 c decisions : 3940585 1800.04/1778.20 c propagations : 50902517 1800.04/1778.20 c inspects : 26910665423 1800.04/1778.20 c shortcuts : 0 1800.04/1778.20 c learnt literals : 0 1800.04/1778.20 c learnt binary clauses : 0 1800.04/1778.20 c learnt ternary clauses : 0 1800.04/1778.20 c learnt constraints : 3435867 1800.04/1778.20 c ignored constraints : 0 1800.04/1778.20 c root simplifications : 0 1800.04/1778.20 c removed literals (reason simplification) : 0 1800.04/1778.20 c reason swapping (by a shorter reason) : 0 1800.04/1778.20 c Calls to reduceDB : 139 1800.04/1778.20 c Number of update (reduction) of LBD : 1417299 1800.04/1778.20 c Imported unit clauses : 0 1800.04/1778.20 c number of reductions to clauses (during analyze) : 0 1800.04/1778.20 c number of learned constraints concerned by reduction : 0 1800.04/1778.20 c number of learning phase by resolution : 0 1800.04/1778.20 c number of learning phase by cutting planes : 0 1800.04/1778.20 c speed (assignments/second) : 28631.218965637494 1800.04/1778.20 c non guided choices 109635 1800.04/1778.22 c learnt constraints type 1800.04/1778.22 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 54322 1800.04/1778.22 s SATISFIABLE 1800.04/1778.22 c Found 9 solution(s) 1800.04/1778.23 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 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 1800.04/1778.24 c objective function=3 1800.04/1778.24 c Total wall clock time (in seconds): 1778.134
OK 3
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4090620-1466063993/watcher-4090620-1466063993 -o /tmp/evaluation-result-4090620-1466063993/solver-4090620-1466063993 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466062136-14871 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090620-1466063993.wbo pid=15223 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.96 2.07 1.79 3/194 15226 /proc/meminfo: memFree=31728484/32872528 swapFree=248296/248296 [pid=15226] ppid=15223 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/15226/stat : 15226 (java) R 15223 15226 14855 0 -1 4202496 592 0 0 0 0 0 0 0 20 0 1 0 8449721 23793664 242 33554432000 1073741824 1073778376 140734213065712 140734213054776 247055039041 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/15226/statm: 5809 254 199 9 0 128 0 [startup+0.10006 s] /proc/loadavg: 1.96 2.07 1.79 3/194 15226 /proc/meminfo: memFree=31728484/32872528 swapFree=248296/248296 [pid=15226] ppid=15223 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 4403 0 1 0 8 1 0 0 20 0 18 0 8449721 9787879424 6041 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15226/statm: 2389619 6041 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200216 s] /proc/loadavg: 1.96 2.07 1.79 3/194 15226 /proc/meminfo: memFree=31728484/32872528 swapFree=248296/248296 [pid=15226] ppid=15223 vsize=9558476 CPUtime=0.29 cores=0,2,4,6 /proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 4969 0 1 0 28 1 0 0 20 0 18 0 8449721 9787879424 7521 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15226/statm: 2389619 7521 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300233 s] /proc/loadavg: 1.96 2.07 1.79 3/194 15226 /proc/meminfo: memFree=31728484/32872528 swapFree=248296/248296 [pid=15226] ppid=15223 vsize=9558476 CPUtime=0.56 cores=0,2,4,6 /proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 7210 0 1 0 55 1 0 0 20 0 18 0 8449721 9787879424 11433 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15226/statm: 2389619 11433 2235 9 0 2380296 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 9558476 [startup+0.700178 s] /proc/loadavg: 1.96 2.07 1.79 3/194 15226 /proc/meminfo: memFree=31728484/32872528 swapFree=248296/248296 [pid=15226] ppid=15223 vsize=9625040 CPUtime=1.41 cores=0,2,4,6 /proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 10192 0 1 0 139 2 0 0 20 0 19 0 8449721 9856040960 16478 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15226/statm: 2406260 16478 2265 9 0 2396937 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 9625040 [startup+1.50083 s] /proc/loadavg: 1.96 2.07 1.79 4/213 15245 /proc/meminfo: memFree=31659152/32872528 swapFree=248296/248296 [pid=15226] ppid=15223 vsize=9625040 CPUtime=2.31 cores=0,2,4,6 /proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 10226 0 1 0 229 2 0 0 20 0 19 0 8449721 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15226/statm: 2406260 21110 2272 9 0 2396937 0 [pid=15226/tid=15228] ppid=15223 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/15226/task/15228/stat : 15228 (java) R 15223 15226 14855 0 -1 4202560 2448 0 1 0 144 2 0 0 20 0 19 0 8449722 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384653058360 140384513224605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15229] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15229/stat : 15229 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384631159592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15230] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15230/stat : 15230 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384428616360 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15231] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15231/stat : 15231 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384427564072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15232] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15232/stat : 15232 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384426511272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15226/tid=15233] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15233/stat : 15233 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384425457960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15234] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15234/stat : 15234 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384424405160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15226/tid=15235] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15235/stat : 15235 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384423352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15226/tid=15236] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15236/stat : 15236 (java) S 15223 15226 14855 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384422300072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15237] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15237/stat : 15237 (java) S 15223 15226 14855 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8449724 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384409889512 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15238] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15238/stat : 15238 (java) S 15223 15226 14855 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384408835576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15239] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15239/stat : 15239 (java) S 15223 15226 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384407783176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15240] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15240/stat : 15240 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384406731664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15241] ppid=15223 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/15226/task/15241/stat : 15241 (java) S 15223 15226 14855 0 -1 4202560 1920 0 0 0 37 0 0 0 20 0 19 0 8449727 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384405678264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15242] ppid=15223 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/15226/task/15242/stat : 15242 (java) S 15223 15226 14855 0 -1 4202560 4579 0 0 0 44 0 0 0 20 0 19 0 8449727 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384404625464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15243] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15243/stat : 15243 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384403573368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15244] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15244/stat : 15244 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384402520776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15245] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15245/stat : 15245 (java) S 15223 15226 14855 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8449755 9856040960 21110 33554432000 1073741824 1073778376 140734213065712 140384401368488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.31 Current children cumulated vsize (KiB) 9625040 [startup+3.10085 s] /proc/loadavg: 1.96 2.07 1.79 3/213 15245 /proc/meminfo: memFree=31636128/32872528 swapFree=248296/248296 [pid=15226] ppid=15223 vsize=9625040 CPUtime=3.95 cores=0,2,4,6 /proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 10250 0 1 0 392 3 0 0 20 0 19 0 8449721 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15226/statm: 2406260 29302 2272 9 0 2396937 0 [pid=15226/tid=15228] ppid=15223 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/15226/task/15228/stat : 15228 (java) R 15223 15226 14855 0 -1 4202560 2465 0 1 0 303 3 0 0 20 0 19 0 8449722 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384653058496 140384513165646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15229] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15229/stat : 15229 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384631159592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15230] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15230/stat : 15230 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384428616360 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15231] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15231/stat : 15231 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384427564072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15232] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15232/stat : 15232 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384426511272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15226/tid=15233] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15233/stat : 15233 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384425457960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15234] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15234/stat : 15234 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384424405160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15226/tid=15235] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15235/stat : 15235 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384423352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15226/tid=15236] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15236/stat : 15236 (java) S 15223 15226 14855 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384422300072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15237] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15237/stat : 15237 (java) S 15223 15226 14855 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8449724 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384409889512 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15238] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15238/stat : 15238 (java) S 15223 15226 14855 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384408835576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15239] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15239/stat : 15239 (java) S 15223 15226 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384407783176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15240] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15240/stat : 15240 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384406731664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15241] ppid=15223 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/15226/task/15241/stat : 15241 (java) S 15223 15226 14855 0 -1 4202560 1927 0 0 0 39 0 0 0 20 0 19 0 8449727 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384405678264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15242] ppid=15223 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/15226/task/15242/stat : 15242 (java) S 15223 15226 14855 0 -1 4202560 4579 0 0 0 47 0 0 0 20 0 19 0 8449727 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384404625464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15243] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15243/stat : 15243 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384403573368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15244] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15244/stat : 15244 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384402520776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15245] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15245/stat : 15245 (java) S 15223 15226 14855 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8449755 9856040960 29302 33554432000 1073741824 1073778376 140734213065712 140384401368488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.95 Current children cumulated vsize (KiB) 9625040 [startup+6.30082 s] /proc/loadavg: 1.96 2.07 1.80 3/213 15245 /proc/meminfo: memFree=31570620/32872528 swapFree=248296/248296 [pid=15226] ppid=15223 vsize=9625040 CPUtime=7.28 cores=0,2,4,6 /proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 10360 0 1 0 720 8 0 0 20 0 19 0 8449721 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15226/statm: 2406260 50817 2285 9 0 2396937 0 [pid=15226/tid=15228] ppid=15223 vsize=9625040 CPUtime=6.22 cores=0,2,4,6 /proc/15226/task/15228/stat : 15228 (java) R 15223 15226 14855 0 -1 4202560 2493 0 1 0 619 3 0 0 20 0 19 0 8449722 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384653057200 140384513156593 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15229] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15229/stat : 15229 (java) S 15223 15226 14855 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384631159592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15226/tid=15230] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15230/stat : 15230 (java) S 15223 15226 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384428616360 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15231] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15231/stat : 15231 (java) S 15223 15226 14855 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384427564072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15232] ppid=15223 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/15226/task/15232/stat : 15232 (java) S 15223 15226 14855 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384426511272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15233] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15233/stat : 15233 (java) S 15223 15226 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384425457960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15234] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15234/stat : 15234 (java) S 15223 15226 14855 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384424405160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15235] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15235/stat : 15235 (java) S 15223 15226 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384423352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15236] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15236/stat : 15236 (java) S 15223 15226 14855 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8449723 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384422300072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15237] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15237/stat : 15237 (java) S 15223 15226 14855 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 8449724 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384409889512 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15238] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15238/stat : 15238 (java) S 15223 15226 14855 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384408835576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15239] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15239/stat : 15239 (java) S 15223 15226 14855 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384407783176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15240] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15240/stat : 15240 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384406731664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15241] ppid=15223 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/15226/task/15241/stat : 15241 (java) S 15223 15226 14855 0 -1 4202560 1927 0 0 0 39 0 0 0 20 0 19 0 8449727 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384405678264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15242] ppid=15223 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/15226/task/15242/stat : 15242 (java) S 15223 15226 14855 0 -1 4202560 4579 0 0 0 50 0 0 0 20 0 19 0 8449727 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384404625464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15243] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15243/stat : 15243 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384403573368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15244] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15244/stat : 15244 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384402520776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15245] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15245/stat : 15245 (java) S 15223 15226 14855 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8449755 9856040960 50817 33554432000 1073741824 1073778376 140734213065712 140384401368488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 7.28 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=15226/tid=15245] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15245/stat : 15245 (java) S 15223 15226 14855 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8449755 9856040960 130108 33554432000 1073741824 1073778376 140734213065712 140384401368488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1622.14 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.13 2.09 2.01 3/213 15374 /proc/meminfo: memFree=30806964/32872528 swapFree=248296/248296 [pid=15226] ppid=15223 vsize=9625040 CPUtime=1682.82 cores=0,2,4,6 /proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 34883 0 1 0 168055 227 0 0 20 0 19 0 8449721 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15226/statm: 2406260 116601 2294 9 0 2396937 0 [pid=15226/tid=15228] ppid=15223 vsize=9625040 CPUtime=1644.44 cores=0,2,4,6 /proc/15226/task/15228/stat : 15228 (java) R 15223 15226 14855 0 -1 4202560 2898 0 1 0 164415 29 0 0 20 0 19 0 8449722 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384653057384 140384513165327 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15229] ppid=15223 vsize=9625040 CPUtime=3.59 cores=0,2,4,6 /proc/15226/task/15229/stat : 15229 (java) S 15223 15226 14855 0 -1 4202560 3103 0 0 0 331 28 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384631159592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15230] ppid=15223 vsize=9625040 CPUtime=3.35 cores=0,2,4,6 /proc/15226/task/15230/stat : 15230 (java) S 15223 15226 14855 0 -1 4202560 3166 0 0 0 314 21 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384428616360 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15231] ppid=15223 vsize=9625040 CPUtime=3.52 cores=0,2,4,6 /proc/15226/task/15231/stat : 15231 (java) S 15223 15226 14855 0 -1 4202560 3144 0 0 0 326 26 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384427564072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15232] ppid=15223 vsize=9625040 CPUtime=3.29 cores=0,2,4,6 /proc/15226/task/15232/stat : 15232 (java) S 15223 15226 14855 0 -1 4202560 2590 0 0 0 307 22 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384426511272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15233] ppid=15223 vsize=9625040 CPUtime=3.6 cores=0,2,4,6 /proc/15226/task/15233/stat : 15233 (java) S 15223 15226 14855 0 -1 4202560 3064 0 0 0 330 30 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384425457960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15234] ppid=15223 vsize=9625040 CPUtime=3.62 cores=0,2,4,6 /proc/15226/task/15234/stat : 15234 (java) S 15223 15226 14855 0 -1 4202560 2655 0 0 0 341 21 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384424405160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15235] ppid=15223 vsize=9625040 CPUtime=3.21 cores=0,2,4,6 /proc/15226/task/15235/stat : 15235 (java) S 15223 15226 14855 0 -1 4202560 1701 0 0 0 302 19 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384423352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15226/tid=15236] ppid=15223 vsize=9625040 CPUtime=3.18 cores=0,2,4,6 /proc/15226/task/15236/stat : 15236 (java) S 15223 15226 14855 0 -1 4202560 2667 0 0 0 295 23 0 0 20 0 19 0 8449723 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384422300072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15237] ppid=15223 vsize=9625040 CPUtime=5.46 cores=0,2,4,6 /proc/15226/task/15237/stat : 15237 (java) S 15223 15226 14855 0 -1 4202560 1957 0 0 0 539 7 0 0 20 0 19 0 8449724 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384409889512 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15238] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15238/stat : 15238 (java) S 15223 15226 14855 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384408835576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15239] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15239/stat : 15239 (java) S 15223 15226 14855 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384407783176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15240] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15240/stat : 15240 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384406731664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15241] ppid=15223 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/15226/task/15241/stat : 15241 (java) S 15223 15226 14855 0 -1 4202560 1977 0 0 0 47 0 0 0 20 0 19 0 8449727 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384405678264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15242] ppid=15223 vsize=9625040 CPUtime=0.65 cores=0,2,4,6 /proc/15226/task/15242/stat : 15242 (java) S 15223 15226 14855 0 -1 4202560 4602 0 0 0 65 0 0 0 20 0 19 0 8449727 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384404625464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15243] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15243/stat : 15243 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384403573368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15244] ppid=15223 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/15226/task/15244/stat : 15244 (java) S 15223 15226 14855 0 -1 4202560 95 0 0 0 27 28 0 0 20 0 19 0 8449727 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384402520776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15245] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15245/stat : 15245 (java) S 15223 15226 14855 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8449755 9856040960 116601 33554432000 1073741824 1073778376 140734213065712 140384401368488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1682.82 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.19 2.12 2.02 3/213 15376 /proc/meminfo: memFree=30693568/32872528 swapFree=248296/248296 [pid=15226] ppid=15223 vsize=9625040 CPUtime=1743.56 cores=0,2,4,6 /proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 36146 0 1 0 174122 234 0 0 20 0 19 0 8449721 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15226/statm: 2406260 101415 2294 9 0 2396937 0 [pid=15226/tid=15228] ppid=15223 vsize=9625040 CPUtime=1703.64 cores=0,2,4,6 /proc/15226/task/15228/stat : 15228 (java) R 15223 15226 14855 0 -1 4202560 2916 0 1 0 170333 31 0 0 20 0 19 0 8449722 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384653057264 140384513156598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15229] ppid=15223 vsize=9625040 CPUtime=3.72 cores=0,2,4,6 /proc/15226/task/15229/stat : 15229 (java) S 15223 15226 14855 0 -1 4202560 3228 0 0 0 343 29 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384631159592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15230] ppid=15223 vsize=9625040 CPUtime=3.49 cores=0,2,4,6 /proc/15226/task/15230/stat : 15230 (java) S 15223 15226 14855 0 -1 4202560 3405 0 0 0 327 22 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384428616360 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15231] ppid=15223 vsize=9625040 CPUtime=3.68 cores=0,2,4,6 /proc/15226/task/15231/stat : 15231 (java) S 15223 15226 14855 0 -1 4202560 3159 0 0 0 341 27 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384427564072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15232] ppid=15223 vsize=9625040 CPUtime=3.38 cores=0,2,4,6 /proc/15226/task/15232/stat : 15232 (java) S 15223 15226 14855 0 -1 4202560 2808 0 0 0 315 23 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384426511272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15233] ppid=15223 vsize=9625040 CPUtime=3.77 cores=0,2,4,6 /proc/15226/task/15233/stat : 15233 (java) S 15223 15226 14855 0 -1 4202560 3251 0 0 0 346 31 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384425457960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15234] ppid=15223 vsize=9625040 CPUtime=3.73 cores=0,2,4,6 /proc/15226/task/15234/stat : 15234 (java) S 15223 15226 14855 0 -1 4202560 2662 0 0 0 351 22 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384424405160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15226/tid=15235] ppid=15223 vsize=9625040 CPUtime=3.32 cores=0,2,4,6 /proc/15226/task/15235/stat : 15235 (java) S 15223 15226 14855 0 -1 4202560 1714 0 0 0 312 20 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384423352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15236] ppid=15223 vsize=9625040 CPUtime=3.34 cores=0,2,4,6 /proc/15226/task/15236/stat : 15236 (java) S 15223 15226 14855 0 -1 4202560 2916 0 0 0 310 24 0 0 20 0 19 0 8449723 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384422300072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15237] ppid=15223 vsize=9625040 CPUtime=5.79 cores=0,2,4,6 /proc/15226/task/15237/stat : 15237 (java) S 15223 15226 14855 0 -1 4202560 2145 0 0 0 572 7 0 0 20 0 19 0 8449724 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384409889512 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15238] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15238/stat : 15238 (java) S 15223 15226 14855 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384408835576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15239] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15239/stat : 15239 (java) S 15223 15226 14855 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384407783176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15240] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15240/stat : 15240 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384406731664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15241] ppid=15223 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/15226/task/15241/stat : 15241 (java) S 15223 15226 14855 0 -1 4202560 1977 0 0 0 47 0 0 0 20 0 19 0 8449727 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384405678264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15242] ppid=15223 vsize=9625040 CPUtime=0.65 cores=0,2,4,6 /proc/15226/task/15242/stat : 15242 (java) S 15223 15226 14855 0 -1 4202560 4602 0 0 0 65 0 0 0 20 0 19 0 8449727 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384404625464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15243] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15243/stat : 15243 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384403573368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15244] ppid=15223 vsize=9625040 CPUtime=0.57 cores=0,2,4,6 /proc/15226/task/15244/stat : 15244 (java) S 15223 15226 14855 0 -1 4202560 99 0 0 0 28 29 0 0 20 0 19 0 8449727 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384402520776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15245] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15245/stat : 15245 (java) S 15223 15226 14855 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8449755 9856040960 101415 33554432000 1073741824 1073778376 140734213065712 140384401368488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1743.56 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1778.2 s] /proc/loadavg: 2.19 2.13 2.03 3/213 15377 /proc/meminfo: memFree=30557936/32872528 swapFree=248296/248296 [pid=15226] ppid=15223 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6 /proc/15226/stat : 15226 (java) S 15223 15226 14855 0 -1 4202496 37882 0 1 0 179762 242 0 0 20 0 19 0 8449721 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140734213056848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15226/statm: 2406260 115704 2294 9 0 2396937 0 [pid=15226/tid=15228] ppid=15223 vsize=9625040 CPUtime=1758.97 cores=0,2,4,6 /proc/15226/task/15228/stat : 15228 (java) R 15223 15226 14855 0 -1 4202560 2929 0 1 0 175865 32 0 0 20 0 19 0 8449722 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384653057264 140384513156889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15229] ppid=15223 vsize=9625040 CPUtime=3.83 cores=0,2,4,6 /proc/15226/task/15229/stat : 15229 (java) S 15223 15226 14855 0 -1 4202560 3547 0 0 0 353 30 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384631159592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15230] ppid=15223 vsize=9625040 CPUtime=3.61 cores=0,2,4,6 /proc/15226/task/15230/stat : 15230 (java) S 15223 15226 14855 0 -1 4202560 3605 0 0 0 338 23 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384428616360 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15231] ppid=15223 vsize=9625040 CPUtime=3.79 cores=0,2,4,6 /proc/15226/task/15231/stat : 15231 (java) S 15223 15226 14855 0 -1 4202560 3243 0 0 0 352 27 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384427564072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15232] ppid=15223 vsize=9625040 CPUtime=3.5 cores=0,2,4,6 /proc/15226/task/15232/stat : 15232 (java) S 15223 15226 14855 0 -1 4202560 3092 0 0 0 327 23 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384426511272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15233] ppid=15223 vsize=9625040 CPUtime=3.85 cores=0,2,4,6 /proc/15226/task/15233/stat : 15233 (java) S 15223 15226 14855 0 -1 4202560 3397 0 0 0 353 32 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384425457960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15226/tid=15234] ppid=15223 vsize=9625040 CPUtime=3.82 cores=0,2,4,6 /proc/15226/task/15234/stat : 15234 (java) S 15223 15226 14855 0 -1 4202560 2770 0 0 0 360 22 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384424405160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15235] ppid=15223 vsize=9625040 CPUtime=3.44 cores=0,2,4,6 /proc/15226/task/15235/stat : 15235 (java) S 15223 15226 14855 0 -1 4202560 1958 0 0 0 324 20 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384423352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15226/tid=15236] ppid=15223 vsize=9625040 CPUtime=3.43 cores=0,2,4,6 /proc/15226/task/15236/stat : 15236 (java) S 15223 15226 14855 0 -1 4202560 3137 0 0 0 318 25 0 0 20 0 19 0 8449723 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384422300072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15237] ppid=15223 vsize=9625040 CPUtime=5.94 cores=0,2,4,6 /proc/15226/task/15237/stat : 15237 (java) S 15223 15226 14855 0 -1 4202560 2258 0 0 0 587 7 0 0 20 0 19 0 8449724 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384409889512 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15238] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15238/stat : 15238 (java) S 15223 15226 14855 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384408835576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15239] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15239/stat : 15239 (java) S 15223 15226 14855 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8449725 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384407783176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15226/tid=15240] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15240/stat : 15240 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384406731664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15241] ppid=15223 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/15226/task/15241/stat : 15241 (java) S 15223 15226 14855 0 -1 4202560 1977 0 0 0 47 0 0 0 20 0 19 0 8449727 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384405678264 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15226/tid=15242] ppid=15223 vsize=9625040 CPUtime=0.65 cores=0,2,4,6 /proc/15226/task/15242/stat : 15242 (java) S 15223 15226 14855 0 -1 4202560 4602 0 0 0 65 0 0 0 20 0 19 0 8449727 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384404625464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15243] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15243/stat : 15243 (java) S 15223 15226 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8449727 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384403573368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15244] ppid=15223 vsize=9625040 CPUtime=0.59 cores=0,2,4,6 /proc/15226/task/15244/stat : 15244 (java) S 15223 15226 14855 0 -1 4202560 103 0 0 0 29 30 0 0 20 0 19 0 8449727 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384402520776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15226/tid=15245] ppid=15223 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/15226/task/15245/stat : 15245 (java) S 15223 15226 14855 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8449755 9856040960 115704 33554432000 1073741824 1073778376 140734213065712 140384401368488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 15226 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 15226 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=418358 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=853566 # CPU time returned by wait4() is 1796.27 # while last known CPU time is 1800.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1778.26 CPU time (s): 1800.04 CPU user time (s): 1797.62 CPU system time (s): 2.42 CPU usage (%): 101.225 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.42 system time used= 2.85357 maximum resident set size= 776544 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37920 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1720 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 51768 involuntary context switches= 54084 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.5814 second user time and 13.373 second system time The end
Begin job on node103 at 2016-06-16 09:59:53 IDJOB=4090620 IDBENCH=78726 IDSOLVER=2551 FILE ID=node103/4090620-1466063993 RUNJOBID= node103-1466062136-14871 PBS_JOBID= 19904029 Free space on /tmp= 71736 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090620-1466063993/watcher-4090620-1466063993 -o /tmp/evaluation-result-4090620-1466063993/solver-4090620-1466063993 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466062136-14871 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090620-1466063993.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5089c419eb4145debb9fb5e7fd1214f5 RANDOM SEED=618081759 node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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 : 2667.278 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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 : 2667.278 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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 : 2667.278 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: 32872528 kB MemFree: 31728376 kB Buffers: 4528 kB Cached: 38008 kB SwapCached: 41816 kB Active: 131184 kB Inactive: 61540 kB Active(anon): 111280 kB Inactive(anon): 41280 kB Active(file): 19904 kB Inactive(file): 20260 kB Unevictable: 248296 kB Mlocked: 248296 kB SwapTotal: 67108856 kB SwapFree: 67059952 kB Dirty: 504 kB Writeback: 0 kB AnonPages: 411028 kB Mapped: 14952 kB Shmem: 0 kB Slab: 565116 kB SReclaimable: 9232 kB SUnreclaim: 555884 kB KernelStack: 1760 kB PageTables: 5044 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 935440 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 145408 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71736 MiB End job on node103 at 2016-06-16 10:29:31