| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 825 | 1800.05 | 1795.28 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb |
| MD5SUM | 99680d01aa100bfba038606e315bf03d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 319 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 431 |
| Optimality of the best value was proved | NO |
| 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 | 497468 |
| 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 | 497468 |
| 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.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/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.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4085305-1465226977.opb 0.09/0.11 c reading problem ... 0.09/0.11 c objective function found 3.29/2.70 c ... done. Wall clock time 2.584s. 3.29/2.70 c declared #vars 10000 3.29/2.70 c #constraints 656900 3.29/2.70 c constraints type 3.29/2.70 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 3.29/2.70 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 3.29/2.70 c 656900 constraints processed. 3.29/2.70 c objective function length is 10000 literals 3.73/2.98 c SATISFIABLE 3.73/2.98 c OPTIMIZING... 3.73/2.98 c Got one! Elapsed wall clock time (in seconds):2.835 3.73/2.98 o 825 6.18/4.86 c cleaning 2545 clauses out of 5095 with flag 24559/5095 8.50/6.95 c cleaning 4257 clauses out of 8548 with flag 40659/11093 10.70/9.18 c cleaning 5634 clauses out of 11292 with flag 59030/18094 13.20/11.65 c cleaning 6805 clauses out of 13657 with flag 81967/26093 16.12/14.54 c cleaning 7902 clauses out of 15852 with flag 107815/35093 19.23/17.70 c cleaning 8960 clauses out of 17950 with flag 136268/45093 22.92/21.36 c cleaning 9987 clauses out of 19990 with flag 168458/56093 26.72/25.16 c cleaning 10996 clauses out of 22004 with flag 205793/68094 30.91/29.38 c cleaning 11998 clauses out of 24008 with flag 244602/81094 36.12/34.36 c cleaning 13002 clauses out of 26009 with flag 289156/95093 41.12/39.33 c cleaning 13996 clauses out of 28008 with flag 335736/110094 46.41/44.68 c cleaning 15004 clauses out of 30011 with flag 385260/126093 52.11/50.32 c cleaning 16000 clauses out of 32009 with flag 438866/143095 58.21/56.46 c cleaning 16997 clauses out of 34008 with flag 498314/161094 64.71/62.97 c cleaning 17991 clauses out of 36010 with flag 560252/180093 71.21/69.40 c cleaning 19006 clauses out of 38019 with flag 625885/200093 78.70/76.97 c cleaning 19998 clauses out of 40013 with flag 693285/221093 86.30/84.56 c cleaning 20995 clauses out of 42015 with flag 766449/243093 94.10/92.33 c cleaning 22007 clauses out of 44021 with flag 843363/266094 102.60/100.88 c cleaning 22999 clauses out of 46013 with flag 924368/290093 111.41/109.68 c cleaning 24003 clauses out of 48016 with flag 1003929/315095 121.01/119.21 c cleaning 25002 clauses out of 50011 with flag 1090703/341093 130.62/128.89 c cleaning 26000 clauses out of 52009 with flag 1182087/368093 140.61/138.83 c cleaning 27001 clauses out of 54009 with flag 1272811/396093 151.49/149.36 c cleaning 28004 clauses out of 56009 with flag 1371433/425094 162.19/160.03 c cleaning 28995 clauses out of 58004 with flag 1471397/455093 173.48/171.38 c cleaning 29998 clauses out of 60009 with flag 1574673/486093 185.69/183.59 c cleaning 30983 clauses out of 62011 with flag 1683600/518093 198.59/196.42 c cleaning 32007 clauses out of 64028 with flag 1802258/551093 211.20/209.10 c cleaning 33006 clauses out of 66021 with flag 1915654/585093 224.29/222.11 c cleaning 34006 clauses out of 68015 with flag 2039838/620093 238.09/235.94 c cleaning 34997 clauses out of 70010 with flag 2161052/656094 252.49/250.36 c cleaning 36004 clauses out of 72013 with flag 2283134/693094 267.48/265.38 c cleaning 37004 clauses out of 74008 with flag 2415667/731093 282.59/280.43 c cleaning 37997 clauses out of 76005 with flag 2548861/770094 298.20/296.01 c cleaning 39001 clauses out of 78007 with flag 2688642/810093 314.50/312.31 c cleaning 40001 clauses out of 80009 with flag 2830971/851096 331.90/329.75 c cleaning 41003 clauses out of 82006 with flag 2985038/893094 349.91/347.79 c cleaning 41998 clauses out of 84003 with flag 3135067/936094 368.20/366.09 c cleaning 42990 clauses out of 86005 with flag 3305405/980094 387.65/385.05 c cleaning 44000 clauses out of 88014 with flag 3462635/1025093 407.14/404.50 c cleaning 45000 clauses out of 90016 with flag 3622543/1071095 426.65/424.07 c cleaning 46008 clauses out of 92016 with flag 3785753/1118095 446.75/444.16 c cleaning 46992 clauses out of 94006 with flag 3956054/1166093 467.85/465.23 c cleaning 47994 clauses out of 96014 with flag 4132400/1215093 488.25/485.65 c cleaning 49000 clauses out of 98020 with flag 4313675/1265093 509.06/506.46 c cleaning 49995 clauses out of 100020 with flag 4503141/1316093 531.26/528.66 c cleaning 51010 clauses out of 102028 with flag 4699760/1368096 554.06/551.46 c cleaning 51998 clauses out of 104015 with flag 4910151/1421093 576.76/574.19 c cleaning 53001 clauses out of 106017 with flag 5113126/1475093 600.66/598.02 c cleaning 53998 clauses out of 108018 with flag 5341062/1530095 625.57/622.42 c cleaning 55000 clauses out of 110019 with flag 5567937/1586094 649.47/646.37 c cleaning 56005 clauses out of 112018 with flag 5792877/1643093 673.87/670.71 c cleaning 56990 clauses out of 114013 with flag 6019383/1701093 697.48/694.32 c cleaning 58000 clauses out of 116024 with flag 6247550/1760094 721.77/718.68 c cleaning 59009 clauses out of 118026 with flag 6492890/1820096 748.27/745.14 c cleaning 59996 clauses out of 120014 with flag 6725801/1881093 775.68/772.50 c cleaning 60997 clauses out of 122018 with flag 6966373/1943093 802.79/799.64 c cleaning 62003 clauses out of 124023 with flag 7211113/2006095 829.39/826.24 c cleaning 62984 clauses out of 126018 with flag 7451497/2070093 856.98/853.87 c cleaning 64016 clauses out of 128036 with flag 7692413/2135095 885.71/882.54 c cleaning 65003 clauses out of 130020 with flag 7954639/2201095 914.61/911.47 c cleaning 65993 clauses out of 132015 with flag 8218736/2268093 946.03/942.83 c cleaning 67007 clauses out of 134025 with flag 8473284/2336096 978.43/975.24 c cleaning 68001 clauses out of 136016 with flag 8754577/2405094 1011.63/1008.44 c cleaning 69001 clauses out of 138015 with flag 9048223/2475094 1043.43/1040.26 c cleaning 69994 clauses out of 140013 with flag 9331215/2546093 1077.22/1073.46 c cleaning 71005 clauses out of 142019 with flag 9635867/2618093 1109.52/1105.76 c cleaning 71995 clauses out of 144015 with flag 9926990/2691094 1143.02/1139.21 c cleaning 72988 clauses out of 146019 with flag 10215359/2765093 1177.93/1174.19 c cleaning 74005 clauses out of 148031 with flag 10495163/2840093 1213.94/1210.14 c cleaning 75004 clauses out of 150026 with flag 10798957/2916093 1251.44/1247.69 c cleaning 76002 clauses out of 152023 with flag 11118628/2993094 1290.75/1286.90 c cleaning 77005 clauses out of 154020 with flag 11443569/3071093 1331.26/1327.44 c cleaning 78006 clauses out of 156015 with flag 11752457/3150093 1372.86/1369.02 c cleaning 79001 clauses out of 158012 with flag 12078983/3230096 1413.98/1410.16 c cleaning 80004 clauses out of 160011 with flag 12419781/3311096 1453.29/1449.46 c cleaning 80992 clauses out of 162004 with flag 12757161/3393093 1493.09/1489.20 c cleaning 82001 clauses out of 164013 with flag 13108014/3476094 1532.60/1528.73 c cleaning 82997 clauses out of 166011 with flag 13449264/3560093 1575.12/1570.35 c cleaning 84003 clauses out of 168014 with flag 13800200/3645093 1618.43/1613.67 c cleaning 84987 clauses out of 170011 with flag 14156170/3731093 1659.84/1655.01 c cleaning 85991 clauses out of 172025 with flag 14527234/3818094 1699.14/1694.39 c cleaning 87000 clauses out of 174036 with flag 14885100/3906096 1738.15/1733.35 c cleaning 88014 clauses out of 176033 with flag 15245249/3995093 1778.55/1773.79 c cleaning 89000 clauses out of 178019 with flag 15597375/4085093 1800.05/1795.21 c starts : 7 1800.05/1795.21 c conflicts : 4136529 1800.05/1795.21 c decisions : 9701113 1800.05/1795.21 c propagations : 882992829 1800.05/1795.21 c inspects : 6629909354 1800.05/1795.21 c shortcuts : 0 1800.05/1795.21 c learnt literals : 0 1800.05/1795.21 c learnt binary clauses : 0 1800.05/1795.21 c learnt ternary clauses : 0 1800.05/1795.21 c learnt constraints : 4136529 1800.05/1795.21 c ignored constraints : 0 1800.05/1795.21 c root simplifications : 0 1800.05/1795.21 c removed literals (reason simplification) : 0 1800.05/1795.21 c reason swapping (by a shorter reason) : 0 1800.05/1795.21 c Calls to reduceDB : 86 1800.05/1795.21 c Number of update (reduction) of LBD : 1090726 1800.05/1795.21 c Imported unit clauses : 0 1800.05/1795.21 c number of reductions to clauses (during analyze) : 0 1800.05/1795.21 c number of learned constraints concerned by reduction : 0 1800.05/1795.21 c number of learning phase by resolution : 0 1800.05/1795.21 c number of learning phase by cutting planes : 0 1800.05/1795.21 c speed (assignments/second) : 492609.5850441846 1800.05/1795.21 c non guided choices 0 1800.05/1795.24 c learnt constraints type 1800.05/1795.24 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 140455 1800.05/1795.24 s SATISFIABLE 1800.05/1795.24 c Found 1 solution(s) 1800.05/1795.24 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.05/1795.25 c objective function=825 1800.05/1795.25 c Total wall clock time (in seconds): 1795.143
OK 825
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-4085305-1465226977/watcher-4085305-1465226977 -o /tmp/evaluation-result-4085305-1465226977/solver-4085305-1465226977 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32382 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085305-1465226977.opb pid=2923 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.31 2.24 2.22 3/194 2926 /proc/meminfo: memFree=27326576/32872528 swapFree=15844/1710320 [pid=2926] ppid=2923 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/2926/stat : 2926 (java) R 2923 2926 32365 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 104630102 278528 34 33554432000 1073741824 1073778376 140737258651632 140734935577256 240556010791 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2926/statm: 68 34 25 9 0 25 0 [startup+0.10006 s] /proc/loadavg: 2.31 2.24 2.22 3/194 2926 /proc/meminfo: memFree=27326576/32872528 swapFree=15844/1710320 [pid=2926] ppid=2923 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/2926/stat : 2926 (java) S 2923 2926 32365 0 -1 4202496 4405 0 1 0 8 1 0 0 20 0 18 0 104630102 9787879424 6035 33554432000 1073741824 1073778376 140737258651632 140737258642768 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2926/statm: 2389619 6035 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200228 s] /proc/loadavg: 2.31 2.24 2.22 3/194 2926 /proc/meminfo: memFree=27326576/32872528 swapFree=15844/1710320 [pid=2926] ppid=2923 vsize=9558476 CPUtime=0.29 cores=1,3,5,7 /proc/2926/stat : 2926 (java) S 2923 2926 32365 0 -1 4202496 5042 0 1 0 28 1 0 0 20 0 18 0 104630102 9787879424 6900 33554432000 1073741824 1073778376 140737258651632 140737258642768 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2926/statm: 2389619 6900 2222 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300226 s] /proc/loadavg: 2.31 2.24 2.22 3/194 2926 /proc/meminfo: memFree=27326576/32872528 swapFree=15844/1710320 [pid=2926] ppid=2923 vsize=9558476 CPUtime=0.47 cores=1,3,5,7 /proc/2926/stat : 2926 (java) S 2923 2926 32365 0 -1 4202496 5540 0 1 0 46 1 0 0 20 0 18 0 104630102 9787879424 9190 33554432000 1073741824 1073778376 140737258651632 140737258642768 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2926/statm: 2389619 9190 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700135 s] /proc/loadavg: 2.31 2.24 2.22 3/194 2926 /proc/meminfo: memFree=27326576/32872528 swapFree=15844/1710320 [pid=2926] ppid=2923 vsize=9558476 CPUtime=1.06 cores=1,3,5,7 /proc/2926/stat : 2926 (java) S 2923 2926 32365 0 -1 4202496 6757 0 1 0 102 4 0 0 20 0 18 0 104630102 9787879424 40476 33554432000 1073741824 1073778376 140737258651632 140737258642768 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2926/statm: 2389619 40476 2261 9 0 2380296 0 Current children cumulated CPU time (s) 1.06 Current children cumulated vsize (KiB) 9558476 [startup+1.50077 s] /proc/loadavg: 2.31 2.24 2.22 4/212 2944 /proc/meminfo: memFree=27161532/32872528 swapFree=15844/1710320 [pid=2926] ppid=2923 vsize=9558476 CPUtime=1.98 cores=1,3,5,7 /proc/2926/stat : 2926 (java) S 2923 2926 32365 0 -1 4202496 7005 0 1 0 187 11 0 0 20 0 18 0 104630102 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 140737258642768 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2926/statm: 2389619 78495 2261 9 0 2380296 0 [pid=2926/tid=2928] ppid=2923 vsize=9558476 CPUtime=1.41 cores=1,3,5,7 /proc/2926/task/2928/stat : 2928 (java) R 2923 2926 32365 0 -1 4202560 2531 0 1 0 135 6 0 0 20 0 18 0 104630103 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658587811888 240568558861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2929] ppid=2923 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/2926/task/2929/stat : 2929 (java) S 2923 2926 32365 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 104630104 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658431822120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2930] ppid=2923 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/2926/task/2930/stat : 2930 (java) S 2923 2926 32365 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 104630104 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658430769320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2931] ppid=2923 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/2926/task/2931/stat : 2931 (java) S 2923 2926 32365 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 104630104 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658429717032 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2926/tid=2932] ppid=2923 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/2926/task/2932/stat : 2932 (java) S 2923 2926 32365 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 18 0 104630104 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658428664232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2933] ppid=2923 vsize=9558476 CPUtime=0.02 cores=1,3,5,7 /proc/2926/task/2933/stat : 2933 (java) S 2923 2926 32365 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 104630104 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658427611944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2934] ppid=2923 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2934/stat : 2934 (java) S 2923 2926 32365 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 104630104 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658426559144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2935] ppid=2923 vsize=9558476 CPUtime=0.02 cores=1,3,5,7 /proc/2926/task/2935/stat : 2935 (java) S 2923 2926 32365 0 -1 4202560 17 0 0 0 1 1 0 0 20 0 18 0 104630104 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658425506856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2936] ppid=2923 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2936/stat : 2936 (java) S 2923 2926 32365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 104630104 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658424454056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2937] ppid=2923 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2937/stat : 2937 (java) S 2923 2926 32365 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 104630105 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658412042472 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2938] ppid=2923 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2938/stat : 2938 (java) S 2923 2926 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104630106 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658410988536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2939] ppid=2923 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2939/stat : 2939 (java) S 2923 2926 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104630106 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658409936136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2940] ppid=2923 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2940/stat : 2940 (java) S 2923 2926 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104630108 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658408884624 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2941] ppid=2923 vsize=9558476 CPUtime=0.16 cores=1,3,5,7 /proc/2926/task/2941/stat : 2941 (java) S 2923 2926 32365 0 -1 4202560 1542 0 0 0 16 0 0 0 20 0 18 0 104630108 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658407832248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2942] ppid=2923 vsize=9558476 CPUtime=0.16 cores=1,3,5,7 /proc/2926/task/2942/stat : 2942 (java) S 2923 2926 32365 0 -1 4202560 1385 0 0 0 16 0 0 0 20 0 18 0 104630108 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658406779448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2943] ppid=2923 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2943/stat : 2943 (java) S 2923 2926 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104630108 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658405727352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2944] ppid=2923 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2944/stat : 2944 (java) S 2923 2926 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104630108 9787879424 78495 33554432000 1073741824 1073778376 140737258651632 139658404674760 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.98 Current children cumulated vsize (KiB) 9558476 [startup+3.1008 s] /proc/loadavg: 2.31 2.24 2.22 4/212 2944 /proc/meminfo: memFree=26991984/32872528 swapFree=15844/1710320 [pid=2926] ppid=2923 vsize=9625040 CPUtime=4.25 cores=1,3,5,7 /proc/2926/stat : 2926 (java) S 2923 2926 32365 0 -1 4202496 13679 0 1 0 410 15 0 0 20 0 19 0 104630102 9856040960 101724 33554432000 1073741824 1073778376 140737258651632 140737258642768 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2926/statm: 2406260 101724 2278 9 0 2396937 0 [pid=2926/tid=2928] ppid=2923 vsize=9625040 CPUtime=2.96 cores=1,3,5,7 /proc/2926/task/2928/stat : 2928 (java) R 2923 2926 32365 0 -1 4202560 2574 0 1 0 290 6 0 0 20 0 19 0 104630103 9856040960 101724 33554432000 1073741824 1073778376 140737258651632 139658587820440 139658459680063 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2929] ppid=2923 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/2926/task/2929/stat : 2929 (java) S 2923 2926 32365 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 19 0 104630104 9856040960 101724 33554432000 1073741824 1073778376 140737258651632 139658431822120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2930] ppid=2923 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/2926/task/2930/stat : 2930 (java) S 2923 2926 32365 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 104630104 9856040960 101724 33554432000 1073741824 1073778376 140737258651632 139658430769320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2931] ppid=2923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/2926/task/2931/stat : 2931 (java) S 2923 2926 32365 0 -1 4202560 40 0 0 0 3 1 0 0 20 0 19 0 104630104 9856040960 101724 33554432000 1073741824 1073778376 140737258651632 139658429717032 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2926/tid=2932] ppid=2923 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/2926/task/2932/stat : 2932 (java) S 2923 2926 32365 0 -1 4202560 32 0 0 0 2 1 0 0 20 0 19 0 104630104 9856040960 101724 33554432000 1073741824 1073778376 140737258651632 139658428664232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2933] ppid=2923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/2926/task/2933/stat : 2933 (java) S 2923 2926 32365 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 19 0 104630104 9856040960 101724 33554432000 1073741824 1073778376 140737258651632 139658427611944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2934] ppid=2923 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/2926/task/2934/stat : 2934 (java) S 2923 2926 32365 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 19 0 104630104 9856040960 101724 33554432000 1073741824 1073778376 140737258651632 139658426559144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2935] ppid=2923 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/2926/task/2935/stat : 2935 (java) S 2923 2926 32365 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 19 0 104630104 9856040960 101724 33554432000 1073741824 1073778376 140737258651632 139658425506856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2936] ppid=2923 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/2926/task/2936/stat : 2936 (java) S 2923 2926 32365 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 104630104 9856040960 101724 33554432000 1073741824 1073778376 140737258651632 139658424454056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2937] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2937/stat : 2937 (java) S 2923 2926 32365 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 104630105 9856040960 101724 33554432000 1073741824 1073778376 140737258651632 139658412042472 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2938] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2938/stat : 2938 (java) S 2923 2926 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104630106 9856040960 101724 33554432000 1073741824 1073778376 140737258651632 139658410988536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2939] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2939/stat : 2939 (java) S 2923 2926 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104630106 9856040960 101724 33554432000 1073741824 1073778376 140737258651632 139658409936136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2940] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2940/stat : 2940 (java) S 2923 2926 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104630108 9856040960 101725 33554432000 1073741824 1073778376 140737258651632 139658408884624 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2941] ppid=2923 vsize=9625040 CPUtime=0.49 cores=1,3,5,7 /proc/2926/task/2941/stat : 2941 (java) R 2923 2926 32365 0 -1 4202560 5916 0 0 0 48 1 0 0 20 0 19 0 104630108 9856040960 101725 33554432000 1073741824 1073778376 140737258651632 139658407809336 139658593667174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2942] ppid=2923 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/2926/task/2942/stat : 2942 (java) R 2923 2926 32365 0 -1 4202560 3535 0 0 0 41 0 0 0 20 0 19 0 104630108 9856040960 101725 33554432000 1073741824 1073778376 140737258651632 139658406779448 139658590265052 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2943] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2943/stat : 2943 (java) S 2923 2926 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104630108 9856040960 101725 33554432000 1073741824 1073778376 140737258651632 139658405727352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2944] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2944/stat : 2944 (java) S 2923 2926 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104630108 9856040960 101725 33554432000 1073741824 1073778376 140737258651632 139658404674760 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.25 Current children cumulated vsize (KiB) 9625040 [startup+6.30079 s] /proc/loadavg: 2.44 2.27 2.23 3/213 2945 /proc/meminfo: memFree=26898684/32872528 swapFree=15844/1710320 [pid=2926] ppid=2923 vsize=9625040 CPUtime=7.83 cores=1,3,5,7 /proc/2926/stat : 2926 (java) S 2923 2926 32365 0 -1 4202496 19297 0 1 0 766 17 0 0 20 0 19 0 104630102 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 140737258642768 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2926/statm: 2406260 109612 2284 9 0 2396937 0 [pid=2926/tid=2928] ppid=2923 vsize=9625040 CPUtime=6.16 cores=1,3,5,7 /proc/2926/task/2928/stat : 2928 (java) R 2923 2926 32365 0 -1 4202560 2593 0 1 0 609 7 0 0 20 0 19 0 104630103 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658587820344 139658460454148 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2929] ppid=2923 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/2926/task/2929/stat : 2929 (java) S 2923 2926 32365 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 19 0 104630104 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658431822120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2930] ppid=2923 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/2926/task/2930/stat : 2930 (java) S 2923 2926 32365 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 104630104 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658430769320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2931] ppid=2923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/2926/task/2931/stat : 2931 (java) S 2923 2926 32365 0 -1 4202560 40 0 0 0 3 1 0 0 20 0 19 0 104630104 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658429717032 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2926/tid=2932] ppid=2923 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/2926/task/2932/stat : 2932 (java) S 2923 2926 32365 0 -1 4202560 32 0 0 0 2 1 0 0 20 0 19 0 104630104 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658428664232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2933] ppid=2923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/2926/task/2933/stat : 2933 (java) S 2923 2926 32365 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 19 0 104630104 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658427611944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2934] ppid=2923 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/2926/task/2934/stat : 2934 (java) S 2923 2926 32365 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 19 0 104630104 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658426559144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2935] ppid=2923 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/2926/task/2935/stat : 2935 (java) S 2923 2926 32365 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 19 0 104630104 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658425506856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2936] ppid=2923 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/2926/task/2936/stat : 2936 (java) S 2923 2926 32365 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 104630104 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658424454056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2937] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2937/stat : 2937 (java) S 2923 2926 32365 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 104630105 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658412042472 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2938] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2938/stat : 2938 (java) S 2923 2926 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104630106 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658410988536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2939] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2939/stat : 2939 (java) S 2923 2926 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104630106 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658409936136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2940] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2940/stat : 2940 (java) S 2923 2926 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104630108 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658408884624 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2941] ppid=2923 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/2926/task/2941/stat : 2941 (java) S 2923 2926 32365 0 -1 4202560 8206 0 0 0 68 2 0 0 20 0 19 0 104630108 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658407832248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2942] ppid=2923 vsize=9625040 CPUtime=0.59 cores=1,3,5,7 /proc/2926/task/2942/stat : 2942 (java) S 2923 2926 32365 0 -1 4202560 6843 0 0 0 59 0 0 0 20 0 19 0 104630108 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658406779448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2943] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2943/stat : 2943 (java) S 2923 2926 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104630108 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658405727352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2944] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2944/stat : 2944 (java) S 2923 2926 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104630108 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658404674760 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2945] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2945/stat : 2945 (java) S 2923 2926 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104630376 9856040960 109612 33554432000 1073741824 1073778376 140737258651632 139658403619752 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.83 Current children cumulated vsize (KiB) 9625040 [startup+12.7008 s] /proc/loadavg: 2.41 2.26 2.23 3/212 2945 /proc/meminfo: memFree=26861992/32872528 swapFree=15844/1710320 [pid=2926] ppid=2923 vsize=9625040 CPUtime=14.32 cores=1,3,5,7 ################ # More data... # ################ /proc/2926/task/2945/stat : 2945 (java) S 2923 2926 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104630376 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658403619752 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1667.13 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.34 2.32 2.27 3/213 3053 /proc/meminfo: memFree=25222060/32872528 swapFree=15844/1710320 [pid=2926] ppid=2923 vsize=9625040 CPUtime=1727.15 cores=1,3,5,7 /proc/2926/stat : 2926 (java) S 2923 2926 32365 0 -1 4202496 26439 0 1 0 172468 247 0 0 20 0 19 0 104630102 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 140737258642768 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2926/statm: 2406260 806187 2293 9 0 2396937 0 [pid=2926/tid=2928] ppid=2923 vsize=9625040 CPUtime=1715.84 cores=1,3,5,7 /proc/2926/task/2928/stat : 2928 (java) R 2923 2926 32365 0 -1 4202560 3848 0 1 0 171534 50 0 0 20 0 19 0 104630103 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658587811504 139658460426909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2929] ppid=2923 vsize=9625040 CPUtime=0.54 cores=1,3,5,7 /proc/2926/task/2929/stat : 2929 (java) S 2923 2926 32365 0 -1 4202560 673 0 0 0 30 24 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658431822120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2930] ppid=2923 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/2926/task/2930/stat : 2930 (java) S 2923 2926 32365 0 -1 4202560 691 0 0 0 33 29 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658430769320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2931] ppid=2923 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/2926/task/2931/stat : 2931 (java) S 2923 2926 32365 0 -1 4202560 403 0 0 0 24 18 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658429717032 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2932] ppid=2923 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/2926/task/2932/stat : 2932 (java) S 2923 2926 32365 0 -1 4202560 502 0 0 0 23 22 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658428664232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2933] ppid=2923 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/2926/task/2933/stat : 2933 (java) S 2923 2926 32365 0 -1 4202560 399 0 0 0 22 18 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658427611944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2926/tid=2934] ppid=2923 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/2926/task/2934/stat : 2934 (java) S 2923 2926 32365 0 -1 4202560 634 0 0 0 41 33 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658426559144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2935] ppid=2923 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/2926/task/2935/stat : 2935 (java) S 2923 2926 32365 0 -1 4202560 768 0 0 0 37 28 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658425506856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2926/tid=2936] ppid=2923 vsize=9625040 CPUtime=0.48 cores=1,3,5,7 /proc/2926/task/2936/stat : 2936 (java) S 2923 2926 32365 0 -1 4202560 501 0 0 0 27 21 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658424454056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2937] ppid=2923 vsize=9625040 CPUtime=0.79 cores=1,3,5,7 /proc/2926/task/2937/stat : 2937 (java) S 2923 2926 32365 0 -1 4202560 1592 0 0 0 77 2 0 0 20 0 19 0 104630105 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658412042472 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2938] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2938/stat : 2938 (java) S 2923 2926 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104630106 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658410988536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2939] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2939/stat : 2939 (java) S 2923 2926 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104630106 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658409936136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2940] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2940/stat : 2940 (java) S 2923 2926 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104630108 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658408884624 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2941] ppid=2923 vsize=9625040 CPUtime=0.76 cores=1,3,5,7 /proc/2926/task/2941/stat : 2941 (java) S 2923 2926 32365 0 -1 4202560 8215 0 0 0 74 2 0 0 20 0 19 0 104630108 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658407832248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2942] ppid=2923 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/2926/task/2942/stat : 2942 (java) S 2923 2926 32365 0 -1 4202560 6850 0 0 0 64 0 0 0 20 0 19 0 104630108 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658406779448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2943] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2943/stat : 2943 (java) S 2923 2926 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104630108 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658405727352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2944] ppid=2923 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 /proc/2926/task/2944/stat : 2944 (java) S 2923 2926 32365 0 -1 4202560 99 0 0 0 17 26 0 0 20 0 19 0 104630108 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658404674760 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2945] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2945/stat : 2945 (java) S 2923 2926 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104630376 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658403619752 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1727.15 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.18 2.28 2.26 3/213 3054 /proc/meminfo: memFree=25305404/32872528 swapFree=15844/1710320 [pid=2926] ppid=2923 vsize=9625040 CPUtime=1787.15 cores=1,3,5,7 /proc/2926/stat : 2926 (java) S 2923 2926 32365 0 -1 4202496 26443 0 1 0 178468 247 0 0 20 0 19 0 104630102 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 140737258642768 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2926/statm: 2406260 806187 2293 9 0 2396937 0 [pid=2926/tid=2928] ppid=2923 vsize=9625040 CPUtime=1775.69 cores=1,3,5,7 /proc/2926/task/2928/stat : 2928 (java) R 2923 2926 32365 0 -1 4202560 3848 0 1 0 177519 50 0 0 20 0 19 0 104630103 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658587811504 139658460454148 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2929] ppid=2923 vsize=9625040 CPUtime=0.54 cores=1,3,5,7 /proc/2926/task/2929/stat : 2929 (java) S 2923 2926 32365 0 -1 4202560 673 0 0 0 30 24 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658431822120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2930] ppid=2923 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/2926/task/2930/stat : 2930 (java) S 2923 2926 32365 0 -1 4202560 691 0 0 0 33 29 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658430769320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2931] ppid=2923 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/2926/task/2931/stat : 2931 (java) S 2923 2926 32365 0 -1 4202560 403 0 0 0 24 18 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658429717032 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2932] ppid=2923 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/2926/task/2932/stat : 2932 (java) S 2923 2926 32365 0 -1 4202560 502 0 0 0 23 22 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658428664232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2933] ppid=2923 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/2926/task/2933/stat : 2933 (java) S 2923 2926 32365 0 -1 4202560 399 0 0 0 22 18 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658427611944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2926/tid=2934] ppid=2923 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/2926/task/2934/stat : 2934 (java) S 2923 2926 32365 0 -1 4202560 634 0 0 0 41 33 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658426559144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2935] ppid=2923 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/2926/task/2935/stat : 2935 (java) S 2923 2926 32365 0 -1 4202560 768 0 0 0 37 28 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658425506856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2926/tid=2936] ppid=2923 vsize=9625040 CPUtime=0.48 cores=1,3,5,7 /proc/2926/task/2936/stat : 2936 (java) S 2923 2926 32365 0 -1 4202560 501 0 0 0 27 21 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658424454056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2937] ppid=2923 vsize=9625040 CPUtime=0.79 cores=1,3,5,7 /proc/2926/task/2937/stat : 2937 (java) S 2923 2926 32365 0 -1 4202560 1592 0 0 0 77 2 0 0 20 0 19 0 104630105 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658412042472 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2938] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2938/stat : 2938 (java) S 2923 2926 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104630106 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658410988536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2939] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2939/stat : 2939 (java) S 2923 2926 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104630106 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658409936136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2940] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2940/stat : 2940 (java) S 2923 2926 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104630108 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658408884624 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2941] ppid=2923 vsize=9625040 CPUtime=0.76 cores=1,3,5,7 /proc/2926/task/2941/stat : 2941 (java) S 2923 2926 32365 0 -1 4202560 8215 0 0 0 74 2 0 0 20 0 19 0 104630108 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658407832248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2942] ppid=2923 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/2926/task/2942/stat : 2942 (java) S 2923 2926 32365 0 -1 4202560 6850 0 0 0 64 0 0 0 20 0 19 0 104630108 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658406779448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2943] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2943/stat : 2943 (java) S 2923 2926 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104630108 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658405727352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2944] ppid=2923 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/2926/task/2944/stat : 2944 (java) S 2923 2926 32365 0 -1 4202560 103 0 0 0 18 27 0 0 20 0 19 0 104630108 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658404674760 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2945] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2945/stat : 2945 (java) S 2923 2926 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104630376 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658403619752 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1787.15 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.2 s] /proc/loadavg: 2.21 2.28 2.26 3/213 3055 /proc/meminfo: memFree=25308816/32872528 swapFree=15844/1710320 [pid=2926] ppid=2923 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7 /proc/2926/stat : 2926 (java) S 2923 2926 32365 0 -1 4202496 26445 0 1 0 179758 247 0 0 20 0 19 0 104630102 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 140737258642768 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2926/statm: 2406260 806187 2293 9 0 2396937 0 [pid=2926/tid=2928] ppid=2923 vsize=9625040 CPUtime=1788.56 cores=1,3,5,7 /proc/2926/task/2928/stat : 2928 (java) R 2923 2926 32365 0 -1 4202560 3848 0 1 0 178805 51 0 0 20 0 19 0 104630103 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658587811504 139658460454175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2929] ppid=2923 vsize=9625040 CPUtime=0.54 cores=1,3,5,7 /proc/2926/task/2929/stat : 2929 (java) S 2923 2926 32365 0 -1 4202560 673 0 0 0 30 24 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658431822120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2930] ppid=2923 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/2926/task/2930/stat : 2930 (java) S 2923 2926 32365 0 -1 4202560 691 0 0 0 33 29 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658430769320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2931] ppid=2923 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/2926/task/2931/stat : 2931 (java) S 2923 2926 32365 0 -1 4202560 403 0 0 0 24 18 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658429717032 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2932] ppid=2923 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/2926/task/2932/stat : 2932 (java) S 2923 2926 32365 0 -1 4202560 502 0 0 0 23 22 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658428664232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2933] ppid=2923 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/2926/task/2933/stat : 2933 (java) S 2923 2926 32365 0 -1 4202560 399 0 0 0 22 18 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658427611944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2926/tid=2934] ppid=2923 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/2926/task/2934/stat : 2934 (java) S 2923 2926 32365 0 -1 4202560 634 0 0 0 41 33 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658426559144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2935] ppid=2923 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/2926/task/2935/stat : 2935 (java) S 2923 2926 32365 0 -1 4202560 768 0 0 0 37 28 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658425506856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2926/tid=2936] ppid=2923 vsize=9625040 CPUtime=0.48 cores=1,3,5,7 /proc/2926/task/2936/stat : 2936 (java) S 2923 2926 32365 0 -1 4202560 501 0 0 0 27 21 0 0 20 0 19 0 104630104 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658424454056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2937] ppid=2923 vsize=9625040 CPUtime=0.79 cores=1,3,5,7 /proc/2926/task/2937/stat : 2937 (java) S 2923 2926 32365 0 -1 4202560 1592 0 0 0 77 2 0 0 20 0 19 0 104630105 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658412042472 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2938] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2938/stat : 2938 (java) S 2923 2926 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104630106 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658410988536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2939] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2939/stat : 2939 (java) S 2923 2926 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104630106 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658409936136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2940] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2940/stat : 2940 (java) S 2923 2926 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104630108 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658408884624 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2941] ppid=2923 vsize=9625040 CPUtime=0.76 cores=1,3,5,7 /proc/2926/task/2941/stat : 2941 (java) S 2923 2926 32365 0 -1 4202560 8215 0 0 0 74 2 0 0 20 0 19 0 104630108 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658407832248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2926/tid=2942] ppid=2923 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/2926/task/2942/stat : 2942 (java) S 2923 2926 32365 0 -1 4202560 6850 0 0 0 64 0 0 0 20 0 19 0 104630108 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658406779448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2943] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2943/stat : 2943 (java) S 2923 2926 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104630108 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658405727352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2926/tid=2944] ppid=2923 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/2926/task/2944/stat : 2944 (java) S 2923 2926 32365 0 -1 4202560 105 0 0 0 18 27 0 0 20 0 19 0 104630108 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658404674760 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2926/tid=2945] ppid=2923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2926/task/2945/stat : 2945 (java) S 2923 2926 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104630376 9856040960 806187 33554432000 1073741824 1073778376 140737258651632 139658403619752 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 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 2926 sig 9 ??? kill -2926 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2926 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=999422 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=912557 # CPU time returned by wait4() is 1795.91 # while last known CPU time is 1800.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1795.28 CPU time (s): 1800.05 CPU user time (s): 1797.58 CPU system time (s): 2.47 CPU usage (%): 100.266 Max. virtual memory (cumulated for all children) (KiB): 9626392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793 system time used= 2.91256 maximum resident set size= 3224880 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26485 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1064 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38232 involuntary context switches= 4007 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.0825 second user time and 13.7729 second system time The end
Begin job on node146 at 2016-06-06 17:29:37 IDJOB=4085305 IDBENCH=1976 IDSOLVER=2546 FILE ID=node146/4085305-1465226977 RUNJOBID= node146-1465217554-32382 PBS_JOBID= 19843206 Free space on /tmp= 71700 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085305-1465226977/watcher-4085305-1465226977 -o /tmp/evaluation-result-4085305-1465226977/solver-4085305-1465226977 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32382 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085305-1465226977.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 99680d01aa100bfba038606e315bf03d RANDOM SEED=1186923359 node146.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.799 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.59 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.799 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.799 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.799 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.56 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.799 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.799 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.56 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.799 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.799 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: 27327104 kB Buffers: 18896 kB Cached: 280380 kB SwapCached: 1468 kB Active: 2920208 kB Inactive: 205840 kB Active(anon): 2827740 kB Inactive(anon): 1608 kB Active(file): 92468 kB Inactive(file): 204232 kB Unevictable: 1710320 kB Mlocked: 15844 kB SwapTotal: 67108856 kB SwapFree: 67099280 kB Dirty: 17496 kB Writeback: 0 kB AnonPages: 4538668 kB Mapped: 15396 kB Shmem: 0 kB Slab: 569980 kB SReclaimable: 13068 kB SUnreclaim: 556912 kB KernelStack: 1584 kB PageTables: 13192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5193556 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4491264 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= 71716 MiB End job on node146 at 2016-06-06 17:59:33