Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 778 | 1800 | 1795.98 |
| Name | /OPT-SMALLINT-LIN/heinz/ normalized-wnq-n100-mw99-14.opb |
| MD5SUM | 2e1ece70ffcdb5c744c137a2f475d27d |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 398 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| 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 | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 498884 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 498884 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 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.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4109044-1466293477.opb 0.10/0.11 c reading problem ... 0.10/0.11 c objective function found 3.44/2.85 c ... done. Wall clock time 2.742s. 3.44/2.85 c declared #vars 10000 3.97/3.10 c #constraints 656900 3.97/3.10 c constraints type 3.97/3.10 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 3.97/3.10 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 3.97/3.10 c 656900 constraints processed. 3.97/3.10 c objective function length is 10000 literals 3.97/3.14 c SATISFIABLE 3.97/3.14 c OPTIMIZING... 3.97/3.14 c Got one! Elapsed wall clock time (in seconds):3.032 3.97/3.14 o 1535 4.19/3.29 c Got one! Elapsed wall clock time (in seconds):3.18 4.19/3.29 o 1090 4.36/3.36 c Got one! Elapsed wall clock time (in seconds):3.252 4.36/3.36 o 778 5.83/4.66 c cleaning 2678 clauses out of 5404 with flag 13928/5404 7.49/6.23 c cleaning 4361 clauses out of 8726 with flag 29900/11404 9.89/8.68 c cleaning 5681 clauses out of 11364 with flag 48054/18403 12.80/11.54 c cleaning 6833 clauses out of 13683 with flag 70414/26403 15.91/14.65 c cleaning 7917 clauses out of 15851 with flag 95980/35404 19.42/18.12 c cleaning 8966 clauses out of 17933 with flag 123601/45403 23.11/21.83 c cleaning 9975 clauses out of 19967 with flag 154466/56403 27.31/26.04 c cleaning 10991 clauses out of 21993 with flag 191105/68404 31.92/30.64 c cleaning 11996 clauses out of 24001 with flag 227913/81403 37.21/35.96 c cleaning 13002 clauses out of 26007 with flag 269703/95405 42.72/41.21 c cleaning 13999 clauses out of 28003 with flag 314681/110403 48.62/47.19 c cleaning 14996 clauses out of 30004 with flag 368041/126403 55.12/53.64 c cleaning 15996 clauses out of 32008 with flag 421030/143403 61.52/60.01 c cleaning 17001 clauses out of 34013 with flag 474789/161404 68.63/67.14 c cleaning 18004 clauses out of 36011 with flag 532048/180403 75.72/74.24 c cleaning 18998 clauses out of 38007 with flag 594266/200403 83.32/81.86 c cleaning 19993 clauses out of 40009 with flag 661015/221403 91.23/89.80 c cleaning 20999 clauses out of 42016 with flag 731995/243403 99.63/98.16 c cleaning 22001 clauses out of 44018 with flag 806965/266404 108.53/107.04 c cleaning 22999 clauses out of 46016 with flag 885670/290403 117.23/115.78 c cleaning 24004 clauses out of 48017 with flag 967883/315403 127.03/125.55 c cleaning 24997 clauses out of 50014 with flag 1053776/341404 136.53/135.05 c cleaning 26006 clauses out of 52017 with flag 1144076/368404 147.32/145.87 c cleaning 27002 clauses out of 54010 with flag 1237014/396403 159.12/157.29 c cleaning 28000 clauses out of 56009 with flag 1339523/425404 170.52/168.64 c cleaning 28989 clauses out of 58008 with flag 1442685/455403 182.43/180.57 c cleaning 30002 clauses out of 60019 with flag 1545909/486403 195.02/193.12 c cleaning 31001 clauses out of 62017 with flag 1650494/518403 207.02/205.19 c cleaning 31993 clauses out of 64016 with flag 1761711/551403 221.12/219.23 c cleaning 33001 clauses out of 66023 with flag 1878698/585403 234.92/233.07 c cleaning 34003 clauses out of 68022 with flag 1998722/620403 249.43/247.51 c cleaning 35003 clauses out of 70020 with flag 2122677/656404 263.63/261.77 c cleaning 35995 clauses out of 72016 with flag 2247393/693403 278.43/276.58 c cleaning 37001 clauses out of 74023 with flag 2377667/731405 294.12/292.28 c cleaning 37998 clauses out of 76021 with flag 2509721/770404 308.83/306.93 c cleaning 38997 clauses out of 78023 with flag 2646572/810404 325.33/323.50 c cleaning 40014 clauses out of 80027 with flag 2791001/851405 342.93/341.06 c cleaning 40994 clauses out of 82011 with flag 2941193/893403 360.12/358.27 c cleaning 41998 clauses out of 84017 with flag 3100664/936403 379.71/377.36 c cleaning 43008 clauses out of 86019 with flag 3262053/980403 398.80/396.49 c cleaning 44002 clauses out of 88013 with flag 3425409/1025405 418.30/415.93 c cleaning 45003 clauses out of 90009 with flag 3591694/1071403 438.21/435.80 c cleaning 46003 clauses out of 92006 with flag 3768900/1118403 459.10/456.70 c cleaning 46997 clauses out of 94003 with flag 3939888/1166403 480.50/478.18 c cleaning 47999 clauses out of 96006 with flag 4112767/1215403 502.30/499.91 c cleaning 48995 clauses out of 98007 with flag 4307007/1265403 523.80/521.43 c cleaning 50000 clauses out of 100012 with flag 4486263/1316403 546.70/544.36 c cleaning 51004 clauses out of 102012 with flag 4671218/1368403 570.40/568.00 c cleaning 51997 clauses out of 104008 with flag 4863397/1421403 594.89/592.56 c cleaning 52994 clauses out of 106012 with flag 5070321/1475404 620.08/617.27 c cleaning 54003 clauses out of 108017 with flag 5277086/1530403 643.88/641.03 c cleaning 55003 clauses out of 110014 with flag 5488637/1586403 668.97/666.13 c cleaning 55999 clauses out of 112013 with flag 5709692/1643405 695.08/692.20 c cleaning 56992 clauses out of 114012 with flag 5918428/1701403 720.48/717.61 c cleaning 57987 clauses out of 116020 with flag 6128763/1760403 747.08/744.21 c cleaning 59012 clauses out of 118034 with flag 6343518/1820404 775.39/772.57 c cleaning 59998 clauses out of 120021 with flag 6560298/1881403 804.19/801.39 c cleaning 60996 clauses out of 122023 with flag 6787774/1943403 833.29/830.41 c cleaning 61997 clauses out of 124027 with flag 7021907/2006403 861.21/858.32 c cleaning 63008 clauses out of 126032 with flag 7255176/2070405 890.81/887.99 c cleaning 64000 clauses out of 128022 with flag 7507597/2135403 921.22/918.30 c cleaning 65001 clauses out of 130022 with flag 7757515/2201403 951.12/948.20 c cleaning 66000 clauses out of 132021 with flag 8011647/2268403 980.61/977.74 c cleaning 67008 clauses out of 134021 with flag 8273982/2336403 1009.81/1006.90 c cleaning 67995 clauses out of 136014 with flag 8542764/2405404 1039.82/1036.99 c cleaning 69004 clauses out of 138019 with flag 8821122/2475404 1071.83/1068.13 c cleaning 69994 clauses out of 140014 with flag 9113265/2546403 1105.03/1101.34 c cleaning 70994 clauses out of 142021 with flag 9414980/2618404 1138.72/1135.01 c cleaning 72005 clauses out of 144026 with flag 9716150/2691403 1170.63/1166.97 c cleaning 73001 clauses out of 146021 with flag 10002886/2765403 1204.13/1200.48 c cleaning 74006 clauses out of 148020 with flag 10305620/2840403 1237.73/1234.01 c cleaning 74995 clauses out of 150014 with flag 10614788/2916403 1271.33/1267.61 c cleaning 75995 clauses out of 152019 with flag 10922177/2993403 1303.93/1300.30 c cleaning 77001 clauses out of 154024 with flag 11227434/3071403 1337.93/1334.30 c cleaning 78003 clauses out of 156024 with flag 11544144/3150404 1371.93/1368.20 c cleaning 79000 clauses out of 158020 with flag 11856276/3230403 1407.53/1403.86 c cleaning 79998 clauses out of 160020 with flag 12188612/3311403 1443.74/1440.04 c cleaning 80998 clauses out of 162022 with flag 12521231/3393403 1481.39/1477.40 c cleaning 82009 clauses out of 164024 with flag 12859040/3476403 1520.80/1516.74 c cleaning 83003 clauses out of 166017 with flag 13193187/3560405 1561.90/1557.87 c cleaning 84000 clauses out of 168012 with flag 13532405/3645403 1603.30/1599.24 c cleaning 84993 clauses out of 170014 with flag 13875917/3731405 1645.20/1641.10 c cleaning 86006 clauses out of 172019 with flag 14229167/3818403 1685.20/1681.19 c cleaning 87000 clauses out of 174013 with flag 14572932/3906403 1724.62/1720.51 c cleaning 87993 clauses out of 176013 with flag 14931310/3995403 1764.01/1759.97 c cleaning 89001 clauses out of 178020 with flag 15295092/4085403 1800.00/1795.90 c starts : 10 1800.00/1795.90 c conflicts : 4168689 1800.00/1795.90 c decisions : 9172699 1800.00/1795.90 c propagations : 797222278 1800.00/1795.90 c inspects : 7116851111 1800.00/1795.90 c shortcuts : 0 1800.00/1795.90 c learnt literals : 0 1800.00/1795.90 c learnt binary clauses : 0 1800.00/1795.90 c learnt ternary clauses : 0 1800.00/1795.90 c learnt constraints : 4168689 1800.00/1795.90 c ignored constraints : 0 1800.00/1795.90 c root simplifications : 0 1800.00/1795.90 c removed literals (reason simplification) : 0 1800.00/1795.90 c reason swapping (by a shorter reason) : 0 1800.00/1795.90 c Calls to reduceDB : 86 1800.00/1795.90 c Number of update (reduction) of LBD : 1046855 1800.00/1795.90 c Imported unit clauses : 0 1800.00/1795.90 c number of reductions to clauses (during analyze) : 0 1800.00/1795.90 c number of learned constraints concerned by reduction : 0 1800.00/1795.90 c number of learning phase by resolution : 0 1800.00/1795.90 c number of learning phase by cutting planes : 0 1800.00/1795.90 c speed (assignments/second) : 444625.1761691581 1800.00/1795.90 c non guided choices 0 1800.00/1795.93 c learnt constraints type 1800.00/1795.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 172305 1800.00/1795.93 s SATISFIABLE 1800.00/1795.93 c Found 3 solution(s) 1800.00/1795.94 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 1800.00/1795.95 c objective function=778 1800.00/1795.95 c Total wall clock time (in seconds): 1795.843
OK 778
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4109044-1466293477/watcher-4109044-1466293477 -o /tmp/evaluation-result-4109044-1466293477/solver-4109044-1466293477 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466293476-27778 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109044-1466293477.opb pid=27822 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.57 2.08 2.36 4/191 27825 /proc/meminfo: memFree=30049292/32872528 swapFree=1316768/1463936 [pid=27825] ppid=27822 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/27825/stat : 27825 (java) S 27822 27825 17643 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 31394685 98570240 977 33554432000 1073741824 1073778376 140737318781600 140737318772736 227515859005 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27825/statm: 24065 977 743 9 0 16771 0 [pid=27825/tid=27826] ppid=27822 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27826/stat : 27826 (java) R 27822 27825 17643 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 31394685 98570240 977 33554432000 1073741824 1073778376 140737318781600 139667835960872 227512501632 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0 [startup+0.100156 s] /proc/loadavg: 1.57 2.08 2.36 4/191 27825 /proc/meminfo: memFree=30049292/32872528 swapFree=1316768/1463936 [pid=27825] ppid=27822 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/27825/stat : 27825 (java) S 27822 27825 17643 0 -1 4202496 4477 0 1 0 10 0 0 0 20 0 18 0 31394685 9787879424 5597 33554432000 1073741824 1073778376 140737318781600 140737318772736 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27825/statm: 2389619 5597 2140 9 0 2380296 0 [pid=27825/tid=27826] ppid=27822 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/27825/task/27826/stat : 27826 (java) R 27822 27825 17643 0 -1 4202560 2437 0 1 0 8 0 0 0 20 0 18 0 31394685 9787879424 5597 33554432000 1073741824 1073778376 140737318781600 139667835964320 139667843840944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200313 s] /proc/loadavg: 1.57 2.08 2.36 4/191 27825 /proc/meminfo: memFree=30049292/32872528 swapFree=1316768/1463936 [pid=27825] ppid=27822 vsize=9558476 CPUtime=0.3 cores=0,2,4,6 /proc/27825/stat : 27825 (java) S 27822 27825 17643 0 -1 4202496 5149 0 1 0 29 1 0 0 20 0 18 0 31394685 9787879424 6517 33554432000 1073741824 1073778376 140737318781600 140737318772736 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27825/statm: 2389619 6517 2222 9 0 2380296 0 [pid=27825/tid=27826] ppid=27822 vsize=9558476 CPUtime=0.17 cores=0,2,4,6 /proc/27825/task/27826/stat : 27826 (java) R 27822 27825 17643 0 -1 4202560 2454 0 1 0 17 0 0 0 20 0 18 0 31394685 9787879424 6517 33554432000 1073741824 1073778376 140737318781600 139667835964320 139667839251275 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 9558476 [startup+0.300262 s] /proc/loadavg: 1.57 2.08 2.36 4/191 27825 /proc/meminfo: memFree=30049292/32872528 swapFree=1316768/1463936 [pid=27825] ppid=27822 vsize=9558476 CPUtime=0.47 cores=0,2,4,6 /proc/27825/stat : 27825 (java) S 27822 27825 17643 0 -1 4202496 5529 0 1 0 46 1 0 0 20 0 18 0 31394685 9787879424 8748 33554432000 1073741824 1073778376 140737318781600 140737318772736 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27825/statm: 2389619 8748 2231 9 0 2380296 0 [pid=27825/tid=27826] ppid=27822 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/27825/task/27826/stat : 27826 (java) R 27822 27825 17643 0 -1 4202560 2460 0 1 0 26 1 0 0 20 0 18 0 31394685 9787879424 8748 33554432000 1073741824 1073778376 140737318781600 139667835964320 139667775779844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700277 s] /proc/loadavg: 1.57 2.08 2.36 4/191 27825 /proc/meminfo: memFree=30049292/32872528 swapFree=1316768/1463936 [pid=27825] ppid=27822 vsize=9558476 CPUtime=1.08 cores=0,2,4,6 /proc/27825/stat : 27825 (java) S 27822 27825 17643 0 -1 4202496 6812 0 1 0 104 4 0 0 20 0 18 0 31394685 9787879424 40063 33554432000 1073741824 1073778376 140737318781600 140737318772736 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27825/statm: 2389619 40063 2261 9 0 2380296 0 [pid=27825/tid=27826] ppid=27822 vsize=9558476 CPUtime=0.66 cores=0,2,4,6 /proc/27825/task/27826/stat : 27826 (java) R 27822 27825 17643 0 -1 4202560 2521 0 1 0 63 3 0 0 20 0 18 0 31394685 9787879424 40063 33554432000 1073741824 1073778376 140737318781600 139667835964888 139667776105742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 9558476 [startup+1.50077 s] /proc/loadavg: 2.01 2.16 2.39 3/210 27844 /proc/meminfo: memFree=29693260/32872528 swapFree=1316768/1463936 [pid=27825] ppid=27822 vsize=9558476 CPUtime=1.96 cores=0,2,4,6 /proc/27825/stat : 27825 (java) S 27822 27825 17643 0 -1 4202496 6894 0 1 0 189 7 0 0 20 0 18 0 31394685 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 140737318772736 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27825/statm: 2389619 71300 2261 9 0 2380296 0 [pid=27825/tid=27826] ppid=27822 vsize=9558476 CPUtime=1.43 cores=0,2,4,6 /proc/27825/task/27826/stat : 27826 (java) R 27822 27825 17643 0 -1 4202560 2577 0 1 0 137 6 0 0 20 0 18 0 31394685 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667835964680 139667776213635 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27828] ppid=27822 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27828/stat : 27828 (java) S 27822 27825 17643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 31394686 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667774696360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27829] ppid=27822 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27829/stat : 27829 (java) S 27822 27825 17643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 31394686 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667678379048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27830] ppid=27822 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27830/stat : 27830 (java) S 27822 27825 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31394686 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667677325992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27825/tid=27831] ppid=27822 vsize=9558476 CPUtime=0.03 cores=0,2,4,6 /proc/27825/task/27831/stat : 27831 (java) S 27822 27825 17643 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 18 0 31394686 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667676273448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27825/tid=27832] ppid=27822 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27832/stat : 27832 (java) S 27822 27825 17643 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 31394686 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667675220392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27833] ppid=27822 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27833/stat : 27833 (java) S 27822 27825 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 31394686 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667674167848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27834] ppid=27822 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27834/stat : 27834 (java) S 27822 27825 17643 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 31394686 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667673114792 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27825/tid=27835] ppid=27822 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/27825/task/27835/stat : 27835 (java) S 27822 27825 17643 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 31394686 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667672062248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27825/tid=27836] ppid=27822 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27836/stat : 27836 (java) S 27822 27825 17643 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 31394687 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667659864936 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27837] ppid=27822 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27837/stat : 27837 (java) S 27822 27825 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 31394688 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667658811256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27838] ppid=27822 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27838/stat : 27838 (java) S 27822 27825 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 31394688 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667657758088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27839] ppid=27822 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27839/stat : 27839 (java) S 27822 27825 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31394690 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667656706832 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27840] ppid=27822 vsize=9558476 CPUtime=0.16 cores=0,2,4,6 /proc/27825/task/27840/stat : 27840 (java) S 27822 27825 17643 0 -1 4202560 1173 0 0 0 16 0 0 0 20 0 18 0 31394690 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667655653688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27841] ppid=27822 vsize=9558476 CPUtime=0.17 cores=0,2,4,6 /proc/27825/task/27841/stat : 27841 (java) S 27822 27825 17643 0 -1 4202560 1764 0 0 0 17 0 0 0 20 0 18 0 31394690 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667654601144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27842] ppid=27822 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27842/stat : 27842 (java) S 27822 27825 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31394690 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667653548280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27843] ppid=27822 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27843/stat : 27843 (java) S 27822 27825 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31394690 9787879424 71300 33554432000 1073741824 1073778376 140737318781600 139667652495944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.96 Current children cumulated vsize (KiB) 9558476 [startup+3.10077 s] /proc/loadavg: 2.01 2.16 2.39 3/210 27844 /proc/meminfo: memFree=29485420/32872528 swapFree=1316768/1463936 [pid=27825] ppid=27822 vsize=9625040 CPUtime=3.97 cores=0,2,4,6 /proc/27825/stat : 27825 (java) S 27822 27825 17643 0 -1 4202496 7868 0 1 0 385 12 0 0 20 0 19 0 31394685 9856040960 97842 33554432000 1073741824 1073778376 140737318781600 140737318772736 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27825/statm: 2406260 97842 2276 9 0 2396937 0 [pid=27825/tid=27826] ppid=27822 vsize=9625040 CPUtime=2.95 cores=0,2,4,6 /proc/27825/task/27826/stat : 27826 (java) R 27822 27825 17643 0 -1 4202560 2620 0 1 0 289 6 0 0 20 0 19 0 31394685 9856040960 97842 33554432000 1073741824 1073778376 140737318781600 139667835965448 139667775886846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27828] ppid=27822 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/27825/task/27828/stat : 27828 (java) S 27822 27825 17643 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 19 0 31394686 9856040960 97842 33554432000 1073741824 1073778376 140737318781600 139667774696360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27829] ppid=27822 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/27825/task/27829/stat : 27829 (java) S 27822 27825 17643 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 31394686 9856040960 97842 33554432000 1073741824 1073778376 140737318781600 139667678379048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27830] ppid=27822 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/27825/task/27830/stat : 27830 (java) S 27822 27825 17643 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 19 0 31394686 9856040960 97842 33554432000 1073741824 1073778376 140737318781600 139667677325992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27831] ppid=27822 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/27825/task/27831/stat : 27831 (java) S 27822 27825 17643 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 19 0 31394686 9856040960 97842 33554432000 1073741824 1073778376 140737318781600 139667676273448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27832] ppid=27822 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/27825/task/27832/stat : 27832 (java) S 27822 27825 17643 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 31394686 9856040960 97842 33554432000 1073741824 1073778376 140737318781600 139667675220392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27833] ppid=27822 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/27825/task/27833/stat : 27833 (java) S 27822 27825 17643 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 19 0 31394686 9856040960 97842 33554432000 1073741824 1073778376 140737318781600 139667674167848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27834] ppid=27822 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/27825/task/27834/stat : 27834 (java) S 27822 27825 17643 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 31394686 9856040960 97842 33554432000 1073741824 1073778376 140737318781600 139667673114792 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27835] ppid=27822 vsize=9625040 CPUtime=0.06 cores=0,2,4,6 /proc/27825/task/27835/stat : 27835 (java) S 27822 27825 17643 0 -1 4202560 43 0 0 0 4 2 0 0 20 0 19 0 31394686 9856040960 97842 33554432000 1073741824 1073778376 140737318781600 139667672062248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27836] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27836/stat : 27836 (java) S 27822 27825 17643 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 19 0 31394687 9856040960 97843 33554432000 1073741824 1073778376 140737318781600 139667659864936 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27837] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27837/stat : 27837 (java) S 27822 27825 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31394688 9856040960 97843 33554432000 1073741824 1073778376 140737318781600 139667658811256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27838] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27838/stat : 27838 (java) S 27822 27825 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31394688 9856040960 97843 33554432000 1073741824 1073778376 140737318781600 139667657758088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27839] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27839/stat : 27839 (java) S 27822 27825 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31394690 9856040960 97843 33554432000 1073741824 1073778376 140737318781600 139667656706832 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27840] ppid=27822 vsize=9625040 CPUtime=0.26 cores=0,2,4,6 /proc/27825/task/27840/stat : 27840 (java) R 27822 27825 17643 0 -1 4202560 1530 0 0 0 26 0 0 0 20 0 19 0 31394690 9856040960 97843 33554432000 1073741824 1073778376 140737318781600 139667655653688 139667842422153 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27841] ppid=27822 vsize=9625040 CPUtime=0.29 cores=0,2,4,6 /proc/27825/task/27841/stat : 27841 (java) R 27822 27825 17643 0 -1 4202560 2076 0 0 0 29 0 0 0 20 0 19 0 31394690 9856040960 97843 33554432000 1073741824 1073778376 140737318781600 139667654601144 139667838199980 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27842] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27842/stat : 27842 (java) S 27822 27825 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31394690 9856040960 97843 33554432000 1073741824 1073778376 140737318781600 139667653548280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27843] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27843/stat : 27843 (java) S 27822 27825 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31394690 9856040960 97843 33554432000 1073741824 1073778376 140737318781600 139667652495944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.97 Current children cumulated vsize (KiB) 9625040 [startup+6.30077 s] /proc/loadavg: 2.01 2.16 2.39 4/211 27845 /proc/meminfo: memFree=29335288/32872528 swapFree=1316768/1463936 [pid=27825] ppid=27822 vsize=9625040 CPUtime=7.59 cores=0,2,4,6 /proc/27825/stat : 27825 (java) S 27822 27825 17643 0 -1 4202496 10361 0 1 0 745 14 0 0 20 0 19 0 31394685 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 140737318772736 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27825/statm: 2406260 107823 2284 9 0 2396937 0 [pid=27825/tid=27826] ppid=27822 vsize=9625040 CPUtime=6.08 cores=0,2,4,6 /proc/27825/task/27826/stat : 27826 (java) R 27822 27825 17643 0 -1 4202560 2646 0 1 0 601 7 0 0 20 0 19 0 31394685 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667835966040 139667776624610 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27828] ppid=27822 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/27825/task/27828/stat : 27828 (java) S 27822 27825 17643 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 19 0 31394686 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667774696360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27829] ppid=27822 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/27825/task/27829/stat : 27829 (java) S 27822 27825 17643 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 31394686 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667678379048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27830] ppid=27822 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/27825/task/27830/stat : 27830 (java) S 27822 27825 17643 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 19 0 31394686 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667677325992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27831] ppid=27822 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/27825/task/27831/stat : 27831 (java) S 27822 27825 17643 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 19 0 31394686 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667676273448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27832] ppid=27822 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/27825/task/27832/stat : 27832 (java) S 27822 27825 17643 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 31394686 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667675220392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27833] ppid=27822 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/27825/task/27833/stat : 27833 (java) S 27822 27825 17643 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 19 0 31394686 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667674167848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27834] ppid=27822 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/27825/task/27834/stat : 27834 (java) S 27822 27825 17643 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 31394686 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667673114792 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27835] ppid=27822 vsize=9625040 CPUtime=0.06 cores=0,2,4,6 /proc/27825/task/27835/stat : 27835 (java) S 27822 27825 17643 0 -1 4202560 43 0 0 0 4 2 0 0 20 0 19 0 31394686 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667672062248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27836] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27836/stat : 27836 (java) S 27822 27825 17643 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 31394687 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667659864936 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27837] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27837/stat : 27837 (java) S 27822 27825 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31394688 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667658811256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27838] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27838/stat : 27838 (java) S 27822 27825 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31394688 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667657758088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27839] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27839/stat : 27839 (java) S 27822 27825 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31394690 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667656706832 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27840] ppid=27822 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/27825/task/27840/stat : 27840 (java) S 27822 27825 17643 0 -1 4202560 2317 0 0 0 44 0 0 0 20 0 19 0 31394690 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667655653688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27841] ppid=27822 vsize=9625040 CPUtime=0.58 cores=0,2,4,6 /proc/27825/task/27841/stat : 27841 (java) S 27822 27825 17643 0 -1 4202560 3754 0 0 0 58 0 0 0 20 0 19 0 31394690 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667654601144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27842] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27842/stat : 27842 (java) S 27822 27825 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31394690 9856040960 107823 33554432000 1073741824 1073778376 140737318781600 139667653548280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27843] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [pid=27825/tid=27845] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27845/stat : 27845 (java) S 27822 27825 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31394973 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667651442216 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1726.41 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.00 2.25 2.27 2/186 27944 /proc/meminfo: memFree=27005144/32872528 swapFree=1316768/1463936 [pid=27825] ppid=27822 vsize=9625040 CPUtime=1786.4 cores=0,2,4,6 /proc/27825/stat : 27825 (java) S 27822 27825 17643 0 -1 4202496 27854 0 1 0 178434 206 0 0 20 0 19 0 31394685 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 140737318772736 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27825/statm: 2406260 781940 2293 9 0 2396937 0 [pid=27825/tid=27826] ppid=27822 vsize=9625040 CPUtime=1775.95 cores=0,2,4,6 /proc/27825/task/27826/stat : 27826 (java) R 27822 27825 17643 0 -1 4202560 3911 0 1 0 177545 50 0 0 20 0 19 0 31394685 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667835956944 139667776342401 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27828] ppid=27822 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/27825/task/27828/stat : 27828 (java) S 27822 27825 17643 0 -1 4202560 1173 0 0 0 23 16 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667774696360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27825/tid=27829] ppid=27822 vsize=9625040 CPUtime=0.59 cores=0,2,4,6 /proc/27825/task/27829/stat : 27829 (java) S 27822 27825 17643 0 -1 4202560 2236 0 0 0 34 25 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667678379048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27830] ppid=27822 vsize=9625040 CPUtime=0.67 cores=0,2,4,6 /proc/27825/task/27830/stat : 27830 (java) S 27822 27825 17643 0 -1 4202560 1890 0 0 0 38 29 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667677325992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27831] ppid=27822 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/27825/task/27831/stat : 27831 (java) S 27822 27825 17643 0 -1 4202560 2098 0 0 0 33 23 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667676273448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27832] ppid=27822 vsize=9625040 CPUtime=0.35 cores=0,2,4,6 /proc/27825/task/27832/stat : 27832 (java) S 27822 27825 17643 0 -1 4202560 1951 0 0 0 20 15 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667675220392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27833] ppid=27822 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/27825/task/27833/stat : 27833 (java) S 27822 27825 17643 0 -1 4202560 2092 0 0 0 23 18 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667674167848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27834] ppid=27822 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/27825/task/27834/stat : 27834 (java) S 27822 27825 17643 0 -1 4202560 1713 0 0 0 30 20 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667673114792 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27835] ppid=27822 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/27825/task/27835/stat : 27835 (java) S 27822 27825 17643 0 -1 4202560 1690 0 0 0 34 22 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667672062248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27836] ppid=27822 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/27825/task/27836/stat : 27836 (java) S 27822 27825 17643 0 -1 4202560 1424 0 0 0 51 2 0 0 20 0 19 0 31394687 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667659864936 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27837] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27837/stat : 27837 (java) S 27822 27825 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31394688 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667658811256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27838] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27838/stat : 27838 (java) S 27822 27825 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31394688 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667657758088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27839] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27839/stat : 27839 (java) S 27822 27825 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31394690 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667656706832 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27840] ppid=27822 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/27825/task/27840/stat : 27840 (java) S 27822 27825 17643 0 -1 4202560 2323 0 0 0 46 0 0 0 20 0 19 0 31394690 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667655653688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27841] ppid=27822 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/27825/task/27841/stat : 27841 (java) S 27822 27825 17643 0 -1 4202560 3992 0 0 0 61 0 0 0 20 0 19 0 31394690 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667654601144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27842] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27842/stat : 27842 (java) S 27822 27825 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31394690 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667653548280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27843] ppid=27822 vsize=9625040 CPUtime=0.36 cores=0,2,4,6 /proc/27825/task/27843/stat : 27843 (java) S 27822 27825 17643 0 -1 4202560 103 0 0 0 20 16 0 0 20 0 19 0 31394690 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667652495944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27845] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27845/stat : 27845 (java) S 27822 27825 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31394973 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667651442216 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.9 s] /proc/loadavg: 1.92 2.22 2.26 3/186 27945 /proc/meminfo: memFree=27005676/32872528 swapFree=1316768/1463936 [pid=27825] ppid=27822 vsize=9625040 CPUtime=1800 cores=0,2,4,6 /proc/27825/stat : 27825 (java) S 27822 27825 17643 0 -1 4202496 27854 0 1 0 179794 206 0 0 20 0 19 0 31394685 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 140737318772736 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27825/statm: 2406260 781940 2293 9 0 2396937 0 [pid=27825/tid=27826] ppid=27822 vsize=9625040 CPUtime=1789.51 cores=0,2,4,6 /proc/27825/task/27826/stat : 27826 (java) R 27822 27825 17643 0 -1 4202560 3911 0 1 0 178900 51 0 0 20 0 19 0 31394685 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667835956944 139667776420469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27828] ppid=27822 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/27825/task/27828/stat : 27828 (java) S 27822 27825 17643 0 -1 4202560 1173 0 0 0 23 16 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667774696360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27825/tid=27829] ppid=27822 vsize=9625040 CPUtime=0.59 cores=0,2,4,6 /proc/27825/task/27829/stat : 27829 (java) S 27822 27825 17643 0 -1 4202560 2236 0 0 0 34 25 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667678379048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27830] ppid=27822 vsize=9625040 CPUtime=0.67 cores=0,2,4,6 /proc/27825/task/27830/stat : 27830 (java) S 27822 27825 17643 0 -1 4202560 1890 0 0 0 38 29 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667677325992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27831] ppid=27822 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/27825/task/27831/stat : 27831 (java) S 27822 27825 17643 0 -1 4202560 2098 0 0 0 33 23 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667676273448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27832] ppid=27822 vsize=9625040 CPUtime=0.35 cores=0,2,4,6 /proc/27825/task/27832/stat : 27832 (java) S 27822 27825 17643 0 -1 4202560 1951 0 0 0 20 15 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667675220392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27833] ppid=27822 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/27825/task/27833/stat : 27833 (java) S 27822 27825 17643 0 -1 4202560 2092 0 0 0 23 18 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667674167848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27834] ppid=27822 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/27825/task/27834/stat : 27834 (java) S 27822 27825 17643 0 -1 4202560 1713 0 0 0 30 20 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667673114792 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27835] ppid=27822 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/27825/task/27835/stat : 27835 (java) S 27822 27825 17643 0 -1 4202560 1690 0 0 0 34 22 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667672062248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27836] ppid=27822 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/27825/task/27836/stat : 27836 (java) S 27822 27825 17643 0 -1 4202560 1424 0 0 0 51 2 0 0 20 0 19 0 31394687 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667659864936 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27837] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27837/stat : 27837 (java) S 27822 27825 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31394688 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667658811256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27838] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27838/stat : 27838 (java) S 27822 27825 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31394688 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667657758088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27839] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27839/stat : 27839 (java) S 27822 27825 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31394690 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667656706832 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27840] ppid=27822 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/27825/task/27840/stat : 27840 (java) S 27822 27825 17643 0 -1 4202560 2323 0 0 0 46 0 0 0 20 0 19 0 31394690 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667655653688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27841] ppid=27822 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/27825/task/27841/stat : 27841 (java) S 27822 27825 17643 0 -1 4202560 3992 0 0 0 61 0 0 0 20 0 19 0 31394690 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667654601144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27842] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27842/stat : 27842 (java) S 27822 27825 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31394690 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667653548280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27843] ppid=27822 vsize=9625040 CPUtime=0.36 cores=0,2,4,6 /proc/27825/task/27843/stat : 27843 (java) S 27822 27825 17643 0 -1 4202560 103 0 0 0 20 16 0 0 20 0 19 0 31394690 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667652495944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27845] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27845/stat : 27845 (java) S 27822 27825 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31394973 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667651442216 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 27825 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1795.9 s] /proc/loadavg: 1.92 2.22 2.26 3/186 27945 /proc/meminfo: memFree=27005676/32872528 swapFree=1316768/1463936 [pid=27825] ppid=27822 vsize=9625040 CPUtime=1800 cores=0,2,4,6 /proc/27825/stat : 27825 (java) S 27822 27825 17643 0 -1 4202496 27854 0 1 0 179794 206 0 0 20 0 19 0 31394685 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 140737318772736 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27825/statm: 2406260 781940 2293 9 0 2396937 0 [pid=27825/tid=27826] ppid=27822 vsize=9625040 CPUtime=1789.51 cores=0,2,4,6 /proc/27825/task/27826/stat : 27826 (java) R 27822 27825 17643 0 -1 4202560 3911 0 1 0 178900 51 0 0 20 0 19 0 31394685 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667835956944 139667776420469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27828] ppid=27822 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/27825/task/27828/stat : 27828 (java) S 27822 27825 17643 0 -1 4202560 1173 0 0 0 23 16 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667774696360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27825/tid=27829] ppid=27822 vsize=9625040 CPUtime=0.59 cores=0,2,4,6 /proc/27825/task/27829/stat : 27829 (java) S 27822 27825 17643 0 -1 4202560 2236 0 0 0 34 25 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667678379048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27830] ppid=27822 vsize=9625040 CPUtime=0.67 cores=0,2,4,6 /proc/27825/task/27830/stat : 27830 (java) S 27822 27825 17643 0 -1 4202560 1890 0 0 0 38 29 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667677325992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27831] ppid=27822 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/27825/task/27831/stat : 27831 (java) S 27822 27825 17643 0 -1 4202560 2098 0 0 0 33 23 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667676273448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27832] ppid=27822 vsize=9625040 CPUtime=0.35 cores=0,2,4,6 /proc/27825/task/27832/stat : 27832 (java) S 27822 27825 17643 0 -1 4202560 1951 0 0 0 20 15 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667675220392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27833] ppid=27822 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/27825/task/27833/stat : 27833 (java) S 27822 27825 17643 0 -1 4202560 2092 0 0 0 23 18 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667674167848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27834] ppid=27822 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/27825/task/27834/stat : 27834 (java) S 27822 27825 17643 0 -1 4202560 1713 0 0 0 30 20 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667673114792 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27835] ppid=27822 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/27825/task/27835/stat : 27835 (java) S 27822 27825 17643 0 -1 4202560 1690 0 0 0 34 22 0 0 20 0 19 0 31394686 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667672062248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27836] ppid=27822 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/27825/task/27836/stat : 27836 (java) S 27822 27825 17643 0 -1 4202560 1424 0 0 0 51 2 0 0 20 0 19 0 31394687 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667659864936 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27837] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27837/stat : 27837 (java) S 27822 27825 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31394688 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667658811256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27838] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27838/stat : 27838 (java) S 27822 27825 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31394688 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667657758088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27839] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27839/stat : 27839 (java) S 27822 27825 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31394690 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667656706832 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27840] ppid=27822 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/27825/task/27840/stat : 27840 (java) S 27822 27825 17643 0 -1 4202560 2323 0 0 0 46 0 0 0 20 0 19 0 31394690 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667655653688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27825/tid=27841] ppid=27822 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/27825/task/27841/stat : 27841 (java) S 27822 27825 17643 0 -1 4202560 3992 0 0 0 61 0 0 0 20 0 19 0 31394690 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667654601144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27842] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27842/stat : 27842 (java) S 27822 27825 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31394690 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667653548280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27825/tid=27843] ppid=27822 vsize=9625040 CPUtime=0.36 cores=0,2,4,6 /proc/27825/task/27843/stat : 27843 (java) S 27822 27825 17643 0 -1 4202560 103 0 0 0 20 16 0 0 20 0 19 0 31394690 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667652495944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27825/tid=27845] ppid=27822 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27825/task/27845/stat : 27845 (java) S 27822 27825 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31394973 9856040960 781940 33554432000 1073741824 1073778376 140737318781600 139667651442216 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27825 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=400361 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=522616 # CPU time returned by wait4() is 1795.92 # while last known CPU time is 1800 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1795.98 CPU time (s): 1800 CPU user time (s): 1797.94 CPU system time (s): 2.06 CPU usage (%): 100.224 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.4 system time used= 2.52262 maximum resident set size= 3128208 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27995 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1024 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38763 involuntary context switches= 3359 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.98048 second user time and 12.3241 second system time The end
Begin job on node121 at 2016-06-19 01:44:38 IDJOB=4109044 IDBENCH=89833 IDSOLVER=2546 FILE ID=node121/4109044-1466293477 RUNJOBID= node121-1466293476-27778 PBS_JOBID= 19918247 Free space on /tmp= 71696 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-wnq-n100-mw99-14.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109044-1466293477/watcher-4109044-1466293477 -o /tmp/evaluation-result-4109044-1466293477/solver-4109044-1466293477 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466293476-27778 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109044-1466293477.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2e1ece70ffcdb5c744c137a2f475d27d RANDOM SEED=2092790736 node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30052520 kB Buffers: 182096 kB Cached: 348120 kB SwapCached: 1900 kB Active: 208596 kB Inactive: 383796 kB Active(anon): 62016 kB Inactive(anon): 2792 kB Active(file): 146580 kB Inactive(file): 381004 kB Unevictable: 1463936 kB Mlocked: 1316768 kB SwapTotal: 67108856 kB SwapFree: 67101124 kB Dirty: 26104 kB Writeback: 4 kB AnonPages: 1477624 kB Mapped: 16616 kB Shmem: 0 kB Slab: 616384 kB SReclaimable: 60348 kB SUnreclaim: 556036 kB KernelStack: 1400 kB PageTables: 7464 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2139248 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node121 at 2016-06-19 02:14:34