Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 26 | 1800.16 | 912.153 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_021_area_delay.opb |
| MD5SUM | 5c1765191809ee7ecd7781ce5c7fb9aa |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 3.79742 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 9333 |
| Total number of constraints | 28773 |
| Number of constraints which are clauses | 28773 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 4585 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 4585 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 4585 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.11 c See www.sat4j.org for details. 0.06/0.11 c version 2.3.1.v20110525 0.06/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.11 c java.vm.version 19.1-b02 0.06/0.11 c java.vm.vendor Sun Microsystems Inc. 0.06/0.11 c sun.arch.data.model 64 0.06/0.11 c java.version 1.6.0_24 0.06/0.11 c os.name Linux 0.06/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.11 c os.arch amd64 0.06/0.11 c Free memory 9996466904 0.06/0.11 c Max memory 10048897024 0.06/0.11 c Total memory 10048897024 0.06/0.11 c Number of processors 8 0.06/0.14 c Pseudo Boolean Optimization 0.06/0.14 c ManyCore solver with 2 solvers running in parallel 0.06/0.14 c --- Begin Solver configuration --- 0.06/0.14 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.06/0.14 c Learn all clauses as in MiniSAT 0.06/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.14 c Expensive reason simplification 0.06/0.14 c Armin Biere (Picosat) restarts strategy 0.06/0.14 c Glucose learned constraints deletion strategy 0.06/0.14 c timeout=2147483s 0.06/0.14 c DB Simplification allowed=false 0.06/0.14 c --- End Solver configuration --- 0.06/0.14 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.06/0.14 c --- Begin Solver configuration --- 0.06/0.14 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.06/0.14 c Learn all clauses as in MiniSAT 0.06/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.14 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.06/0.14 c No reason simplification 0.06/0.14 c Armin Biere (Picosat) restarts strategy 0.06/0.14 c Glucose learned constraints deletion strategy 0.06/0.14 c timeout=2147483s 0.06/0.14 c DB Simplification allowed=false 0.06/0.14 c --- End Solver configuration --- 0.06/0.14 c solving HOME/instance-3735575-1338695629.opb 0.06/0.14 c reading problem ... 0.97/0.56 c ... done. Wall clock time 0.426s. 0.97/0.56 c #vars 9333 0.97/0.56 c #constraints 28773 0.97/0.56 c constraints type 0.97/0.56 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4757 0.97/0.56 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23125 0.97/0.56 c constraints type 0.97/0.56 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 23125 0.97/0.56 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4757 1.66/0.71 c And the winner is CuttingPlanes 1.77/1.09 c SATISFIABLE 1.77/1.09 c OPTIMIZING... 1.77/1.09 c Got one! Elapsed wall clock time (in seconds):0.956 1.77/1.09 o 106 1.84/1.14 c And the winner is Resolution 2.07/1.65 c Got one! Elapsed wall clock time (in seconds):1.511 2.07/1.65 o 31 2.07/1.68 c And the winner is Resolution 2.27/2.18 c Got one! Elapsed wall clock time (in seconds):2.044 2.27/2.18 o 30 2.90/2.46 c And the winner is Resolution 3.19/2.71 c Got one! Elapsed wall clock time (in seconds):2.57 3.19/2.71 o 29 5.27/3.69 c And the winner is Resolution 5.60/3.83 c Got one! Elapsed wall clock time (in seconds):3.693 5.60/3.83 o 28 9.63/5.88 c cleaning 3355 clauses out of 6724 with flag 4001/6724 15.36/8.69 c cleaning 4679 clauses out of 9368 with flag 10000/12723 21.75/11.89 c cleaning 5841 clauses out of 11691 with flag 17002/19725 29.12/15.54 c cleaning 6916 clauses out of 13848 with flag 25000/27723 37.31/19.65 c cleaning 7959 clauses out of 15932 with flag 34000/36723 46.27/24.14 c cleaning 8980 clauses out of 17973 with flag 44000/46723 56.61/29.30 c cleaning 9991 clauses out of 19993 with flag 55000/57723 67.42/34.74 c cleaning 10991 clauses out of 22002 with flag 67000/69723 78.76/40.48 c cleaning 12003 clauses out of 24011 with flag 80000/82723 92.36/47.24 c cleaning 13001 clauses out of 26009 with flag 94001/96724 106.70/54.45 c cleaning 13996 clauses out of 28007 with flag 109000/111723 121.86/62.09 c cleaning 14999 clauses out of 30012 with flag 125001/127724 137.20/69.75 c cleaning 16001 clauses out of 32012 with flag 142000/144723 153.77/78.08 c cleaning 16999 clauses out of 34012 with flag 160001/162724 171.10/86.72 c cleaning 18001 clauses out of 36013 with flag 179001/181724 189.23/95.80 c cleaning 18997 clauses out of 38012 with flag 199001/201724 207.56/105.04 c cleaning 19999 clauses out of 40014 with flag 220000/222723 225.70/114.12 c cleaning 20998 clauses out of 42015 with flag 242000/244723 244.27/123.43 c cleaning 22005 clauses out of 44017 with flag 265000/267723 268.45/135.56 c cleaning 22999 clauses out of 46013 with flag 289001/291724 274.31/138.50 c And the winner is Resolution 273.89/138.95 c Got one! Elapsed wall clock time (in seconds):138.81 273.89/138.95 o 27 277.22/140.66 c cleaning 17313 clauses out of 34634 with flag 5000/303344 281.74/142.99 c cleaning 11641 clauses out of 23321 with flag 11000/309344 287.42/145.80 c cleaning 9330 clauses out of 18681 with flag 18001/316345 294.31/149.39 c cleaning 8666 clauses out of 17350 with flag 26000/324344 302.75/153.60 c cleaning 8836 clauses out of 17685 with flag 35001/333345 311.45/158.07 c cleaning 9414 clauses out of 18850 with flag 45002/343346 321.96/163.36 c cleaning 10204 clauses out of 20434 with flag 56000/354344 334.08/169.43 c cleaning 11106 clauses out of 22230 with flag 68000/366344 346.52/175.77 c cleaning 12056 clauses out of 24125 with flag 81001/379345 360.81/182.90 c cleaning 13030 clauses out of 26068 with flag 95000/393344 374.68/189.99 c cleaning 14005 clauses out of 28038 with flag 110000/408344 389.77/197.56 c cleaning 15009 clauses out of 30033 with flag 126000/424344 406.98/206.22 c cleaning 16008 clauses out of 32024 with flag 143000/441344 423.26/214.45 c cleaning 17003 clauses out of 34016 with flag 161000/459344 438.55/222.16 c cleaning 18004 clauses out of 36014 with flag 180001/478345 460.05/232.90 c cleaning 18996 clauses out of 38009 with flag 200000/498344 482.05/244.02 c cleaning 19997 clauses out of 40013 with flag 221000/519344 501.33/253.80 c cleaning 21000 clauses out of 42017 with flag 243001/541345 522.81/264.53 c cleaning 22004 clauses out of 44016 with flag 266000/564344 545.11/275.76 c cleaning 23003 clauses out of 46012 with flag 290000/588344 568.08/287.35 c cleaning 23996 clauses out of 48009 with flag 315000/613344 592.35/299.56 c cleaning 25001 clauses out of 50013 with flag 341000/639344 620.00/313.50 c cleaning 26001 clauses out of 52012 with flag 368000/666344 644.44/325.79 c cleaning 26991 clauses out of 54012 with flag 396001/694345 667.97/337.63 c cleaning 27505 clauses out of 55021 with flag 424001/722345 693.19/350.32 c cleaning 27752 clauses out of 55515 with flag 452000/750344 718.24/362.99 c cleaning 27876 clauses out of 55763 with flag 480000/778344 732.83/370.34 c And the winner is CuttingPlanes 731.88/370.75 c Got one! Elapsed wall clock time (in seconds):370.619 731.88/370.75 o 26 736.63/373.16 c cleaning 25144 clauses out of 50299 with flag 5000/800756 742.70/376.34 c cleaning 15573 clauses out of 31155 with flag 11000/806756 749.68/379.91 c cleaning 11285 clauses out of 22582 with flag 18000/813756 757.26/383.85 c cleaning 9641 clauses out of 19298 with flag 26001/821757 765.84/388.23 c cleaning 9321 clauses out of 18656 with flag 35000/830756 775.07/393.01 c cleaning 9661 clauses out of 19336 with flag 45001/840757 785.65/398.42 c cleaning 10330 clauses out of 20677 with flag 56003/851759 796.63/404.09 c cleaning 11164 clauses out of 22344 with flag 68000/863756 807.99/409.88 c cleaning 12086 clauses out of 24181 with flag 81001/876757 822.03/417.05 c cleaning 13040 clauses out of 26094 with flag 95000/890756 835.82/424.02 c cleaning 14016 clauses out of 28054 with flag 110000/905756 850.18/431.36 c cleaning 15013 clauses out of 30038 with flag 126000/921756 866.15/439.47 c cleaning 16004 clauses out of 32025 with flag 143000/938756 882.41/447.75 c cleaning 17004 clauses out of 34021 with flag 161000/956756 899.58/456.46 c cleaning 18006 clauses out of 36017 with flag 180000/975756 917.93/465.70 c cleaning 18999 clauses out of 38012 with flag 200001/995757 938.48/476.13 c cleaning 20000 clauses out of 40013 with flag 221001/1016757 958.96/486.55 c cleaning 20995 clauses out of 42012 with flag 243000/1038756 980.95/497.67 c cleaning 22002 clauses out of 44017 with flag 266000/1061756 1001.86/508.26 c cleaning 23003 clauses out of 46015 with flag 290000/1085756 1027.57/521.25 c cleaning 24000 clauses out of 48013 with flag 315001/1110757 1050.94/533.13 c cleaning 25000 clauses out of 50013 with flag 341001/1136757 1076.07/545.87 c cleaning 25993 clauses out of 52013 with flag 368001/1163757 1101.99/558.97 c cleaning 27007 clauses out of 54019 with flag 396000/1191756 1127.94/572.05 c cleaning 27499 clauses out of 55012 with flag 424000/1219756 1153.51/585.10 c cleaning 27753 clauses out of 55515 with flag 452002/1247758 1181.22/599.08 c cleaning 27877 clauses out of 55761 with flag 480001/1275757 1206.14/611.66 c cleaning 27933 clauses out of 55883 with flag 508000/1303756 1231.85/624.68 c cleaning 27961 clauses out of 55950 with flag 536000/1331756 1260.62/639.24 c cleaning 27983 clauses out of 55989 with flag 564000/1359756 1287.13/652.60 c cleaning 27998 clauses out of 56006 with flag 592000/1387756 1312.64/665.56 c cleaning 27998 clauses out of 56008 with flag 620000/1415756 1339.53/679.16 c cleaning 28000 clauses out of 56010 with flag 648000/1443756 1367.85/693.59 c cleaning 27997 clauses out of 56010 with flag 676000/1471756 1394.93/707.22 c cleaning 27995 clauses out of 56015 with flag 704002/1499758 1420.81/720.37 c cleaning 27993 clauses out of 56018 with flag 732000/1527756 1449.68/734.94 c cleaning 28001 clauses out of 56029 with flag 760004/1555760 1478.74/749.77 c cleaning 28005 clauses out of 56024 with flag 788000/1583756 1506.00/763.52 c cleaning 27998 clauses out of 56019 with flag 816000/1611756 1532.47/776.95 c cleaning 28004 clauses out of 56022 with flag 844001/1639757 1559.15/790.50 c cleaning 28003 clauses out of 56019 with flag 872002/1667758 1586.80/804.54 c cleaning 28003 clauses out of 56016 with flag 900002/1695758 1612.85/817.75 c cleaning 27996 clauses out of 56011 with flag 928000/1723756 1641.16/832.03 c cleaning 28001 clauses out of 56015 with flag 956000/1751756 1668.22/845.70 c cleaning 28001 clauses out of 56016 with flag 984002/1779758 1696.08/859.95 c cleaning 27996 clauses out of 56013 with flag 1012000/1807756 1721.90/873.05 c cleaning 28004 clauses out of 56018 with flag 1040001/1835757 1748.12/886.36 c cleaning 28000 clauses out of 56014 with flag 1068001/1863757 1776.77/900.84 c cleaning 28002 clauses out of 56013 with flag 1096000/1891756 1798.70/912.11 c starts : 17 1798.70/912.11 c conflicts : 1254 1798.70/912.11 c decisions : 207693 1798.70/912.11 c propagations : 1201284 1798.70/912.11 c inspects : 5933431 1798.70/912.11 c shortcuts : 0 1798.70/912.11 c learnt literals : 0 1798.70/912.11 c learnt binary clauses : 0 1798.70/912.11 c learnt ternary clauses : 0 1798.70/912.11 c learnt constraints : 1252 1798.70/912.11 c ignored constraints : 0 1798.70/912.11 c root simplifications : 0 1798.70/912.11 c removed literals (reason simplification) : 0 1798.70/912.11 c reason swapping (by a shorter reason) : 0 1798.70/912.11 c Calls to reduceDB : 0 1798.70/912.11 c number of reductions to clauses (during analyze) : 0 1798.70/912.11 c number of learned constraints concerned by reduction : 0 1798.70/912.11 c number of learning phase by resolution : 0 1798.70/912.11 c number of learning phase by cutting planes : 0 1798.70/912.11 c speed (assignments/second) : 2219.0523690773066 1798.70/912.11 c non guided choices 0 1798.70/912.11 c learnt constraints type 1798.70/912.11 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 69 1798.70/912.11 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 40 1798.70/912.11 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1143 1798.70/912.11 c constraints type 1798.70/912.11 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4757 1798.70/912.11 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1798.70/912.11 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23125 1798.70/912.11 c constraints type 1798.70/912.11 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 23125 1798.70/912.11 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4757 1798.70/912.11 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1798.70/912.11 s SATISFIABLE 1798.70/912.12 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 1798.70/912.13 c objective function=26 1798.70/912.13 c Total wall clock time (in seconds): 911.996
OK 26
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735575-1338695629/watcher-3735575-1338695629 -o /tmp/evaluation-result-3735575-1338695629/solver-3735575-1338695629 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735575-1338695629.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.01 3.99 3.88 4/195 17751 /proc/meminfo: memFree=22007520/32873852 swapFree=6856/6856 [pid=17751] ppid=17749 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/17751/stat : 17751 (runsolver) D 17749 17751 4583 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 335688366 12095488 52 33554432000 4194304 5436572 140735712202768 140735712199064 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0 /proc/17751/statm: 2953 52 31 304 0 2645 0 [startup+0.0137461 s] /proc/loadavg: 4.01 3.99 3.88 4/195 17751 /proc/meminfo: memFree=22007520/32873852 swapFree=6856/6856 [pid=17751] ppid=17749 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/17751/stat : 17751 (java) D 17749 17751 4583 0 -1 4202496 298 0 0 0 0 0 0 0 20 0 1 0 335688366 2560000 47 33554432000 1073741824 1073778376 140736945544592 140736945541720 229346733351 0 0 4096 0 18446744072100588836 0 0 17 6 0 0 0 0 0 /proc/17751/statm: 625 47 37 9 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2500 [startup+0.10027 s] /proc/loadavg: 4.01 3.99 3.88 4/195 17751 /proc/meminfo: memFree=22007520/32873852 swapFree=6856/6856 [pid=17751] ppid=17749 vsize=11586392 CPUtime=0.06 cores=0,2,4,6 /proc/17751/stat : 17751 (java) S 17749 17751 4583 0 -1 4202496 4014 0 1 0 5 1 0 0 20 0 18 0 335688366 11864465408 12377 33554432000 1073741824 1073778376 140736945544592 140736945535728 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17751/statm: 2896598 12377 1778 9 0 2887285 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11586392 [startup+0.300156 s] /proc/loadavg: 4.01 3.99 3.88 4/195 17751 /proc/meminfo: memFree=22007520/32873852 swapFree=6856/6856 [pid=17751] ppid=17749 vsize=11586392 CPUtime=0.45 cores=0,2,4,6 /proc/17751/stat : 17751 (java) S 17749 17751 4583 0 -1 4202496 6264 0 1 0 43 2 0 0 20 0 18 0 335688366 11864465408 15892 33554432000 1073741824 1073778376 140736945544592 140736945535728 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17751/statm: 2896598 15892 2223 9 0 2887285 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 11586392 [startup+0.700171 s] /proc/loadavg: 4.01 3.99 3.88 4/195 17751 /proc/meminfo: memFree=22007520/32873852 swapFree=6856/6856 [pid=17751] ppid=17749 vsize=11852648 CPUtime=1.66 cores=0,2,4,6 /proc/17751/stat : 17751 (java) S 17749 17751 4583 0 -1 4202496 11760 0 1 0 162 4 0 0 20 0 22 0 335688366 12137111552 35519 33554432000 1073741824 1073778376 140736945544592 140736945535728 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17751/statm: 2963162 35519 2258 9 0 2953849 0 Current children cumulated CPU time (s) 1.66 Current children cumulated vsize (KiB) 11852648 [startup+1.5007 s] /proc/loadavg: 4.01 3.99 3.88 3/214 17773 /proc/meminfo: memFree=21872740/32873852 swapFree=6856/6856 [pid=17751] ppid=17749 vsize=11852648 CPUtime=2.07 cores=0,2,4,6 /proc/17751/stat : 17751 (java) S 17749 17751 4583 0 -1 4202496 13999 0 1 0 199 8 0 0 20 0 19 0 335688366 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140736945535728 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17751/statm: 2963162 38801 2261 9 0 2953849 0 [pid=17751/tid=17753] ppid=17749 vsize=11852648 CPUtime=0.58 cores=0,2,4,6 /proc/17751/task/17753/stat : 17753 (java) S 17749 17751 4583 0 -1 4202560 2956 0 1 0 55 3 0 0 20 0 19 0 335688368 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368531285144 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17754] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17754/stat : 17754 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335688370 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368368007336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17755] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17755/stat : 17755 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335688370 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368366954792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17756] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17756/stat : 17756 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335688370 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368365902248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17757] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17757/stat : 17757 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335688370 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368364849704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17758] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17758/stat : 17758 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335688370 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368363797160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17759] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17759/stat : 17759 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335688370 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368362744616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17760] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17760/stat : 17760 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335688370 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368361692072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17761] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17761/stat : 17761 (java) S 17749 17751 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335688370 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368360639528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17762] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17762/stat : 17762 (java) S 17749 17751 4583 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335688371 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368348440680 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17763] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17763/stat : 17763 (java) S 17749 17751 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335688372 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368347387000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17764] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17764/stat : 17764 (java) S 17749 17751 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335688372 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368346334344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17765] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17765/stat : 17765 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335688375 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368345283088 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17766] ppid=17749 vsize=11852648 CPUtime=0.53 cores=0,2,4,6 /proc/17751/task/17766/stat : 17766 (java) S 17749 17751 4583 0 -1 4202560 5243 0 0 0 53 0 0 0 20 0 19 0 335688375 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368344230456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17767] ppid=17749 vsize=11852648 CPUtime=0.58 cores=0,2,4,6 /proc/17751/task/17767/stat : 17767 (java) S 17749 17751 4583 0 -1 4202560 4493 0 0 0 57 1 0 0 20 0 19 0 335688375 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368343177912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17768] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17768/stat : 17768 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335688375 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368342125560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17769] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17769/stat : 17769 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335688375 12137111552 38801 33554432000 1073741824 1073778376 140736945544592 140368341073224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.07 Current children cumulated vsize (KiB) 11852648 [startup+3.10075 s] /proc/loadavg: 4.01 3.99 3.88 3/214 17779 /proc/meminfo: memFree=21854888/32873852 swapFree=6856/6856 [pid=17751] ppid=17749 vsize=11852648 CPUtime=4.14 cores=0,2,4,6 /proc/17751/stat : 17751 (java) S 17749 17751 4583 0 -1 4202496 14108 0 1 0 401 13 0 0 20 0 22 0 335688366 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140736945535728 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17751/statm: 2963162 44517 2266 9 0 2953849 0 [pid=17751/tid=17753] ppid=17749 vsize=11852648 CPUtime=0.67 cores=0,2,4,6 /proc/17751/task/17753/stat : 17753 (java) S 17749 17751 4583 0 -1 4202560 2960 0 1 0 64 3 0 0 20 0 22 0 335688368 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368531285144 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17754] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17754/stat : 17754 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368368007336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17755] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17755/stat : 17755 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368366954792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17756] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17756/stat : 17756 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368365902248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17757] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17757/stat : 17757 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368364849704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17758] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17758/stat : 17758 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368363797160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17759] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17759/stat : 17759 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368362744616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17760] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17760/stat : 17760 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368361692072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17761] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17761/stat : 17761 (java) S 17749 17751 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368360639528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17762] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17762/stat : 17762 (java) S 17749 17751 4583 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 335688371 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368348440680 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17763] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17763/stat : 17763 (java) S 17749 17751 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335688372 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368347387000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17764] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17764/stat : 17764 (java) S 17749 17751 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335688372 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368346334344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17765] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17765/stat : 17765 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688375 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368345283088 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17766] ppid=17749 vsize=11852648 CPUtime=0.8 cores=0,2,4,6 /proc/17751/task/17766/stat : 17766 (java) S 17749 17751 4583 0 -1 4202560 5276 0 0 0 80 0 0 0 20 0 22 0 335688375 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368344230456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17767] ppid=17749 vsize=11852648 CPUtime=0.78 cores=0,2,4,6 /proc/17751/task/17767/stat : 17767 (java) S 17749 17751 4583 0 -1 4202560 4537 0 0 0 76 2 0 0 20 0 22 0 335688375 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368343177912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17768] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17768/stat : 17768 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688375 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368342125560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17769] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17769/stat : 17769 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688375 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368341073224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17776] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17776/stat : 17776 (java) S 17749 17751 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335688480 12137111552 44517 33554432000 1073741824 1073778376 140736945544592 140368336860712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.14 Current children cumulated vsize (KiB) 11852648 [startup+6.30078 s] /proc/loadavg: 3.93 3.97 3.87 5/217 17788 /proc/meminfo: memFree=21302152/32873852 swapFree=6856/6856 [pid=17751] ppid=17749 vsize=11852648 CPUtime=10.64 cores=0,2,4,6 /proc/17751/stat : 17751 (java) S 17749 17751 4583 0 -1 4202496 14775 0 1 0 1032 32 0 0 20 0 22 0 335688366 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140736945535728 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17751/statm: 2963162 291822 2291 9 0 2953849 0 [pid=17751/tid=17753] ppid=17749 vsize=11852648 CPUtime=0.69 cores=0,2,4,6 /proc/17751/task/17753/stat : 17753 (java) S 17749 17751 4583 0 -1 4202560 2961 0 1 0 66 3 0 0 20 0 22 0 335688368 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368531285144 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17754] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17754/stat : 17754 (java) S 17749 17751 4583 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368368007336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17755] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17755/stat : 17755 (java) S 17749 17751 4583 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368366954792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17756] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17756/stat : 17756 (java) S 17749 17751 4583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368365902248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17757] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17757/stat : 17757 (java) S 17749 17751 4583 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368364849704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17758] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17758/stat : 17758 (java) S 17749 17751 4583 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368363797160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17759] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17759/stat : 17759 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368362744616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17760] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17760/stat : 17760 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368361692072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17761] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17761/stat : 17761 (java) S 17749 17751 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335688370 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368360639528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17762] ppid=17749 vsize=11852648 CPUtime=0.03 cores=0,2,4,6 /proc/17751/task/17762/stat : 17762 (java) S 17749 17751 4583 0 -1 4202560 37 0 0 0 3 0 0 0 20 0 22 0 335688371 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368348440680 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17763] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17763/stat : 17763 (java) S 17749 17751 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335688372 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368347387000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17764] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17764/stat : 17764 (java) S 17749 17751 4583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335688372 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368346334344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17765] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17765/stat : 17765 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688375 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368345283088 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17766] ppid=17749 vsize=11852648 CPUtime=0.95 cores=0,2,4,6 /proc/17751/task/17766/stat : 17766 (java) S 17749 17751 4583 0 -1 4202560 5289 0 0 0 95 0 0 0 20 0 22 0 335688375 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368344230456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17767] ppid=17749 vsize=11852648 CPUtime=0.93 cores=0,2,4,6 /proc/17751/task/17767/stat : 17767 (java) S 17749 17751 4583 0 -1 4202560 4629 0 0 0 91 2 0 0 20 0 22 0 335688375 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368343177912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17768] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17768/stat : 17768 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688375 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368342125560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17769] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17769/stat : 17769 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688375 12137111552 291822 33554432000 1073741824 1073778376 140736945544592 140368341073224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17776] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17776/stat : 17776 (java) S 17749 17751 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335688480 12137111552 292334 33554432000 1073741824 1073778376 140736945544592 140368336860712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17786] ppid=17749 vsize=11852648 CPUtime=2.37 cores=0,2,4,6 /proc/17751/task/17786/stat : 17786 (java) R 17749 17751 4583 0 -1 4202560 7 0 0 0 237 0 0 0 20 0 22 0 335688750 12137111552 292334 33554432000 1073741824 1073778376 140736945544592 140368340017320 140368404078989 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17787] ppid=17749 vsize=11852648 CPUtime=2.37 cores=0,2,4,6 /proc/17751/task/17787/stat : 17787 (java) R 17749 17751 4583 0 -1 4202560 470 0 0 0 222 15 0 0 20 0 22 0 335688750 12137111552 292334 33554432000 1073741824 1073778376 140736945544592 140368337909664 140368404406921 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17788] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17788/stat : 17788 (java) S 17749 17751 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335688750 12137111552 292334 33554432000 1073741824 1073778376 140736945544592 140368338965544 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 ################ # More data... # ################ [pid=17751/tid=17757] ppid=17749 vsize=11852648 CPUtime=1.14 cores=0,2,4,6 /proc/17751/task/17757/stat : 17757 (java) S 17749 17751 4583 0 -1 4202560 112 0 0 0 109 5 0 0 20 0 22 0 335688370 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368364849704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17758] ppid=17749 vsize=11852648 CPUtime=1.13 cores=0,2,4,6 /proc/17751/task/17758/stat : 17758 (java) S 17749 17751 4583 0 -1 4202560 90 0 0 0 109 4 0 0 20 0 22 0 335688370 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368363797160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17759] ppid=17749 vsize=11852648 CPUtime=1.18 cores=0,2,4,6 /proc/17751/task/17759/stat : 17759 (java) S 17749 17751 4583 0 -1 4202560 102 0 0 0 116 2 0 0 20 0 22 0 335688370 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368362744616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17760] ppid=17749 vsize=11852648 CPUtime=1.15 cores=0,2,4,6 /proc/17751/task/17760/stat : 17760 (java) S 17749 17751 4583 0 -1 4202560 155 0 0 0 109 6 0 0 20 0 22 0 335688370 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368361692072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17761] ppid=17749 vsize=11852648 CPUtime=1.09 cores=0,2,4,6 /proc/17751/task/17761/stat : 17761 (java) S 17749 17751 4583 0 -1 4202560 69 0 0 0 106 3 0 0 20 0 22 0 335688370 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368360639528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17762] ppid=17749 vsize=11852648 CPUtime=23.38 cores=0,2,4,6 /proc/17751/task/17762/stat : 17762 (java) S 17749 17751 4583 0 -1 4202560 144 0 0 0 2328 10 0 0 20 0 22 0 335688371 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368348440680 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17763] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17763/stat : 17763 (java) S 17749 17751 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335688372 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368347387000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17764] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17764/stat : 17764 (java) S 17749 17751 4583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335688372 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368346334344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17765] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17765/stat : 17765 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688375 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368345283088 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17766] ppid=17749 vsize=11852648 CPUtime=1.3 cores=0,2,4,6 /proc/17751/task/17766/stat : 17766 (java) S 17749 17751 4583 0 -1 4202560 5356 0 0 0 130 0 0 0 20 0 22 0 335688375 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368344230456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17767] ppid=17749 vsize=11852648 CPUtime=1.04 cores=0,2,4,6 /proc/17751/task/17767/stat : 17767 (java) S 17749 17751 4583 0 -1 4202560 4714 0 0 0 102 2 0 0 20 0 22 0 335688375 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368343177912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17768] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17768/stat : 17768 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688375 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368342125560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17769] ppid=17749 vsize=11852648 CPUtime=0.29 cores=0,2,4,6 /proc/17751/task/17769/stat : 17769 (java) S 17749 17751 4583 0 -1 4202560 51 0 0 0 16 13 0 0 20 0 22 0 335688375 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368341073224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17875] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17875/stat : 17875 (java) S 17749 17751 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335702264 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368338965928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17877] ppid=17749 vsize=11852648 CPUtime=491.02 cores=0,2,4,6 /proc/17751/task/17877/stat : 17877 (java) R 17749 17751 4583 0 -1 4202560 53 0 0 0 49094 8 0 0 20 0 22 0 335725443 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368337912656 140368403919704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17878] ppid=17749 vsize=11852648 CPUtime=491 cores=0,2,4,6 /proc/17751/task/17878/stat : 17878 (java) R 17749 17751 4583 0 -1 4202560 41 0 0 0 49091 9 0 0 20 0 22 0 335725443 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368340016096 140368403765006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17879] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17879/stat : 17879 (java) S 17749 17751 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335725443 12137111552 943638 33554432000 1073741824 1073778376 140736945544592 140368336859944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1740.12 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+912.101 s] /proc/loadavg: 4.01 4.00 3.94 5/217 17909 /proc/meminfo: memFree=18352524/32873852 swapFree=6856/6856 [pid=17751] ppid=17749 vsize=11852648 CPUtime=1798.7 cores=0,2,4,6 /proc/17751/stat : 17751 (java) S 17749 17751 4583 0 -1 4202496 17315 0 1 0 179714 156 0 0 20 0 22 0 335688366 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140736945535728 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17751/statm: 2963162 948765 2293 9 0 2953849 0 [pid=17751/tid=17753] ppid=17749 vsize=11852648 CPUtime=0.77 cores=0,2,4,6 /proc/17751/task/17753/stat : 17753 (java) S 17749 17751 4583 0 -1 4202560 3001 0 1 0 73 4 0 0 20 0 22 0 335688368 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368531285144 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17754] ppid=17749 vsize=11852648 CPUtime=1.26 cores=0,2,4,6 /proc/17751/task/17754/stat : 17754 (java) S 17749 17751 4583 0 -1 4202560 121 0 0 0 120 6 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368368007336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17755] ppid=17749 vsize=11852648 CPUtime=1.29 cores=0,2,4,6 /proc/17751/task/17755/stat : 17755 (java) S 17749 17751 4583 0 -1 4202560 136 0 0 0 124 5 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368366954792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17756] ppid=17749 vsize=11852648 CPUtime=1.19 cores=0,2,4,6 /proc/17751/task/17756/stat : 17756 (java) S 17749 17751 4583 0 -1 4202560 127 0 0 0 114 5 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368365902248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17757] ppid=17749 vsize=11852648 CPUtime=1.18 cores=0,2,4,6 /proc/17751/task/17757/stat : 17757 (java) S 17749 17751 4583 0 -1 4202560 113 0 0 0 113 5 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368364849704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17758] ppid=17749 vsize=11852648 CPUtime=1.21 cores=0,2,4,6 /proc/17751/task/17758/stat : 17758 (java) S 17749 17751 4583 0 -1 4202560 97 0 0 0 116 5 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368363797160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17759] ppid=17749 vsize=11852648 CPUtime=1.22 cores=0,2,4,6 /proc/17751/task/17759/stat : 17759 (java) S 17749 17751 4583 0 -1 4202560 102 0 0 0 120 2 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368362744616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17760] ppid=17749 vsize=11852648 CPUtime=1.22 cores=0,2,4,6 /proc/17751/task/17760/stat : 17760 (java) S 17749 17751 4583 0 -1 4202560 160 0 0 0 116 6 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368361692072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17761] ppid=17749 vsize=11852648 CPUtime=1.13 cores=0,2,4,6 /proc/17751/task/17761/stat : 17761 (java) S 17749 17751 4583 0 -1 4202560 75 0 0 0 110 3 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368360639528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17762] ppid=17749 vsize=11852648 CPUtime=24.59 cores=0,2,4,6 /proc/17751/task/17762/stat : 17762 (java) S 17749 17751 4583 0 -1 4202560 150 0 0 0 2449 10 0 0 20 0 22 0 335688371 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368348440680 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17763] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17763/stat : 17763 (java) S 17749 17751 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335688372 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368347387000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17764] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17764/stat : 17764 (java) S 17749 17751 4583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335688372 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368346334344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17765] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17765/stat : 17765 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688375 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368345283088 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17766] ppid=17749 vsize=11852648 CPUtime=1.3 cores=0,2,4,6 /proc/17751/task/17766/stat : 17766 (java) S 17749 17751 4583 0 -1 4202560 5356 0 0 0 130 0 0 0 20 0 22 0 335688375 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368344230456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17767] ppid=17749 vsize=11852648 CPUtime=1.04 cores=0,2,4,6 /proc/17751/task/17767/stat : 17767 (java) S 17749 17751 4583 0 -1 4202560 4714 0 0 0 102 2 0 0 20 0 22 0 335688375 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368343177912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17768] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17768/stat : 17768 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688375 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368342125560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17769] ppid=17749 vsize=11852648 CPUtime=0.3 cores=0,2,4,6 /proc/17751/task/17769/stat : 17769 (java) S 17749 17751 4583 0 -1 4202560 53 0 0 0 16 14 0 0 20 0 22 0 335688375 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368341073224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17875] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17875/stat : 17875 (java) S 17749 17751 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335702264 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368338965928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17877] ppid=17749 vsize=11852648 CPUtime=519.42 cores=0,2,4,6 /proc/17751/task/17877/stat : 17877 (java) R 17749 17751 4583 0 -1 4202560 53 0 0 0 51934 8 0 0 20 0 22 0 335725443 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368337910880 140368404079088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17878] ppid=17749 vsize=11852648 CPUtime=519.39 cores=0,2,4,6 /proc/17751/task/17878/stat : 17878 (java) R 17749 17751 4583 0 -1 4202560 43 0 0 0 51930 9 0 0 20 0 22 0 335725443 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368340016848 140368403774406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17879] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17879/stat : 17879 (java) S 17749 17751 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335725443 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368336859944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1798.7 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+912.101 s] /proc/loadavg: 4.01 4.00 3.94 5/217 17909 /proc/meminfo: memFree=18352524/32873852 swapFree=6856/6856 [pid=17751] ppid=17749 vsize=11852648 CPUtime=1798.7 cores=0,2,4,6 /proc/17751/stat : 17751 (java) S 17749 17751 4583 0 -1 4202496 17315 0 1 0 179714 156 0 0 20 0 22 0 335688366 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140736945535728 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17751/statm: 2963162 948765 2293 9 0 2953849 0 [pid=17751/tid=17753] ppid=17749 vsize=11852648 CPUtime=0.77 cores=0,2,4,6 /proc/17751/task/17753/stat : 17753 (java) S 17749 17751 4583 0 -1 4202560 3001 0 1 0 73 4 0 0 20 0 22 0 335688368 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368531285144 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17754] ppid=17749 vsize=11852648 CPUtime=1.26 cores=0,2,4,6 /proc/17751/task/17754/stat : 17754 (java) S 17749 17751 4583 0 -1 4202560 121 0 0 0 120 6 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368368007336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17755] ppid=17749 vsize=11852648 CPUtime=1.29 cores=0,2,4,6 /proc/17751/task/17755/stat : 17755 (java) S 17749 17751 4583 0 -1 4202560 136 0 0 0 124 5 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368366954792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17756] ppid=17749 vsize=11852648 CPUtime=1.19 cores=0,2,4,6 /proc/17751/task/17756/stat : 17756 (java) S 17749 17751 4583 0 -1 4202560 127 0 0 0 114 5 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368365902248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17757] ppid=17749 vsize=11852648 CPUtime=1.18 cores=0,2,4,6 /proc/17751/task/17757/stat : 17757 (java) S 17749 17751 4583 0 -1 4202560 113 0 0 0 113 5 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368364849704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17758] ppid=17749 vsize=11852648 CPUtime=1.21 cores=0,2,4,6 /proc/17751/task/17758/stat : 17758 (java) S 17749 17751 4583 0 -1 4202560 97 0 0 0 116 5 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368363797160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17759] ppid=17749 vsize=11852648 CPUtime=1.22 cores=0,2,4,6 /proc/17751/task/17759/stat : 17759 (java) S 17749 17751 4583 0 -1 4202560 102 0 0 0 120 2 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368362744616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17760] ppid=17749 vsize=11852648 CPUtime=1.22 cores=0,2,4,6 /proc/17751/task/17760/stat : 17760 (java) S 17749 17751 4583 0 -1 4202560 160 0 0 0 116 6 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368361692072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17761] ppid=17749 vsize=11852648 CPUtime=1.13 cores=0,2,4,6 /proc/17751/task/17761/stat : 17761 (java) S 17749 17751 4583 0 -1 4202560 75 0 0 0 110 3 0 0 20 0 22 0 335688370 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368360639528 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17762] ppid=17749 vsize=11852648 CPUtime=24.59 cores=0,2,4,6 /proc/17751/task/17762/stat : 17762 (java) S 17749 17751 4583 0 -1 4202560 150 0 0 0 2449 10 0 0 20 0 22 0 335688371 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368348440680 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17763] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17763/stat : 17763 (java) S 17749 17751 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335688372 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368347387000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17751/tid=17764] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17764/stat : 17764 (java) S 17749 17751 4583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335688372 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368346334344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17765] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17765/stat : 17765 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688375 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368345283088 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17766] ppid=17749 vsize=11852648 CPUtime=1.3 cores=0,2,4,6 /proc/17751/task/17766/stat : 17766 (java) S 17749 17751 4583 0 -1 4202560 5356 0 0 0 130 0 0 0 20 0 22 0 335688375 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368344230456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17767] ppid=17749 vsize=11852648 CPUtime=1.04 cores=0,2,4,6 /proc/17751/task/17767/stat : 17767 (java) S 17749 17751 4583 0 -1 4202560 4714 0 0 0 102 2 0 0 20 0 22 0 335688375 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368343177912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17768] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17768/stat : 17768 (java) S 17749 17751 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335688375 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368342125560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17769] ppid=17749 vsize=11852648 CPUtime=0.3 cores=0,2,4,6 /proc/17751/task/17769/stat : 17769 (java) S 17749 17751 4583 0 -1 4202560 53 0 0 0 16 14 0 0 20 0 22 0 335688375 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368341073224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17875] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17875/stat : 17875 (java) S 17749 17751 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335702264 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368338965928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17751/tid=17877] ppid=17749 vsize=11852648 CPUtime=519.42 cores=0,2,4,6 /proc/17751/task/17877/stat : 17877 (java) R 17749 17751 4583 0 -1 4202560 53 0 0 0 51934 8 0 0 20 0 22 0 335725443 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368337910880 140368404079088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=17751/tid=17878] ppid=17749 vsize=11852648 CPUtime=519.39 cores=0,2,4,6 /proc/17751/task/17878/stat : 17878 (java) R 17749 17751 4583 0 -1 4202560 43 0 0 0 51930 9 0 0 20 0 22 0 335725443 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368340016848 140368403774406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=17751/tid=17879] ppid=17749 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17751/task/17879/stat : 17879 (java) S 17749 17751 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335725443 12137111552 948765 33554432000 1073741824 1073778376 140736945544592 140368336859944 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1798.7 Current children cumulated vsize (KiB) 11852648 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17751 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=438203 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=894711 # CPU time returned by wait4() is 1796.33 # while last known CPU time is 1798.7 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.46002 # lost CPU user time (s): 1.58002 # lost CPU system time (s): -0.12 Real time (s): 912.153 CPU time (s): 1800.16 CPU user time (s): 1798.72 CPU system time (s): 1.44 CPU usage (%): 197.353 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.44 system time used= 1.89471 maximum resident set size= 3795184 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17348 page faults= 1 swaps= 0 block input operations= 0 block output operations= 984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27438 involuntary context switches= 31391 runsolver used 2.81957 second user time and 8.27774 second system time The end
Begin job on node129 at 2012-06-03 05:53:49 IDJOB=3735575 IDBENCH=24975 IDSOLVER=2328 FILE ID=node129/3735575-1338695629 RUNJOBID= node129-1338679212-13349 PBS_JOBID= 14636684 Free space on /tmp= 70484 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_021_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735575-1338695629/watcher-3735575-1338695629 -o /tmp/evaluation-result-3735575-1338695629/solver-3735575-1338695629 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735575-1338695629.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5c1765191809ee7ecd7781ce5c7fb9aa RANDOM SEED=1070252258 node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 22007412 kB Buffers: 461156 kB Cached: 5617396 kB SwapCached: 0 kB Active: 6398156 kB Inactive: 3530924 kB Active(anon): 3842112 kB Inactive(anon): 10748 kB Active(file): 2556044 kB Inactive(file): 3520176 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1272 kB Writeback: 0 kB AnonPages: 3908104 kB Mapped: 22480 kB Shmem: 204 kB Slab: 740972 kB SReclaimable: 183308 kB SUnreclaim: 557664 kB KernelStack: 1616 kB PageTables: 11524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 10456800 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 3844096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70484 MiB End job on node129 at 2012-06-03 06:09:03