Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 25 | 1800.29 | 911.987 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir06_area_opers.opb |
MD5SUM | 4b72d81adefd0ef56251a04b2b714e8c |
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 | 23 |
Best CPU time to get the best result obtained on this benchmark | 6.19406 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 23 |
Optimality of the best value was proved | YES |
Number of variables | 11085 |
Total number of constraints | 23298 |
Number of constraints which are clauses | 23298 |
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 | 5533 |
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 | 5533 |
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 | 5533 |
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-2010 Daniel Le Berre 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.08 c version 2.3.1.v20110525 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.18-164.el5 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 9996466904 0.00/0.08 c Max memory 10048897024 0.00/0.08 c Total memory 10048897024 0.00/0.08 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3454152-1307193728.opb 0.11/0.11 c reading problem ... 0.80/0.49 c ... done. Wall clock time 0.385s. 0.80/0.49 c #vars 11085 0.80/0.49 c #constraints 23298 0.80/0.49 c constraints type 0.80/0.49 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5560 0.80/0.49 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17735 0.80/0.49 c constraints type 0.80/0.49 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17735 0.80/0.49 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5560 1.26/0.62 c And the winner is Resolution 1.41/1.03 c SATISFIABLE 1.41/1.03 c OPTIMIZING... 1.41/1.03 c Got one! Elapsed wall clock time (in seconds):0.926 1.41/1.03 o 40 1.41/1.09 c And the winner is Resolution 2.12/1.58 c Got one! Elapsed wall clock time (in seconds):1.477 2.12/1.58 o 39 2.17/1.61 c And the winner is Resolution 2.29/2.13 c Got one! Elapsed wall clock time (in seconds):2.02 2.29/2.13 o 38 2.29/2.17 c And the winner is Resolution 2.82/2.67 c Got one! Elapsed wall clock time (in seconds):2.557 2.82/2.67 o 37 2.95/2.71 c And the winner is Resolution 3.28/3.20 c Got one! Elapsed wall clock time (in seconds):3.09 3.28/3.20 o 36 3.31/3.24 c And the winner is Resolution 3.66/3.73 c Got one! Elapsed wall clock time (in seconds):3.622 3.66/3.73 o 31 11.37/7.59 c cleaning 2638 clauses out of 5286 with flag 5000/5286 19.90/11.77 c cleaning 4322 clauses out of 8649 with flag 11001/11287 29.13/16.30 c cleaning 5659 clauses out of 11327 with flag 18001/18287 41.13/22.30 c cleaning 6823 clauses out of 13667 with flag 26000/26286 49.55/26.54 c And the winner is Resolution 50.76/27.78 c Got one! Elapsed wall clock time (in seconds):27.676 50.76/27.78 o 30 57.23/31.04 c cleaning 9379 clauses out of 18784 with flag 5000/38226 67.37/36.18 c cleaning 7697 clauses out of 15405 with flag 11000/44226 75.11/40.03 c cleaning 7349 clauses out of 14708 with flag 18000/51226 86.66/45.85 c cleaning 7670 clauses out of 15359 with flag 26000/59226 98.78/51.94 c cleaning 8335 clauses out of 16690 with flag 35001/68227 111.13/58.17 c cleaning 9168 clauses out of 18354 with flag 45000/78226 125.88/65.51 c cleaning 10089 clauses out of 20187 with flag 56001/89227 140.63/72.95 c cleaning 11008 clauses out of 22097 with flag 68000/101226 161.34/83.36 c cleaning 12041 clauses out of 24090 with flag 81001/114227 182.88/94.17 c cleaning 13017 clauses out of 26048 with flag 95000/128226 207.21/106.33 c cleaning 14010 clauses out of 28031 with flag 110000/143226 229.76/117.64 c cleaning 15003 clauses out of 30021 with flag 126000/159226 257.44/131.51 c cleaning 16003 clauses out of 32019 with flag 143001/176227 282.98/144.31 c cleaning 17005 clauses out of 34015 with flag 161000/194226 311.71/158.72 c cleaning 17992 clauses out of 36010 with flag 180000/213226 329.83/167.84 c cleaning 19001 clauses out of 38018 with flag 200000/233226 350.73/178.36 c cleaning 19994 clauses out of 40017 with flag 221000/254226 381.81/193.98 c cleaning 21002 clauses out of 42023 with flag 243000/276226 416.76/211.49 c cleaning 22005 clauses out of 44022 with flag 266001/299227 454.28/230.30 c cleaning 22997 clauses out of 46016 with flag 290000/323226 474.74/240.51 c cleaning 23502 clauses out of 47019 with flag 314000/347226 521.69/264.05 c cleaning 23722 clauses out of 47517 with flag 338000/371226 562.19/284.35 c cleaning 23893 clauses out of 47796 with flag 362001/395227 597.70/302.11 c cleaning 23939 clauses out of 47902 with flag 386000/419226 629.18/318.01 c cleaning 23971 clauses out of 47963 with flag 410000/443226 656.28/331.52 c And the winner is CuttingPlanes 656.32/331.95 c Got one! Elapsed wall clock time (in seconds):331.844 656.32/331.95 o 27 663.72/335.66 c cleaning 26437 clauses out of 52881 with flag 5000/472115 673.16/340.48 c cleaning 16179 clauses out of 32444 with flag 11000/478115 684.42/346.13 c cleaning 11628 clauses out of 23265 with flag 18000/485115 696.60/352.34 c cleaning 9817 clauses out of 19638 with flag 26001/493116 709.86/359.06 c cleaning 9408 clauses out of 18821 with flag 35001/502116 723.34/365.82 c And the winner is Resolution 724.86/367.41 c Got one! Elapsed wall clock time (in seconds):367.306 724.86/367.41 o 26 730.32/370.11 c cleaning 11511 clauses out of 23034 with flag 5000/515737 738.39/374.23 c cleaning 8759 clauses out of 17525 with flag 11002/521739 749.56/379.92 c cleaning 7852 clauses out of 15764 with flag 18000/528737 761.42/385.98 c cleaning 7954 clauses out of 15913 with flag 26001/536738 772.68/391.63 c cleaning 8473 clauses out of 16958 with flag 35000/545737 785.95/398.33 c cleaning 9230 clauses out of 18485 with flag 45000/555737 802.86/406.98 c cleaning 10121 clauses out of 20255 with flag 56000/566737 817.68/414.43 c cleaning 11058 clauses out of 22134 with flag 68000/578737 832.91/422.13 c cleaning 12032 clauses out of 24076 with flag 81000/591737 853.12/432.34 c cleaning 13016 clauses out of 26045 with flag 95001/605738 881.01/446.45 c cleaning 13993 clauses out of 28028 with flag 110000/620737 899.83/455.99 c cleaning 15001 clauses out of 30035 with flag 126000/636737 925.43/468.81 c cleaning 16012 clauses out of 32035 with flag 143001/653738 951.06/481.75 c cleaning 17006 clauses out of 34024 with flag 161002/671739 981.12/496.98 c cleaning 17999 clauses out of 36016 with flag 180000/690737 1009.90/511.46 c cleaning 19000 clauses out of 38017 with flag 200000/710737 1036.90/525.08 c cleaning 20003 clauses out of 40017 with flag 221000/731737 1067.52/540.49 c cleaning 20983 clauses out of 42014 with flag 243000/753737 1100.36/557.00 c cleaning 22004 clauses out of 44031 with flag 266000/776737 1134.16/574.08 c cleaning 22999 clauses out of 46027 with flag 290000/800737 1166.14/590.18 c cleaning 23504 clauses out of 47028 with flag 314000/824737 1200.91/607.64 c cleaning 23750 clauses out of 47524 with flag 338000/848737 1203.90/609.40 c And the winner is CuttingPlanes 1204.10/609.67 c Got one! Elapsed wall clock time (in seconds):609.561 1204.10/609.67 o 25 1209.98/612.61 c cleaning 14582 clauses out of 29175 with flag 4001/854138 1220.33/617.92 c cleaning 10273 clauses out of 20592 with flag 10000/860137 1231.48/623.60 c cleaning 8648 clauses out of 17319 with flag 17000/867137 1242.82/629.47 c cleaning 8334 clauses out of 16674 with flag 25003/875140 1256.42/636.47 c cleaning 8643 clauses out of 17338 with flag 34001/884138 1269.57/643.14 c cleaning 9336 clauses out of 18694 with flag 44000/894137 1284.12/650.56 c cleaning 10172 clauses out of 20359 with flag 55001/905138 1303.27/660.27 c cleaning 11087 clauses out of 22186 with flag 67000/917137 1319.06/668.30 c cleaning 12046 clauses out of 24099 with flag 80000/930137 1335.43/676.69 c cleaning 13014 clauses out of 26053 with flag 94000/944137 1356.95/687.54 c cleaning 14014 clauses out of 28039 with flag 109000/959137 1380.47/699.40 c cleaning 15011 clauses out of 30027 with flag 125002/975139 1404.43/711.67 c cleaning 15996 clauses out of 32014 with flag 142000/992137 1426.96/723.03 c cleaning 16996 clauses out of 34018 with flag 160000/1010137 1454.29/736.85 c cleaning 17995 clauses out of 36022 with flag 179000/1029137 1484.82/752.26 c cleaning 19005 clauses out of 38027 with flag 199000/1049137 1511.56/765.84 c cleaning 20002 clauses out of 40022 with flag 220000/1070137 1537.31/778.90 c cleaning 21006 clauses out of 42022 with flag 242002/1092139 1565.97/793.33 c cleaning 22006 clauses out of 44016 with flag 265002/1115139 1600.91/810.93 c cleaning 22994 clauses out of 46012 with flag 289004/1139141 1633.03/827.31 c cleaning 23499 clauses out of 47014 with flag 313000/1163137 1660.91/841.34 c cleaning 23754 clauses out of 47518 with flag 337003/1187140 1694.38/858.21 c cleaning 23857 clauses out of 47761 with flag 361000/1211137 1728.45/875.46 c cleaning 23941 clauses out of 47904 with flag 385000/1235137 1765.29/894.10 c cleaning 23972 clauses out of 47963 with flag 409000/1259137 1799.18/911.25 c cleaning 23974 clauses out of 47991 with flag 433000/1283137 1800.02/911.82 c starts : 17 1800.02/911.82 c conflicts : 875 1800.02/911.82 c decisions : 203081 1800.02/911.82 c propagations : 1651420 1800.02/911.82 c inspects : 7219079 1800.02/911.82 c shortcuts : 0 1800.02/911.82 c learnt literals : 0 1800.02/911.82 c learnt binary clauses : 0 1800.02/911.82 c learnt ternary clauses : 0 1800.02/911.82 c learnt constraints : 873 1800.02/911.82 c ignored constraints : 0 1800.02/911.82 c root simplifications : 0 1800.02/911.82 c removed literals (reason simplification) : 0 1800.02/911.82 c reason swapping (by a shorter reason) : 0 1800.02/911.82 c Calls to reduceDB : 0 1800.02/911.82 c number of reductions to clauses (during analyze) : 0 1800.02/911.82 c number of learned constraints concerned by reduction : 0 1800.02/911.82 c number of learning phase by resolution : 0 1800.02/911.82 c number of learning phase by cutting planes : 0 1800.02/911.82 c speed (assignments/second) : 5465.653907891907 1800.02/911.82 c non guided choices 0 1800.02/911.82 c learnt constraints type 1800.02/911.82 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 8 1800.02/911.82 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50 1800.02/911.82 c org.sat4j.pb.constraints.pb.MaxWatchPb => 815 1800.02/911.82 c constraints type 1800.02/911.82 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5560 1800.02/911.82 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.02/911.82 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17735 1800.02/911.82 c constraints type 1800.02/911.82 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17735 1800.02/911.82 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5560 1800.02/911.82 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.02/911.82 s SATISFIABLE 1800.02/911.83 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 x3836 x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 x6223 x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 x6491 x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 x7297 x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 x8578 x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 x11056 -x11057 -x11058 -x11059 -x11060 -x11061 x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 x11080 -x11081 -x11082 x11083 -x11084 x11085 1800.02/911.84 c objective function=25 1800.02/911.84 c Total wall clock time (in seconds): 911.738
OK 25
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3454152-1307193728/watcher-3454152-1307193728 -o /tmp/evaluation-result-3454152-1307193728/solver-3454152-1307193728 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454152-1307193728.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.76 3.90 3.71 1/487 17198 /proc/meminfo: memFree=23981932/32951124 swapFree=56297244/67111528 [pid=17198] ppid=17196 vsize=30536 CPUtime=0 cores=1,3,5,7 /proc/17198/stat : 17198 (java) S 17196 17198 13385 0 -1 4202496 1244 0 0 0 0 0 0 0 25 0 2 0 909603320 31268864 963 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/17198/statm: 7634 963 736 9 0 385 0 [pid=17198/tid=17199] ppid=17196 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17199/stat : 17199 (java) R 17196 17198 13385 0 -1 4202560 6642 0 1 0 0 0 0 0 25 0 2 0 909603321 10694979584 7458 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 5 0 0 0 [startup+0.103503 s] /proc/loadavg: 3.76 3.90 3.71 1/487 17198 /proc/meminfo: memFree=23981932/32951124 swapFree=56297244/67111528 [pid=17198] ppid=17196 vsize=10539828 CPUtime=0.11 cores=1,3,5,7 /proc/17198/stat : 17198 (java) S 17196 17198 13385 0 -1 4202496 13129 0 1 0 10 1 0 0 25 0 18 0 909603320 10792783872 12798 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17198/statm: 2634957 12798 2093 9 0 2625691 0 [pid=17198/tid=17199] ppid=17196 vsize=10539828 CPUtime=0.09 cores=1,3,5,7 /proc/17198/task/17199/stat : 17199 (java) R 17196 17198 13385 0 -1 4202560 11201 0 1 0 8 1 0 0 18 0 18 0 909603321 10792783872 12798 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 47916279973907 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10539828 [startup+0.20045 s] /proc/loadavg: 3.76 3.90 3.71 1/487 17198 /proc/meminfo: memFree=23981932/32951124 swapFree=56297244/67111528 [pid=17198] ppid=17196 vsize=10539828 CPUtime=0.29 cores=1,3,5,7 /proc/17198/stat : 17198 (java) S 17196 17198 13385 0 -1 4202496 14604 0 1 0 28 1 0 0 25 0 18 0 909603320 10792783872 14016 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17198/statm: 2634957 14017 2191 9 0 2625691 0 [pid=17198/tid=17199] ppid=17196 vsize=10539828 CPUtime=0.18 cores=1,3,5,7 /proc/17198/task/17199/stat : 17199 (java) R 17196 17198 13385 0 -1 4202560 12078 0 1 0 17 1 0 0 18 0 18 0 909603321 10792783872 14017 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10539828 [startup+0.300433 s] /proc/loadavg: 3.76 3.90 3.71 1/487 17198 /proc/meminfo: memFree=23981932/32951124 swapFree=56297244/67111528 [pid=17198] ppid=17196 vsize=10541080 CPUtime=0.53 cores=1,3,5,7 /proc/17198/stat : 17198 (java) S 17196 17198 13385 0 -1 4202496 16956 0 1 0 51 2 0 0 25 0 18 0 909603320 10794065920 16072 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17198/statm: 2635270 16073 2202 9 0 2626004 0 [pid=17198/tid=17199] ppid=17196 vsize=10541080 CPUtime=0.28 cores=1,3,5,7 /proc/17198/task/17199/stat : 17199 (java) R 17196 17198 13385 0 -1 4202560 13701 0 1 0 27 1 0 0 18 0 18 0 909603321 10794065920 16074 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 46912505623565 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 10541080 [startup+0.700398 s] /proc/loadavg: 3.76 3.90 3.71 1/487 17198 /proc/meminfo: memFree=23981932/32951124 swapFree=56297244/67111528 [pid=17198] ppid=17196 vsize=10548176 CPUtime=1.41 cores=1,3,5,7 /proc/17198/stat : 17198 (java) S 17196 17198 13385 0 -1 4202496 33397 0 1 0 138 3 0 0 25 0 19 0 909603320 10801332224 31060 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17198/statm: 2637044 31060 2234 9 0 2627778 0 [pid=17198/tid=17199] ppid=17196 vsize=10548176 CPUtime=0.48 cores=1,3,5,7 /proc/17198/task/17199/stat : 17199 (java) S 17196 17198 13385 0 -1 4202560 26476 0 1 0 46 2 0 0 19 0 19 0 909603321 10801332224 31060 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 10548176 [startup+1.50125 s] /proc/loadavg: 3.76 3.90 3.71 6/510 17229 /proc/meminfo: memFree=23848944/32951124 swapFree=56297244/67111528 [pid=17198] ppid=17196 vsize=10548616 CPUtime=2.12 cores=1,3,5,7 /proc/17198/stat : 17198 (java) S 17196 17198 13385 0 -1 4202496 35135 0 1 0 208 4 0 0 25 0 19 0 909603320 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17198/statm: 2637154 32376 2239 9 0 2627888 0 [pid=17198/tid=17199] ppid=17196 vsize=10548616 CPUtime=0.53 cores=1,3,5,7 /proc/17198/task/17199/stat : 17199 (java) S 17196 17198 13385 0 -1 4202560 27015 0 1 0 51 2 0 0 17 0 19 0 909603321 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17204] ppid=17196 vsize=10548616 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17204/stat : 17204 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603322 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17205] ppid=17196 vsize=10548616 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17205/stat : 17205 (java) S 17196 17198 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909603322 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17206] ppid=17196 vsize=10548616 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17206/stat : 17206 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603322 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17207] ppid=17196 vsize=10548616 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17207/stat : 17207 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603322 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17208] ppid=17196 vsize=10548616 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17208/stat : 17208 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603322 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17209] ppid=17196 vsize=10548616 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17209/stat : 17209 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603322 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17210] ppid=17196 vsize=10548616 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17210/stat : 17210 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603322 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17211] ppid=17196 vsize=10548616 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17211/stat : 17211 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603322 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17212] ppid=17196 vsize=10548616 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17212/stat : 17212 (java) S 17196 17198 13385 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 19 0 909603323 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 0 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17213] ppid=17196 vsize=10548616 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17213/stat : 17213 (java) S 17196 17198 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909603324 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17214] ppid=17196 vsize=10548616 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17214/stat : 17214 (java) S 17196 17198 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909603324 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17215] ppid=17196 vsize=10548616 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17215/stat : 17215 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603326 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469889457 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17216] ppid=17196 vsize=10548616 CPUtime=0.49 cores=1,3,5,7 /proc/17198/task/17216/stat : 17216 (java) S 17196 17198 13385 0 -1 4202560 3034 0 0 0 49 0 0 0 15 0 19 0 909603326 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17217] ppid=17196 vsize=10548616 CPUtime=0.39 cores=1,3,5,7 /proc/17198/task/17217/stat : 17217 (java) S 17196 17198 13385 0 -1 4202560 2830 0 0 0 39 0 0 0 19 0 19 0 909603326 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 1 0 0 0 [pid=17198/tid=17218] ppid=17196 vsize=10548616 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17218/stat : 17218 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603326 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17219] ppid=17196 vsize=10548616 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17219/stat : 17219 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909603326 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17225] ppid=17196 vsize=10548616 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17225/stat : 17225 (java) S 17196 17198 13385 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909603375 10801782784 32376 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.12 Current children cumulated vsize (KiB) 10548616 [startup+3.10101 s] /proc/loadavg: 3.76 3.90 3.71 4/510 17238 /proc/meminfo: memFree=23829900/32951124 swapFree=56297244/67111528 [pid=17198] ppid=17196 vsize=10548176 CPUtime=3.28 cores=1,3,5,7 /proc/17198/stat : 17198 (java) S 17196 17198 13385 0 -1 4202496 38805 0 1 0 323 5 0 0 25 0 19 0 909603320 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17198/statm: 2637044 35533 2243 9 0 2627778 0 [pid=17198/tid=17199] ppid=17196 vsize=10548176 CPUtime=0.64 cores=1,3,5,7 /proc/17198/task/17199/stat : 17199 (java) S 17196 17198 13385 0 -1 4202560 28552 0 1 0 61 3 0 0 17 0 19 0 909603321 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17204] ppid=17196 vsize=10548176 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17204/stat : 17204 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603322 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17205] ppid=17196 vsize=10548176 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17205/stat : 17205 (java) S 17196 17198 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909603322 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17206] ppid=17196 vsize=10548176 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17206/stat : 17206 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603322 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17207] ppid=17196 vsize=10548176 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17207/stat : 17207 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603322 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17208] ppid=17196 vsize=10548176 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17208/stat : 17208 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603322 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17209] ppid=17196 vsize=10548176 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17209/stat : 17209 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603322 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17210] ppid=17196 vsize=10548176 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17210/stat : 17210 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603322 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17211] ppid=17196 vsize=10548176 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17211/stat : 17211 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603322 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17212] ppid=17196 vsize=10548176 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17212/stat : 17212 (java) S 17196 17198 13385 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 909603323 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 0 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17213] ppid=17196 vsize=10548176 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17213/stat : 17213 (java) S 17196 17198 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909603324 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17214] ppid=17196 vsize=10548176 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17214/stat : 17214 (java) S 17196 17198 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909603324 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17215] ppid=17196 vsize=10548176 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17215/stat : 17215 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603326 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469889457 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17216] ppid=17196 vsize=10548176 CPUtime=0.63 cores=1,3,5,7 /proc/17198/task/17216/stat : 17216 (java) S 17196 17198 13385 0 -1 4202560 3052 0 0 0 63 0 0 0 15 0 19 0 909603326 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17217] ppid=17196 vsize=10548176 CPUtime=0.56 cores=1,3,5,7 /proc/17198/task/17217/stat : 17217 (java) S 17196 17198 13385 0 -1 4202560 3278 0 0 0 56 0 0 0 15 0 19 0 909603326 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 1 0 0 0 [pid=17198/tid=17218] ppid=17196 vsize=10548176 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17218/stat : 17218 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603326 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17219] ppid=17196 vsize=10548176 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17219/stat : 17219 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909603326 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17225] ppid=17196 vsize=10548176 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17225/stat : 17225 (java) S 17196 17198 13385 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909603375 10801332224 35533 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.28 Current children cumulated vsize (KiB) 10548176 [startup+6.30131 s] /proc/loadavg: 3.62 3.86 3.70 5/512 17247 /proc/meminfo: memFree=23523232/32951124 swapFree=56297244/67111528 [pid=17198] ppid=17196 vsize=10548664 CPUtime=8.96 cores=1,3,5,7 /proc/17198/stat : 17198 (java) S 17196 17198 13385 0 -1 4202496 45659 0 1 0 890 6 0 0 25 0 22 0 909603320 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17198/statm: 2637166 42358 2243 9 0 2627900 0 [pid=17198/tid=17199] ppid=17196 vsize=10548664 CPUtime=0.7 cores=1,3,5,7 /proc/17198/task/17199/stat : 17199 (java) S 17196 17198 13385 0 -1 4202560 29577 0 1 0 67 3 0 0 15 0 22 0 909603321 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17204] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17204/stat : 17204 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603322 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17205] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17205/stat : 17205 (java) S 17196 17198 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909603322 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17206] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17206/stat : 17206 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603322 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17207] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17207/stat : 17207 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603322 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17208] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17208/stat : 17208 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603322 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17209] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17209/stat : 17209 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603322 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17210] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17210/stat : 17210 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603322 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17211] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17211/stat : 17211 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603322 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17212] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17212/stat : 17212 (java) S 17196 17198 13385 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 909603323 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 0 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17213] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17213/stat : 17213 (java) S 17196 17198 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909603324 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17214] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17214/stat : 17214 (java) S 17196 17198 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909603324 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17215] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17215/stat : 17215 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603326 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469889457 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17216] ppid=17196 vsize=10548664 CPUtime=0.7 cores=1,3,5,7 /proc/17198/task/17216/stat : 17216 (java) S 17196 17198 13385 0 -1 4202560 3054 0 0 0 70 0 0 0 15 0 22 0 909603326 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17217] ppid=17196 vsize=10548664 CPUtime=0.65 cores=1,3,5,7 /proc/17198/task/17217/stat : 17217 (java) S 17196 17198 13385 0 -1 4202560 3346 0 0 0 65 0 0 0 15 0 22 0 909603326 10801831936 42358 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 1 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=16672736/32951124 swapFree=56297244/67111528 [pid=17198] ppid=17196 vsize=10548664 CPUtime=1623.2 cores=1,3,5,7 /proc/17198/stat : 17198 (java) S 17196 17198 13385 0 -1 4202496 944732 0 1 0 162218 102 0 0 25 0 22 0 909603320 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17198/statm: 2637166 936683 2270 9 0 2627900 0 [pid=17198/tid=17199] ppid=17196 vsize=10548664 CPUtime=0.83 cores=1,3,5,7 /proc/17198/task/17199/stat : 17199 (java) S 17196 17198 13385 0 -1 4202560 29595 0 1 0 80 3 0 0 15 0 22 0 909603321 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17204] ppid=17196 vsize=10548664 CPUtime=0.4 cores=1,3,5,7 /proc/17198/task/17204/stat : 17204 (java) S 17196 17198 13385 0 -1 4202560 4354 0 0 0 40 0 0 0 15 0 22 0 909603322 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17205] ppid=17196 vsize=10548664 CPUtime=0.52 cores=1,3,5,7 /proc/17198/task/17205/stat : 17205 (java) S 17196 17198 13385 0 -1 4202560 8780 0 0 0 51 1 0 0 16 0 22 0 909603322 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17206] ppid=17196 vsize=10548664 CPUtime=0.44 cores=1,3,5,7 /proc/17198/task/17206/stat : 17206 (java) S 17196 17198 13385 0 -1 4202560 4699 0 0 0 44 0 0 0 16 0 22 0 909603322 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17207] ppid=17196 vsize=10548664 CPUtime=0.44 cores=1,3,5,7 /proc/17198/task/17207/stat : 17207 (java) S 17196 17198 13385 0 -1 4202560 4935 0 0 0 44 0 0 0 16 0 22 0 909603322 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17208] ppid=17196 vsize=10548664 CPUtime=0.5 cores=1,3,5,7 /proc/17198/task/17208/stat : 17208 (java) S 17196 17198 13385 0 -1 4202560 8111 0 0 0 50 0 0 0 15 0 22 0 909603322 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17209] ppid=17196 vsize=10548664 CPUtime=0.46 cores=1,3,5,7 /proc/17198/task/17209/stat : 17209 (java) S 17196 17198 13385 0 -1 4202560 6355 0 0 0 46 0 0 0 16 0 22 0 909603322 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 1 0 0 0 [pid=17198/tid=17210] ppid=17196 vsize=10548664 CPUtime=0.44 cores=1,3,5,7 /proc/17198/task/17210/stat : 17210 (java) S 17196 17198 13385 0 -1 4202560 7943 0 0 0 43 1 0 0 16 0 22 0 909603322 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17211] ppid=17196 vsize=10548664 CPUtime=0.46 cores=1,3,5,7 /proc/17198/task/17211/stat : 17211 (java) S 17196 17198 13385 0 -1 4202560 8799 0 0 0 46 0 0 0 15 0 22 0 909603322 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17212] ppid=17196 vsize=10548664 CPUtime=15.51 cores=1,3,5,7 /proc/17198/task/17212/stat : 17212 (java) S 17196 17198 13385 0 -1 4202560 28634 0 0 0 1548 3 0 0 15 0 22 0 909603323 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 0 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17213] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17213/stat : 17213 (java) S 17196 17198 13385 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909603324 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17214] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17214/stat : 17214 (java) S 17196 17198 13385 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 909603324 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17215] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17215/stat : 17215 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603326 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469889457 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17216] ppid=17196 vsize=10548664 CPUtime=1.11 cores=1,3,5,7 /proc/17198/task/17216/stat : 17216 (java) S 17196 17198 13385 0 -1 4202560 4242 0 0 0 111 0 0 0 15 0 22 0 909603326 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17217] ppid=17196 vsize=10548664 CPUtime=0.85 cores=1,3,5,7 /proc/17198/task/17217/stat : 17217 (java) S 17196 17198 13385 0 -1 4202560 3370 0 0 0 85 0 0 0 15 0 22 0 909603326 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17218] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17218/stat : 17218 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603326 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17219] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17219/stat : 17219 (java) S 17196 17198 13385 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 909603326 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17272] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17272/stat : 17272 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909640063 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17280] ppid=17196 vsize=10548664 CPUtime=205.59 cores=1,3,5,7 /proc/17198/task/17280/stat : 17280 (java) R 17196 17198 13385 0 -1 4202560 27 0 0 0 20559 0 0 0 25 0 22 0 909664288 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 46912505924624 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17198/tid=17281] ppid=17196 vsize=10548664 CPUtime=205.58 cores=1,3,5,7 /proc/17198/task/17281/stat : 17281 (java) R 17196 17198 13385 0 -1 4202560 12 0 0 0 20558 0 0 0 25 0 22 0 909664288 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 46912506222975 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=17198/tid=17282] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17282/stat : 17282 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909664289 10801831936 936683 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1623.2 Current children cumulated vsize (KiB) 10548664 [startup+882.318 s] /proc/loadavg: 4.07 3.96 3.84 5/512 17292 /proc/meminfo: memFree=16654088/32951124 swapFree=56297244/67111528 [pid=17198] ppid=17196 vsize=10548664 CPUtime=1741.71 cores=1,3,5,7 /proc/17198/stat : 17198 (java) S 17196 17198 13385 0 -1 4202496 948201 0 1 0 174068 103 0 0 25 0 22 0 909603320 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17198/statm: 2637166 940009 2270 9 0 2627900 0 [pid=17198/tid=17199] ppid=17196 vsize=10548664 CPUtime=0.83 cores=1,3,5,7 /proc/17198/task/17199/stat : 17199 (java) S 17196 17198 13385 0 -1 4202560 29596 0 1 0 80 3 0 0 15 0 22 0 909603321 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17204] ppid=17196 vsize=10548664 CPUtime=0.45 cores=1,3,5,7 /proc/17198/task/17204/stat : 17204 (java) S 17196 17198 13385 0 -1 4202560 4747 0 0 0 45 0 0 0 16 0 22 0 909603322 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17205] ppid=17196 vsize=10548664 CPUtime=0.58 cores=1,3,5,7 /proc/17198/task/17205/stat : 17205 (java) S 17196 17198 13385 0 -1 4202560 9090 0 0 0 57 1 0 0 15 0 22 0 909603322 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17206] ppid=17196 vsize=10548664 CPUtime=0.47 cores=1,3,5,7 /proc/17198/task/17206/stat : 17206 (java) S 17196 17198 13385 0 -1 4202560 5384 0 0 0 47 0 0 0 15 0 22 0 909603322 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17207] ppid=17196 vsize=10548664 CPUtime=0.48 cores=1,3,5,7 /proc/17198/task/17207/stat : 17207 (java) S 17196 17198 13385 0 -1 4202560 5030 0 0 0 48 0 0 0 15 0 22 0 909603322 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17208] ppid=17196 vsize=10548664 CPUtime=0.54 cores=1,3,5,7 /proc/17198/task/17208/stat : 17208 (java) S 17196 17198 13385 0 -1 4202560 8347 0 0 0 54 0 0 0 16 0 22 0 909603322 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17209] ppid=17196 vsize=10548664 CPUtime=0.53 cores=1,3,5,7 /proc/17198/task/17209/stat : 17209 (java) S 17196 17198 13385 0 -1 4202560 7147 0 0 0 53 0 0 0 16 0 22 0 909603322 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17210] ppid=17196 vsize=10548664 CPUtime=0.5 cores=1,3,5,7 /proc/17198/task/17210/stat : 17210 (java) S 17196 17198 13385 0 -1 4202560 8340 0 0 0 49 1 0 0 16 0 22 0 909603322 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 1 0 0 0 [pid=17198/tid=17211] ppid=17196 vsize=10548664 CPUtime=0.53 cores=1,3,5,7 /proc/17198/task/17211/stat : 17211 (java) S 17196 17198 13385 0 -1 4202560 9067 0 0 0 52 1 0 0 15 0 22 0 909603322 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17212] ppid=17196 vsize=10548664 CPUtime=17.22 cores=1,3,5,7 /proc/17198/task/17212/stat : 17212 (java) S 17196 17198 13385 0 -1 4202560 28906 0 0 0 1718 4 0 0 15 0 22 0 909603323 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 0 0 16800975 18446604457732417344 0 0 -1 1 0 0 0 [pid=17198/tid=17213] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17213/stat : 17213 (java) S 17196 17198 13385 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909603324 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17214] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17214/stat : 17214 (java) S 17196 17198 13385 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 909603324 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17215] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17215/stat : 17215 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603326 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469889457 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17216] ppid=17196 vsize=10548664 CPUtime=1.11 cores=1,3,5,7 /proc/17198/task/17216/stat : 17216 (java) S 17196 17198 13385 0 -1 4202560 4242 0 0 0 111 0 0 0 15 0 22 0 909603326 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17217] ppid=17196 vsize=10548664 CPUtime=0.85 cores=1,3,5,7 /proc/17198/task/17217/stat : 17217 (java) S 17196 17198 13385 0 -1 4202560 3370 0 0 0 85 0 0 0 15 0 22 0 909603326 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17218] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17218/stat : 17218 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603326 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17219] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17219/stat : 17219 (java) S 17196 17198 13385 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 909603326 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17272] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17272/stat : 17272 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909640063 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17280] ppid=17196 vsize=10548664 CPUtime=263.78 cores=1,3,5,7 /proc/17198/task/17280/stat : 17280 (java) R 17196 17198 13385 0 -1 4202560 35 0 0 0 26378 0 0 0 25 0 22 0 909664288 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 46912505840736 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=17198/tid=17281] ppid=17196 vsize=10548664 CPUtime=263.78 cores=1,3,5,7 /proc/17198/task/17281/stat : 17281 (java) R 17196 17198 13385 0 -1 4202560 20 0 0 0 26378 0 0 0 25 0 22 0 909664288 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 46912505886446 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17198/tid=17282] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17282/stat : 17282 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909664289 10801831936 940009 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1741.71 Current children cumulated vsize (KiB) 10548664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+911.801 s] /proc/loadavg: 4.04 3.96 3.84 4/512 17293 /proc/meminfo: memFree=16648488/32951124 swapFree=56297244/67111528 [pid=17198] ppid=17196 vsize=10548664 CPUtime=1800.02 cores=1,3,5,7 /proc/17198/stat : 17198 (java) S 17196 17198 13385 0 -1 4202496 948214 0 1 0 179899 103 0 0 25 0 22 0 909603320 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17198/statm: 2637166 940011 2270 9 0 2627900 0 [pid=17198/tid=17199] ppid=17196 vsize=10548664 CPUtime=0.83 cores=1,3,5,7 /proc/17198/task/17199/stat : 17199 (java) S 17196 17198 13385 0 -1 4202560 29598 0 1 0 80 3 0 0 15 0 22 0 909603321 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17204] ppid=17196 vsize=10548664 CPUtime=0.47 cores=1,3,5,7 /proc/17198/task/17204/stat : 17204 (java) S 17196 17198 13385 0 -1 4202560 4748 0 0 0 47 0 0 0 16 0 22 0 909603322 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17205] ppid=17196 vsize=10548664 CPUtime=0.6 cores=1,3,5,7 /proc/17198/task/17205/stat : 17205 (java) S 17196 17198 13385 0 -1 4202560 9090 0 0 0 59 1 0 0 16 0 22 0 909603322 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 1 0 0 0 [pid=17198/tid=17206] ppid=17196 vsize=10548664 CPUtime=0.52 cores=1,3,5,7 /proc/17198/task/17206/stat : 17206 (java) S 17196 17198 13385 0 -1 4202560 5384 0 0 0 52 0 0 0 15 0 22 0 909603322 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17207] ppid=17196 vsize=10548664 CPUtime=0.52 cores=1,3,5,7 /proc/17198/task/17207/stat : 17207 (java) S 17196 17198 13385 0 -1 4202560 5030 0 0 0 52 0 0 0 15 0 22 0 909603322 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17208] ppid=17196 vsize=10548664 CPUtime=0.56 cores=1,3,5,7 /proc/17198/task/17208/stat : 17208 (java) S 17196 17198 13385 0 -1 4202560 8347 0 0 0 56 0 0 0 15 0 22 0 909603322 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17209] ppid=17196 vsize=10548664 CPUtime=0.57 cores=1,3,5,7 /proc/17198/task/17209/stat : 17209 (java) S 17196 17198 13385 0 -1 4202560 7147 0 0 0 57 0 0 0 15 0 22 0 909603322 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 1 0 0 0 [pid=17198/tid=17210] ppid=17196 vsize=10548664 CPUtime=0.52 cores=1,3,5,7 /proc/17198/task/17210/stat : 17210 (java) S 17196 17198 13385 0 -1 4202560 8340 0 0 0 51 1 0 0 15 0 22 0 909603322 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17211] ppid=17196 vsize=10548664 CPUtime=0.55 cores=1,3,5,7 /proc/17198/task/17211/stat : 17211 (java) S 17196 17198 13385 0 -1 4202560 9067 0 0 0 54 1 0 0 16 0 22 0 909603322 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17212] ppid=17196 vsize=10548664 CPUtime=17.98 cores=1,3,5,7 /proc/17198/task/17212/stat : 17212 (java) S 17196 17198 13385 0 -1 4202560 28909 0 0 0 1794 4 0 0 16 0 22 0 909603323 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 0 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17213] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17213/stat : 17213 (java) S 17196 17198 13385 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909603324 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17214] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17214/stat : 17214 (java) S 17196 17198 13385 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 909603324 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17215] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17215/stat : 17215 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603326 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469889457 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17216] ppid=17196 vsize=10548664 CPUtime=1.11 cores=1,3,5,7 /proc/17198/task/17216/stat : 17216 (java) S 17196 17198 13385 0 -1 4202560 4242 0 0 0 111 0 0 0 15 0 22 0 909603326 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 3 0 0 0 [pid=17198/tid=17217] ppid=17196 vsize=10548664 CPUtime=0.85 cores=1,3,5,7 /proc/17198/task/17217/stat : 17217 (java) S 17196 17198 13385 0 -1 4202560 3370 0 0 0 85 0 0 0 15 0 22 0 909603326 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 7 0 0 0 [pid=17198/tid=17218] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17218/stat : 17218 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603326 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469881753 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17219] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17219/stat : 17219 (java) S 17196 17198 13385 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909603326 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17272] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17272/stat : 17272 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909640063 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 [pid=17198/tid=17280] ppid=17196 vsize=10548664 CPUtime=292.45 cores=1,3,5,7 /proc/17198/task/17280/stat : 17280 (java) R 17196 17198 13385 0 -1 4202560 36 0 0 0 29245 0 0 0 22 0 22 0 909664288 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 46912505840576 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17198/tid=17281] ppid=17196 vsize=10548664 CPUtime=292.45 cores=1,3,5,7 /proc/17198/task/17281/stat : 17281 (java) R 17196 17198 13385 0 -1 4202560 24 0 0 0 29245 0 0 0 22 0 22 0 909664288 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 46912505970813 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=17198/tid=17282] ppid=17196 vsize=10548664 CPUtime=0 cores=1,3,5,7 /proc/17198/task/17282/stat : 17282 (java) S 17196 17198 13385 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909664289 10801831936 940011 33554432000 1073741824 1073778376 140736984134976 18446744073709551615 252469882368 0 4 0 16800975 18446604457732417344 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 10548664 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+911.929 s] /proc/loadavg: 4.04 3.96 3.84 4/493 17296 /proc/meminfo: memFree=18787816/32951124 swapFree=56297244/67111528 [pid=17198] ppid=17196 vsize=0 CPUtime=1800.22 cores=1,3,5,7 /proc/17198/stat : 17198 (java) Z 17196 17198 13385 0 -1 4203548 948244 0 1 0 179910 112 0 0 17 0 2 0 909603320 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17198/statm: 0 0 0 0 0 0 0 [pid=17198/tid=17211] ppid=17196 vsize=0 CPUtime=0.64 cores=1,3,5,7 /proc/17198/task/17211/stat : 17211 (java) R 17196 17198 13385 0 -1 4203588 9067 0 0 0 54 10 0 0 15 0 2 0 909603322 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 911.987 CPU time (s): 1800.29 CPU user time (s): 1799.11 CPU system time (s): 1.17882 CPU usage (%): 197.403 Max. virtual memory (cumulated for all children) (KiB): 10549496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.11 system time used= 1.17882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 948244 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26520 involuntary context switches= 13534 runsolver used 4.30934 second user time and 10.0145 second system time The end
Begin job on node111 at 2011-06-04 15:22:08 IDJOB=3454152 IDBENCH=25038 IDSOLVER=1950 FILE ID=node111/3454152-1307193728 RUNJOBID= node111-1307192822-16911 PBS_JOBID= 13508842 Free space on /tmp= 73868 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir06_area_opers.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454152-1307193728/watcher-3454152-1307193728 -o /tmp/evaluation-result-3454152-1307193728/solver-3454152-1307193728 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454152-1307193728.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4b72d81adefd0ef56251a04b2b714e8c RANDOM SEED=510822423 node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5428.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23982212 kB Buffers: 329468 kB Cached: 863596 kB SwapCached: 11784 kB Active: 7895092 kB Inactive: 795228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23982212 kB SwapTotal: 67111528 kB SwapFree: 56297244 kB Dirty: 2064 kB Writeback: 0 kB AnonPages: 7494260 kB Mapped: 36024 kB Slab: 144588 kB PageTables: 66592 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 159429448 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73868 MiB End job on node111 at 2011-06-04 15:37:22