Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 26 | 1800.03 | 899.049 |
| 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 | 0.137978 |
| 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.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081474-1465235824.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.68/0.73 c ... done. Wall clock time 0.612s. 1.68/0.73 c declared #vars 9333 1.68/0.73 c #constraints 28773 1.68/0.73 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.68/0.73 c constraints type 1.68/0.73 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4757 1.68/0.73 c org.sat4j.minisat.constraints.cnf.UnitClause => 891 1.68/0.73 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23125 1.68/0.73 c 28773 constraints processed. 1.68/0.73 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.68/0.73 c constraints type 1.68/0.73 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 23125 1.68/0.73 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4757 1.68/0.73 c org.sat4j.pb.constraints.pb.UnitClausePB => 891 1.68/0.73 c 28773 constraints processed. 1.68/0.73 c objective function length is 4585 literals 2.83/1.04 c And the winner is solver0 3.09/1.24 c SATISFIABLE 3.09/1.24 c OPTIMIZING... 3.09/1.24 c Got one! Elapsed wall clock time (in seconds):1.125 3.09/1.24 o 34 8.36/3.62 c And the winner is solver1 8.44/3.77 c Got one! Elapsed wall clock time (in seconds):3.652 8.44/3.77 o 33 8.44/3.79 c And the winner is solver1 8.54/4.28 c Got one! Elapsed wall clock time (in seconds):4.163 8.54/4.28 o 30 9.85/4.93 c cleaning 2734 clauses out of 5479 with flag 4527/5479 16.77/8.24 c And the winner is solver1 16.77/8.29 c Got one! Elapsed wall clock time (in seconds):8.171 16.77/8.29 o 29 22.88/11.21 c cleaning 6599 clauses out of 13199 with flag 23589/15933 29.73/14.67 c cleaning 6299 clauses out of 12600 with flag 49136/21933 37.97/18.72 c cleaning 6639 clauses out of 13301 with flag 80848/28933 47.39/23.46 c cleaning 7326 clauses out of 14662 with flag 117219/36933 59.26/29.30 c cleaning 8169 clauses out of 16337 with flag 160794/45934 72.15/35.70 c cleaning 9076 clauses out of 18167 with flag 210395/55933 86.15/42.75 c cleaning 10038 clauses out of 20093 with flag 264672/66935 100.51/49.82 c cleaning 11026 clauses out of 22053 with flag 317624/78933 116.19/57.64 c cleaning 12001 clauses out of 24027 with flag 369738/91933 134.08/66.51 c cleaning 13013 clauses out of 26026 with flag 431942/105933 152.75/75.81 c cleaning 13991 clauses out of 28013 with flag 497566/120933 176.27/87.52 c cleaning 15005 clauses out of 30025 with flag 577850/136936 199.14/98.97 c cleaning 16000 clauses out of 32017 with flag 669044/153933 222.80/110.79 c cleaning 17005 clauses out of 34017 with flag 770465/171933 247.10/122.87 c cleaning 17991 clauses out of 36012 with flag 861105/190933 275.69/137.04 c cleaning 19005 clauses out of 38021 with flag 966858/210933 307.22/152.73 c cleaning 19980 clauses out of 40016 with flag 1074148/231933 340.31/169.23 c cleaning 20988 clauses out of 42036 with flag 1189821/253933 372.49/185.28 c cleaning 22007 clauses out of 44049 with flag 1322786/276934 406.20/202.08 c cleaning 23012 clauses out of 46041 with flag 1465046/300933 440.13/218.95 c cleaning 23983 clauses out of 48029 with flag 1587085/325933 477.02/237.76 c cleaning 25010 clauses out of 50046 with flag 1719987/351933 512.78/255.53 c And the winner is solver1 512.78/255.67 c Got one! Elapsed wall clock time (in seconds):255.551 512.78/255.67 o 28 519.53/259.00 c cleaning 28304 clauses out of 56615 with flag 23539/383512 526.98/262.79 c cleaning 17153 clauses out of 34311 with flag 56404/389512 535.64/267.05 c cleaning 12076 clauses out of 24158 with flag 92755/396512 546.29/272.34 c cleaning 10038 clauses out of 20082 with flag 131941/404512 557.32/277.89 c cleaning 9522 clauses out of 19044 with flag 178488/413512 568.78/283.51 c cleaning 9756 clauses out of 19522 with flag 222466/423512 571.98/285.17 c And the winner is solver1 571.99/285.23 c Got one! Elapsed wall clock time (in seconds):285.11 571.99/285.23 o 27 575.35/286.97 c cleaning 7795 clauses out of 15604 with flag 13566/429350 583.17/290.89 c cleaning 6905 clauses out of 13809 with flag 42785/435350 591.97/295.21 c cleaning 6948 clauses out of 13904 with flag 76771/442350 601.82/300.14 c cleaning 7459 clauses out of 14956 with flag 116268/450350 612.64/305.59 c cleaning 8232 clauses out of 16497 with flag 161329/459350 626.72/312.56 c cleaning 9119 clauses out of 18265 with flag 212685/469350 643.82/321.08 c cleaning 10073 clauses out of 20146 with flag 269932/480350 659.99/329.67 c cleaning 11019 clauses out of 22073 with flag 329802/492350 676.60/337.99 c cleaning 12011 clauses out of 24055 with flag 392753/505351 696.10/347.67 c cleaning 13016 clauses out of 26043 with flag 464347/519350 716.78/358.00 c cleaning 14001 clauses out of 28027 with flag 545120/534350 738.91/368.92 c cleaning 15013 clauses out of 30026 with flag 633851/550350 762.68/380.78 c cleaning 16001 clauses out of 32014 with flag 720380/567351 786.77/392.77 c cleaning 16983 clauses out of 34012 with flag 812669/585350 813.10/405.87 c cleaning 18010 clauses out of 36029 with flag 919128/604350 841.19/419.87 c cleaning 19009 clauses out of 38021 with flag 1036466/624352 869.58/433.97 c cleaning 19989 clauses out of 40010 with flag 1143743/645350 898.28/448.26 c cleaning 20988 clauses out of 42021 with flag 1258066/667350 927.99/463.00 c cleaning 22014 clauses out of 44034 with flag 1379209/690351 958.11/477.91 c cleaning 23008 clauses out of 46019 with flag 1499239/714350 986.47/492.01 c cleaning 24007 clauses out of 48014 with flag 1622225/739353 1018.22/507.83 c cleaning 24997 clauses out of 50004 with flag 1749657/765350 1055.78/526.51 c cleaning 25988 clauses out of 52009 with flag 1886066/792352 1092.89/545.09 c cleaning 27000 clauses out of 54020 with flag 2036676/820351 1135.71/566.35 c cleaning 28006 clauses out of 56019 with flag 2183921/849350 1175.68/586.22 c cleaning 29003 clauses out of 58013 with flag 2330723/879350 1215.85/606.11 c cleaning 30000 clauses out of 60010 with flag 2477007/910350 1257.53/627.59 c cleaning 30980 clauses out of 62010 with flag 2640663/942350 1295.71/646.59 c cleaning 32012 clauses out of 64030 with flag 2805967/975350 1339.97/668.54 c cleaning 33001 clauses out of 66018 with flag 2981318/1009350 1385.98/691.49 c cleaning 33994 clauses out of 68017 with flag 3168832/1044350 1433.74/715.12 c cleaning 35003 clauses out of 70023 with flag 3367175/1080350 1477.51/736.92 c cleaning 35991 clauses out of 72020 with flag 3563208/1117350 1520.08/758.15 c cleaning 37008 clauses out of 74029 with flag 3754995/1155350 1570.23/783.12 c cleaning 38011 clauses out of 76022 with flag 3966312/1194351 1592.64/794.23 c And the winner is solver1 1592.64/794.48 c Got one! Elapsed wall clock time (in seconds):794.364 1592.64/794.48 o 26 1598.06/797.27 c cleaning 29891 clauses out of 59795 with flag 22233/1216135 1604.85/800.60 c cleaning 17947 clauses out of 35904 with flag 50971/1222135 1613.25/804.86 c cleaning 12479 clauses out of 24957 with flag 89122/1229135 1623.83/810.04 c cleaning 10216 clauses out of 20478 with flag 131956/1237135 1636.26/816.11 c cleaning 9631 clauses out of 19262 with flag 180947/1246135 1648.86/822.41 c cleaning 9808 clauses out of 19631 with flag 240963/1256135 1663.33/829.52 c cleaning 10401 clauses out of 20823 with flag 302414/1267135 1678.12/836.94 c cleaning 11199 clauses out of 22422 with flag 369453/1279135 1693.71/844.72 c cleaning 12091 clauses out of 24223 with flag 438404/1292135 1712.65/855.40 c cleaning 13058 clauses out of 26133 with flag 511781/1306136 1728.26/863.28 c cleaning 14035 clauses out of 28074 with flag 595398/1321135 1749.33/873.71 c cleaning 15007 clauses out of 30039 with flag 687589/1337135 1773.72/885.99 c cleaning 16000 clauses out of 32032 with flag 795096/1354135 1799.65/898.83 c cleaning 17008 clauses out of 34032 with flag 898389/1372135 1800.03/899.00 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.03/899.00 c starts : 21425 1800.03/899.00 c conflicts : 1372352 1800.03/899.00 c decisions : 10287166 1800.03/899.00 c propagations : 4087625727 1800.03/899.00 c inspects : 4757619650 1800.03/899.00 c shortcuts : 0 1800.03/899.00 c learnt literals : 0 1800.03/899.00 c learnt binary clauses : 0 1800.03/899.00 c learnt ternary clauses : 32 1800.03/899.00 c learnt constraints : 1372352 1800.03/899.00 c ignored constraints : 0 1800.03/899.00 c root simplifications : 0 1800.03/899.00 c removed literals (reason simplification) : 7415508 1800.03/899.00 c reason swapping (by a shorter reason) : 0 1800.03/899.00 c Calls to reduceDB : 78 1800.03/899.00 c Number of update (reduction) of LBD : 675325 1800.03/899.00 c Imported unit clauses : 0 1800.03/899.00 c number of reductions to clauses (during analyze) : 0 1800.03/899.00 c number of learned constraints concerned by reduction : 0 1800.03/899.00 c number of learning phase by resolution : 0 1800.03/899.00 c number of learning phase by cutting planes : 0 1800.03/899.00 c speed (assignments/second) : 3.9110809039937235E7 1800.03/899.00 c non guided choices 0 1800.03/899.01 c learnt constraints type 1800.03/899.01 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17242 1800.03/899.01 c >>>>>>>>>> Solver number 1 (6 answers) <<<<<<<<<<<<<<<<<< 1800.03/899.01 c starts : 21 1800.03/899.01 c conflicts : 2365 1800.03/899.01 c decisions : 441749 1800.03/899.01 c propagations : 1832758 1800.03/899.01 c inspects : 26605216 1800.03/899.01 c shortcuts : 0 1800.03/899.01 c learnt literals : 0 1800.03/899.01 c learnt binary clauses : 0 1800.03/899.01 c learnt ternary clauses : 0 1800.03/899.01 c learnt constraints : 2364 1800.03/899.01 c ignored constraints : 0 1800.03/899.01 c root simplifications : 0 1800.03/899.01 c removed literals (reason simplification) : 0 1800.03/899.01 c reason swapping (by a shorter reason) : 0 1800.03/899.01 c Calls to reduceDB : 0 1800.03/899.01 c Number of update (reduction) of LBD : 0 1800.03/899.01 c Imported unit clauses : 0 1800.03/899.01 c number of reductions to clauses (during analyze) : 0 1800.03/899.01 c number of learned constraints concerned by reduction : 0 1800.03/899.01 c number of learning phase by resolution : 0 1800.03/899.01 c number of learning phase by cutting planes : 0 1800.03/899.01 c speed (assignments/second) : 2041.5288202125787 1800.03/899.01 c non guided choices 0 1800.03/899.01 c learnt constraints type 1800.03/899.01 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 191 1800.03/899.01 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 90 1800.03/899.01 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2083 1800.03/899.01 s SATISFIABLE 1800.03/899.01 c Found 7 solution(s) 1800.03/899.02 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 1800.03/899.03 c objective function=26 1800.03/899.03 c Total wall clock time (in seconds): 898.917
OK 26
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4081474-1465235824/watcher-4081474-1465235824 -o /tmp/evaluation-result-4081474-1465235824/solver-4081474-1465235824 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21442 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081474-1465235824.opb pid=27605 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.03 4.03 4.00 4/197 27608 /proc/meminfo: memFree=28821720/32872528 swapFree=12328/568296 [pid=27608] ppid=27605 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/27608/stat : 27608 (java) D 27605 27608 21426 0 -1 4202496 522 0 0 0 0 0 0 0 20 0 1 0 105515011 9515008 176 33554432000 1073741824 1073778376 140734843216192 140734843198920 206629061520 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0 /proc/27608/statm: 2323 182 139 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 4.03 4.03 4.00 4/197 27608 /proc/meminfo: memFree=28821720/32872528 swapFree=12328/568296 [pid=27608] ppid=27605 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/27608/stat : 27608 (java) S 27605 27608 21426 0 -1 4202496 4411 0 1 0 8 1 0 0 20 0 18 0 105515011 9787879424 6039 33554432000 1073741824 1073778376 140734843216192 140734843207328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27608/statm: 2389619 6039 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200213 s] /proc/loadavg: 4.03 4.03 4.00 4/197 27608 /proc/meminfo: memFree=28821720/32872528 swapFree=12328/568296 [pid=27608] ppid=27605 vsize=9558476 CPUtime=0.28 cores=0,2,4,6 /proc/27608/stat : 27608 (java) S 27605 27608 21426 0 -1 4202496 5017 0 1 0 27 1 0 0 20 0 18 0 105515011 9787879424 6885 33554432000 1073741824 1073778376 140734843216192 140734843207328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27608/statm: 2389619 6885 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300219 s] /proc/loadavg: 4.03 4.03 4.00 4/197 27608 /proc/meminfo: memFree=28821720/32872528 swapFree=12328/568296 [pid=27608] ppid=27605 vsize=9558476 CPUtime=0.5 cores=0,2,4,6 /proc/27608/stat : 27608 (java) S 27605 27608 21426 0 -1 4202496 6270 0 1 0 49 1 0 0 20 0 18 0 105515011 9787879424 9044 33554432000 1073741824 1073778376 140734843216192 140734843207328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27608/statm: 2389619 9044 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700188 s] /proc/loadavg: 4.03 4.03 4.00 4/197 27608 /proc/meminfo: memFree=28821720/32872528 swapFree=12328/568296 [pid=27608] ppid=27605 vsize=9559664 CPUtime=1.68 cores=0,2,4,6 /proc/27608/stat : 27608 (java) S 27605 27608 21426 0 -1 4202496 26575 0 1 0 162 6 0 0 20 0 18 0 105515011 9789095936 38322 33554432000 1073741824 1073778376 140734843216192 140734843207328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27608/statm: 2389916 38322 2250 9 0 2380593 0 Current children cumulated CPU time (s) 1.68 Current children cumulated vsize (KiB) 9559664 [startup+1.50074 s] /proc/loadavg: 4.19 4.06 4.01 3/216 27630 /proc/meminfo: memFree=28671844/32872528 swapFree=12328/568296 [pid=27608] ppid=27605 vsize=9824732 CPUtime=3.87 cores=0,2,4,6 /proc/27608/stat : 27608 (java) S 27605 27608 21426 0 -1 4202496 28124 0 1 0 379 8 0 0 20 0 22 0 105515011 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140734843207328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27608/statm: 2456183 41706 2272 9 0 2446860 0 [pid=27608/tid=27610] ppid=27605 vsize=9824732 CPUtime=0.73 cores=0,2,4,6 /proc/27608/task/27610/stat : 27610 (java) S 27605 27608 21426 0 -1 4202560 2457 0 1 0 71 2 0 0 20 0 22 0 105515012 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140115138454392 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27611] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27611/stat : 27611 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140115127516200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27612] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27612/stat : 27612 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140115126463400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27613] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27613/stat : 27613 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140115125410600 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27614] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27614/stat : 27614 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140115124357800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27608/tid=27615] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27615/stat : 27615 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140115123305000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27616] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27616/stat : 27616 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140115122252200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27608/tid=27617] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27617/stat : 27617 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140114975734056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27618] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27618/stat : 27618 (java) S 27605 27608 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140114974681256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27619] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27619/stat : 27619 (java) S 27605 27608 21426 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105515014 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140114962484200 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27620] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27620/stat : 27620 (java) S 27605 27608 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105515014 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140114961430264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27621] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27621/stat : 27621 (java) S 27605 27608 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105515014 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140114960377352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27622] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27622/stat : 27622 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515017 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140114959325840 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27623] ppid=27605 vsize=9824732 CPUtime=1.02 cores=0,2,4,6 /proc/27608/task/27623/stat : 27623 (java) S 27605 27608 21426 0 -1 4202560 10755 0 0 0 101 1 0 0 20 0 22 0 105515017 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140114958272952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27624] ppid=27605 vsize=9824732 CPUtime=1.03 cores=0,2,4,6 /proc/27608/task/27624/stat : 27624 (java) S 27605 27608 21426 0 -1 4202560 13573 0 0 0 99 4 0 0 20 0 22 0 105515017 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140114957220152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27625] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27625/stat : 27625 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515017 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140114956167544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27626] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27626/stat : 27626 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515017 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140114955114952 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27629] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27629/stat : 27629 (java) S 27605 27608 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105515089 10060525568 41706 33554432000 1073741824 1073778376 140734843216192 140114954061224 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.87 Current children cumulated vsize (KiB) 9824732 [startup+3.10084 s] /proc/loadavg: 4.19 4.06 4.01 5/219 27633 /proc/meminfo: memFree=28644592/32872528 swapFree=12328/568296 [pid=27608] ppid=27605 vsize=9824732 CPUtime=7.32 cores=0,2,4,6 /proc/27608/stat : 27608 (java) S 27605 27608 21426 0 -1 4202496 28144 0 1 0 723 9 0 0 20 0 22 0 105515011 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140734843207328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27608/statm: 2456183 44790 2273 9 0 2446860 0 [pid=27608/tid=27610] ppid=27605 vsize=9824732 CPUtime=0.73 cores=0,2,4,6 /proc/27608/task/27610/stat : 27610 (java) S 27605 27608 21426 0 -1 4202560 2457 0 1 0 71 2 0 0 20 0 22 0 105515012 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140115138454392 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27611] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27611/stat : 27611 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140115127516200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27612] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27612/stat : 27612 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140115126463400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27613] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27613/stat : 27613 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140115125410600 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27614] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27614/stat : 27614 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140115124357800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27608/tid=27615] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27615/stat : 27615 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140115123305000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27616] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27616/stat : 27616 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140115122252200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27608/tid=27617] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27617/stat : 27617 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140114975734056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27618] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27618/stat : 27618 (java) S 27605 27608 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140114974681256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27619] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27619/stat : 27619 (java) S 27605 27608 21426 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105515014 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140114962484200 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27620] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27620/stat : 27620 (java) S 27605 27608 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105515014 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140114961430264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27621] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27621/stat : 27621 (java) S 27605 27608 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105515014 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140114960377352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27622] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27622/stat : 27622 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515017 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140114959325840 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27623] ppid=27605 vsize=9824732 CPUtime=1.19 cores=0,2,4,6 /proc/27608/task/27623/stat : 27623 (java) S 27605 27608 21426 0 -1 4202560 10756 0 0 0 117 2 0 0 20 0 22 0 105515017 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140114958272952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27624] ppid=27605 vsize=9824732 CPUtime=1.12 cores=0,2,4,6 /proc/27608/task/27624/stat : 27624 (java) S 27605 27608 21426 0 -1 4202560 13573 0 0 0 108 4 0 0 20 0 22 0 105515017 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140114957220152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27625] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27625/stat : 27625 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515017 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140114956167544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27626] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27626/stat : 27626 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515017 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140114955114952 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27629] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27629/stat : 27629 (java) S 27605 27608 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105515089 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140114954061224 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27608/tid=27631] ppid=27605 vsize=9824732 CPUtime=1.79 cores=0,2,4,6 /proc/27608/task/27631/stat : 27631 (java) R 27605 27608 21426 0 -1 4202560 5 0 0 0 179 0 0 0 20 0 22 0 105515138 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140114951790976 140115004711425 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27632] ppid=27605 vsize=9824732 CPUtime=1.8 cores=0,2,4,6 /proc/27608/task/27632/stat : 27632 (java) R 27605 27608 21426 0 -1 4202560 21 0 0 0 180 0 0 0 20 0 22 0 105515138 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140114952843672 140115004528270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27633] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27633/stat : 27633 (java) S 27605 27608 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105515139 10060525568 44790 33554432000 1073741824 1073778376 140734843216192 140114950738856 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.32 Current children cumulated vsize (KiB) 9824732 [startup+6.30087 s] /proc/loadavg: 4.19 4.06 4.01 5/219 27639 /proc/meminfo: memFree=28543564/32872528 swapFree=12328/568296 [pid=27608] ppid=27605 vsize=9824732 CPUtime=12.83 cores=0,2,4,6 /proc/27608/stat : 27608 (java) S 27605 27608 21426 0 -1 4202496 28234 0 1 0 1270 13 0 0 20 0 22 0 105515011 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140734843207328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27608/statm: 2456183 53854 2293 9 0 2446860 0 [pid=27608/tid=27610] ppid=27605 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/27608/task/27610/stat : 27610 (java) S 27605 27608 21426 0 -1 4202560 2459 0 1 0 73 2 0 0 20 0 22 0 105515012 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140115138454392 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27611] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27611/stat : 27611 (java) S 27605 27608 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140115127516200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27612] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27612/stat : 27612 (java) S 27605 27608 21426 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140115126463400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27613] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27613/stat : 27613 (java) S 27605 27608 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140115125410600 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27614] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27614/stat : 27614 (java) S 27605 27608 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140115124357800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27608/tid=27615] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27615/stat : 27615 (java) S 27605 27608 21426 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140115123305000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27608/tid=27616] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27616/stat : 27616 (java) S 27605 27608 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140115122252200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27617] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27617/stat : 27617 (java) S 27605 27608 21426 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140114975734056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27618] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27618/stat : 27618 (java) S 27605 27608 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105515013 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140114974681256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27619] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27619/stat : 27619 (java) S 27605 27608 21426 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105515014 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140114962484200 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27620] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27620/stat : 27620 (java) S 27605 27608 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105515014 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140114961430264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27621] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27621/stat : 27621 (java) S 27605 27608 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105515014 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140114960377352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27622] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27622/stat : 27622 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515017 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140114959325840 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27623] ppid=27605 vsize=9824732 CPUtime=1.46 cores=0,2,4,6 /proc/27608/task/27623/stat : 27623 (java) S 27605 27608 21426 0 -1 4202560 10762 0 0 0 144 2 0 0 20 0 22 0 105515017 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140114958272952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27624] ppid=27605 vsize=9824732 CPUtime=1.27 cores=0,2,4,6 /proc/27608/task/27624/stat : 27624 (java) S 27605 27608 21426 0 -1 4202560 13577 0 0 0 123 4 0 0 20 0 22 0 105515017 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140114957220152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27625] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27625/stat : 27625 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515017 10060525568 53854 33554432000 1073741824 1073778376 140734843216192 140114956167544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27626] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [pid=27608/tid=27618] ppid=27605 vsize=9824732 CPUtime=1.94 cores=0,2,4,6 /proc/27608/task/27618/stat : 27618 (java) S 27605 27608 21426 0 -1 4202560 2774 0 0 0 179 15 0 0 20 0 22 0 105515013 10060525568 399506 33554432000 1073741824 1073778376 140734843216192 140114974681256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27608/tid=27619] ppid=27605 vsize=9824732 CPUtime=3.65 cores=0,2,4,6 /proc/27608/task/27619/stat : 27619 (java) S 27605 27608 21426 0 -1 4202560 1082 0 0 0 358 7 0 0 20 0 22 0 105515014 10060525568 399506 33554432000 1073741824 1073778376 140734843216192 140114962484200 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27620] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27620/stat : 27620 (java) S 27605 27608 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105515014 10060525568 399506 33554432000 1073741824 1073778376 140734843216192 140114961430264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27621] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27621/stat : 27621 (java) S 27605 27608 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 105515014 10060525568 399506 33554432000 1073741824 1073778376 140734843216192 140114960377352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27622] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27622/stat : 27622 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515017 10060525568 399506 33554432000 1073741824 1073778376 140734843216192 140114959325840 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27623] ppid=27605 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/27608/task/27623/stat : 27623 (java) S 27605 27608 21426 0 -1 4202560 10770 0 0 0 161 2 0 0 20 0 22 0 105515017 10060525568 399506 33554432000 1073741824 1073778376 140734843216192 140114958272952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27608/tid=27624] ppid=27605 vsize=9824732 CPUtime=1.71 cores=0,2,4,6 /proc/27608/task/27624/stat : 27624 (java) S 27605 27608 21426 0 -1 4202560 13596 0 0 0 167 4 0 0 20 0 22 0 105515017 10060525568 399506 33554432000 1073741824 1073778376 140734843216192 140114957220152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27625] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27625/stat : 27625 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515017 10060525568 399506 33554432000 1073741824 1073778376 140734843216192 140114956167544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27626] ppid=27605 vsize=9824732 CPUtime=0.15 cores=0,2,4,6 /proc/27608/task/27626/stat : 27626 (java) S 27605 27608 21426 0 -1 4202560 47 0 0 0 7 8 0 0 20 0 22 0 105515017 10060525568 399506 33554432000 1073741824 1073778376 140734843216192 140114955114952 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27633] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27633/stat : 27633 (java) S 27605 27608 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105515139 10060525568 399506 33554432000 1073741824 1073778376 140734843216192 140114950738856 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27795] ppid=27605 vsize=9824732 CPUtime=27.48 cores=0,2,4,6 /proc/27608/task/27795/stat : 27795 (java) R 27605 27608 21426 0 -1 4202560 3 0 0 0 2748 0 0 0 20 0 22 0 105594460 10060525568 399506 33554432000 1073741824 1073778376 140734843216192 140114951782160 140115003861936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27796] ppid=27605 vsize=9824732 CPUtime=27.49 cores=0,2,4,6 /proc/27608/task/27796/stat : 27796 (java) R 27605 27608 21426 0 -1 4202560 4 0 0 0 2749 0 0 0 20 0 22 0 105594460 10060525568 399506 33554432000 1073741824 1073778376 140734843216192 140114954058544 140115004527863 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27797] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27797/stat : 27797 (java) S 27605 27608 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105594460 10060525568 399506 33554432000 1073741824 1073778376 140734843216192 140114952844968 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1645.15 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.66 4.35 4.15 5/219 27799 /proc/meminfo: memFree=26113376/32872528 swapFree=12328/568296 [pid=27608] ppid=27605 vsize=9824732 CPUtime=1763.03 cores=0,2,4,6 /proc/27608/stat : 27608 (java) S 27605 27608 21426 0 -1 4202496 43470 0 1 0 176102 201 0 0 20 0 22 0 105515011 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140734843207328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27608/statm: 2456183 424002 2302 9 0 2446860 0 [pid=27608/tid=27610] ppid=27605 vsize=9824732 CPUtime=0.8 cores=0,2,4,6 /proc/27608/task/27610/stat : 27610 (java) S 27605 27608 21426 0 -1 4202560 2468 0 1 0 77 3 0 0 20 0 22 0 105515012 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140115138454392 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27611] ppid=27605 vsize=9824732 CPUtime=2.68 cores=0,2,4,6 /proc/27608/task/27611/stat : 27611 (java) S 27605 27608 21426 0 -1 4202560 1513 0 0 0 248 20 0 0 20 0 22 0 105515013 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140115127516200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27612] ppid=27605 vsize=9824732 CPUtime=2.47 cores=0,2,4,6 /proc/27608/task/27612/stat : 27612 (java) S 27605 27608 21426 0 -1 4202560 1477 0 0 0 228 19 0 0 20 0 22 0 105515013 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140115126463400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27613] ppid=27605 vsize=9824732 CPUtime=2.38 cores=0,2,4,6 /proc/27608/task/27613/stat : 27613 (java) S 27605 27608 21426 0 -1 4202560 1222 0 0 0 218 20 0 0 20 0 22 0 105515013 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140115125410600 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27614] ppid=27605 vsize=9824732 CPUtime=2.38 cores=0,2,4,6 /proc/27608/task/27614/stat : 27614 (java) S 27605 27608 21426 0 -1 4202560 1344 0 0 0 220 18 0 0 20 0 22 0 105515013 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140115124357800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27615] ppid=27605 vsize=9824732 CPUtime=2.46 cores=0,2,4,6 /proc/27608/task/27615/stat : 27615 (java) S 27605 27608 21426 0 -1 4202560 1918 0 0 0 227 19 0 0 20 0 22 0 105515013 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140115123305000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27616] ppid=27605 vsize=9824732 CPUtime=2.54 cores=0,2,4,6 /proc/27608/task/27616/stat : 27616 (java) S 27605 27608 21426 0 -1 4202560 1553 0 0 0 233 21 0 0 20 0 22 0 105515013 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140115122252200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27617] ppid=27605 vsize=9824732 CPUtime=2.56 cores=0,2,4,6 /proc/27608/task/27617/stat : 27617 (java) S 27605 27608 21426 0 -1 4202560 1717 0 0 0 238 18 0 0 20 0 22 0 105515013 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140114975734056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27618] ppid=27605 vsize=9824732 CPUtime=2.03 cores=0,2,4,6 /proc/27608/task/27618/stat : 27618 (java) S 27605 27608 21426 0 -1 4202560 2803 0 0 0 188 15 0 0 20 0 22 0 105515013 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140114974681256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27619] ppid=27605 vsize=9824732 CPUtime=6.35 cores=0,2,4,6 /proc/27608/task/27619/stat : 27619 (java) S 27605 27608 21426 0 -1 4202560 1494 0 0 0 627 8 0 0 20 0 22 0 105515014 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140114962484200 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27620] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27620/stat : 27620 (java) S 27605 27608 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105515014 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140114961430264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27608/tid=27621] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27621/stat : 27621 (java) S 27605 27608 21426 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 105515014 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140114960377352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27622] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27622/stat : 27622 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515017 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140114959325840 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27623] ppid=27605 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/27608/task/27623/stat : 27623 (java) S 27605 27608 21426 0 -1 4202560 10770 0 0 0 161 2 0 0 20 0 22 0 105515017 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140114958272952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27608/tid=27624] ppid=27605 vsize=9824732 CPUtime=1.71 cores=0,2,4,6 /proc/27608/task/27624/stat : 27624 (java) S 27605 27608 21426 0 -1 4202560 13596 0 0 0 167 4 0 0 20 0 22 0 105515017 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140114957220152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27625] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27625/stat : 27625 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515017 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140114956167544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27626] ppid=27605 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/27608/task/27626/stat : 27626 (java) S 27605 27608 21426 0 -1 4202560 51 0 0 0 8 9 0 0 20 0 22 0 105515017 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140114955114952 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27633] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27633/stat : 27633 (java) S 27605 27608 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105515139 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140114950738856 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27795] ppid=27605 vsize=9824732 CPUtime=84.32 cores=0,2,4,6 /proc/27608/task/27795/stat : 27795 (java) R 27605 27608 21426 0 -1 4202560 3 0 0 0 8431 1 0 0 20 0 22 0 105594460 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140114951782160 140115004711402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27796] ppid=27605 vsize=9824732 CPUtime=84.33 cores=0,2,4,6 /proc/27608/task/27796/stat : 27796 (java) R 27605 27608 21426 0 -1 4202560 7 0 0 0 8432 1 0 0 20 0 22 0 105594460 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140114954058928 140115004704364 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27797] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27797/stat : 27797 (java) S 27605 27608 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105594460 10060525568 424002 33554432000 1073741824 1073778376 140734843216192 140114952844968 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1763.03 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.001 s] /proc/loadavg: 4.51 4.34 4.14 5/219 27799 /proc/meminfo: memFree=26069248/32872528 swapFree=12328/568296 [pid=27608] ppid=27605 vsize=9824732 CPUtime=1796.52 cores=0,2,4,6 /proc/27608/stat : 27608 (java) S 27605 27608 21426 0 -1 4202496 43498 0 1 0 179449 203 0 0 20 0 22 0 105515011 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140734843207328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27608/statm: 2456183 427076 2302 9 0 2446860 0 [pid=27608/tid=27610] ppid=27605 vsize=9824732 CPUtime=0.8 cores=0,2,4,6 /proc/27608/task/27610/stat : 27610 (java) S 27605 27608 21426 0 -1 4202560 2468 0 1 0 77 3 0 0 20 0 22 0 105515012 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140115138454392 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27611] ppid=27605 vsize=9824732 CPUtime=2.69 cores=0,2,4,6 /proc/27608/task/27611/stat : 27611 (java) S 27605 27608 21426 0 -1 4202560 1513 0 0 0 249 20 0 0 20 0 22 0 105515013 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140115127516200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27612] ppid=27605 vsize=9824732 CPUtime=2.53 cores=0,2,4,6 /proc/27608/task/27612/stat : 27612 (java) S 27605 27608 21426 0 -1 4202560 1486 0 0 0 233 20 0 0 20 0 22 0 105515013 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140115126463400 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27613] ppid=27605 vsize=9824732 CPUtime=2.4 cores=0,2,4,6 /proc/27608/task/27613/stat : 27613 (java) S 27605 27608 21426 0 -1 4202560 1223 0 0 0 220 20 0 0 20 0 22 0 105515013 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140115125410600 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27614] ppid=27605 vsize=9824732 CPUtime=2.39 cores=0,2,4,6 /proc/27608/task/27614/stat : 27614 (java) S 27605 27608 21426 0 -1 4202560 1347 0 0 0 221 18 0 0 20 0 22 0 105515013 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140115124357800 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27615] ppid=27605 vsize=9824732 CPUtime=2.51 cores=0,2,4,6 /proc/27608/task/27615/stat : 27615 (java) S 27605 27608 21426 0 -1 4202560 1923 0 0 0 231 20 0 0 20 0 22 0 105515013 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140115123305000 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27616] ppid=27605 vsize=9824732 CPUtime=2.56 cores=0,2,4,6 /proc/27608/task/27616/stat : 27616 (java) S 27605 27608 21426 0 -1 4202560 1559 0 0 0 235 21 0 0 20 0 22 0 105515013 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140115122252200 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27617] ppid=27605 vsize=9824732 CPUtime=2.58 cores=0,2,4,6 /proc/27608/task/27617/stat : 27617 (java) S 27605 27608 21426 0 -1 4202560 1718 0 0 0 240 18 0 0 20 0 22 0 105515013 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140114975734056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27618] ppid=27605 vsize=9824732 CPUtime=2.04 cores=0,2,4,6 /proc/27608/task/27618/stat : 27618 (java) S 27605 27608 21426 0 -1 4202560 2805 0 0 0 189 15 0 0 20 0 22 0 105515013 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140114974681256 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27619] ppid=27605 vsize=9824732 CPUtime=6.35 cores=0,2,4,6 /proc/27608/task/27619/stat : 27619 (java) S 27605 27608 21426 0 -1 4202560 1494 0 0 0 627 8 0 0 20 0 22 0 105515014 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140114962484200 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27620] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27620/stat : 27620 (java) S 27605 27608 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105515014 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140114961430264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27608/tid=27621] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27621/stat : 27621 (java) S 27605 27608 21426 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 105515014 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140114960377352 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27622] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27622/stat : 27622 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515017 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140114959325840 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27623] ppid=27605 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/27608/task/27623/stat : 27623 (java) S 27605 27608 21426 0 -1 4202560 10770 0 0 0 161 2 0 0 20 0 22 0 105515017 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140114958272952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27608/tid=27624] ppid=27605 vsize=9824732 CPUtime=1.71 cores=0,2,4,6 /proc/27608/task/27624/stat : 27624 (java) S 27605 27608 21426 0 -1 4202560 13596 0 0 0 167 4 0 0 20 0 22 0 105515017 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140114957220152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27608/tid=27625] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27625/stat : 27625 (java) S 27605 27608 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105515017 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140114956167544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27626] ppid=27605 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/27608/task/27626/stat : 27626 (java) S 27605 27608 21426 0 -1 4202560 51 0 0 0 8 9 0 0 20 0 22 0 105515017 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140114955114952 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27633] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27633/stat : 27633 (java) S 27605 27608 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105515139 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140114950738856 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27795] ppid=27605 vsize=9824732 CPUtime=100.9 cores=0,2,4,6 /proc/27608/task/27795/stat : 27795 (java) R 27605 27608 21426 0 -1 4202560 3 0 0 0 10089 1 0 0 20 0 22 0 105594460 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140114951789024 140115004448576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=27608/tid=27796] ppid=27605 vsize=9824732 CPUtime=100.92 cores=0,2,4,6 /proc/27608/task/27796/stat : 27796 (java) R 27605 27608 21426 0 -1 4202560 8 0 0 0 10091 1 0 0 20 0 22 0 105594460 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140114954058816 140115004704358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27608/tid=27797] ppid=27605 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27608/task/27797/stat : 27797 (java) S 27605 27608 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105594460 10060525568 427076 33554432000 1073741824 1073778376 140734843216192 140114952844968 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 27608 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27608 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=70259 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=289651 # CPU time returned by wait4() is 1796.36 # while last known CPU time is 1796.52 # # 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): 3.50998 # lost CPU user time (s): 3.73001 # lost CPU system time (s): -0.22 Real time (s): 899.049 CPU time (s): 1800.03 CPU user time (s): 1798.22 CPU system time (s): 1.81 CPU usage (%): 200.215 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.07 system time used= 2.28965 maximum resident set size= 1708416 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43534 page faults= 1 swaps= 0 block input operations= 0 block output operations= 968 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24943 involuntary context switches= 27706 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.72213 second user time and 6.90395 second system time The end
Begin job on node138 at 2016-06-06 19:57:04 IDJOB=4081474 IDBENCH=24975 IDSOLVER=2543 FILE ID=node138/4081474-1465235824 RUNJOBID= node138-1465221375-21442 PBS_JOBID= 19843229 Free space on /tmp= 71728 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_021_area_delay.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081474-1465235824/watcher-4081474-1465235824 -o /tmp/evaluation-result-4081474-1465235824/solver-4081474-1465235824 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21442 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081474-1465235824.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5c1765191809ee7ecd7781ce5c7fb9aa RANDOM SEED=1917548019 node138.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.807 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.61 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.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28822364 kB Buffers: 30404 kB Cached: 115212 kB SwapCached: 46416 kB Active: 2637388 kB Inactive: 112976 kB Active(anon): 2559980 kB Inactive(anon): 47172 kB Active(file): 77408 kB Inactive(file): 65804 kB Unevictable: 568296 kB Mlocked: 12328 kB SwapTotal: 67108856 kB SwapFree: 67053464 kB Dirty: 1384 kB Writeback: 8 kB AnonPages: 3154192 kB Mapped: 15304 kB Shmem: 0 kB Slab: 568608 kB SReclaimable: 12200 kB SUnreclaim: 556408 kB KernelStack: 1624 kB PageTables: 10328 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3835672 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3076096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71744 MiB End job on node138 at 2016-06-06 20:12:04