Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 1800.1 | 1666.57 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_8_mh_ic.opb |
| MD5SUM | 92eaf5bbbb67d6b3b242e002852c9043 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5227195 |
| Best CPU time to get the best result obtained on this benchmark | 75.5025 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 114791256 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 4434739271 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 114791256 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 4434739271 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version 2.3.2.v20120418 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization by upper bound 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c c --- End Solver configuration --- 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3690042-1337887384.opb 0.07/0.13 c reading problem ... 1.28/0.69 c ... done. Wall clock time 0.554s. 1.28/0.69 c declared #vars 9765 1.28/0.69 c #constraints 21927 1.28/0.69 c constraints type 1.28/0.69 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.28/0.69 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1.28/0.69 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.28/0.69 c ignored satisfied constraints => 4 1.28/0.69 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.28/0.69 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 1.28/0.69 c 21931 constraints processed. 1.28/0.69 c constraints type 1.28/0.69 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.28/0.69 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.28/0.69 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.28/0.69 c ignored satisfied constraints => 4 1.28/0.69 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1.28/0.69 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.28/0.69 c 21931 constraints processed. 1.28/0.69 c objective function length is 4005 literals 3.15/1.19 c And the winner is solver1 3.52/1.20 c SATISFIABLE 3.52/1.20 c OPTIMIZING... 3.52/1.20 c Got one! Elapsed wall clock time (in seconds):1.064 3.52/1.20 o 6210510 7.55/2.94 c cleaning 2723 clauses out of 5445 with flag 5000/5457 11.28/4.73 c cleaning 4362 clauses out of 8723 with flag 11001/11458 14.87/6.59 c And the winner is solver0 15.11/6.71 c Got one! Elapsed wall clock time (in seconds):6.581 15.11/6.71 o 6181296 15.11/6.74 c And the winner is solver0 15.25/7.23 c Got one! Elapsed wall clock time (in seconds):7.09 15.25/7.23 o 5880453 15.25/7.27 c And the winner is solver0 15.40/7.73 c Got one! Elapsed wall clock time (in seconds):7.599 15.40/7.73 o 5805442 15.56/7.81 c And the winner is solver0 15.64/8.24 c Got one! Elapsed wall clock time (in seconds):8.107 15.64/8.24 o 5702176 15.79/8.34 c And the winner is solver0 15.97/8.75 c Got one! Elapsed wall clock time (in seconds):8.615 15.97/8.75 o 5668033 16.50/9.04 c And the winner is solver0 16.59/9.25 c Got one! Elapsed wall clock time (in seconds):9.121 16.59/9.25 o 5622096 18.72/10.39 c And the winner is solver0 18.97/10.76 c Got one! Elapsed wall clock time (in seconds):10.627 18.97/10.76 o 5584923 18.97/10.78 c And the winner is solver0 19.02/11.27 c Got one! Elapsed wall clock time (in seconds):11.133 19.02/11.27 o 5580856 19.02/11.28 c And the winner is solver0 19.03/11.77 c Got one! Elapsed wall clock time (in seconds):11.639 19.03/11.77 o 5576969 19.03/11.79 c And the winner is solver0 19.04/12.28 c Got one! Elapsed wall clock time (in seconds):12.145 19.04/12.28 o 5575194 19.04/12.29 c And the winner is solver0 19.04/12.78 c Got one! Elapsed wall clock time (in seconds):12.651 19.04/12.78 o 5565835 19.06/12.82 c And the winner is solver0 19.14/13.29 c Got one! Elapsed wall clock time (in seconds):13.157 19.14/13.29 o 5460022 19.15/13.31 c And the winner is solver0 19.19/13.80 c Got one! Elapsed wall clock time (in seconds):13.663 19.19/13.80 o 5441276 19.19/13.81 c And the winner is solver0 19.21/14.30 c Got one! Elapsed wall clock time (in seconds):14.169 19.21/14.30 o 5430142 19.21/14.36 c And the winner is solver0 19.35/14.81 c Got one! Elapsed wall clock time (in seconds):14.675 19.35/14.81 o 5414149 19.98/15.14 c cleaning 9185 clauses out of 18378 with flag 1001/25478 23.37/16.85 c And the winner is solver0 23.61/17.31 c Got one! Elapsed wall clock time (in seconds):17.181 23.61/17.31 o 5412599 26.18/18.62 c cleaning 9779 clauses out of 19557 with flag 5001/35842 27.64/19.45 c And the winner is solver0 27.95/19.82 c Got one! Elapsed wall clock time (in seconds):19.688 27.95/19.82 o 5408628 29.49/20.61 c cleaning 7613 clauses out of 15227 with flag 3000/41292 32.98/22.49 c cleaning 6807 clauses out of 13614 with flag 9000/47292 35.06/23.52 c And the winner is solver0 35.14/23.83 c Got one! Elapsed wall clock time (in seconds):23.694 35.14/23.83 o 5404918 36.28/24.44 c cleaning 5933 clauses out of 11876 with flag 2001/52361 39.77/26.21 c cleaning 5964 clauses out of 11942 with flag 8000/58360 41.59/27.27 c And the winner is solver0 41.93/27.52 c Got one! Elapsed wall clock time (in seconds):27.385 41.93/27.52 o 5397767 42.88/28.01 c cleaning 5604 clauses out of 11240 with flag 2000/63622 46.16/29.71 c cleaning 5807 clauses out of 11636 with flag 8000/69622 49.81/31.66 c cleaning 6413 clauses out of 12830 with flag 15001/76623 54.27/33.98 c cleaning 7203 clauses out of 14416 with flag 23000/84622 59.46/36.63 c cleaning 8104 clauses out of 16212 with flag 32000/93622 65.32/39.70 c cleaning 9048 clauses out of 18110 with flag 42002/103624 71.77/42.94 c cleaning 10026 clauses out of 20060 with flag 53000/114622 78.60/46.48 c cleaning 11001 clauses out of 22034 with flag 65000/126622 84.96/49.75 c And the winner is solver0 85.02/49.87 c Got one! Elapsed wall clock time (in seconds):49.734 85.02/49.87 o 5384005 85.27/50.05 c And the winner is solver0 85.39/50.37 c Got one! Elapsed wall clock time (in seconds):50.241 85.39/50.37 o 5348259 87.63/51.55 c cleaning 13270 clauses out of 26556 with flag 5001/142145 91.08/53.35 c cleaning 9625 clauses out of 19285 with flag 11000/148144 95.52/55.64 c cleaning 8319 clauses out of 16660 with flag 18000/155144 100.34/58.18 c cleaning 8165 clauses out of 16344 with flag 26003/163147 102.69/59.42 c And the winner is solver0 102.78/59.54 c Got one! Elapsed wall clock time (in seconds):59.407 102.78/59.54 o 5335547 103.51/59.99 c cleaning 6728 clauses out of 13475 with flag 2001/168443 106.33/61.46 c cleaning 6347 clauses out of 12747 with flag 8001/174443 107.54/62.10 c And the winner is solver0 107.54/62.19 c Got one! Elapsed wall clock time (in seconds):62.052 107.54/62.19 o 5329865 109.56/63.28 c cleaning 6143 clauses out of 12329 with flag 4002/180372 113.01/65.01 c cleaning 6084 clauses out of 12184 with flag 10000/186370 116.92/67.16 c cleaning 6539 clauses out of 13100 with flag 17000/193370 121.52/69.50 c cleaning 7258 clauses out of 14562 with flag 25001/201371 122.13/69.99 c And the winner is solver0 122.45/70.37 c Got one! Elapsed wall clock time (in seconds):70.232 122.45/70.37 o 5322667 124.52/71.48 c cleaning 6222 clauses out of 12473 with flag 4000/206540 128.11/73.33 c cleaning 6118 clauses out of 12251 with flag 10000/212540 131.20/75.06 c And the winner is solver0 131.36/75.15 c Got one! Elapsed wall clock time (in seconds):75.016 131.36/75.15 o 5305917 133.84/76.42 c cleaning 8123 clauses out of 16264 with flag 5000/222671 136.43/77.88 c cleaning 7063 clauses out of 14142 with flag 11001/228672 140.03/79.78 c cleaning 7027 clauses out of 14078 with flag 18000/235671 144.02/81.87 c And the winner is solver0 144.16/82.16 c Got one! Elapsed wall clock time (in seconds):82.024 144.16/82.16 o 5304160 146.84/83.51 c cleaning 9391 clauses out of 18805 with flag 5000/247425 150.32/85.46 c cleaning 7688 clauses out of 15416 with flag 11002/253427 154.12/87.43 c cleaning 7344 clauses out of 14726 with flag 18000/260425 158.71/89.89 c cleaning 7681 clauses out of 15382 with flag 26000/268425 163.87/92.58 c cleaning 8350 clauses out of 16701 with flag 35000/277425 169.89/95.79 c cleaning 9166 clauses out of 18352 with flag 45001/287426 176.85/99.31 c cleaning 10074 clauses out of 20185 with flag 56000/298425 184.41/103.29 c cleaning 11042 clauses out of 22111 with flag 68000/310425 192.96/107.61 c cleaning 12028 clauses out of 24069 with flag 81000/323425 197.11/109.93 c And the winner is solver0 197.11/110.11 c Got one! Elapsed wall clock time (in seconds):109.978 197.11/110.11 o 5288670 197.67/110.48 c And the winner is solver0 197.97/110.62 c Got one! Elapsed wall clock time (in seconds):110.485 197.97/110.62 o 5258790 199.74/111.53 c cleaning 12785 clauses out of 25590 with flag 4002/336977 200.46/112.05 c And the winner is solver0 200.81/112.36 c Got one! Elapsed wall clock time (in seconds):112.225 200.81/112.36 o 5243561 201.27/112.69 c And the winner is solver0 201.64/112.92 c Got one! Elapsed wall clock time (in seconds):112.783 201.64/112.92 o 5240560 203.79/114.00 c cleaning 9597 clauses out of 19195 with flag 4000/343368 207.32/115.97 c cleaning 7796 clauses out of 15597 with flag 10001/349369 211.43/118.17 c cleaning 7390 clauses out of 14799 with flag 17001/356369 216.16/120.71 c cleaning 7698 clauses out of 15410 with flag 25002/364370 221.08/123.31 c cleaning 8353 clauses out of 16710 with flag 34002/373370 226.19/126.07 c cleaning 9172 clauses out of 18356 with flag 44001/383369 231.68/128.93 c cleaning 10089 clauses out of 20185 with flag 55002/394370 238.18/132.49 c cleaning 11039 clauses out of 22094 with flag 67001/406369 245.07/136.01 c cleaning 12018 clauses out of 24054 with flag 80001/419369 246.55/136.99 c And the winner is solver0 246.73/137.48 c Got one! Elapsed wall clock time (in seconds):137.343 246.73/137.48 o 5240441 246.73/137.50 c And the winner is solver0 1800.10/1666.51 c starts : 172 1800.10/1666.51 c conflicts : 422440 1800.10/1666.51 c decisions : 1065078 1800.10/1666.51 c propagations : 144401531 1800.10/1666.51 c inspects : 554687680 1800.10/1666.51 c shortcuts : 0 1800.10/1666.51 c learnt literals : 29 1800.10/1666.51 c learnt binary clauses : 122 1800.10/1666.51 c learnt ternary clauses : 250 1800.10/1666.51 c learnt constraints : 422411 1800.10/1666.52 c ignored constraints : 0 1800.10/1666.52 c root simplifications : 0 1800.10/1666.52 c removed literals (reason simplification) : 10548306 1800.10/1666.52 c reason swapping (by a shorter reason) : 0 1800.10/1666.52 c Calls to reduceDB : 50 1800.10/1666.52 c number of reductions to clauses (during analyze) : 0 1800.10/1666.52 c number of learned constraints concerned by reduction : 0 1800.10/1666.52 c number of learning phase by resolution : 0 1800.10/1666.52 c number of learning phase by cutting planes : 0 1800.10/1666.52 c speed (assignments/second) : 86711.8662489649 1800.10/1666.52 c non guided choices 6598 1800.10/1666.52 c learnt constraints type 1800.10/1666.52 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 122 1800.10/1666.52 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14985 1800.10/1666.52 c constraints type 1800.10/1666.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1800.10/1666.52 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1800.10/1666.52 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1800.10/1666.52 c ignored satisfied constraints => 4 1800.10/1666.52 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1800.10/1666.52 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6016 1800.10/1666.52 c 21932 constraints processed. 1800.10/1666.52 c constraints type 1800.10/1666.52 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1800.10/1666.52 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1800.10/1666.52 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1800.10/1666.52 c ignored satisfied constraints => 4 1800.10/1666.52 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1800.10/1666.52 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016 1800.10/1666.52 c 21932 constraints processed. 1800.10/1666.52 s SATISFIABLE 1800.10/1666.53 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 1800.10/1666.54 c objective function=5240441 1800.10/1666.54 c Total wall clock time (in seconds): 1666.409
OK 5240441
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690042-1337887384/watcher-3690042-1337887384 -o /tmp/evaluation-result-3690042-1337887384/solver-3690042-1337887384 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690042-1337887384.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.91 3.95 3.91 4/197 25069 /proc/meminfo: memFree=25003044/32873844 swapFree=6868/6868 [pid=25069] ppid=25067 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/25069/stat : 25069 (java) D 25067 25069 20082 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 254805395 9515008 176 33554432000 1073741824 1073778376 140735289290592 140735289273320 209097409424 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/25069/statm: 2323 176 133 9 0 71 0 [startup+0.036269 s] /proc/loadavg: 3.91 3.95 3.91 4/197 25069 /proc/meminfo: memFree=25003044/32873844 swapFree=6868/6868 [pid=25069] ppid=25067 vsize=9016616 CPUtime=0.01 cores=0,2,4,6 /proc/25069/stat : 25069 (java) S 25067 25069 20082 0 -1 4202496 2781 0 1 0 1 0 0 0 20 0 10 0 254805395 9233014784 3480 33554432000 1073741824 1073778376 140736164040432 140736164031568 209100767293 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25069/statm: 2254154 3480 1538 9 0 2244855 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9016616 [startup+0.100252 s] /proc/loadavg: 3.91 3.95 3.91 4/197 25069 /proc/meminfo: memFree=25003044/32873844 swapFree=6868/6868 [pid=25069] ppid=25067 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/25069/stat : 25069 (java) S 25067 25069 20082 0 -1 4202496 3657 0 1 0 7 0 0 0 20 0 18 0 254805395 9787813888 4865 33554432000 1073741824 1073778376 140736164040432 140736164031568 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25069/statm: 2389603 4867 1933 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558412 [startup+0.300221 s] /proc/loadavg: 3.91 3.95 3.91 4/197 25069 /proc/meminfo: memFree=25003044/32873844 swapFree=6868/6868 [pid=25069] ppid=25067 vsize=9558412 CPUtime=0.47 cores=0,2,4,6 /proc/25069/stat : 25069 (java) S 25067 25069 20082 0 -1 4202496 5550 0 1 0 45 2 0 0 20 0 18 0 254805395 9787813888 9194 33554432000 1073741824 1073778376 140736164040432 140736164031568 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25069/statm: 2389603 9194 2225 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558412 [startup+0.70017 s] /proc/loadavg: 3.91 3.95 3.91 4/197 25069 /proc/meminfo: memFree=25003044/32873844 swapFree=6868/6868 [pid=25069] ppid=25067 vsize=9691540 CPUtime=1.54 cores=0,2,4,6 /proc/25069/stat : 25069 (java) S 25067 25069 20082 0 -1 4202496 16927 0 1 0 149 5 0 0 20 0 20 0 254805395 9924136960 31979 33554432000 1073741824 1073778376 140736164040432 140736164031568 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25069/statm: 2422885 31979 2245 9 0 2413578 0 Current children cumulated CPU time (s) 1.54 Current children cumulated vsize (KiB) 9691540 [startup+1.50064 s] /proc/loadavg: 4.00 3.97 3.92 7/219 25091 /proc/meminfo: memFree=24869804/32873844 swapFree=6868/6868 [pid=25069] ppid=25067 vsize=9824668 CPUtime=4.61 cores=0,2,4,6 /proc/25069/stat : 25069 (java) S 25067 25069 20082 0 -1 4202496 22999 0 1 0 450 11 0 0 20 0 22 0 254805395 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140736164031568 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25069/statm: 2456167 48080 2274 9 0 2446860 0 [pid=25069/tid=25071] ppid=25067 vsize=9824668 CPUtime=0.68 cores=0,2,4,6 /proc/25069/task/25071/stat : 25071 (java) S 25067 25069 20082 0 -1 4202560 2497 0 1 0 65 3 0 0 20 0 22 0 254805396 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140066564355064 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25072] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25072/stat : 25072 (java) S 25067 25069 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254805397 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140066536806824 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25073] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25073/stat : 25073 (java) S 25067 25069 20082 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 254805397 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140066535754280 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25074] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25074/stat : 25074 (java) S 25067 25069 20082 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254805397 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140066405525672 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25069/tid=25075] ppid=25067 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/25069/task/25075/stat : 25075 (java) S 25067 25069 20082 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254805397 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140066404473128 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25069/tid=25076] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25076/stat : 25076 (java) S 25067 25069 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254805397 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140066403421096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25069/tid=25077] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25077/stat : 25077 (java) S 25067 25069 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254805397 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140066402368552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25078] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25078/stat : 25078 (java) S 25067 25069 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254805397 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140066401315496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25069/tid=25079] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25079/stat : 25079 (java) S 25067 25069 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254805397 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140065929947944 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25080] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25080/stat : 25080 (java) S 25067 25069 20082 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 254805399 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140065917749608 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25081] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25081/stat : 25081 (java) S 25067 25069 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254805399 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140065916695928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25082] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25082/stat : 25082 (java) S 25067 25069 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254805399 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140065915642760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25083] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25083/stat : 25083 (java) S 25067 25069 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254805402 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140065914591504 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25084] ppid=25067 vsize=9824668 CPUtime=1.12 cores=0,2,4,6 /proc/25069/task/25084/stat : 25084 (java) S 25067 25069 20082 0 -1 4202560 6581 0 0 0 111 1 0 0 20 0 22 0 254805402 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140065913539384 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25085] ppid=25067 vsize=9824668 CPUtime=1.15 cores=0,2,4,6 /proc/25069/task/25085/stat : 25085 (java) R 25067 25069 20082 0 -1 4202560 12470 0 0 0 113 2 0 0 20 0 22 0 254805402 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140065912486840 140066570497936 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25086] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25086/stat : 25086 (java) S 25067 25069 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254805402 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140065911433976 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25087] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25087/stat : 25087 (java) S 25067 25069 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254805402 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140065910381640 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25091] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25091/stat : 25091 (java) S 25067 25069 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254805468 10060460032 48080 33554432000 1073741824 1073778376 140736164040432 140065906135976 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.61 Current children cumulated vsize (KiB) 9824668 [startup+3.10072 s] /proc/loadavg: 4.00 3.97 3.92 5/219 25094 /proc/meminfo: memFree=24818664/32873844 swapFree=6868/6868 [pid=25069] ppid=25067 vsize=9824668 CPUtime=7.98 cores=0,2,4,6 /proc/25069/stat : 25069 (java) S 25067 25069 20082 0 -1 4202496 23471 0 1 0 781 17 0 0 20 0 22 0 254805395 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140736164031568 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25069/statm: 2456167 65348 2287 9 0 2446860 0 [pid=25069/tid=25071] ppid=25067 vsize=9824668 CPUtime=0.68 cores=0,2,4,6 /proc/25069/task/25071/stat : 25071 (java) S 25067 25069 20082 0 -1 4202560 2497 0 1 0 65 3 0 0 20 0 22 0 254805396 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140066564355064 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25072] ppid=25067 vsize=9824668 CPUtime=0.06 cores=0,2,4,6 /proc/25069/task/25072/stat : 25072 (java) S 25067 25069 20082 0 -1 4202560 116 0 0 0 4 2 0 0 20 0 22 0 254805397 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140066536806824 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25073] ppid=25067 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/25069/task/25073/stat : 25073 (java) S 25067 25069 20082 0 -1 4202560 112 0 0 0 3 0 0 0 20 0 22 0 254805397 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140066535754280 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25074] ppid=25067 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/25069/task/25074/stat : 25074 (java) S 25067 25069 20082 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 254805397 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140066405525672 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25075] ppid=25067 vsize=9824668 CPUtime=0.05 cores=0,2,4,6 /proc/25069/task/25075/stat : 25075 (java) S 25067 25069 20082 0 -1 4202560 32 0 0 0 3 2 0 0 20 0 22 0 254805397 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140066404473128 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25076] ppid=25067 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/25069/task/25076/stat : 25076 (java) S 25067 25069 20082 0 -1 4202560 101 0 0 0 2 0 0 0 20 0 22 0 254805397 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140066403421096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25077] ppid=25067 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/25069/task/25077/stat : 25077 (java) S 25067 25069 20082 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 254805397 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140066402368552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25078] ppid=25067 vsize=9824668 CPUtime=0.04 cores=0,2,4,6 /proc/25069/task/25078/stat : 25078 (java) S 25067 25069 20082 0 -1 4202560 18 0 0 0 3 1 0 0 20 0 22 0 254805397 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140066401315496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25079] ppid=25067 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/25069/task/25079/stat : 25079 (java) S 25067 25069 20082 0 -1 4202560 81 0 0 0 1 0 0 0 20 0 22 0 254805397 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140065929947944 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25080] ppid=25067 vsize=9824668 CPUtime=0.07 cores=0,2,4,6 /proc/25069/task/25080/stat : 25080 (java) S 25067 25069 20082 0 -1 4202560 102 0 0 0 7 0 0 0 20 0 22 0 254805399 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140065917749608 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25081] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25081/stat : 25081 (java) S 25067 25069 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254805399 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140065916695928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25082] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25082/stat : 25082 (java) S 25067 25069 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254805399 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140065915642760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25083] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25083/stat : 25083 (java) S 25067 25069 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254805402 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140065914591504 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25084] ppid=25067 vsize=9824668 CPUtime=1.17 cores=0,2,4,6 /proc/25069/task/25084/stat : 25084 (java) S 25067 25069 20082 0 -1 4202560 6582 0 0 0 116 1 0 0 20 0 22 0 254805402 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140065913539384 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25085] ppid=25067 vsize=9824668 CPUtime=1.27 cores=0,2,4,6 /proc/25069/task/25085/stat : 25085 (java) S 25067 25069 20082 0 -1 4202560 12475 0 0 0 124 3 0 0 20 0 22 0 254805402 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140065912486840 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25086] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25086/stat : 25086 (java) S 25067 25069 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254805402 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140065911433976 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25087] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25087/stat : 25087 (java) S 25067 25069 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254805402 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140065910381640 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25091] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25091/stat : 25091 (java) S 25067 25069 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254805468 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140065906135976 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25092] ppid=25067 vsize=9824668 CPUtime=1.66 cores=0,2,4,6 /proc/25069/task/25092/stat : 25092 (java) R 25067 25069 20082 0 -1 4202560 7 0 0 0 166 0 0 0 20 0 22 0 254805516 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140065909293920 140066417076616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=25069/tid=25093] ppid=25067 vsize=9824668 CPUtime=1.68 cores=0,2,4,6 /proc/25069/task/25093/stat : 25093 (java) R 25067 25069 20082 0 -1 4202560 14 0 0 0 168 0 0 0 20 0 22 0 254805516 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140065908241304 140066417187947 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25094] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25094/stat : 25094 (java) S 25067 25069 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254805517 10060460032 65348 33554432000 1073741824 1073778376 140736164040432 140065907189032 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.98 Current children cumulated vsize (KiB) 9824668 [startup+6.30078 s] /proc/loadavg: 4.00 3.97 3.92 5/219 25094 /proc/meminfo: memFree=24750084/32873844 swapFree=6868/6868 [pid=25069] ppid=25067 vsize=9824668 CPUtime=14.45 cores=0,2,4,6 /proc/25069/stat : 25069 (java) S 25067 25069 20082 0 -1 4202496 23485 0 1 0 1427 18 0 0 20 0 22 0 254805395 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140736164031568 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25069/statm: 2456167 65245 2287 9 0 2446860 0 [pid=25069/tid=25071] ppid=25067 vsize=9824668 CPUtime=0.68 cores=0,2,4,6 /proc/25069/task/25071/stat : 25071 (java) S 25067 25069 20082 0 -1 4202560 2497 0 1 0 65 3 0 0 20 0 22 0 254805396 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140066564355064 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25072] ppid=25067 vsize=9824668 CPUtime=0.07 cores=0,2,4,6 /proc/25069/task/25072/stat : 25072 (java) S 25067 25069 20082 0 -1 4202560 116 0 0 0 4 3 0 0 20 0 22 0 254805397 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140066536806824 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25073] ppid=25067 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/25069/task/25073/stat : 25073 (java) S 25067 25069 20082 0 -1 4202560 112 0 0 0 3 0 0 0 20 0 22 0 254805397 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140066535754280 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25074] ppid=25067 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/25069/task/25074/stat : 25074 (java) S 25067 25069 20082 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 254805397 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140066405525672 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25075] ppid=25067 vsize=9824668 CPUtime=0.06 cores=0,2,4,6 /proc/25069/task/25075/stat : 25075 (java) S 25067 25069 20082 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 22 0 254805397 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140066404473128 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25076] ppid=25067 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/25069/task/25076/stat : 25076 (java) S 25067 25069 20082 0 -1 4202560 101 0 0 0 2 0 0 0 20 0 22 0 254805397 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140066403421096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25077] ppid=25067 vsize=9824668 CPUtime=0.04 cores=0,2,4,6 /proc/25069/task/25077/stat : 25077 (java) S 25067 25069 20082 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 254805397 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140066402368552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25078] ppid=25067 vsize=9824668 CPUtime=0.04 cores=0,2,4,6 /proc/25069/task/25078/stat : 25078 (java) S 25067 25069 20082 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 22 0 254805397 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140066401315496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25069/tid=25079] ppid=25067 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/25069/task/25079/stat : 25079 (java) S 25067 25069 20082 0 -1 4202560 82 0 0 0 2 0 0 0 20 0 22 0 254805397 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140065929947944 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25080] ppid=25067 vsize=9824668 CPUtime=0.14 cores=0,2,4,6 /proc/25069/task/25080/stat : 25080 (java) S 25067 25069 20082 0 -1 4202560 104 0 0 0 14 0 0 0 20 0 22 0 254805399 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140065917749608 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25081] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25081/stat : 25081 (java) S 25067 25069 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254805399 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140065916695928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25082] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25082/stat : 25082 (java) S 25067 25069 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254805399 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140065915642760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25083] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25083/stat : 25083 (java) S 25067 25069 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254805402 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140065914591504 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25084] ppid=25067 vsize=9824668 CPUtime=1.2 cores=0,2,4,6 /proc/25069/task/25084/stat : 25084 (java) S 25067 25069 20082 0 -1 4202560 6582 0 0 0 118 2 0 0 20 0 22 0 254805402 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140065913539384 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25085] ppid=25067 vsize=9824668 CPUtime=1.4 cores=0,2,4,6 /proc/25069/task/25085/stat : 25085 (java) S 25067 25069 20082 0 -1 4202560 12475 0 0 0 137 3 0 0 20 0 22 0 254805402 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140065912486840 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25086] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25086/stat : 25086 (java) S 25067 25069 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254805402 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140065911433976 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25087] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25087/stat : 25087 (java) S 25067 25069 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254805402 10060460032 65245 33554432000 1073741824 1073778376 140736164040432 140065910381640 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [startup+1662.3 s] /proc/loadavg: 3.01 3.05 3.22 4/219 25349 /proc/meminfo: memFree=24083936/32873844 swapFree=6868/6868 [pid=25069] ppid=25067 vsize=9824668 CPUtime=1795.89 cores=0,2,4,6 /proc/25069/stat : 25069 (java) S 25067 25069 20082 0 -1 4202496 69843 0 1 0 179154 435 0 0 20 0 21 0 254805395 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140736164031568 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25069/statm: 2456167 1004903 2288 9 0 2446860 0 [pid=25069/tid=25071] ppid=25067 vsize=9824668 CPUtime=1.24 cores=0,2,4,6 /proc/25069/task/25071/stat : 25071 (java) S 25067 25069 20082 0 -1 4202560 2555 0 1 0 106 18 0 0 20 0 21 0 254805396 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066564355192 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25072] ppid=25067 vsize=9824668 CPUtime=4.63 cores=0,2,4,6 /proc/25069/task/25072/stat : 25072 (java) S 25067 25069 20082 0 -1 4202560 2416 0 0 0 426 37 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066536806824 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25073] ppid=25067 vsize=9824668 CPUtime=4.3 cores=0,2,4,6 /proc/25069/task/25073/stat : 25073 (java) S 25067 25069 20082 0 -1 4202560 6192 0 0 0 390 40 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066535754280 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25074] ppid=25067 vsize=9824668 CPUtime=4.27 cores=0,2,4,6 /proc/25069/task/25074/stat : 25074 (java) S 25067 25069 20082 0 -1 4202560 5840 0 0 0 387 40 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066405525672 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25069/tid=25075] ppid=25067 vsize=9824668 CPUtime=4.51 cores=0,2,4,6 /proc/25069/task/25075/stat : 25075 (java) S 25067 25069 20082 0 -1 4202560 4939 0 0 0 410 41 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066404473128 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25076] ppid=25067 vsize=9824668 CPUtime=3.94 cores=0,2,4,6 /proc/25069/task/25076/stat : 25076 (java) S 25067 25069 20082 0 -1 4202560 5167 0 0 0 355 39 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066403421096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25077] ppid=25067 vsize=9824668 CPUtime=4.58 cores=0,2,4,6 /proc/25069/task/25077/stat : 25077 (java) S 25067 25069 20082 0 -1 4202560 5562 0 0 0 420 38 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066402368552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25078] ppid=25067 vsize=9824668 CPUtime=4.28 cores=0,2,4,6 /proc/25069/task/25078/stat : 25078 (java) S 25067 25069 20082 0 -1 4202560 5788 0 0 0 383 45 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066401315496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25069/tid=25079] ppid=25067 vsize=9824668 CPUtime=4.48 cores=0,2,4,6 /proc/25069/task/25079/stat : 25079 (java) S 25067 25069 20082 0 -1 4202560 5409 0 0 0 415 33 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065929947944 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25080] ppid=25067 vsize=9824668 CPUtime=20.69 cores=0,2,4,6 /proc/25069/task/25080/stat : 25080 (java) S 25067 25069 20082 0 -1 4202560 3390 0 0 0 2062 7 0 0 20 0 21 0 254805399 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065917749608 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25081] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25081/stat : 25081 (java) S 25067 25069 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 254805399 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065916695928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25082] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25082/stat : 25082 (java) S 25067 25069 20082 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 21 0 254805399 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065915642760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25083] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25083/stat : 25083 (java) S 25067 25069 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254805402 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065914591504 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25084] ppid=25067 vsize=9824668 CPUtime=1.52 cores=0,2,4,6 /proc/25069/task/25084/stat : 25084 (java) S 25067 25069 20082 0 -1 4202560 7077 0 0 0 150 2 0 0 20 0 21 0 254805402 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065913539384 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25085] ppid=25067 vsize=9824668 CPUtime=1.65 cores=0,2,4,6 /proc/25069/task/25085/stat : 25085 (java) S 25067 25069 20082 0 -1 4202560 12491 0 0 0 162 3 0 0 20 0 21 0 254805402 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065912486840 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25086] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25086/stat : 25086 (java) S 25067 25069 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254805402 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065911433976 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25087] ppid=25067 vsize=9824668 CPUtime=0.39 cores=0,2,4,6 /proc/25069/task/25087/stat : 25087 (java) S 25067 25069 20082 0 -1 4202560 95 0 0 0 20 19 0 0 20 0 21 0 254805402 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065910381640 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25094] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25094/stat : 25094 (java) S 25067 25069 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 254805517 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065907189032 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25069/tid=25187] ppid=25067 vsize=9824668 CPUtime=1503.63 cores=0,2,4,6 /proc/25069/task/25187/stat : 25187 (java) R 25067 25069 20082 0 -1 4202560 990 0 0 0 150326 37 0 0 20 0 21 0 254819144 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065906133888 140066418012945 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25188] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25188/stat : 25188 (java) S 25067 25069 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254819148 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065908241320 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1795.89 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1666.51 s] /proc/loadavg: 3.00 3.05 3.22 4/219 25349 /proc/meminfo: memFree=23780212/32873844 swapFree=6868/6868 [pid=25069] ppid=25067 vsize=9824668 CPUtime=1800.1 cores=0,2,4,6 /proc/25069/stat : 25069 (java) S 25067 25069 20082 0 -1 4202496 69843 0 1 0 179575 435 0 0 20 0 21 0 254805395 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140736164031568 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25069/statm: 2456167 1004903 2288 9 0 2446860 0 [pid=25069/tid=25071] ppid=25067 vsize=9824668 CPUtime=1.24 cores=0,2,4,6 /proc/25069/task/25071/stat : 25071 (java) S 25067 25069 20082 0 -1 4202560 2555 0 1 0 106 18 0 0 20 0 21 0 254805396 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066564355192 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25072] ppid=25067 vsize=9824668 CPUtime=4.63 cores=0,2,4,6 /proc/25069/task/25072/stat : 25072 (java) S 25067 25069 20082 0 -1 4202560 2416 0 0 0 426 37 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066536806824 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25073] ppid=25067 vsize=9824668 CPUtime=4.3 cores=0,2,4,6 /proc/25069/task/25073/stat : 25073 (java) S 25067 25069 20082 0 -1 4202560 6192 0 0 0 390 40 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066535754280 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25074] ppid=25067 vsize=9824668 CPUtime=4.27 cores=0,2,4,6 /proc/25069/task/25074/stat : 25074 (java) S 25067 25069 20082 0 -1 4202560 5840 0 0 0 387 40 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066405525672 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25069/tid=25075] ppid=25067 vsize=9824668 CPUtime=4.51 cores=0,2,4,6 /proc/25069/task/25075/stat : 25075 (java) S 25067 25069 20082 0 -1 4202560 4939 0 0 0 410 41 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066404473128 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25076] ppid=25067 vsize=9824668 CPUtime=3.94 cores=0,2,4,6 /proc/25069/task/25076/stat : 25076 (java) S 25067 25069 20082 0 -1 4202560 5167 0 0 0 355 39 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066403421096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25077] ppid=25067 vsize=9824668 CPUtime=4.58 cores=0,2,4,6 /proc/25069/task/25077/stat : 25077 (java) S 25067 25069 20082 0 -1 4202560 5562 0 0 0 420 38 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066402368552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25078] ppid=25067 vsize=9824668 CPUtime=4.28 cores=0,2,4,6 /proc/25069/task/25078/stat : 25078 (java) S 25067 25069 20082 0 -1 4202560 5788 0 0 0 383 45 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066401315496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25069/tid=25079] ppid=25067 vsize=9824668 CPUtime=4.48 cores=0,2,4,6 /proc/25069/task/25079/stat : 25079 (java) S 25067 25069 20082 0 -1 4202560 5409 0 0 0 415 33 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065929947944 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25080] ppid=25067 vsize=9824668 CPUtime=20.69 cores=0,2,4,6 /proc/25069/task/25080/stat : 25080 (java) S 25067 25069 20082 0 -1 4202560 3390 0 0 0 2062 7 0 0 20 0 21 0 254805399 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065917749608 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25081] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25081/stat : 25081 (java) S 25067 25069 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 254805399 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065916695928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25082] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25082/stat : 25082 (java) S 25067 25069 20082 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 21 0 254805399 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065915642760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25083] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25083/stat : 25083 (java) S 25067 25069 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254805402 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065914591504 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25084] ppid=25067 vsize=9824668 CPUtime=1.52 cores=0,2,4,6 /proc/25069/task/25084/stat : 25084 (java) S 25067 25069 20082 0 -1 4202560 7077 0 0 0 150 2 0 0 20 0 21 0 254805402 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065913539384 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25085] ppid=25067 vsize=9824668 CPUtime=1.65 cores=0,2,4,6 /proc/25069/task/25085/stat : 25085 (java) S 25067 25069 20082 0 -1 4202560 12491 0 0 0 162 3 0 0 20 0 21 0 254805402 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065912486840 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25086] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25086/stat : 25086 (java) S 25067 25069 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254805402 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065911433976 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25087] ppid=25067 vsize=9824668 CPUtime=0.39 cores=0,2,4,6 /proc/25069/task/25087/stat : 25087 (java) S 25067 25069 20082 0 -1 4202560 95 0 0 0 20 19 0 0 20 0 21 0 254805402 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065910381640 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25094] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25094/stat : 25094 (java) S 25067 25069 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 254805517 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065907189032 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25069/tid=25187] ppid=25067 vsize=9824668 CPUtime=1507.83 cores=0,2,4,6 /proc/25069/task/25187/stat : 25187 (java) R 25067 25069 20082 0 -1 4202560 990 0 0 0 150746 37 0 0 20 0 21 0 254819144 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065906133888 140066417457870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25188] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25188/stat : 25188 (java) S 25067 25069 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254819148 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065908241320 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1666.51 s] /proc/loadavg: 3.00 3.05 3.22 4/219 25349 /proc/meminfo: memFree=23780212/32873844 swapFree=6868/6868 [pid=25069] ppid=25067 vsize=9824668 CPUtime=1800.1 cores=0,2,4,6 /proc/25069/stat : 25069 (java) S 25067 25069 20082 0 -1 4202496 69843 0 1 0 179575 435 0 0 20 0 21 0 254805395 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140736164031568 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25069/statm: 2456167 1004903 2288 9 0 2446860 0 [pid=25069/tid=25071] ppid=25067 vsize=9824668 CPUtime=1.24 cores=0,2,4,6 /proc/25069/task/25071/stat : 25071 (java) S 25067 25069 20082 0 -1 4202560 2555 0 1 0 106 18 0 0 20 0 21 0 254805396 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066564355192 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25072] ppid=25067 vsize=9824668 CPUtime=4.63 cores=0,2,4,6 /proc/25069/task/25072/stat : 25072 (java) S 25067 25069 20082 0 -1 4202560 2416 0 0 0 426 37 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066536806824 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25073] ppid=25067 vsize=9824668 CPUtime=4.3 cores=0,2,4,6 /proc/25069/task/25073/stat : 25073 (java) S 25067 25069 20082 0 -1 4202560 6192 0 0 0 390 40 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066535754280 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25074] ppid=25067 vsize=9824668 CPUtime=4.27 cores=0,2,4,6 /proc/25069/task/25074/stat : 25074 (java) S 25067 25069 20082 0 -1 4202560 5840 0 0 0 387 40 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066405525672 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25069/tid=25075] ppid=25067 vsize=9824668 CPUtime=4.51 cores=0,2,4,6 /proc/25069/task/25075/stat : 25075 (java) S 25067 25069 20082 0 -1 4202560 4939 0 0 0 410 41 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066404473128 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25076] ppid=25067 vsize=9824668 CPUtime=3.94 cores=0,2,4,6 /proc/25069/task/25076/stat : 25076 (java) S 25067 25069 20082 0 -1 4202560 5167 0 0 0 355 39 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066403421096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25077] ppid=25067 vsize=9824668 CPUtime=4.58 cores=0,2,4,6 /proc/25069/task/25077/stat : 25077 (java) S 25067 25069 20082 0 -1 4202560 5562 0 0 0 420 38 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066402368552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25078] ppid=25067 vsize=9824668 CPUtime=4.28 cores=0,2,4,6 /proc/25069/task/25078/stat : 25078 (java) S 25067 25069 20082 0 -1 4202560 5788 0 0 0 383 45 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140066401315496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25069/tid=25079] ppid=25067 vsize=9824668 CPUtime=4.48 cores=0,2,4,6 /proc/25069/task/25079/stat : 25079 (java) S 25067 25069 20082 0 -1 4202560 5409 0 0 0 415 33 0 0 20 0 21 0 254805397 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065929947944 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25080] ppid=25067 vsize=9824668 CPUtime=20.69 cores=0,2,4,6 /proc/25069/task/25080/stat : 25080 (java) S 25067 25069 20082 0 -1 4202560 3390 0 0 0 2062 7 0 0 20 0 21 0 254805399 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065917749608 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25081] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25081/stat : 25081 (java) S 25067 25069 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 254805399 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065916695928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25082] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25082/stat : 25082 (java) S 25067 25069 20082 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 21 0 254805399 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065915642760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25083] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25083/stat : 25083 (java) S 25067 25069 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254805402 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065914591504 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25084] ppid=25067 vsize=9824668 CPUtime=1.52 cores=0,2,4,6 /proc/25069/task/25084/stat : 25084 (java) S 25067 25069 20082 0 -1 4202560 7077 0 0 0 150 2 0 0 20 0 21 0 254805402 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065913539384 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25085] ppid=25067 vsize=9824668 CPUtime=1.65 cores=0,2,4,6 /proc/25069/task/25085/stat : 25085 (java) S 25067 25069 20082 0 -1 4202560 12491 0 0 0 162 3 0 0 20 0 21 0 254805402 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065912486840 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25086] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25086/stat : 25086 (java) S 25067 25069 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254805402 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065911433976 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25069/tid=25087] ppid=25067 vsize=9824668 CPUtime=0.39 cores=0,2,4,6 /proc/25069/task/25087/stat : 25087 (java) S 25067 25069 20082 0 -1 4202560 95 0 0 0 20 19 0 0 20 0 21 0 254805402 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065910381640 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25069/tid=25094] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25094/stat : 25094 (java) S 25067 25069 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 254805517 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065907189032 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25069/tid=25187] ppid=25067 vsize=9824668 CPUtime=1507.83 cores=0,2,4,6 /proc/25069/task/25187/stat : 25187 (java) R 25067 25069 20082 0 -1 4202560 990 0 0 0 150746 37 0 0 20 0 21 0 254819144 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065906133888 140066417457870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25069/tid=25188] ppid=25067 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25069/task/25188/stat : 25188 (java) S 25067 25069 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254819148 10060460032 1004903 33554432000 1073741824 1073778376 140736164040432 140065908241320 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 9824668 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25069 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=19571 # childrusage.ru_stime.tv_sec=4 # childrusage.ru_stime.tv_usec=751277 # CPU time returned by wait4() is 1796.77 # while last known CPU time is 1800.1 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1666.57 CPU time (s): 1800.1 CPU user time (s): 1795.75 CPU system time (s): 4.35 CPU usage (%): 108.012 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.02 system time used= 4.75128 maximum resident set size= 4148404 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69867 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1568 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 77156 involuntary context switches= 32093 runsolver used 6.05208 second user time and 13.243 second system time The end
Begin job on node105 at 2012-05-24 21:23:04 IDJOB=3690042 IDBENCH=92668 IDSOLVER=2268 FILE ID=node105/3690042-1337887384 RUNJOBID= node105-1337871882-20098 PBS_JOBID= 14620099 Free space on /tmp= 71404 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_8_mh_ic.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690042-1337887384/watcher-3690042-1337887384 -o /tmp/evaluation-result-3690042-1337887384/solver-3690042-1337887384 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690042-1337887384.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 92eaf5bbbb67d6b3b242e002852c9043 RANDOM SEED=13199350 node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 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 : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 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 : 5447.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 25003044 kB Buffers: 189172 kB Cached: 2102540 kB SwapCached: 6340 kB Active: 5552056 kB Inactive: 1517140 kB Active(anon): 4764804 kB Inactive(anon): 14928 kB Active(file): 787252 kB Inactive(file): 1502212 kB Unevictable: 6868 kB Mlocked: 6868 kB SwapTotal: 67108856 kB SwapFree: 67101824 kB Dirty: 1192 kB Writeback: 0 kB AnonPages: 4806844 kB Mapped: 22472 kB Shmem: 8 kB Slab: 629968 kB SReclaimable: 72004 kB SUnreclaim: 557964 kB KernelStack: 1600 kB PageTables: 13620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 5329584 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 4511744 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71620 MiB End job on node105 at 2012-05-24 21:50:52