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